Читать реферат по логике: "Аналогія як традуктивний умовивід" Страница 3

(Назад) (Cкачать работу)

S і Р, міняючись місцями, не змінюють свого обсягу. Обертаючи судження "Всі квадрати - прямокутні ромби" і одержуючи висновок "Отже, деякі прямокутні ромби - квадрати", можна зазначити:

- Я знаю, що всі прямокутні ромби є квадратами.

Та моє завдання полягає в тому, щоб вивести із судження "Всі квадрати - прямокутні ромби" тільки ту інформацію, яка в ньому міститься. А в цьому судженні немає чіткої, однозначної інформації про обсяг поняття "прямокутний ромб".

Тому, добре знаючи геометрію, я все ж змушений зробити той висновок, який випливає з названого судження: "Деякі прямокутні ромби - квадрати". При цьому, пам'ятаючи курс геометрії, я розумію, що поняття "прямокутний ромб" фактично взято з обмеженим обсягом. Та тут нічим не зарадиш, хіба що додаси слово "принаймні": "Принаймні деякі прямокутні ромби - квадрати".

Термін "обмеження" можна використати і в іншій ситуації. Обертаючи загальностверджувальні судження, втрачають певну частину інформації. Скажімо, піддавши оберненню щойно одержаний висновок ("Принаймні деякі прямокутні ромби - квадрати"), одержимо вихідне судження з "обмеженим" суб'єктом: "Принаймні деякі квадрати є прямокутними ромбами".

Щоб зберегти інформацію, яка міститься в загальностверджувальному судженні-засновку і втрачається у висновку при оберненні, ці судження необхідно обертати за такою схемою: "Всі S є Р". Отже, принаймні деякі Р, і тільки Р, є S". Проілюструємо цю схему на нашому прикладі:

Всі квадрати - прямокутні ромби. Отже, принаймні деякі прямокутні ромби (і тільки вони) - квадрати.

За таких умов при оберненні висновку одержимо засновок без будь-яких обмежень:

Принаймні деякі прямокутні ромби (і тільки вони) - квадрати. Отже, всі квадрати - прямокутні ромби.

А для тих, хто ніяк не може погодитися з "неповноцінним", "обмеженим" висновком "Принаймні деякі прямокутні ромби - квадрати", можна порадити:

- Виходьте з повноцінних, "необмежених" засновків і одержите аналогічні висновки:

Всі квадрати, і тільки вони, - прямокутні ромби. Отже, всі прямокутні ромби - квадрати.

Не можна погодитися із твердженнями, ніби такі види перебудови судження, як обернення частковозаперечного. протиставлення предикатові частковостверджувального і протиставлення суб'єктові частковозаперечного суджень, неможливі. Якщо чітко усвідомити обсяги суб'єкта і предиката суджень, які перебудовуються за названими схемами, то умовиводи здійснюються досить просто. Інша справа, що висновки в них не вирізняються новизною і визначеністю.

Так, піддаючи операції обернення судження "Деякі ромби не є квадратами", одержимо висновок - "Жоден квадрат не є деяким ромбом (ромбом-неквадратом)". У засновку йдеться про ті ромби, які не належать до квадратів (на схемі обсяг поняття-суб'єкта заштриховано), а предикатом є поняття "квадрат". Обертаючи це судження, робимо суб'єктом висновку предикат засновку - "квадрат". Оскільки обсяг поняття "квадрат" повністю виключається із обсягу суб'єкта ("ромби-неквадрати"), то він є розподіленим, а, ставши суб'єктом висновку, зберігає свою розподіленість і супроводжується відповідно кванторним словом "жоден". Предикатом же висновку беруть суб'єкт засновку - "деякі ромби (ромби - неквадрати)".

Подібно до цього здійснюють й інші види перебудови