Ян Лукасевич - О принципе противоречия у Аристотеля. Критическое исследование

Ганс Шмицкунд (1863-1934) – немецкий психолог, философ и физиолог. Один из первых высказавший идею электромагнитной природы излучений человека. В изданной в 1892 году книге «Физиология внушения» прямо указал, что «мысленное внушение сходно с явлениями Герца».

Brentano F. C. Psychologie vom empirischen Standpunkt. Leipzig, 1874.

Цит. по [16: 44].

Габилитационная диссертация К. Твардовского, опубликованная в 1894 г. Имеется русский перевод в [12].

Op. cit. (K 3. – 77). Цит. по [16: 44].

Содержание этой работы рассматривается Я. Воленьским в [1: 66-69].

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

Следует отметить, что Твардовский в четырехгодичном курсе логики читал отдельные спецкурсы, включающие обзор, как он выражался, «новинок». В 1898/1900 гг. такой спецкурс назывался «Реформаторские устремления в области формальной логики» и был посвящен Больцано, Брентано, Шрёдеру и Булю. Лукасевич был слушателем этого спецкурса.

Яркая статья с критикой психологизма, опубликованная в 1907 г., имела большое значение в среде польских логиков [4].

Одна из них детально исследуется А. Чёрчем [13, § 20–§ 23].

Поскольку авторами этой работы выступили Лукасевич и Тарский, то и в литературе сами новые логики зачастую стали называться “ логиками Лукасевича-Тарского ”. Против этого неустанно возражал Лукасевич. Довольно-таки драматические события, связанные с этой проблемой, подробно рассмотрены в [22].

Ян лукасевич (1878 – 1956) является одной из наиболее ярких фигур Львовско-Варшавской школы. См. книгу [Воленьский 2004].

Здесь стоит отметить, что краткое содержание книги в виде отдельной статьи в этом же году было опубликовано на немецком языке [Łukasiewicz 1910b], дважды переведено на английский: [Łukasiewicz 1971] и [Łukasiewicz 1979] и затем появилось на французском [Łukasiewicz 1991]. Все это время основной текст был практически недоступен для исследователей, а информация в основном черпалась из [Łukasiewicz 1971].

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

Материалы современной дискуссии вокруг этого принципа см. в книге [Priest, Beall, and Armour-Garb 2004].

О возникновении и развитии паранепротиворечивых логик см. первую обзорную работу на русском языке [Ишмуратов, Карпенко и Попов 1989] и первую книгу, посвященную этой теме [Priest, Routley and Norman 1989]. Отметим, что в обеих этих работах лишь вскользь упоминается обсуждаемая нами книга Лукасевича.

Все цитируемые тексты Аристотеля взяты из собрания сочинений [Аристотель 1976–1984].

Из недавней литературы отметим следующие работы. В несколько модифицированном виде аргументы Аристотеля приняты в [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 ”.

Идеи, высказанные здесь Лукасевичем, в весьма широком контексте рассмотрены в [Raspa 1999]. См. также [Woleński 1987] и [LeBlanc 2010]. Сравнительный анализ взглядов Аристотеля и Лукасевича на принцип противоречия дан в целом ряде работ: [Zwergel 1972], [Cassin and Narcy 1989], [Schiaparelli 1994] и [Seddon 1996].

В отечественной литературе (в том числе, в различных энциклопедиях) традиционно считалось, что Аристотель приводит только две формулировки принципа противоречия: онтологическую и логическую. В связи с этим см. примечание 4 к Метафизике Г 3, 1005b 20-21 в [Аристотель 1976: 464].

См. также более раннюю работу Лукасевича «Логика и психология» (1907), которая впервые публикуется на русском языке в настоящем издании. Лукасевич до конца оставался непримиримым критиком психологизма в логике: «…Неверно, что логика – наука о законах мышления. Исследовать, как мы действительно мыслим или как мы должны мыслить, – не предмет логики. Первая задача принадлежит психологии, вторая относится к области практического искусства наподобие мнемоники» [Лукасевич 1959: 48].

Дополнение называется «Принцип противоречия и символическая логика» и во многом основывается на книге Л. Кутюра «Алгебра и логика», изданной в 1905 г. (переведена на русс. яз. в 1909 г.)

Для Лукасевича оказалось весьма значимым, что принцип противоречия доказуем из других законов логики. Но здесь нет ничего необыкновенного. Приведем интересный пример, принадлежащий А.А. Маркову, который на страницах «Большой Советской Энциклопедии» в статье «Логика» (1973, т. 14, с. 599) приводит доказательство закона противоречия – .(Л & – Л) в исчислении интуиционистской логики Int. Это лишь означает, что закон уже предполагается данным, т. е. Intможно сформулировать так, чтобы одной из аксиом стал сам закон противоречия. Таким образом, если этот закон не предполагается, то его доказать нельзя.

Этот постулат в современной литературе формулируется так: в плоскости через точку, не лежащую на данной прямой, можно провести только одну прямую, параллельную данной.

См. [Васильев 1912] и [Васильев 1913].

Как следует из [Raspa 1999, примечание 88], первым, кто на Западе обратил внимание на эти работы, был ученик Лукасевича Антоний Корчик [Korcik 1955]. Однако известность идеям Васильева на Западе принесла статья В.А. Смирнова [Смирнов 1962], которая была прореферирована Д. Коми [Comey 1965].

См. также [Carus 1910b]. На это обратил внимание В.А. Бажанов в [Bazhanov 1992], где он пишет о влиянии Пирса на логические работы Васильева. Интересно, что в [Бажанов 2009] об этом не сказано ни слова. Данная тематика со ссылкой на [Bazhanov 1992] обсуждается также в [Raspa 1999].

Принцип исключенного третьего (лат. tertium non datur ) Лукасевич формулирует так: два противоречащих высказывания не являются одновременно ложными, а следовательно, одно из них должно быть истинным.