Силлогистика Аристотеля


По нашему мнению, это утверждения о вещах, точнее — об индивидах, например о людях, живых существах, камнях и т. д., говорящие о них, например, что если всякая вещь данного рода есть вещь иного рода, а всякая (далее…)

READ MORE

Виноградная лоза


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

READ MORE

Орлиный профиль


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

READ MORE

Привходящий признак


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

READ MORE

Содержание антецедента


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

READ MORE

Частноотрицательное высказывание


Что имеет в виду Аристотель под этим «необходимо», высказанным перед выводом? Это достаточно ясно обнаруживается в способе, каким он объясняет, почему частноотрицательное высказывание необратимо. Он говорит, что если А присуще некоторым В, то В необходимо присуще (далее…)

READ MORE

Многозначная логика


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

READ MORE

Школа интуиционистов


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

READ MORE

Школьный пример


Школьный пример — «Все люди смертны, Сократ — человек, следовательно, Сократ смертен» — не мог бы удовлетворить Аристотеля. Вот его собственный пример: «Если все, что имеет широкие листья, теряет их, а всякая виноградная лоза имеет широкие (далее…)

READ MORE