style="font-size:15px;"> Идеи, высказанные здесь Лукасевичем, в весьма широком контексте рассмотрены в [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. Интересно, что Мейнонг во втором издании с�
