Специальная символика


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

READ MORE

Правильное умозаключение


Эти правила имеют форму описания различных ступеней правильного умозаключения. Вот их перечень: 1) Отрыв, как в исчислении высказываний: при наличии импликации и ее антецедента в систему вводится консеквент. 2) Подстановка, как в исчислении высказываний: на место (далее…)

READ MORE

Система теории квантификаторов


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

READ MORE

Различные вопросы логики


Однако главные разделы, составляющие «Органон», начали изучать лишь в середине XII века. До того времени на латинском Западе из разделов «Органона» были известны только «Категории» и «Об истолковании» — в переводе Боэция и с его комментариями (далее…)

READ MORE

Отдельные модусы


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

READ MORE

Ожесточенный характер


Что можно сказать обо всем этом споре, о том, что остается от него после отделения того чуждого логике напластования теологических спекуляций, с которым исторически он сросся? Как решить проблему Порфирия? Кто прав — реализм или номинализм, (далее…)

READ MORE

Помощь конверсии


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

READ MORE

Обоснование модуса


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

READ MORE

Индивидуальные предметы


Здесь у Аристотеля следуют примеры: «человек» как пример некоторого общего, «Каллий» как пример некоторого единичного. Но если так, говорят номиналисты, то universalia представляет собою, нечто такое, что высказывается. Но разве вещь может быть высказана? Однако именно (далее…)

READ MORE