История логики.

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

Учение о категориях применяется Аристотелем для решения отдельных вопросов логики, онтологии, физики, этики.

Одно из применений учения о категориях в логике заключается в том, что оно служит для различения омонимов. Категории дают нам возможность судить о тождестве и различии омонимных понятий. В силлогистике Аристотеля его учение о категориях не находит применения. В метафизике Аристотель использовал учение о категориях для различения разных значений бытия, для того, чтобы выделить бытие — в метафизическом смысле; в физике — для различения трех видов движения.

Наряду с установлением родов сказуемых в качестве категорий, Аристотель в «Топике» дает еще другое деление сказуемых, которое получило позже название учения о предикабилиях. Соответственно этому делению сказуемое может быть: 1) определением, выражающим сущность предмета, о котором идет речь в суждении, отвечающим на вопрос, что именно есть данный предмет по своей сущности; 2) собственным признаком, характеризующим исключительно данный предмет, хотя и не выражающим его сущности; 3) родом, одним из видов которого является субъект суждения; 4) случайным признаком, не связанным с сущностью предмета. Эти четыре вида сказуемых проходят через все категории. Но если первый их вид, «определение», выражающий «сущность» вещи, возможен во всякой категории, то, следовательно, в этом случае термин «сущность» употребляется в другом значении, чем то, которое он имел в учении о категориях, где сущность фигурировала только в первой категории в качестве второй субстанции.

Говоря об отношении между сказуемым и подлежащим суждения, Аристотель отмечает, что оно бывает двоякого рода: либо подлежащее и сказуемое просто обратимы (без изменения количества), либо они яе'допускают простого обращения. В первом случае, когда подлежащее и сказуемое равны по объему, сказуемое может быть или определением, или собственным признаком. Во втором случае сказуемое бывает или родом, являющимся частью определения, или просто случайным признаком.

Впоследствии Порфирий в своем учении о предикабилиях к четырем аристотелевским прибавил еще одну — «вид». Но вид не может предицироваться в категорическом суждении, он может быть сказуемым только в разделительном суждении. Учение Пор-фирия о предикабилиях изменило само понимание предикабилий, которое стало классификацией признаков предмета.

Понятие «собственный признак» разъясняется в «Топике» следующим образом. В отличие от дефиниции, собственный признак ограничивается тем, что принадлежит исключительно данному субъекту суждения. Но эта исключительная принадлежность данному субъекту делает возможным замену субъекта этим его собственным признаком. Так, например, собственные признаки человека: обладание речью, способность заниматься искусством и наукой, а так как все это — отличительные черты человека, то можно поставить их на место понятия «человек». В этом отношении понятия «человек» и «существо, обладающее речью» равнозначны. Но эти собственные признаки не составляют сущности человека, а лишь вытекают из нее.

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

Аристотель разработал также учение о логическом делении родов на виды. В его логике содержится и учение об отношениях между понятиями. Прежде всего Аристотель изучает отношение между понятиями по их объему. Он говорит, что отношение между понятиями по степени общности имеет место только между понятиями, принадлежащими к одной и той же категории. Внутри каждой категории существует иерархия понятий, которые находятся между собой в отношении подчинения, причем низшие понятия относятся к высшим, как виды к родам. Аристотель устанавливает то отношение между объемом и содержанием высших и низших понятий, которое в формальной логике получило название закона обратного отношения между объемами и содержаниями понятий.