О принципе противоречия у Аристотеля. Критическое исследование
- -
- 100%
- +
20
Ян лукасевич (1878 – 1956) является одной из наиболее ярких фигур Львовско-Варшавской школы. См. книгу [Воленьский 2004].
21
Здесь стоит отметить, что краткое содержание книги в виде отдельной статьи в этом же году было опубликовано на немецком языке [Łukasiewicz 1910b], дважды переведено на английский: [Łukasiewicz 1971] и [Łukasiewicz 1979] и затем появилось на французском [Łukasiewicz 1991]. Все это время основной текст был практически недоступен для исследователей, а информация в основном черпалась из [Łukasiewicz 1971].
22
В современной логике, в отличие от традиционной, с конца прошлого века все чаще стал употребляться термин “закон непротиворечия”, что более соответствует содержанию его формульной записи (см. ниже). Однако мы будем придерживаться первоначального названия, используемого Аристотелем и Лукасевичем. Просто, изменилась парадигма мышления: от пугающей идеологемы “противоречие” перешли к более мирной – “непротиворечие”. Последнее вполне согласуется с появлением и развитием паранепротиворечивых логик.
23
Материалы современной дискуссии вокруг этого принципа см. в книге [Priest, Beall, and Armour-Garb 2004].
24
О возникновении и развитии паранепротиворечивых логик см. первую обзорную работу на русском языке [Ишмуратов, Карпенко и Попов 1989] и первую книгу, посвященную этой теме [Priest, Routley and Norman 1989]. Отметим, что в обеих этих работах лишь вскользь упоминается обсуждаемая нами книга Лукасевича.
25
Все цитируемые тексты Аристотеля взяты из собрания сочинений [Аристотель 1976–1984].
26
Из недавней литературы отметим следующие работы. В несколько модифицированном виде аргументы Аристотеля приняты в [Putnam 1976] и [Thompson 1981]. Критическому анализу аргументы Аристотеля подвергнуты в книге [Dancy 1975]. См. также работы: [Stevenson 1975], [Noonan 1976], [Upton 1983], [Code 1986], [Cohen 1986], [Furth 1986], [Inciarte 1994], [Priest 1998], [Charles 2000], [Wedin 2004], [Pasquale 2005], [Tahko 2009]. См. полностью посвященный принципу противоречия выпуск журнала “Apeiron: A Journal for Ancient Philosophy and Science”, XXXII(3) 1999, а также статью [Gottlieb 2011] из “Stanford Encyclopedia of Philosophy”.
27
Идеи, высказанные здесь Лукасевичем, в весьма широком контексте рассмотрены в [Raspa 1999]. См. также [Woleński 1987] и [LeBlanc 2010]. Сравнительный анализ взглядов Аристотеля и Лукасевича на принцип противоречия дан в целом ряде работ: [Zwergel 1972], [Cassin and Narcy 1989], [Schiaparelli 1994] и [Seddon 1996].
28
В отечественной литературе (в том числе, в различных энциклопедиях) традиционно считалось, что Аристотель приводит только две формулировки принципа противоречия: онтологическую и логическую. В связи с этим см. примечание 4 к Метафизике Г 3, 1005b 20-21 в [Аристотель 1976: 464].
29
См. также более раннюю работу Лукасевича «Логика и психология» (1907), которая впервые публикуется на русском языке в настоящем издании. Лукасевич до конца оставался непримиримым критиком психологизма в логике: «…Неверно, что логика – наука о законах мышления. Исследовать, как мы действительно мыслим или как мы должны мыслить, – не предмет логики. Первая задача принадлежит психологии, вторая относится к области практического искусства наподобие мнемоники» [Лукасевич 1959: 48].
30
Дополнение называется «Принцип противоречия и символическая логика» и во многом основывается на книге Л. Кутюра «Алгебра и логика», изданной в 1905 г. (переведена на русс. яз. в 1909 г.)
31
Для Лукасевича оказалось весьма значимым, что принцип противоречия доказуем из других законов логики. Но здесь нет ничего необыкновенного. Приведем интересный пример, принадлежащий А.А. Маркову, который на страницах «Большой Советской Энциклопедии» в статье «Логика» (1973, т. 14, с. 599) приводит доказательство закона противоречия – .(Л & – Л) в исчислении интуиционистской логики Int. Это лишь означает, что закон уже предполагается данным, т. е. Int можно сформулировать так, чтобы одной из аксиом стал сам закон противоречия. Таким образом, если этот закон не предполагается, то его доказать нельзя.
32
Этот постулат в современной литературе формулируется так: в плоскости через точку, не лежащую на данной прямой, можно провести только одну прямую, параллельную данной.
33
См. [Васильев 1912] и [Васильев 1913].
34
Как следует из [Raspa 1999, примечание 88], первым, кто на Западе обратил внимание на эти работы, был ученик Лукасевича Антоний Корчик [Korcik 1955]. Однако известность идеям Васильева на Западе принесла статья В.А. Смирнова [Смирнов 1962], которая была прореферирована Д. Коми [Comey 1965].
35
См. также [Carus 1910b]. На это обратил внимание В.А. Бажанов в [Bazhanov 1992], где он пишет о влиянии Пирса на логические работы Васильева. Интересно, что в [Бажанов 2009] об этом не сказано ни слова. Данная тематика со ссылкой на [Bazhanov 1992] обсуждается также в [Raspa 1999].
36
Принцип исключенного третьего (лат. tertium non datur) Лукасевич формулирует так: два противоречащих высказывания не являются одновременно ложными, а следовательно, одно из них должно быть истинным.
37
В книге имеется ряд ссылок на А. Мейнонга; в данном случае см. гл. XVII. Интересно, что Мейнонг во втором издании своей известной работы «Uber Annahmen» (Leipzig, 1910: 228) цитирует абстракт [Łukasiewicz 1910b] данной книги Лукасевича.
38
На самом деле для этого еще не пришло время, поскольку логическая техника не было достаточно развита и осмыслена, чтобы уметь работать с противоречиями. Только в 1948 г., другим выдающимся представителем Львовско-Варшавской школы, а именно С. Яськовским, была сконструирована первая система паранепротиворечивой логики (см. английский перевод в [Jaskowski 1967]).
39
Данная статья является переводом Лесьневским своей работы из “Przegląnd filozoficzny», № 2 за 1912 год. Как сказано в предисловии, при переводе с польского эта работа подверглась «дополнениям и иным изменениям».
40
В современной формулировке это звучит так: не существует формулы A такой, чтобы A и A были теоремами.
41
В 1930 г. Лукасевич совместно с А. Тарским дает строгое определение понятия логической матрицы, которое обобщается на случай для многозначной логики [Łukasiewicz 1930/1970: 141]. В последующем истинностные значения многозначных логик зачастую стали интерпретироваться как степени истинности.
42
Стоит отметить, что уже в 1913 г. в статье о логических основаниях теории вероятностей Лукасевич вводит понятие «неопределенных высказываний, которые ни истинны и ни ложны» [Łukasiewicz 1913/1970: 38]. Об истории введения в логику третьего истинностного значения в польской школе логиков см. [Woleński 2001]. Интересно, что до сих пор идет дискуссия, является ли Н.А. Васильев одним из создателей трехзначной логики, введя деление суждений “по качеству” на утвердительные, отрицательные и индифферентные (см., например, [Бирюков и Шуранов 1998]), что позволило ему сформулировать принцип исключенного четвертого относительно таких суждений. У Лукасевича также наблюдается новое деление суждений, но это деление проводится “по типу” истинностных значений: истинные, ложные и возможные (неопределенные), что и привело к созданию трехзначной логики. У Васильева нет и намека на введение нового истинностного значения. Поэтому правильней было бы говорить о многомерных логиках (n-мерных) логиках Васильева, что и было проделано В.А. Смирновым (см. [Смирнов 1993]).
43
Заметим, что в 1910 г. Лукасевич делает доклад, где ограничивается применимость принципа исключенного третьего (см. [Лукасевич 2006]).
44
Статья «О детерминизме» является переработкой ректорской речи, произнесенной Лукасевичем в Варшавском университете на торжественном открытии 1922/1923 учебного года и впервые опубликованной в 1961 г. на польском языке (см. [Лукасевич 2012с]. О публикациях на английском и русском языках см. примечание 1 в настоящей книге к статье «О детерминизме».
45
Подробно об этом см. в [Карпенко 1990].