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


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

READ MORE

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


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

READ MORE

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


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

READ MORE

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


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

READ MORE