Диалектическая и формальная логика. Истинность мысли и её логическая правильность. Что такое формальная логика

Формальная логика была первым методом, который использовала экономическая наука. Формальная логика - это изучение мысли со стороны её структуры, формы. Основателем формальной логики считается Аристотель, открывший своеобразную форму умозаключения (силлогизм) и сформулировавший основные законы логики.

Ученики Аристотеля назвали эту новую книгу "органон", то есть "орудие познания". Термин "логика" ("слово", "разум", "закономерность") появился позже у стоиков, и лишь в XVII в. в процессе создания диалектической логики эту традиционную логику стали вслед за Кантом называть формальной.

Простейшей категорией формальной логики является понятие . Оно фиксирует мысль о предмете. Обычно понятие определяется через более широкое понятие путем добавления к родовому признаку видового различия. Суждение - это мысль, в которой утверждается или отрицается что-либо о чем-либо. Формой взаимосвязи суждений выступает умозаключение. Умозаключение представляет собой прием мышления, посредством которого из некоторого исходного знания получается выводное знание. Наиболее известной формой умозаключения является силлогизм . Он утверждает, что если свойство Р принадлежит каждому из предметов, образующих данный класс, то это свойство будет принадлежать и любому индивидуальному предмету, относимому к этому классу. Это называется аксиомой силлогизма.

Формальная логика разработала обширный набор методов и приемов познания. Важнейшие из них - это анализ и синтез, индукция и дедукция, сравнение, аналогия, гипотеза, доказательство, определенные законы мышления.

Методы и приёмы познания

Анализ - это метод познания, состоящий в расчленении целого на составные части,синтез - метод, состоящий в соединении отдельных частей в единое целое. Будучи наипростейшим, метод анализа оказывается и наименее удовлетворительным. Это метод эмпиризма. Неправильно проведенный анализ может превратить конкретное в абстрактное, умертвить живое. Недостатки анализа в образовании понятий в какой-то мере снимаются синтезом. Однако ни анализ, ни синтезне раскрывают внутренние противоречия предмета и, следовательно,не отражают самодвижения, развития анализируемого объекта. Поэтому этот метафизический метод не в состоянии указать путь кнахождению начала исследования.

Аналогичными недостатками обладают и индукция с дедукцией. Индукция - это метод познания, основанный на умозаключениях от частного (особенного) к общему; дедукция - метод, основанный на умозаключениях от общего к частному (особенному).Слабость индукции в том, что она не может строго обосновать общее, так как исходит лишь из рассмотрения части совокупности. Недостаток дедукции в том, что она не может строго обосновать общую предпосылку.

Важную роль в формальной логике играет сравнение - метод, определяющий сходство или различие явлений и процессов. Он широко используется при систематизации и классификации понятий, так как позволяет соотнести неизвестное с известным, выразить новое через имеющиеся понятия и категории. Однако роль сравнения в познании нельзя переоценивать Оно, как правило, носит поверхностный характер, отражая лишь первые шаги исследования. В то же время сравнение готовит предпосылки для проведения аналогии.

Аналогия - это метод познания, основанный на переносе одного или ряда свойств с известного явления на неизвестное. В общей форме умозаключение по аналогии записывается следующим образом Если Л и В имеют общие свойства иА имеет свойство с, то и В имеет свойство с. Аналогия - это частный случай индукции. Она играет важную роль в выдвижении предположений, получении нового знания. Многие открытия в политической экономии были сделаны по аналогии. Ф. Кенэ, например, предложил плодотворную аналогию между кровообращением в человеческом организме и движением товарных и денежных потоков в организме социальном. Это позволило ему построить первую макроэкономическую модель воспроизводства. Изучение механического равновесия привело А. Курно к идее экономического равновесия. Аналогия, таким образом, играет важную роль в рождении новых идей и формулировке гипотез. Она существенно облегчает понимание сложных процессов, являясь основой научного моделирования. Нередко аналогия позволяет правильно поставить проблему, определив направление дальнейшего исследования.

Проблема - это четко сформулированный вопрос или комплекс вопросов, возникших в процессе познания. Постановка проблемывозможна до начала исследования, в ходе исследования и входе его завершения. Если проблемы сформулированы до началаисследования, такие проблемы называют явными, если нет - то неявными. Методы решения проблемы могут быть известны заранее, а могут быть найдены в процессе работы. В зависимости от того, что известно (формулировка проблемы, метод ее решения или ответ), можно дать простейшую типологию проблемных ситуаций.

Первый случай представляет собой показательные задачи (известно все - проблема, метод ее решения и ответ). Второй случай - типовые школьные задачи (известно все, кроме ответа). Третий случай - риторические проблемы - головоломки. Четвертый случай - это классические научные проблемы. Пятый случай иллюстрирует ситуацию, когда правильное понимание формулировки проблемы приходит только в конце исследования. Шестой случай соответствует ситуации, когда в экономике используют методы других наук. Седьмая ситуация иллюстрирует догматическую теорию, обладающую готовыми ответами на все проблемы; восьмая - это софизмы, парадоксы, антиномии.

Принципиально новому решению задачи способствует постановка проблемы в форме антиномии. Антиномия - это противоречие, в котором тезис и антитезис имеют равную силу и в одинаковой степени покоятся на одних и тех же основаниях. Формулировка проблемы в форме антиномии позволяет отразить противоречивое развитие как реального объекта, так и знаний о нем. Однако с точки зрения формальной логики антиномия неразрешима, поскольку отрицает ее основные законы.

На ограниченность формальной логики указывает и апория - утверждение, противоречащее практическому опыту. Постановка проблемы в форме парадокса (антиномии, апории или даже софизма) способствует рождению гипотез.

Гипотеза - это метод познания, заключающийся в выдвижении научно обоснованного предположения о возможных причинах или связях явлений и процессов. Гипотеза возникает тогда, когда появляются новыефакторы, противоречащие старой теории.

Научная теория состоит из ядра и защитного пояса. Ядро - наиболее фундаментальные положения теории; защитный пояс образуют вспомогательные гипотезы, которые конкретизируют теорию, расширяя область ее применения. Доказанные гипотезы сливаются с ядром, недоказанные служат объектом полемики с оппонентами, защищая ядро теории. Например, ядром марксизма являются трудовая теория стоимости, теория прибавочной стоимости, всеобщий закон капиталистического накопления, а их защитным поясом - закон тенденции нормы прибыли к понижению и другие законы.

Гипотезы бывают двоякого рода основные и "к случаю". Критика марксистской теории обнищания пролетариата привела к рождению многих "уточняющих" гипотез. Стали различать абсолютное и относительное ухудшение положения рабочего класса в отличие от абсолютного и относительного обнищания, а абсолютное обнищание "вынесли" за пределы нормально функционирующего капитализма и т.д.

Под доказательством в формальной логике понимается обосновании истинности одной мысли с помощью других. Формальная логика предлагает универсальную структуру доказательства. Она состоит из тезиса, оснований доказательства (аргументов) и способа доказательства (демонстрации). Существуют различные виды доказательства. В зависимости от его целей выделяют доказательства истинности и ложности (опровержение); в зависимости от способа доказательства - прямые и косвенные; в зависимости от оснований доказательства - теоретические и эмпирические. Основные законы формальной логики:

1. Закон тождества

2. Закон противоречия

(А и А, А Л А);

3. Закон исключенного третьего

(А и А, А V А);

4. Закон достаточного основания.

формальная логика экономическое исследование

Закон тождества означает, что каждая мысль должна иметь строго определенное устойчивое содержание. Он направлен против расплывчатости и неопределенности в экономическом мышлении. Этот закон запрещает, с одной стороны, тавтологию (когда одно явление называют разными терминами), а с другой - подмену одних понятий другими. Закон тождества ориентирует на связь и соподчиненность категорий, четкое разграничение родовых и видовых признаков.

Закон противоречия означает, что две противоположные мысли об одном и том же предмете, взятом в одном и том же времени, отношении и т.д., не могут быть истинными.

Закон исключенного третьего утверждает, что из двух отрицающих

друг друга мыслей об одном и том же предмете, взятом водном и том же времени, отношении и т.д., одно непременно истинно.

Закон достаточного основания требует, чтобы всякая истинная мысль обосновывалась другими мыслями, истинность которых была доказана ранее. Первые три закона были сформулированы. Аристотелем, четвертый закон открыт в XVII в.Г. Лейбницем.

Законы формальной логики (тождества, противоречия, исключенного третьего и достаточного основания) способствуют достижению определенности, непротиворечивости и, в известном смысле, доказательности мышления. В то же время они нередко в ущерб содержанию придают слишком большое значение форме. К тому же сама форма предполагает уже сложившиеся, устоявшиеся, жесткие понятия, а не изменяющиеся, развивающиеся, текучие. Формальная логика поэтому более успешно осуществляет систематизацию уже имеющихся знаний, чем поиск новых. "В логике ее силлогизмы и большинство других правил, - писал Р. Декарт, - служат больше для объяснения другим того, что нам известно,. вместо того чтобы познавать это".

Применение формальной логики в экономической теории

Формальная логика не сразу стала методом экономической науки. В экономической мысли древнего мира доминировал метод непосредственного описания, в качестве руководства к действию рекомендовалось использование конкретного опыта, практической деятельности как в частном хозяйстве, например в рабовладельческой вилле ("Земледелие" Катона), так и в масштабе государства ("Законы" Платона, "Афинская полития" Аристотеля). Из нерасчлененной совокупности обществознания еще не выделился не только метод, но и предмет экономической науки.

Развитие искусства обработки понятий начинается позже - в эпоху средневековья. Именно западноевропейские схоласты значительно усовершенствовали аппарат формальной логики и особенно дедуктивный метод исследования. Это было необходимо для того, чтобы согласовать отдельные положения науки с богословской доктриной. Главной целью выступал вывод реальных отношений из догматов "отцов церкви", объяснение земного миропорядка как порождения неземного. Поэтому средневековое мышление носит трансцендентальный, умозрительный характер. Широкий полет метафизики не сдерживается ничем. Рассуждения ведутся, как правило, в отрыве от конкретных эмпирических исследований, безотносительно к потребностям реальной экономической жизни. Организация многочисленных диспутов по вопросам, не имеющим никакого практического значения, получила своеобразное отражение в названии этой науки. Средневековая схоластика называлась в то время "диалектикой"от первоначального смысла этого греческого слова - "искусство вести беседу, спор".

В отличие от средневековых схоластов меркантилисты апеллируют не к общей теории, а к реальной практике. Их эмпирический метод находит свое обоснование в индукции Ф. Бэкона и Т. Гоббса, а также в дедукции Р. Декарта. Меркантилисты ориентируются на решение частных задач, для них характерно движение от конкретного к абстрактному. Стремление найти основание в реальных фактах реальной действительности, установить точные количественные пропорции между явлениями и процессами экономической жизни характерно и для основоположников классической экономии. В отличие от средневековых схоластов, методологической основой учения которых выступало каноническое право, классики политэкономии богатства опираются на теорию "естественного права". Они стремятся открыть естественные, вытекающие из самой "человеческой природы", рациональные законы развития. Неудивительно, что при таком подходе объектом их анализа становятся не только отдельные индивиды, но и социальные классы, целью существования которых является стремление "к естественному порядку, наиболее выгодному для человеческого рода". Вводится понятие "экономического человека", под которым подразумевается индивид, преследующий свои личные интересы путем участия в общественном производстве. С течением времени усиливаются элементы субъективизма (Э.Б. де Кондильяк) и утилитаризма (И. Бентам). На основе дедуктивного метода появляются попытки (хотя и далеко не последовательные) создания экономических систем путем восхождения от абстрактного к конкретному (А. Смит, Д. Рикардо). При этом неизбежно возникают противоречия, от которых ученики Рикардо (Дж. Милль, Д.Р. Мак-Куллох и др.) пытаются избавиться путем формально-логического упорядочения материала, сведения реальных фактов к абстрактно-теоретическим схемам. Это вызывает повышенный интерес экономистов к проблемам метода, что находит яркое выражение в "Системе логики" Д.С. Милля.

Формальная логика - наука о законах и формах мышления, сложившаяся ещё со времён (см.). Формальная (или элементарная) логика учит мыслить правильно, соблюдая однозначность мысли, непротиворечивость мысли, её определённость, доказательность, последовательность. Если мышление протекает внутренне противоречиво, нестройно, непоследовательно, то становятся невозможными никакие научные знания, никакие аргументированные рассуждения, направленные на решение тех или иных вопросов. ««Логической противоречивости»,- при условии, конечно, правильного логического мышления - не должно быть ни в экономическом ни в политическом анализе» .

Формальная логика выдвигает четыре основных закона мышления:

1) Мысль должна быть однозначной. Закон тождества учит тому, что надо уметь правильно отождествлять и различать вещи, что недопустима подмена одного понятия другим. В любом рассуждении, споре, дискуссии каждое понятие должно употребляться в одном и том же смысле.

2) Мысль должна протекать непротиворечиво. Логический закон противоречия запрещает в процессе рассуждений, анализа вопросов противоречить самому себе. Нужно отличать противоречия неправильного рассуждения от противоречий живой жизни, противоречий диалектических. Противоречия неправильного рассуждения недопустимы. Нельзя, например, о положении, которое признаётся верным, говорить в то же время как о неверном.

3) На один и тот же вопрос, правильно поставленный и правильно понятый, говорится в законе исключённого третьего, недопустимо отвечать неопределённо - ни «да», ни «нет»,- уклоняясь от всякой определённости мысли. После необходимого уточнения вопроса всегда надлежит дать определённый ответ. Из двух противоречащих суждений одно необходимо истинно, а другое ложно, и нет ничего третьего, или, иначе говоря, А есть или В или не В.

4) Мысль должна протекать последовательно (закон достаточного основания). Всякая мысль лишь тогда верна, когда она обоснована, когда она вытекает как следствие из другой правильной мысли, служащей ей в данном случае основанием. Поэтому мышление должно быть последовательным. А есть потому, что есть В, учит закон достаточного основания. Так, например, в беседе с первой американской рабочей делегацией на вопрос о возможности отмены монополии внешней торговли И. В. Сталин ответил: «Делегация, видимо, не имеет возражений против того, что пролетариат СССР отобрал у буржуазии и помещиков фабрики и заводы, землю и железные дороги, банки и шахты.

Но делегация, как мне кажется, несколько недоумевает по поводу того, что пролетариат не ограничился этим и пошёл дальше, отобрав у буржуазии политические права. Это, по-моему, не совсем логично или, вернее, совсем нелогично... Я думаю, что логика обязывает. Тот, кто думает о возможности возвращения буржуазии её политических прав, тот должен, если он хочет быть логичным, пойти дальше и поставить вопрос также о возвращении буржуазии фабрик и заводов, железных дорог и банков». Данный пример ярко показывает, что значит последовательность, логичность мысли. Как видно из приведённых четырёх логических законов мышления, формальная логика выдвигает как обязательные наиболее общие и элементарные закономерности мышления, наиболее общие правила последовательности и логичности мысли.

Устанавливая основные законы и правила мышления, формальная логика затем переходит к рассмотрению различных форм, в которых осуществляется процесс мышления. Понятие, суждение и умозаключение - таковы эти формы мышления, составляющие три основных раздела формальной логики. В разделе о понятии формальная логика устанавливает виды понятий, их взаимоотношения, логические способы образования понятий, соотношение между объёмом и содержанием понятий, раскрывает способы и правила определения и деления понятий. В разделе о суждениях формальная логика исследует состав суждения, основные виды суждения и т. д. В наиболее обширном своём разделе формальная логика даёт понятие об умозаключении, классифицирует виды и приёмы умозаключений, развивает учение о силлогизмах, о правилах силлогизма, о фигурах силлогизма, показывает значение и роль дедуктивных и индуктивных умозаключений в процессе познания и т. д. Наконец, формальная логика исследует способы и правила доказательства, раскрывает роль доказательства в процессе логического мышления.

Из рассмотрения содержания и задач формальной логики вытекает, что она является как бы грамматикой логического мышления. Подобно грамматике, которая устанавливает правила изменения слов, правила соединения слов в предложения и таким образом придаёт языку стройный, осмысленный характер, логика позволяет придать мышлению стройный, осмысленный характер. Общее в грамматике и логике то, что они, абстрагируясь от частного и конкретного, определяют общие правила и законы, дающие возможность правильно сочетать слова в предложения, изменять слова (грамматика), строить правильно свою мысль, умело сочетать понятия в суждения, суждения - в умозаключения и т. д. (логика).

Законы и правила формальной логики, будучи такими законами и правилами, без которых невозможен никакой познавательный процесс, являются всеобщими, общечеловеческими. Логические законы - объективные законы науки, отражающие явления объективного мира. Подобно языку они обслуживают мышление всех людей независимо от классовой принадлежности. Они не могут быть и не являются поэтому классовыми, как нет и не может быть классовой грамматики. В противном случае люди, принадлежащие к различным классам, не могли бы понимать друг друга. Законы и правила формальной логики - это законы и правила естественного процесса мышления. Вместе с тем различные теории об этих законах и правилах логического мышления могут давать и дают искажённое толкование законов мышления.

Так, идеалисты строят формальную логику как чисто формалистическую науку, оторванную от объективной действительности. Поэтому Ленин, говоря о необходимости изучения формальной логики, требовал внести в старую логику «поправки», т. е. освободить её от всяческих искажений и идеалистических наслоений. Формальная логика является «низшей математикой» мышления, раскрывающей простейшие связи и отношения вещей, и сама по себе она недостаточна для научного исследования. Могучим инструментом научного исследования является марксистский диалектический метод, раскрывающий наиболее общие законы развития природы, общества и человеческого мышления. (О соотношении диалектики и формальной логики см.

Логика для юристов: Учебник. Ивлев Юрий Васильевич

§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА

§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА

Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”, отрицание “неверно, что” (“не”), слова, характеризующие количество предметов, о которых нечто утверждается или отрицается: “все” (“ни один”), “некоторые”, связка “суть” (“есть”) и др. Процесс выявления логической формы мысли заключается в отвлечении от смысла нелогических терминов, входящих в словосочетание, выражающее эту мысль. Сделать это можно различными способами. Например, опустить нелогические термины в словосочетании и поставить вместо них многоточия, штриховые и другие линии. В результате замены нелогических терминов многоточием и штриховой линией из предложения “Все адвокаты - юристы” получим выражение “Все... суть - - - ”.

Другой способ отвлечения от смысла нелогических терминов заключается в замене этих терминов особыми символами (переменными). При этом вместо различных вхождений одного и того же нелогического термина ставится одна и та же переменная, а вместо различных терминов - различные переменные. Кроме того, вместо терминов различных типов ставятся символы различных типов.

Выявим логические формы следующих рассуждений:

(1) Все студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова изучают логику.

Некоторые студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова будут специализироваться по гражданскому праву.

Следовательно, некоторые студенты, которые будут специализироваться по гражданскому праву, изучают логику.

(2) Следователь - юрист. Следовательно, образованный следователь - образованный юрист.

Заменив нелогические термины символами, получим:

(1) Все М суть Р. Некоторые М суть S. Следовательно, некоторые S суть Р.

(2) S есть Р. Следовательно, sq есть pq.

Этими выражениями представляются логические формы исходных мыслей.

Таким образом, логическая форма мысли - это ее структура, выявляемая в результате отвлечения от смыслов и значений нелогических терминов.

Логическая форма содержательна, информативна. Так, выражение, получаемое в результате отвлечения от смыслов и значений нелогических терминов первого рассуждения, несет следующую информацию: “Если все предметы класса М включаются в класс Р и некоторые предметы класса М включаются в класс S, то некоторые предметы класса S включаются в класс Р”.

Мысли можно подразделить на классы в зависимости от типов их логических форм. Основные из этих классов составят мысли, называемые понятиями, суждениями и умозаключениями.

Понятие - это мысль, в которой обобщены и выделены предметы на основе системы признаков, общей только для этих выделяемых предметов. Пример понятия: действие или бездействие, квалифицированное законом в качестве уголовно наказуемого (понятие преступления).

Суждениями называются мысли, в которых утверждается наличие или отсутствие каких-либо положений дел. Примеры: “Человек получил от Бога две блаженные способности - говорить правду и творить добро”; “Лучший способ изучить что-то - открыть это самому”.

Умозаключение - это процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных в суждениях. Примерами умозаключений могут служить приведенные выше рассуждения (1), (2).

Между мыслями существуют связи, зависящие только от их логических форм. Такие связи имеют место и между понятиями, и между суждениями, и между умозаключениями. Так, между мыслями логических форм “некоторые S суть Р” и “некоторые Р суть S” существует следующая связь: если истинна одна из этих мыслей, то истинна и вторая, независимо от того, каково нелогическое содержание этих мыслей.

Связи между мыслями по формам, при которых истинность одних из этих мыслей обусловливает истинность других, называются формально-логическими законами, или логическими законами.

Связь между мыслями в рассуждении (1) представляет собой логический закон. Чтобы установить, является ли связь между некоторыми исходными высказываниями и высказыванием, получаемым в результате рассуждения, логическим законом, необходимо вместо нелогических терминов подставлять в эти высказывания произвольные термины тех же типов и при этом всякий раз выяснять, окажется ли истинным получаемое высказывание при истинности исходных. Если всегда обнаруживается такая зависимость истинности высказываний, то связь между ними представляет собой логический закон. Если находится контрпример, то закономерной связи нет, и рассуждение не является правильным. Так, приведенное выше рассуждение “Следователь - юрист. Следовательно, образованный следователь - образованный юрист” является неправильным. Контрпримером для него может служить явно неправильное рассуждение:

Муха - животное. Следовательно, крупная муха - крупное животное.

В современной логике разработаны более простые и более продуктивные методы выявления закономерной связи между мыслями. Эти методы излагаются в главе "Умозаключение".

Имея понятия логической формы и логического закона, можно дать определение формальной логике.

Формальная логика - это наука о формах мышления, о формально-логических законах и других связях и отношениях между мыслями по их логическим формам.

Исследуя необходимые связи между мыслями по логическим формам - логические законы, логика формулирует утверждения об истинности всех высказываний определенной логической формы. Эти утверждения тоже называются законами, но в отличие от логических законов (связей, существующих независимо от того, знаем мы о них или нет) - законами (науки) логики. Например, установив, что всегда, когда истинны мысли форм “Все М суть Р” и “Все М суть S”, истинна мысль формы “Некоторые S суть Р”, можно сформулировать закон логики: “Для любых S, Р и М верно, что если все М суть Р и все М суть S, то некоторые S суть Р”. Законы логики, после того как они сформулированы, выступают в качестве норм, в соответствии с которыми должны осуществляться рассуждения. В логике разрабатываются также требования другого рода, которые рекомендуется выполнять в процессе познания. Формальная логика, таким образом, является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности.

Мышление, осуществляемое в соответствии с требованиями логики, называется правильным. Формальная логика, являясь наукой о правильном мышлении, исследует и систематизирует также типичные ошибки, совершаемые в процессе мышления, т.е. типичные алогизмы.

Длительное время предпринимаются попытки разработать логику диалектическую. Средства этой логики должны применяться в тех случаях, когда нельзя отвлекаться от развития знания. В рамках диалектической логики разработан ряд методологических принципов (конкретности, объективности рассмотрения и др.) и методов познания (восхождение от абстрактного к конкретному и др.).

Предполагается, что в процессе познания методы формальной логики должны дополняться методами диалектической логики и наоборот.

Упражнение

Описанным выше способом установите, являются ли формально-логическими законами связи по формам между исходными суждениями и результирующими в следующих рассуждениях (т.е. являются ли эти рассуждения правильными):

1. Все преступники подлежат уголовному наказанию. Некоторые жители Москвы подлежат уголовному наказанию. Следовательно, некоторые жители Москвы - преступники.

2. Все студенты нашей группы - юристы. Все студенты нашей группы - члены кружка логики. Следовательно, все члены кружка логики - юристы.

3. Некоторые участники этого преступления опознаны потерпевшим. Ни один из членов семьи Петровых не опознан потерпевшим. Никто из лиц, не участвовавших в совершении этого преступления, не привлечен к уголовной ответственности за его совершение. Следовательно, ни один из членов семьи Петровых не привлечен к уголовной ответственности за совершение этого преступления.

4. “Если умер Сократ, то он умер или когда жил, или когда умер. Если когда жил, то он не умер, так как один и тот же человек и жил бы, и был бы мертв; но и не тогда, когда умер, ибо он был бы дважды мертвым. Стало быть, Сократ не умер.” (Эмпирик Секст. Соч. В 2 т. М., 1976. Т. 2. С. 289).

5. Все металлы - теплопроводные вещества. Все металлы - электропроводные вещества. Следовательно, все электропроводные вещества являются теплопроводными.

Формальная коннотация: крыло автомобиля Долгое время американские автомобили украшались огромными крыльями, о которых Паккард в своем «Искусстве расточительства» (с. 282) пишет, что они символизируют собой американскую одержимость потребительскими благами; но у них есть