Очевидно, что Аристотель в выводах согласно вышеприведенным способам предполагает определенные законы исчисления высказываний. Например, в выводах с помощью конверсии он исходит из того, что если одну из посылок заменить ее эквивалентом, то из нее и дальше (далее…)
READ MOREОбоснование модуса
А сейчас рассмотрим, как сам Аристотель обосновывает несовершенные модусы. Он применяет то мегод конверсии, то метод, называемый методом сведения к абсурду, однако в действительности являющийся чем-то иным, то метод так называемого выделения. Пример метода конверсии: обоснование (далее…)
READ MOREИндивидуальные предметы
Здесь у Аристотеля следуют примеры: «человек» как пример некоторого общего, «Каллий» как пример некоторого единичного. Но если так, говорят номиналисты, то universalia представляет собою, нечто такое, что высказывается. Но разве вещь может быть высказана? Однако именно (далее…)
READ MOREПервородный грех
Подобным же образом он боролся против гипостазирования универсалий как якобы находящихся в индивидуальных вещах и выделяемых разумом. Это вызвало негодование Ансельма Кентерберийского, который ставил в вину мыслящим таким образом людям, что они не понимают различия между (далее…)
READ MOREПредставители науки
Деятельность многих выдающихся представителей науки того времени протекала в различных странах, далеких от их родины. Так было с Ансельмом Кентерберийским, Фомой Аквинским, Вильямом Оккамом, о которых упоминается в этих лекциях, так было и со многими другими. (далее…)
READ MOREЕдиничные имена
В различных логических системах квантификаторы стали со временем применять не только к переменным, представляющим единичные имена. С применением их к переменным высказываний мы уже познакомились выше. Остается упомянуть о других случаях. Так, например, можно применять квантификаторы (далее…)
READ MOREПринцип dictum de omni et nullo
В этом есть известный смысл, если считать, что аристотелевская силлогистика ассерторических высказываний основана на принципе, именуемом dictum de omni et nullo, ибо это dictum просто повторяет совокупное содержание модусов Barbara и Celarent, говоря, что «все, что (далее…)
READ MOREТрадиционная силлогистика
Переходим к рассмотрению формул с именными переменными. Традиционная силлогистика составляет только незначительную часть обилия таких формул, известных современной логике. В этой силлогистике оперируют схемами исключительно субъектно-предикатных высказываний, общих или частных, включающих только общие имена. А ведь (далее…)
READ MOREПоложения среднего термина
В зависимости от положения среднего термина Аристотель различает «схемы», или фигуры, силлогизма, как они были названы позже; первую, где средний термин является субъектом большей посылки и предикатом меньшей; вторую, где средний термин является предикатом в обеих (далее…)
READ MOREСоставные высказывания силлогизма
О силлогизмах было сказано уже достаточно много, но мы еще не сообщили о том, как Аристотель определяет термин «силлогизм». Силлогизм, говорит он,— это высказывание, в котором при утверждении чего-либо необходимо вытекает из него нечто отличное от (далее…)
READ MORE