Протиставлення предикатові

Протиставлення предикатові (лат. Contrapositio pracdicatum) - це логічна операція, яка складається з двох попередніх, тобто: 1) суджен­ня змінює якість на протилежну, а в деяких випадках змінюється і кількість судження; 2) S та P судження-висновку міняються місцями; 3) P висновку є поняттям, заперечним (~Р) до P засновку.

У залежності від чотирьох типів простих категоричних суджень іс­нують такі правила протиставлення предикатові.

Загальностверджувальне судження.

Наприклад:

Усі правильні трикутники є рівнобічними.

Жоден нерівнобічний трикутник не є правильним.

Загальнозаперечне судження.

Наприклад:

Жоден кит не є рибою.

Деякі не риби є китами.

Оскільки, в поняття “не риби” включається багато видів тварин (крім китів), то ми кажемо “деякі”, але не “всі”.

Частковозаиеречне судження.

Наприклад:

Деякі злочинці не є повнолітніми.

Деякі неповнолітні є злочинцями.

Частковеє і верджувальне судження не завжди дас необхідні виво­ди при протиставленні предикатові, тобто висновки з протиставлення предикатові судження I(SP) не завжди є істинними (а часто навіть по­збавлені здорового глузду). Наприклад: “Деякі люди є вегетаріанцями, отже, деякі невегетаріанці не є людьми (?!)”. Виходячи з цього, частково- стверджувальне судження протиставленню предикатові не підлягає.

7.