Учения Аристотеля о категориях


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

READ MORE

Закон противоречия


Аксиома из таблицы Мостовского будет означать, что для всякого высказывания альтернатива данного высказывания и какого-либо ложного высказывания эквивалентна данному высказыванию, аксиома превратится в известную формулировку закона исключенного третьего из исчисления высказываний, аксиома — в известную формулировку (далее…)

READ MORE

Известная нерешительность


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

READ MORE

Система логики


Читатели «Системы логики» Милля неоднократно обращали внимание на одну деталь, которую можно объяснить разве лишь рассеянностью автора. А именно название главы, посвященной принципам, говорит о четырех методах исключающей индукции, хотя принципов, каждый из которых характеризует особый (далее…)

READ MORE

Хризипповая логика


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

READ MORE

Общность фрагментов


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

READ MORE

Условный силлогизм


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

READ MORE

Знак дизъюнкции


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

READ MORE

Интерпретация через классы


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

READ MORE

Классы алгебры


Интерпретация через классы алгебры Буля не надо смешивать с интерпретацией, которую мы позволим себе назвать мереологической. Такую интерпретацию мы получим, если 1 будем трактовать, например, как определенное тело, а, Ь, с… и т. д. как его (далее…)

READ MORE