МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ

РОССИЙСКОЙ ФЕДЕРАЦИИ

СТЕРЛИТАМАКСКИЙ ФИЛИАЛ

ФЕДЕРАЛЬНОГО ГОСУДАРСТВЕННОГО БЮДЖЕТНОГО

ОБРАЗОВАТЕЛЬНОГО УЧРЕЖДЕНИЯ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

<<БАШКИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ>>

Юридический факультет

по дисциплине: <<Логика>>

тема: Логические законы

Выполнил студент I курса

(зп3,4юр11) группы №11

Хамзин А.А.

Проверила: Шергенг Н.А.

Стерлитамак, 2015

ВВЕДЕНИЕ…………………………………………………………..2

ЗАКОН ТОЖДЕСТВА………………………………………………3

ЗАКОН ПРОТИВОРЕЧИЯ………………………………………….3

ЗАКОН ИСКЛЮЧИТЕЛЬНОГО ТРЕТЬЕГО……………………...4

ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ………………………..5

ЗАКЛЮЧЕНИЕ………………………………………………………7

ВВЕДЕНИЕ

Помимо законов материалистической диалектики человеческое мышление подчиняется еще законам логики. Вот основные законы логики: закон тождества, закон противоречия, закон исключенного третьего, закон достаточного основания. Они используются при оперировании понятиями и суждениями, применяются в умозаключениях, доказательствах и опровержениях. Первые три были открыты Аристотелем, четвертый - В. Г. Лейбницем. Логические законы отражают в сознании человека определенные отношения, существующие между объектами, или отражают такие обычные свойства предметов, как их относительная устойчивость, определенность, несовместимость в одном и том же предмете одновременного наличия и отсутствия одних и тех же признаков. Законы логики отражают объективное в субъективном сознании человека, поэтому их нельзя отменить или заменить другими. имеют общечеловеческий характер, т. к. они едины для людей всех рас, наций, профессий. Основные логические законы сложились исторически в результате многовековой практики познания. Они отражают такие важные свойства правильного мышления, как его определенность, непротиворечивость, обоснованность, четкость мышления, выбор "или-или" в определенных "жестких" ситуациях. Кроме основных, существует много неосновных законов логики, которые надо выполнять при оперировании понятиями, или суждениями, или умозаключениями. Законы логики, как основные, так и неосновные в мышлении функционируют в качестве принципов правильного рассуждения в ходе доказательства истинных суждений и теорий и опровержения ложных суждений и ложных гипотез. Законы логики играют роль универсальных связей мышления и общих принципов любой мыслительной деятельности, выражающих требования методологического характера. Нарушение Законов логики приводит к логической ошибке - как непреднамеренной - паралогизму (от греч. paralogismos), так и сознательной - софизму (от греч. sophisma – уловка, выдумка, головоломка), хотя эти типы ошибок возникают и в других ситуациях.

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

Закон тождества гласит: «Каждая мысль в процессе рассуждения должна иметь одно и то же определение, устойчи­вое содержание». Соблюдение этого закона требует определен­ности, точности формулировок. Закон запрещает произвольно и беспричинно менять содержание и объем понятия. Во время рас­суждения нельзя подменять один предмет мысли другим. Каждое суждение сохраняет одно и то же содержание, сколько бы раз оно ни повторялось.

Нарушение закона тождества ведет к логической ошибке - подмене понятий, когда различные по смыслу понятия выдаются за тождественные, что ведет к подмене предмета рассуждения и, следовательно, к путанице и неясности. Перескакивание с одного определения понятия на другое, подмена данного содержания другим, смешивание понятий ведут к двусмысленности. В рас­суждениях некоторых ораторов трудно бывает понять, о чем идет речь, так как мысли оказываются расплывчатыми, неопределенны­ми. Иногда в споре один человек какое-либо понятие понимает так, а другой - иначе, поэтому разговор ведется согласно русской посло­вице: «Один про Фому, другой про Ерему». Вместо выяснения во­проса происходит его запутывание. Неопределенность мышления, нечеткое употребление понятий нередко возникают в связи с осо­бенностями речи. Одну и ту же мысль можно выразить с помощью различных слов, а это может привести к изменению первоначаль­ного смысла понятия, к подмене одной мысли другой.

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

Закон противоречия (непротиворечия) формулируется следующим образом: «Две противоположные мысли об од­ном и том же предмете, взятом в одно и то же время, в одном и том же отношении, не могут быть одновременно истинными». Это означает, что закон противоречия не позволяет отвечать на поставленный вопрос в одно и то же время в одном и том же смысле одновременно «да» и «нет»).

Речь оратора не должна на­поминать размышления восточного мудреца, к которому обрати­лись за советом два поссорившихся соседа:

И ты прав, Али. И ты прав, Ветал.

Ахмет, услыхавши такие слова, сказал ей:

Ну, что же?

Ты тоже права.

Этот закон требует, чтобы в устной и письменной речи не было противоречивых суждений.

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

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

Закон исключенного третьего предписывает: «Из двух противоречащих суждений одно должно быть истин­ным, другое ложным, а третьего не дано». Рассуждение здесь ве­дется по формуле «или - или», и никаких других вариантов нет. Этот закон был открыт Платоном и сформулирован следующим образом:

«Человек не может быть одновременно как здоровым, так и больным». Противоречащие суждения всегда выражают альтернативу, т. е. два понятия, одно из которых утверждает, другое это же понятие отрицает.

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

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

Муза, ранясь шилом опыта, ты помолишься на разум.

Итак, логика представляет собой науку о правильном рассуждении. Формальная логика утверждает, что правильность рассуждения зависит только от его формы. Вопрос о возможности разделения содержания и формы, – это, вообще говоря, вопрос сложный. Иногда их можно разделить, а иногда нельзя (например, в арифметике – можно, а в поэзии – нельзя).

После всего того, что было сказано в предыдущей лекции, должно быть понятно, что, во всяком случае, в математике можно отделить форму от содержания; поэтому хорошие примеры правильных рассуждений следует искать в математике. Так и поступим: обратимся к той области математики, которая должна быть знакома всем выпускникам средней школы, – а именно к геометрии Евклида.

Этой науке присуще логическое совершенство. Geometria est archetypus pulchritudinis mundi (геометрия есть прообраз красоты мира), – утверждает Кеплер [цит. по: Гейзенберг В. Смысл и значение красоты в точных науках. – Вопросы философии, 1979, № 12] . О красоте евклидовой геометрии пишет великий физик ХХ в. А. Эйнштейн:

«Мы почитаем древнюю Грецию как колыбель западной науки. Там была впервые создана геометрия Евклида – это чудо мысли, логическая система, выводы которой с такой точностью вытекают один из другого, что ни один из них не был подвергнут какому-либо сомнению. Это удивительнейшее произведение мысли дало человеческому разуму ту уверенность в себе, которая была необходима для его последующей деятельности. Не рожден для теоретических исследований тот, кто в молодости не восхищался этим творением» [Эйнштейн А. Физика и реальность. – М., 1965, с. 326] .

Известно, что евклидова геометрия основана на пяти аксиомах и пяти постулатах, – истинах, которые принимают без доказательства, на веру. Например, одна из аксиом утверждает: целое больше своей части. Принципиальной разницы между аксиомами и постулатами нет, но с постулатами Евклид обычно связывает утверждение возможности выполнить то или иное построение.

Примером может служить самый знаменитый из постулатов, – пятый, – постулат о параллельных: прямая и точка, не лежащая на этой прямой, определяют плоскость; в этой плоскости через точку, не лежащую на данной прямой, можно провести прямую, параллельную данной и притом только одну [Киселев А. П. Геометрия. Часть вторая. Стереометрия. Учебник для IX – X кл. – М., 1971, с. 93] . Параллельными, как известно, называются две прямые, лежащие в одной плоскости и не имеющие ни одной общей точки.

Все истины, которые встречаются в геометрии, Евклид разделил на три вида: уже знакомые нам постулаты и аксиомы, и теоремы . Аксиомы и постулаты, принимаемые на веру, являются фундаментом, основанием геометрии. В трактате «Метафизика» Аристотель поставил вопрос о начале всякого знания, понимая при этом, что любое доказательство опирается на аксиомы (постулаты), – истины, принимаемые на веру (именно так построена евклидова геометрия). Аристотель указывает на то, что не всякая наука есть доказывающая наука, потому что знание начал недоказуемо . Итак, есть не только наука, но и некоторое начало науки (в геометрии – аксиомы и постулаты).

Истины третьего вида – теоремы – должны доказываться , то есть путем правильных рассуждений выводиться из двух первых видов истин.Любой науке присуща доказательность. Аристотель и определяет науку как вид бытия, способный доказывать [Асмус В. Метафизика Аристотеля. – Аристотель . Сочинения в четырех томах. Том 1. – М., 1976, с. 37] . Евклидова геометрия – образец доказательности и логической стройности.

Приведем пример геометрического доказательства.

Теорема: две прямые, порознь параллельные третьей, параллельны между собой.

Дано: три прямые a, b, c;

Что значит «прямые параллельны»? Это значит, что они не имеют ни одной общей точки, не пересекаются друг с другом. Определение : две прямые, лежащие в одной плоскости и не имеющие ни одной общей точки, называются параллельными.

Доказательство будет проведено методом приведения к абсурду (лат. reductio ad absurdum) (так называемое доказательство от противного ; в этом случае в качестве первого шага предполагают противоположное тому, что хотят доказать – отсюда и название)

1) предположим, что a не параллельна b

2) следовательно, эти прямые пересекаются в точке D (см. рис.)

3) следовательно, через точку D проходят две прямые, параллельные прямой c

4) однако постулат о параллельных утверждает, что через точку вне прямой можно провести только одну прямую, параллельную данной!

5) следовательно, мы пришли к противоречию с постулатом о параллельных

6) следовательно, наше исходное предположение 1) ложно

7) следовательно, истинно противоположное утверждение, а именно:

a параллельна b , что и требовалось доказать.

Практическое задание

Самостоятельно найти пример доказательства от противного (легче

всего это сделать, обратившись к школьному курсу геометрии).

Доказательство опирается, во-первых, на постулат о параллельных, и, во-вторых, на закон противоречия , – один из центральных законов классической логики, сформулированный ее создателем, великим древнегреческим философом Аристотелем, в трактате «Метафизика»:

«…самое достоверное из всех начал – то, относительно которого невозможно ошибиться, ибо такое начало должно быть наиболее очевидным (ведь все обманываются в том, что не очевидно) и свободным от всякой предположительности.

…что это за начало, укажем теперь. А именно: невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении …Конечно, не может кто бы то ни было считать одно и то же существующим и не существующим …

Если невозможно, чтобы противоположности были в одно и то же время присущи одному и тому же…, и если там, где одно мнение противоположно другому, имеется противоречие , то очевидно, что один и тот же человек не может в одно и то же время считать одно и то же существующим и не существующим… Поэтому все, кто приводит доказательство, сводят его к этому положению как к последнему: ведь по природе оно начало даже для всех других аксиом» [Аристотель. Метафизика, IV, 3,1005b. – Аристотель. Сочинения: В 4 т. – М., 1977 – 1983, т.1, с. 125; курсив мой – А. П.]

Иногда этот закон именуют также законом непротиворечивости : не могут быть одновременно истинными суждение А и его отрицание – не А [Ерышев А. А., Лукашевич Н. П., Сластенко Е. Ф. Логика. – К., 2003, с. 68 – 70] . Из двух противоречащих друг другу высказываний одно должно быть ложным [Ивин А. А. Логика. – М., 2004. с. 160 – 161] .

Логика Аристотеля двузначна ; она основывается на предположении, что любое суждение А или истинно, или ложно. Если А истинно, то не-А ложно; если не-А истинно, то А ложно.

Обратите внимание: Аристотелева, формальная, классическая, двузначная логика – это одна и та же наука.

Пусть А – некоторое суждение; тогда не-А –суждение, противоречащее А, противоположное ему.

www.myslenedrevo.com.ua

Аристотель 3 закона логики

Из четырех законов мышления традиционной логики Аристотель установил по крайней мере два – законы (запрещения) противоречия и исключенного третьего . Законы же тождества и достаточного основания у Аристотеля тоже намечены в учении о научном знании как знании доказательном (закон достаточного основания) и в тезисе, согласно которому «невозможно ничего мыслить, если не мыслить [каждый раз] что-нибудь одно» (Аристотель. Метафизика, IV, 4, с. 64) – закон тождества.

Закон [запрещения] противоречия в краткой форме звучит как «вместе существовать и не существовать нельзя» (там же, с. 63) или: «Не может одно и то же в то же самое время быть и не быть» (XI, 5, с. 187), а в полной – как утверждение: «Невозможно, чтобы одно и то же вместе (совместно, одновременно) было и не было присуще одному и тому же в одном и том же смысле» (IV, 3, с. 63). В «Метафизике» Аристотеля сформулирован и логический аспект закона [запрещения] противоречия в словах о том, что «нельзя говорить верно, вместе утверждая и отрицая что-нибудь» (IV, 6, с. 75). Этот аспект более определенно показан в логических работах Аристотеля, где не раз утверждается, что невозможно одно и то же одновременно утверждать и отрицать. Этот закон прямо обосновать нельзя, однако можно опровергнуть противоположный ему взгляд, показав его нелепость. Всякий, кто оспаривает закон [запрещения] противоречия, им пользуется. Далее, если не признавать этого логического закона, все станет неразличимым единством. Сюда же относятся соображения Аристотеля против скептика, который, утверждая, что все истинно или что все ложно, что оказывается нелепым с позиций практики, может это делать, лишь отвергая закон [запрещения] противоречия.

Аристотель. Скульптура работы Лисиппа

Говоря об этом основном законе логического мышления, Аристотель учитывает те крайности, в которые впадали исследователи, подходившие к его открытию. Например, киник Антисфен считал, что надо говорить «человек есть человек», но нельзя сказать, что «человек есть живое существо» или «белый», или «образованный», потому что это означало бы некое «нарушение». В свете открытого Аристотелем закона можно лучше понять Антисфена. Утверждая, что «человек есть образованный», мы утверждаем, что «а есть не-а», ибо «образованный» – это не то, что «человек». Казалось бы, закон [запрещения] противоречия подтверждает это. Получается, что утверждение «человек есть образованный» означает, что человек есть одновременно и а [человек] и не-а [образованный].

Аристотель возражает: здесь нет а и не-а, человеку противостоит не «образованный», а не-человек, ведь противоречие может быть лишь в пределах одной категории, а «человек» и «образованный» относятся к разным категориям («человек» – сущность, а «образованный» – качество).

Логический закон [запрещения] противоречия вызвал много возражений. Гегель критиковал Аристотеля, утверждая, что этот закон запрещает в действительности становление, изменение, развитие, что он метафизичен. Но возражение свидетельствует о непонимании Гегелем сути данного закона. В логике Аристотеля закон [запрещения] противоречий абсолютен, но он действует только в сфере актуального бытия, а в сфере возможного он не действует. Поэтому и становление, по Аристотелю, существует как реализация одной из возможностей, которая, будучи реализованной, актуализированной, исключает другие возможности, но только в действительности, а не в возможности. Если актуализированная возможность снова станет просто возможностью, ее сменит другая актуализированная возможность. Определив границы своей формальной логики, Аристотель тем самым оставил место и для диалектической логики. Потенциально сущее диалектично, актуально сущее относительно недиалектично.

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

Обостренной формой закона [запрещения] противоречия является логический закон исключенного третьего , запрещающий не только то, что в отношении одного и того же не может быть одновременно истинно «b» и «не-b», но и то, что, более того, истинность «b» означает ложность «не-b», и наоборот. Этот закон в «Метафизике» Аристотеля выражен так: «Не может быть ничего посредине между двумя противоречащими [друг другу] суждениями, но об одном [субъекте] всякий отдельный предикат необходимо либо утверждать, либо отрицать» (IV, 7, с. 75). Во «Второй аналитике» Аристотеля сказано, что «о чем бы то ни было истинно или утверждение, или отрицание» (I, 1, с. 257).

Действие этих законов логики Аристотеля таково, что закон [запрещения] противоречия необязательно влечет за собой закон исключенного третьего, но закон исключенного третьего предполагает действие закона [запрещения] противоречия. Поэтому выше и было сказано, что закон исключенного третьего – более острая форма закона противоречия.

Такая разница в сфере применения этих законов логики Аристотеля означает, что есть разные виды противоречия. Выше было различено собственно противоречие и его смягченная форма – противоположность. И то, и другое – два вида противолежащего. Позднее это стали называть контрарным и контрадикторным противоречиями. Обоими законами связано лишь контрадикторное противоречие. Пример контрадикторной противоположности: «Эта бумага белая» и «Эта бумага не-белая». Среднего здесь нет. Контрарная противоположность связана лишь законом запрещения противоречия. Пример: «Эта бумага белая» и «Эта бумага черная», ведь бумага может быть и серой. Контрарное противоречие (противоположность) допускает среднее, контрадикторное – нет. Члены контрарного противоречия могут быть оба ложными (когда истина между, – это третье значение), но сразу истинными они быть не могут, это запрещено законом противоречия. Члены контрадикторной противоположности не могут быть не только сразу истинными, но и сразу ложными, ложность одной стороны влечет за собой истинность другой. Правда, в логике Аристотеля мы такой точности не находим.

4 закона логики

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

В тренинге логического мышления на нашем сайте, мы даем короткую характеристику основным логическим законам. В этой статье рассмотрим 4 закона логики более детально, с примерами, ведь, как справедливо отметил автор учебника по логике Никифоров А. Л.: «Попытка нарушить закон природы способна убить вас, но точно так же попытка нарушить закон логики убивает в вас разум».

Логические законы

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

Логический закон – внутренняя существенная, необходимая связь между логическими формами в процессе построения размышления. Под логическим законом Аристотель, который, к слову, первым сформулировал три из четырех законов формальной логики, подразумевал предпосылку к объективной, «природной» правильности рассуждения.

Многие учебные материалы часто предлагают следующие формулы для записи основных законов логики:

• Закон тождества – А = А, или А ⊃ А;
• Закон непротиворечия – A ∧ A;
• Закон исключенного третьего – A ∨ A;
• Закон достаточного основания – А ⊃ В.

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

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

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

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

Чтобы подтвердить закон тождества Аристотель обратился к анализу софизмов – ложных высказываний, которые при поверхностном рассмотрении кажутся правильными. Наиболее известные софизмы, наверное, слышал каждый. Например: «Полупустое есть то же, что и наполовину полное. Если равны половины, значит, равны и целые. Следовательно, пустое есть то же, что и полное» или «6 и 3 есть четное и нечетное. 6 и 3 есть девять. Следовательно, 9 есть и четное, и нечетное».

Внешне форма рассуждения правильная, но при анализе хода рассуждения обнаруживается ошибка, связанная с нарушением закона тождества. Так, во втором примере всем понятно, что число 9 не может быть одновременно и четным, и нечетным. Ошибка в том, что союз «и» в условии употребляется в разных значениях: в первом как объединение, одновременная характеристика чисел 6 и 3, а во втором – как арифметическое действие сложения. Отсюда и ошибочность вывода, ведь в процессе рассуждения к предмету были применены разные смыслы. По сути, закон тождества – требование в определенности и неизменности мыслей в процессе рассуждения.

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

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

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

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

Сам Аристотель писал: «Невозможно, чтобы одно и то же одновременно было и не было присуще одному и тому же, в одном и том же смысле».

Разберемся с этим законом на конкретном примере – рассмотрим следующие суждения:

1. Каждый посетитель сайта 4brain имеет высшее образование.
2. Ни один посетитель сайта 4brain не имеет высшего образования.

Для того, чтобы определить какое высказывание истинно, обратимся к логике. Можем утверждать, что одновременно оба высказывания быть правдивыми не могут, поскольку являются противоречивыми. Из этого следует, что если доказать истинность одного из них, то второе обязательно будет ошибочным. Если же доказать ошибочность одного, то второе может быть как истинным, так и неправдивым. Чтобы узнать правду, исходные данные достаточно проверить, например, с помощью метрики.

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

Чтобы эффективно использовать закон противоречия достаточно правильно учитывать условия его употребления. Основным требованием является соблюдение в высказываемой мысли единства времени и отношения между предметами. Другими словами, нарушением закона непротиворечия не может считаться утвердительное и отрицательное суждения, которые относятся к разному времени или употребляются в разных отношениях. Приведем примеры. Так, высказывания «Москва – столица» и «Москва – не столица» могут быть одновременно правильными, если мы говорим в первом случае о современности, а во втором – об эпохе Петра I, который, как известно, перенес столицу в Санкт-Петербург.

В плане разности отношений истинность противоречивых суждений можно передать на таком примере: «Моя подруга хорошо владеет испанским языком» и «Моя подруга плохо владеет испанским языком». Оба утверждения могут быть истинны, если в момент речи в первом случае говорится об успехах в изучении языка по университетской программе, а во втором о возможности работы профессиональным переводчиком.

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

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

Намного «знаменитей», чем предыдущие два закона Аристотеля, в широких кругах, благодаря значительной распространенности сентенции «tertium non datur», что в переводе значит «третьего не дано» и отображает суть закона. Закон исключенного третьего – требование к мыслительному процессу, согласно с которым если в одном из двух выражений что-либо о предмете утверждается, а во втором отрицается – одно из них обязательно истинно.

Аристотель в Книге 3 «Метафизики» писал: «…ничего не может быть посредине между двумя противоречивыми суждениями об одном, каждый отдельный предикат необходимо либо утверждать, либо отрицать». Древнегреческий мудрец отмечал, что закон исключенного третьего применим лишь в случае высказываний, употребленных в прошедшем или настоящем времени и не работает с будущим временем, ведь нельзя сказать с достаточной долей уверенности произойдет или не произойдет что-либо.

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

Закон исключенного третьего применим к таким формам суждений:

Одно суждение утверждает что-либо о предмете в одном и том же отношении в одно время, а второе – то же самое отрицает. Например: «Страусы – птицы» и «Страусы – не птицы».

• «Все А есть В», «Некоторые А не есть В».

Одно суждение утверждает что-либо относительно всего класса предметов, второе – отрицает это же, но относительно лишь некоторой части предметов. Например: «Все учащиеся группы ИН-14 сдали сессию на отлично» и «Некоторые учащиеся группы ИН-14 не сдали сессию на отлично».

• «Ни одно А не есть В», «Некоторые А есть В».

Одно суждение отрицает характеристику класса предметов, а второе эту же характеристику утверждает в отношении некоторой части предметов. Пример: «Ни один житель нашего дома не пользуется Интернетом» и «Некоторые жители нашего дома пользуются Интернетом».

Позже, начиная с эпохи Нового времени, закон был раскритикован. Известная формулировка, применявшаяся для этого: «Насколько верно утверждать, что все лебеди черные, исходя из того, что нам до сих пор встречались только черные?». Дело в том, что закон применим лишь в аристотелевской двузначной логике, которая основывается на абстракции. Поскольку ряд элементов бесконечен, проверить все альтернативы в подобного рода суждениях очень сложно, здесь требуется применение других логических принципов.

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

Четвертый из основных законов формальной или классической логики был сформулирован по прошествии значительного периода времени после обоснования Аристотелем первых трех. Его автор – видный немецкий ученый (философ, логик, математик, историк; этот список занятий можно продолжить) – Готфрид Вильгельм Лейбниц. В своей работе о простых субстанциях («Монадология», 1714 г.) он писал: «…ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, – без достаточного основания, почему именно дело обстоит так, а не иначе, хотя эти основания в большинстве случаев вовсе не могут быть нам известны».

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

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

При детальном анализе оказывается, что закон достаточного основания мы применяем в повседневной жизни довольно часто. Делать выводы, основываясь на фактах – значит применять этот закон. Школьник, указывающий в конце реферата список использованной литературы и студент, оформляющий ссылки на источники в курсовой работе – этим они подкрепляют свои выводы и положения, следовательно, используют закон достаточного основания. С тем же самым люди разных профессий сталкиваются в процессе своей работы: доцент – при поиске материала для научной статьи, спичрайтер – при написании речи, прокурор – во время подготовки обвинительного выступления.

Нарушение закона достаточного основания также широко распространено. Иногда причиной тому неграмотность, иногда – специальные уловки с целью получения выгоды (например, построение аргументации с нарушением закона для победы в споре). Как пример, высказывания: «Этот человек не болеет, у него ведь нет кашля» или «Гражданин Иванов не мог совершить преступление, ведь он прекрасный работник, заботливый отец и хороший семьянин». В обоих случаях ясно, что приводимые аргументы в недостаточной мере обосновывают тезис, а, значит, являются прямым нарушением одного из основных законов логики – закона достаточного основания.

Интересуетесь развитием логического мышления и мышления глобально? Обратите внимание на курс «Когнитивистика»».

Отзывы и комментарии

Законы логики Аристотеля

Три основных закона логики сформулированы Аристотелем:

— закон (запрета) противоречия,

— закон исключенного третьего.

А четвертый закон — достаточного основания — выдвинут немецким математиком и философом XVII—XVIII вв. Лейбницем.

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

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

Нарушением этого закона является подмена понятий (часто используется в адвокатской практике).

В этом законе непосредственно проявляется природа самых фундаментальных свойств логической мысли — определенности и последовательности.

Иначе этот закон можно выразить так: мысли о предметах, свойствах или отношениях должны оставаться неизменными по содержанию в процессе всего рассуждения о них.

Причиной возникновения ошибок чаще всего является многозначность слов и, как следствие, нарушение закона тождества при рассуждении. Как, скажем, понимать такое предложение: «Партия фортепиано доставила большой коммерческий успех»? Идет ли здесь речь о блестящем исполнении и большом сборе благодаря нему или имеются в виду проданные за хорошую цену музыкальные инструменты?

Неоднозначность выражений может возникать и из-за двусмысленных грамматических конструкций. Путаница, вызванная такого рода обстоятельствами, знакома каждому благодаря знаменитому «казнить нельзя помиловать». «Беспечность порождает самонадеянность». В нем нельзя понять, что имеется в виду под порождаемым, а что под порождающим. Совершенно аналогичны в этом отношении выражения вроде: «Взвод сменяет караул» или «Меньшинство подчиняет большинство». Остроумно использовал двусмысленность выражения А.П. Чехов, вложив в уста одного из персонажей сообщение: «Перед вами череп обезьяны очень редкой разновидности. Таких черепов у нас всего два, один — в Национальном музее, другой — у меня».

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

1. Расщепление знания на логику и эмпирику
2. Основания логики
3. Формальная логика Аристотеля
4. Законы логики

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

Вместе с тем эмпирическое знание приобретает для Аристотеля самостоятельную цену. Тем самым происходит расщепление знания на логику и эмпирику.

1. Знание и мнение

Он был верен духу своего времени и следовал тезису Парменида, который был развит Сократом и Платоном, о том, что сущее, бытие познается при помощи мышления, познается потому, что бытие и мышление – одно и то же.

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

2. Мнение людей (внушаемость) и суждение мудреца

Аристотель не уставал напоминать о том, что «человек по природе своей есть существо политическое [= общественное и внушаемое]». («Политика». I 1,1253a 3). Он подчеркивал, что «человек есть существо общественное в большей степени, нежели пчелы и всякого рода стадные животные». (Там же, I 1, 1253a 6-8). В силу этого люди в силу внушаемости склонны оценивать степень правдоподобия того или иного мнения, не прибегая к его обсуждению и даже не вникая в его содержание. Они склонны давать оценку степени правдоподобия того или иного мнения, опираясь исключительно на “внешние” его особенности, а именно – на то, какой “вес”, какой “авторитет” имеет это мнение в обществе.

Аристотель ведь совершенно прав, утверждая, что правдоподобным является то, что «кажется правильным всем или большинству людей». Во все времена и во всех обществах общественное мнение почиталось чем-то весьма авторитетным. Но как ни ценно “мнение толпы”, еще более авторитетным является мнение мудрецов, «то, что кажется правильным мудрым – всем или большинству из них». Но еще на порядок выше авторитет мнений «самых известных и славных» мудрецов.

Если речь идет о каких-то частных проблемах, то при их решении Аристотель советует опираться на мнения специалистов, на «мнения, согласующиеся с искусствами». («Топика». I 14, 105b 1). Если заболел, то следует обратиться к врачу; если захотел построить дом, то нужно пригласить архитектора. В соответствии с этим советом Стагирита люди поступали и поступают всегда и везде.

3. Недопустимость мнений в умозаключениях

Что же представляет собой тот силлогизм, который не является доказательством и который Аристотель именует “ненаучным”? Аристотелевское деление силлогизмов на научные и “ненаучные” связано с традиционным в античной гносеологии противопоставлением знания и мнения. Тот силлогизм, в качестве посылок которого фигурируют мнения, уже не будет научным, хотя останется силлогизмом. В «Топике» Аристотель разъясняет (в отечественном переводе слово «силлогизм» переведено как «умозаключение»): «Доказательство имеется тогда, когда умозаключение строится из истинных и первых положений или из таких, знание о которых берет свое начало от тех или иных первых и истинных положений. Диалектическое же умозаключение – это то, которое строится из правдоподобных положений. Истинные и первые положения – те, которые достоверны не через другие положения, а через самих себя. Ибо о началах знания не нужно спрашивать «почему», а каждое из этих начал само по себе должно быть достоверным. Правдоподобно то, что кажется правильным всем или большинству людей или мудрым – всем или большинству из них или самым известным и славным. Эвристическое же умозаключение исходит из положений, которые кажутся правдоподобными, но на деле не таковы, или оно кажется исходящим из правдоподобных либо кажущихся правдоподобными положений. Ведь не все правдоподобно, что кажется таковым, и то, о чем говорят как о правдоподобном, вовсе не представляется таковым уже на первый взгляд, как это бывает у начал эристических доводов, ибо их ложность сразу же и обычно очевидна даже для людей малопонятливых». («Топика». I 1, 100b 28-101a 1).

Таким образом, Аристотель кроме научных выделяет диалектические и эвристические умозаключения (силлогизмы), к которым в трактате «О софистических опровержениях» добавляет еще и испытующие: «Испытующие – те, что заключают от [положений], которые отвечающий считает правильными.» («О софистических опровержениях», 2, 165b 4-5). Как видим, все дело в том, каковы посылки, фигурирующие в умозаключениях. Ни диалектический, ни эвристический, ни испытующий силлогизмы не претендуют на «научность».

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

«Испытующий» силлогизм представляет собой частный случай диалектического. Это тот случай, когда пропонент имеет право приводить не какие ему заблагорассудится аргументы, а только те, которые оппонент «считает правильными», с которыми он согласен и не имеет против них возражений. Тут не имеет значения то, насколько убедительными кажутся аргументы, принимаемые оппонентом, самому пропоненту.

Что касается эристического силлогизма, то для того, чтобы стать его посылкой, положение не обязано даже быть правдоподобным. Эристика – это искусство спора, полемики ради достижения победы, а не истины, ему учили в своих школах софисты. Придавалось эристике большое значение и в мегарской школе философов. Ясно, что эристический силлогизм играл в античности вспомогательную роль, употребляясь в качестве упражнения при обучении искусству построения умозаключений.

Итак, различие между научным, диалектическим и эристическим силлогизмами зависит исключительно от посылок, какие заложены в тот или иной силлогизм. Правила же построения силлогизма во всех трех случаях одинаковы. Аристотель понимал, что умозаключение представляет собой чисто формальную процедуру, и это очень высоко ставит Стагирита в глазах современных логиков. Силлогизм в трактовке Аристотеля напоминает собой некий механизм, действующий всегда стандартно и единообразно, что в него заложено «на входе», то будет получено и «на выходе»: если посылки силлогизма – научные истины, то и в качестве заключения мы получим научную истину; если посылки – диалектические положения, то и заключение будет диалектическим; если посылки эристические, то таким же окажется и заключение.

4. Важность доказательств и определений

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

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

Поэтому логика есть не отвлеченная область знания, а как раз та наука, которая помогает нам познать саму действительность. Логика приобретает для Аристотеля такое важное значение, но он не включает ее ни в какую из наук. Как мы видели, в разработанную им классификацию логика не входит. Логика – это “органон” для всех наук, т. е. инструмент, орудие.

5. Высокая оценка понятийного (дефинитивного) знания

Особенно ценным Аристотель считает дефинитивное знание, то знание, которое аккумулируется в определениях. Он говорит: «Определение есть речь, обозначающая суть бытия вещи». («Топика», I 5, 101b 40). А ведь полностью и адекватно познать вещь означает, по Аристотелю, выяснить суть бытия.

Что касается знания, получаемого посредством доказательства, то Аристотель понимает его так: «Под доказательством же я разумею научный силлогизм. А под научным я разумею такой силлогизм, посредством которого мы знаем благодаря тому, что мы имеем этот силлогизм. Поэтому если знание таково, как мы установили, то и доказывающее знание необходимо исходит из истинных, первых, неопосредствованных, более известных и предшествующих посылок, т.е. из причин заключения. Ибо таким будут и начала, свойственные тому, что доказывается. В самом деле, силлогизм может быть и без них, доказательство же не может, так как без них не создается наука». («Вторая аналитика». I 2, 71b 17-24).

Откуда же берутся «истинные, первые, неопосредствованные, более известные и предшествующие» посылки? Они добываются при помощи интеллектуальной интуиции (нуса). Значит, интеллектуальная интуиция (нус) – это такая наша способность, при помощи которой мы выявляем суть бытия вещей, и благодаря интеллектуальной интуиции (нусу) «нам становятся известными определения».

Если считать, что данные, полученные интеллектуальной интуицией (нусом), аккумулируются в определениях, то посылки эти извлекаются из определений. Так, если мы определим человека, как живое существо, разумное, словесное, смертное, то из этого определения сможем извлечь следующие большие посылки для научных силлогизмов: «Все люди суть живые существа», «Все люди разумны», «Все люди суть существа словесные», «Все люди смертны». Добавив к любой из них подходящие меньшие посылки, мы сможем получить соответствующие им силлогизмы. Например: «Если все люди – живые существа, а все самниты – люди, то все самниты – живые существа»; «Если все люди разумны и все люди двуноги, то некоторые двуногие существа разумны»; «Если все люди смертны, а Сократ – человек, то Сократ смертен». И так далее.

Но силлогизм, продолжает далее Аристотель, может быть без истинных, первых, неопосредствованных, более известных и предшествующих посылок, доказательства же не могут, так как без них не создается наука. Для Аристотеля доказательство и научный силлогизм – понятия совпадающие. При этом, кроме научного силлогизма, существует еще и «ненаучный». Значит, для Стагирита понятие силлогизма шире, чем понятие доказательства.

1. Зарождение формальной логики

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

На переднем плане у аристотеля, как и у его учителя платона, стоит понятие: оно, и только оно обозначает категорию. аристотель об этом пишет так: «Любое сказанное отдельно слово обозначает либо сущность, либо количество, либо качество, либо отношение, либо место, либо время, либо состояние, либо обладание, либо действие, либо страдание».

К логике Аристотеля обыкновенно относят также и его учение о категориях, каковыми являются те высшие, наиболее общие понятия, при посредстве которых мы мыслим все остальное. Уже у Платона есть попытка обозрения общих понятий, под которые подходят все остальные. Аристотель также попытался дать перечень тех общих точек зрения, понятий и отношений, без которых ничто не мыслится. Этих категорий, как назвал их Аристотель, 10. Самые важные категории суть первые 4: сущность, количество, качество, отношение. Остальные категории суть лишь виды отношений [Трактат о категориях, приписываемый Аристотелю, вряд ли принадлежит самому Аристотелю; в других своих произведениях он имеет в виду главным образом указанные 4 первые категории.].

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

3. Дедукция и силлогизм

Такие суждения можно по определенным правилам соединять в заключения. Соединение двух суждений в третье наз. силлогизмом. Первое и второе предложения – посылки (большая и малая), а третье – заключение. Цепочка заключений составляет доказательство. Этот метод – дедуктивный, т. е. идет от общего к частному. Целью науки, по аристотелю, и должен быть необходимый вывод сущего из причины. Доказательство в аристотелевском смысле есть вывод.

4. Учение об индукции

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

Индукция ищет общее в пределах рода. Классифицировать все сущее позволяет определение (дефиниция). Она вводится через род и видовые отличия (напр., «человек есть разумное живое существо»). Аристотель не только признавал необходимость индукции для науки, но даже полагал, что чем выше уровень науки, тем больше наука испытывает нужду в опоре на индукцию («Вторая аналитика», 2-я кн., гл. 19).

Индукцию Аристотель описывает так: «Индукция есть восхождение от отдельного к общему, напр., если сведущий кормчий – наилучший и, опять-таки, сведущий возничий тоже наилучший, то и в любом деле вообще сведущий будет наилучшим».

Взаимодействие индукции и дедукции ведет к тому, что последовательность первичного и вторичного становится обратной: общее, первичное по природе, становится вторичным для нас (в познании) в качестве вторичного – особенного. Но самое первое и всеобщее (принцип) недоказуемо: «Принцип есть непосредственное положение доказательства. Непосредственным является то, первичнее которого не существует». Этот тезис введен, поскольку вывод вывода неизбежно ведет к регрессу в бесконечное.

5. Учение Аристотеля о научном доказательстве

Т. обр., общие элементы мышления суть понятие, суждение и умозаключение, которое в особенности привлекло к себе внимание Аристотеля: его теория силлогизмов является существенной частью формальной логики, как она преподается еще в наши дни. Если мы сравним, что было в этой науке сделано Аристотелем и что до него, то найдем громадный шаг вперед. Сократ открыл лог. принципы знания, Платон установил деление (διαιρεσιζ) понятий, Аристотелю принадлежит учение о научном доказательстве. Все научные положения и должны выводиться из необходимых посылок, путем цепи посредствующих заключений, причем ни одно звено не должно быть пропущено. Это и есть док-во. То, что известно нам из восприятий, должно быть понято из причин, и процесс научного познания должен логически воспроизвести отношение между причиной и ее следствием. Т. обр., логика является орудием, которым он хотел пользоваться для фил. познания. Логика как учение о научном познании есть собственно не часть философии, а ее «Органон» (орудие).

6. Учение о логических системах

Аристотель отчетливо исходит из того, что философию надо строить на последовательной, аксиоматической основе как единую систему. Этот метод будет применяться в философии Нового времени и станет на долгие века очевидным и само собой разумеющимся.

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

Аристотель утверждает, что природа полна различий. Различия бывают существенные и несущественные. Законченные различия Аристотель называет термином «противолежащее». Есть 2 вида противолежащего – это противоположность и противоречие. Противоположность подразумевает между собой среднее (сумерки – между днем и ночью), а противоречие не подразумевает среднего (человек или жив или мертв). И аксиома любого мышления состоит в том, что оно не допускает одновременного принятия двух противоречащих положений: как человек не может быть одновременно живым и мертвым в одно и то же время и в одном и том же отношении.

Поэтому первой аксиомой для Аристотеля является закон противоречия: «Невозможно, чтобы одному и тому же было присуще и одновременно не присуще одно и то же и в одном и том же отношении. … Это – самый надежный принцип логики». Понятно, что для человека, который строит мост между бытием и мышлением и ищет ответы на вопрос о сущности бытия в разуме, сложно было бы найти другой ответ. Именно здесь мы видим ключ ко всей философии Аристотеля, то, что связывает воедино его философию, логику, этику, физику и все области знаний. Аристотель мыслит это еще и как аргумент против философии Гераклита (его последователь Кратил учил, что не только 2-ды в реку не войдешь, но и 1 раз тоже). И далее Аристотель показывает, что человек, не принимающий эту аксиому, противоречит сам себе. Формулируя закон противоречия в качестве первейшей предпосылки доказательного мышления и условия возможности истинного знания, Аристотель выступает против всех форм скептицизма и релятивизма, получивших распространение благодаря софистам. Как известно, софисты в поисках аргументов в пользу любой точки зрения опирались на многозначность ест. языка, служившую источником паралогизмов. Аристотель же настаивает, что такая многозначность не явл. препятствием для адекватного познания в том случае, когда число значений определено (Метафизика, IV, 4, 1006 В.).

Аристотель отталкивался от принципа Парменида тождества бытия и мышления. Но несуществование небытия (Платон доказывал, что если нет небытия, то бытия – тоже!) он доказывает исходя из своего основного закона бытия и мышления – из закона противоречия (невозможно, чтобы одна и та же вещь и существовала и не существовала), – и поэтому, сказав, что небытие существует, мы впадаем в противоречие. В силу тождества бытия и мышления противоречия невозможны и в бытии, поэтому можно сделать вывод о том, что небытия не существует, ибо сказать, что существует небытие, значит высказать противоречие, ибо не может существовать то, что не существует по своему определению. Поэтому небытие не существует.

Однако Аристотель не согласен с Парменидом в том, что небытие нельзя помыслить. Небытие можно помыслить, и Аристотель проводит различие между связкой «есть» (что небытие есть в мышлении), и онтологическим положением «есть», т. е. «существовать». Небытие не существует, но небытие как предикат нашего мышления вполне может существовать. Однако онтологически небытие для Аристотеля действительно не существует.

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

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

Метод мышления его учителя Платона состоял в том, что понятие определялось через свою противоположность: единое – через многое, а многое – через единое. Эта взаимоотнесенность противоположностей и конституировала их бытие, иначе говоря, идеи существуют лишь в системе отношений, так что, отношение первичнее самих своих отнесенных элементов. – Но именно против этого главного методологического принципа Платона и выступает Аристотель. Он утверждает, что противоположности не могут воздействовать друг на друга, между ними должно находиться нечто третье, которое Аристотель обозначает термином uJpokeivmenon, букв. – «под-лежащее», т. е. лежащее внизу, в основе, лат sub-stantia (субстанция), sub-strat.

Вводя “средний термин”, опосредующий противоположности, Аристотель получает новую – “формальную” – логику, в которой справедлив закон исключенного третьего, а истинные положения “силлогистически” выводятся одно из другого, подобно тому как одно из другого выводятся все движения в физ. мире. – Этот важнейший закон бытия и мышления Аристотель считает «самым достоверным из начал». Именно он лежит в основе всех док-в и составляет условие возможности всех остальных принципов мысли.

• Как узнать класс водителя ОСАГО При формировании конечной цены ОСАГО на автомобиль учитываются многие коэффициенты, в том числе и класс водителя, характеризующий его общий стаж и возраст. При подсчете класс […]
• Тренировки для рельефа Аэробные тренировки для рельефа Править Для создания рельефа необходимо работать в двух направлениях: гипертрофия мышц и сжигание жира. Первый этап в достижении рельефа включает в […]
• Пособие по беременности и родам безработным Пособие по беременности и родам (или «декретные») является одним из видов социальной поддержки населения. Декретные может получить только женщина, родившая или […]

Три основных закона логики сформулированы Аристотелем:

• -- закон тождества,
• -- закон (запрета) противоречия,
• -- закон исключенного третьего.

А четвертый закон - достаточного основания -- выдвинут немецким математиком и философом XVII--XVIII вв. Лейбницем.

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

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

Нарушением этого закона является подмена понятий (часто используется в адвокатской практике).

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

Иначе этот закон можно выразить так: мысли о предметах, свойствах или отношениях должны оставаться неизменными по содержанию в процессе всего рассуждения о них.

Причиной возникновения ошибок чаще всего является многозначность слов и, как следствие, нарушение закона тождества при рассуждении. Как, скажем, понимать такое предложение: «Партия фортепиано доставила большой коммерческий успех»? Идет ли здесь речь о блестящем исполнении и большом сборе благодаря нему или имеются в виду проданные за хорошую цену музыкальные инструменты?

Неоднозначность выражений может возникать и из-за двусмысленных грамматических конструкций. Путаница, вызванная такого рода обстоятельствами, знакома каждому благодаря знаменитому «казнить нельзя помиловать». «Беспечность порождает самонадеянность». В нем нельзя понять, что имеется в виду под порождаемым, а что под порождающим. Совершенно аналогичны в этом отношении выражения вроде: «Взвод сменяет караул» или «Меньшинство подчиняет большинство». Остроумно использовал двусмысленность выражения А.П. Чехов, вложив в уста одного из персонажей сообщение: «Перед вами череп обезьяны очень редкой разновидности. Таких черепов у нас всего два, один -- в Национальном музее, другой -- у меня».

Введение
1. Основные этапы развития логики
2. Традиционная логика
3. Предмет формальной логики
4. Законы мышления логики Аристотеля
5. Законы мышления формальной логики
Заключение
Список использованной литературы

Введение

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

Логическая культура приобретается в ходе общения, учебы в школе и ВУЗе, в процессе чтения литературы.

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

Знание правил и законов логики не является конечной целью ее изучения. Конечная цель изучения логики — умение применять ее правила и законы в процессе мышления.

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

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

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

1. Основные этапы развития логики

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

Вначале законы и формы правильного мышления изучались в рамках ораторского искусства – одного из средства воздействия на умы людей, убеждения их в целесообразности того или иного поведения. Так было в Древней Греции и Древнем Риме, Древней Индии и Древнем Китае, средневековой России. Но в искусстве красноречия логический аспект выступает еще как подчиненный, поскольку логические приемы служат не столько цели достижения истины, сколько цели убеждения аудитории.

Развитие логической науки на протяжении ряда столетий протекало по двум направлениям, обособленным и не связанным между собой. Одно из них зародилось в Древней Греции (один из примеров логика Аристотеля). На основе этого направления развивалась логика в Древнем Риме, затем в Византии, Грузии, Армении, арабоязычных странах Ближнего Востока, Западной Европе и России. Другое направление имело своим истоком индийскую логику, на основе которой развивалась логика в Китае, Тибете, Монголии, Корее, Японии, Индонезии, на Цейлоне.

Как самостоятельная наука логика сложилась в IV в. до н.э. Ее основателем по праву считается древнегреческий философ Аристотель (348 – гг. до н.э.). В своих научных трудах, посвященных логике, Аристотель впервые дал ее систематическое изложение и назвал “традиционной” формальной логикой. Традиционная формальная логика включала в то время такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индуктивные, по аналогии), логические основы теории аргументации, гипотеза. Основными работами Аристотеля по логике являются: “Первая аналитика”и “Вторая аналитика”, в которых дана теория силлогизмов, определение и деление понятий, теория доказательства; “Топика” –содержит учение о вероятных “диалектических” доказательствах; “Категории”, “Об опровержении софистических аргументов”, “Об истолковании”. Позже византийские логики объединили все перечисленные работы Аристотеля под общим названием “Органон” (орудие познания). Законы правильного мышления: закон тождества, закон непротиворечия, закон исключенного третьего – Аристотель изложил в своем главном произведении “Метафизика”.

2. Традиционная логика

Наука о законах правильного мышления сложилась в Древней Греции. Ее основателем является великий Аристотель (384-322 гг. до н.э.), хотя теория понятия начала развиваться уже учителем Аристотеля – Платоном (427-347 гг. до н.э.). Однако основные законы логики сформулированы именно Аристотелем. Он же разработал в практически законченном виде ее важнейшие разделы.

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

После Аристотеля заметный вклад в науку о выводном знании внесли философы-стоики; они, кстати, и ввели слово “логика” (сам основатель науки о законах мышления называл ее аналитикой). Много внимания ей уделяли средневековые арабские мыслители. Например, Авиценна, по его собственным словам, знал некоторые труды Аристотеля наизусть, а его логические трактаты перечитывал сорок раз. Средневековые схоласты до тонкостей изучили логические идеи Аристотеля, изложив его учение в более компактной и понятной для неподготовленного читателя форме. В семнадцатом веке Лейбниц (1646-1716 гг.) предложил ввести буквенные обозначения для высказываний. В принципе это делал уже Аристотель, но Лейбниц пошел дальше — выдвинул идею записывать мысли в виде формул, а рассуждение заменить счетом. Его поэтому считают родоначальником символической логики, хотя до конкретных разработок по ней у него не дошло и фактически она начала развиваться только в девятнадцатом веке.

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

3. Предмет формальной логики

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

Логика есть наука о законах и формах правильного мышления.

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

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

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

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

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

Однако во многих различных по содержанию мыслях можно обнаружить нечто существенно общее. Общее характеризуется не конкретным содержанием этих мыслей, а схемой, способом построения. Дело в том, что логический строй мышления человека обладает важнейшей особенностью — какую бы словесную оболочку не принимали наши мысли, на каком бы языке они не излагались, они обязательно должны принять общечеловеческие формы. Без этого невозможны осуществление “обмена” мыслями людей разных поколений и профессий, а также взаимное понимание представителей различных стран и народов. Единство человеческого мышления обусловлено единством материального мира и его законов, отражающихся в законах человеческого мышления.

Великий русский писатель-мыслитель Л.Н. Толстой не без основания считал, что “мысль — начало всего. И мыслями можно управлять. И потому главное дело совершенствования: работать над мыслями”‘. Управлять мыслью можно по следующим направлениям:

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

Со стороны логической формы (структуры) нашей мысли, добиваясь ее определенности, непротиворечивости, последовательности и обоснованности.

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

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

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

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

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

3. Методы получения нового выводного знания — сходства, различия сопутствующих изменений, остатков и другие.

4. Способы доказательства истинности полученных знаний: прямое и косвенное доказательство, опровержение и т.д.

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

4. Законы мышления логики Аристотеля

Из четырех законов мышления традиционной логики Аристотель установил, по крайней мере, два: закон противоречия и закон исключенного третьего. Законы тождества и достаточного основания у Аристотеля намечены в учении о научном знании как знании доказательном (закон достаточного основания) и в тезисе, согласно которому “невозможно ничего мыслить, если не мыслить что-нибудь одно” (закон тождества).

В краткой форме закон противоречия звучит как “вместе существовать и не существовать нельзя”, а в полной как утверждение: “невозможно, чтобы одно и тоже вместе было и не было присуще одному и тому же в одном и том же смысле”. В “Метафизике” сформулирован и логический аспект закона противоречия в словах о том, что “нельзя говорить верно, вместе утверждая и отрицая что-нибудь”. Этот закон прямо обосновать нельзя, однако можно опровергнуть противоположный ему взгляд, показав его нелепость.

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

У Аристотеля можно найти и другие принципиальные ограничения сферы действия закона противоречия. Его действие не распространяется на будущее, так как это связано со сферой возможности. Будущее чревато многими возможностями, настоящее же бедно, поскольку актуализируется нечто одно, но оно потенциально богато.

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

Действие этих законов таково, что закон противоречия не обязательно влечет за собой закон исключенного третьего, но закон исключенного третьего предполагает действие закона противоречия.

5. Законы мышления формальной логики

Формальная логика исследует связи между мыслями, зависящие от их логических форм, т.е. прежде всего от смысла логических терминов. Эти связи имеют место независимо от того, знаем ли мы о них или нет. Поскольку логические термины, по крайней мере, некоторые, представляют наиболее общие характеристики внеязыковой действительности, постольку в логике выражается знание онтологического характера, знание о том, какими признаками обладает действительность. Такими знаниями, например, являются: “Невозможно существование ситуации и в то же время ее отсутствие, в частности, невозможно наличие свойства у предмета, и в то же время отсутствие этого свойства у предмета”; “У изменяющихся предметов имеются свойства, которые остаются присущими им во многих случаях по крайней мере некоторое время”.

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

Формы логически-истинных высказываний, если входящие в них переменные связываются квантарами общности, выражают:

Формально-логические законы

Указанные выше знания онтологического характера.

Эти формы называют законами логики, или тождественноистинными формулами (высказываниями).

Правомерность формально-логического закона непротиворечия со времен Аристотеля подвергается критике.

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

Е.К.Войшвилло исследовал следующее “словесное противоречие”: “В данный момент времени тело находится в данной точке, и неверно, что в тот же момент оно находится в данной точке”.

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

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

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

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

Противоречия в языковых контекстах иногда являются неявными. Так, известное утверждение Сократа “Я знаю, что я ничего не знаю” скрывает в себе противоречие. В самом деле, если Сократ знает, что он ничего не знает, то он и этого не знает.

Принцип исключенного третьего требует не отвергать одновременно высказывание и его отрицание. Высказывания А и щ А нельзя отвергнуть одновременно, так как одно из них обязательно истинно, поскольку произвольная ситуация либо имеет, либо не имеет места в действительности.

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

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

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

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

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

Заключение

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

Задача логики в том, чтобы научить человека сознательно применять законы и формы мышления и на основе этого логичнее мыслить, правильно сознавать окружающий мир. Знание логики повышает культуру мышления, вырабатывает навык мыслить “грамотно”, развивает критическое отношение к своим и чужим мыслям.

Логика – необходимый инструмент, освобождающий от личных, ненужных запоминаний, помогающий найти в массе информации то ценное, что нужно человеку. Она нужна “любому специалисту, будь он математик, медик, биолог”. (Анохин Н.К.).

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

Список использованной литературы

1. Гетманова А. Д. Учебник по логике. – М., 1995.
2. Ивин А.А. Логика. – М.: Высшая школа, 2002.
3. Иванов Е.А. Логика. – М., 1996.
4. Челпанов Г. Учебник логики. – М., 1994.

Как в истории искусства, так и в истории науки есть своего

рода неумирающие, вечные темы. Для истории логики Аристотель всегда будет тем же, чем являются Еврипид или Шекспир для литературоведения. Нельзя сказать, чтобы в исследованиях об аристотелевской логике наметилось хоть какое-нибудь подобие спада: за многие века число работ о ней перевалило за тысячу и продолжает непрерывно возрастать. Такое положение не может, конечно, не создавать дополнительных трудностей перед всяким кратким изложением логики Аристотеля.

Ученик Платона, Аристотель (384-322 гг. до н.э.) систематизировал отдельные положения дедуктивной логики. Иногда его называют даже «отцом формальной логики». Силлогистика Аристотеля представляет собой специальную, математического характера, теорию отношений между четырьмя функториальными константами: «быть присуще всем», «не быть присуще ни одному», «быть присуще некоторым», «не быть присуще некоторым», в поле общих терминов. Хотя эта теория и не является точным эквивалентом одноместного исчисления предикатов, все же она ему родственна.

По масштабу работ логические произведения Аристотеля занимают очень важное место среди других многообразных наук, разрабатывавшихся Стагиритом. И с количественной точки зрения трактаты Аристотеля по логике занимают видное место. Они составляют приблизительно четверть всего литературного наследия Аристотеля. Назовем несколько работ:

• -- Главное собственно философское произведение Аристотеля - «Метафизика». Однако в те времена этого слова вообще не существовало. Возникло оно, по-видимому, в I в. до н. э., когда Андроник Родосский, систематизируя рукописи Аристотеля, поместил философские его произведения после трудов по физике и, не зная, как их назвать, обозначил словами: «То, что после физики» («после» - по-древнегречески «мета»). «Метафизика» сложилась стихийно из разных «книг» и частей «книг», отсюда ее неясность, противоречия и повторы, что делает трудной для понимания философскую доктрину Аристотеля. При этом V «книга» самостоятельна - это первый в истории философии словарь философских терминов. Ядро же «Метафизики» составляют VI, VII и VIII «книги». В нее вошли взгляды на математические дисциплины, согласно которым предметом математики являются натуральные числа и геометрические фигуры, а сама она имеет дело с объектами неподвижными, не существующими отдельно от материи.
• -- «Органон» («Орудие») - под таким названием известно сочинение по логике - детищу Аристотеля, ставшего отцом логики как систематизированной науки о мышлении и его законах; в нем были объединены такие трактаты, как «Первая аналитика», «Вторая аналитика», «Топика», «Опровержение софизмов», «Категории» ,«Об истолковании»; в качестве логика Аристотель формулирует основные законы мышления (прежде всего законы не противоречия и исключенного третьего, наметив законы тождества и достаточного основания), определяет, что есть истина и что есть ложь, дает определение суждению и устанавливает его виды, определяет силлогизм (умозаключение), три его фигуры (суждения) и их модусы, исследует виды доказательств, описывает типичные ошибки при доказательстве, как невольные (паралогизмы), так и намеренные (софизмы), исследует также индукцию и аналогию; в «Категориях» (IV) дается полный перечень и анализ десяти категорий - наиболее общих родов высказываний («Метафизика», XII, 4), далее несводимых друг к другу и не могущих быть обобщенными:
  • 1) суть [вещи], или сущность,
  • 2) количество,
  • 3) качество,
  • 4) отношение,
  • 5) место,
  • 6) время,
  • 7) положение,
  • 8) обладание,
  • 9) действие,
  • 10) страдание, или претерпевание
• -- «Физика», «О небе», «О возникновении и уничтожении», «Метеорология» и другие трактаты, в которых отразилась умозрительная физика Аристотеля, изучающая лишь часть сущего, т. е. ее предмет - природа как совокупность физических сущностей; идеалистическое истолкование природы Аристотелем особенно отчетливо сказывается в его учении о природной целесообразности (телеологии в природе), при этом во всех своей физике Аристотель исходит из догмы о перводвигателе, аргументируя от перводвигателя, который оказывается критерием истины в вопросах движения (здесь, в сущности, над его сознанием довлеет офизиченная модель рабовладельческого общества, в котором неподвижный перводвигатель - господин, само существование которого заставляет рабов трудиться); в «Физике» (частично также и в «Метафизике») он подробно разрабатывает:
  • 1) категории случайности и самопроизвольности (подчиняющиеся целевой первопричине) с одной стороны и необходимости - с другой;
  • 2) учение о бесконечности, в котором ему принадлежит заслуга различения потенциальной и актуальной бесконечности; Аристотель отрицает актуальную бесконечность, под которой он понимает бесконечное чувственно воспринимаемое тело и величину (это означает, что Аристотель отрицает бесконечность Вселенной в пространстве); он признает лишь потенциальную бесконечность: величина может быть лишь потенциально бесконечной, превосходя все своей малостью, будучи непрерывно делимой (в отличие от числа, которое, имея предел в направлении к наименьшему, не имеет предела, будучи мыслимым, в направлении к наибольшему, величина имеет предел в отношении к наибольшему, но не имеет предела в отношении к наименьшему); но и число не может быть актуально бесконечным, Аристотель понимает бесконечность как процесс: не может быть бесконечного числа, но всегда может быть число, большее данного; не может быть и наименьшей величины, но всегда может быть величина, меньшая данной;
  • 3) категорию движения, определяя движение как изменение вообще;
  • 4) категорию времени, проблематику взаимоотношений времени и движения (а также проблему настоящего времени), считая при этом мерой времени не всякое движение, а движение небесной сферы (это равномерное круговое движение есть «круг времени» («Физика, IV, 14)), и утверждая вечность движения и времени;
  • 5) физическую картину миру - космологию, являющуюся, однако, самой слабой частью его мировоззрения (здесь философ был не на высоте даже своего времени); причем позиция Аристотеля в космологии, увековеченная его авторитетом, надолго задержала развитие науки - вплоть до эпохи Коперника, Бруно, Кеплера и Галилея; в ней он увековечил геоцентризм, (признав, правда, шарообразность Земли), конечность и замкнутость космоса в пространстве (но не во времени), отрицание материального единства мира;

Аристотель - отец логики как систематизированной науки о мышлении и его законах. Аристотелевский бог - идеальный логик, созерцающий мыслительный процесс как с его содержательной, так и с формальной стороны. Сам Аристотель называл свою науку о мышлении аналитикой. В «Метафизике» аналитикой названо рассуждение («Метафизика», IV, 3). Употребляя слово «анализ», Аристотель понимал под этим разложение сложного на простое вплоть до далее неразложимых начал или аксиом. В «Риторике» Аристотель говорит об «аналитической науке».

При этом необходимо подчеркнуть, что логика для Аристотеля - не самостоятельная специальная наука, а инструмент всякой науки, что дало веское основание его позднейшим комментаторам дать всей совокупности логических работ Аристотеля название «органона», т. е. орудия всякого знания.

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

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