Напротив, ценны высказывания Оккама и других о сущности логического следования. Он различает материальное следование и формальное следование. Материальное следование — это явно наша обычная материальная импликация, истинность которой поставлена в зависимость исключительно от истинности или ложности (далее…)
READ MOREЭкзистенциальное понимание
Это ограничение вытекает, пожалуй, из того, что отстаивается экзистенциальное понимание малого квантификатора и при этом предполагается, что оперирование им по отношению к функциональным, например, переменным повлекло бы за собою необходимость утверждения экзистенции, существования какого-то бытия, каких-то (далее…)
READ MOREПонимание возможности
В одном из значений если нечто возможно, то тем самым не необходимо, чтобы этого не было, нос такой возможностью согласуется необходимость того, чтобы именно это произошло. В этом смысЛе, например, огонь может греть и одновременно должен (далее…)
READ MOREСпециальная символика
Мы отметили функции высказываний, соответствующие выдвинутым Оккамом утверждениям о «консеквенциях». Но мы должны, однако, сказать и подчеркнуть, что эти тезисы в его работе формулируются не так. Он их высказывает без всякой специальной символики. Более того, то, (далее…)
READ MOREПравильное умозаключение
Эти правила имеют форму описания различных ступеней правильного умозаключения. Вот их перечень: 1) Отрыв, как в исчислении высказываний: при наличии импликации и ее антецедента в систему вводится консеквент. 2) Подстановка, как в исчислении высказываний: на место (далее…)
READ MOREСистема теории квантификаторов
Обрисуем, далее, определенную систему теории квантификаторов. Она исходит из положений и терминов исчисления высказываний как теории логически предшествующего раздела. К этому набору терминов она добавляет в качестве первичных, снабженных неформализованными объяснениями и иллюстративными примерами применений, лишь (далее…)
READ MOREРазличные вопросы логики
Однако главные разделы, составляющие «Органон», начали изучать лишь в середине XII века. До того времени на латинском Западе из разделов «Органона» были известны только «Категории» и «Об истолковании» — в переводе Боэция и с его комментариями (далее…)
READ MOREОтдельные модусы
Как и в силлогистике ассерторических высказываний, Аристотель и здесь обосновывает отдельные модусы либо путем конверсии составных высказываний, либо через так называемое сведение к абсурду, либо, наконец, в весьма редких случаях путем выделения. При этом 24 модуса (далее…)
READ MOREОжесточенный характер
Что можно сказать обо всем этом споре, о том, что остается от него после отделения того чуждого логике напластования теологических спекуляций, с которым исторически он сросся? Как решить проблему Порфирия? Кто прав — реализм или номинализм, (далее…)
READ MOREИстинность посылок
Итак, как же поступает автор «Аналитик»? Он показывает, что неправильным будет всякий модус, имеющий такие посылки: всякое В есть А и ни одно С не есть В, ибо какой бы ни был построен вывод — или (далее…)
READ MORE