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