станах: рідке, тверде й газоподібне». Неправильний розподіл з тим же прикладом: «Речовина може перебувати в наступних станах: рідке, тверде, нагріте, газоподібне, заморожене». Тут члени розподілу не виключають один одного саме тому, що порушено було правило одного підстави.
3. Дайте визначення судження
Судження являє собою форму думки, що встановлює логічний зв'язок між двома і більше поняттями. Між поняттями, як вищеперелічені, встановлюються відносини тотожності, підпорядкування, часткового збігу, які можуть виражатися логічною зв'язкою «є». Відносини протиріччя, протилежності і супідрядності можуть виражатися логічною зв'язкою «не їсти». Ці відносини, виражені у формі граматичних пропозицій, будуть судженнями різного виду.
. Які судження називаються простими, а які складними?
Простим судженням називається таке судження, яке складається тільки з двох понять; в одному з цих понять виражається те, про що ми щось стверджуємо або заперечуємо в іншому з цих понять виражається те, що стверджується або заперечується. У простому судженні присутні один суб'єкт і один предикат.
Складним судженням - є судження, що складаються з декількох простих, пов'язаних логічними зв'язками.
5. Яка логічна структура атрибутивних суджень і суджень стосунки?
Атрибутивні судження (від лат. altributum - властивість, ознака), або судження про властивості чого-небудь, розкривають наявність або відсутність у предмета думки тих чи інших властивостей (або ознак). Наприклад: «Все республіки колишнього СРСР оголосили про свою незалежність»; «Співдружність Незалежних Держав (СНД) неміцно». Оскільки поняття, що виражає предикат, має зміст і обсяг, атрибутивні судження можуть розглядатися у двох планах: змістовному і об'ємному.
Судженням з відношенням називається судження, що відображає відношення між предметами. Це можуть бути відносини рівності, нерівності, спорідненості, просторові, тимчасові, причинно-наслідкові та інші відносини. Наприклад: «Гарбуз більше яблука».
6. Умовно-категоричний силогізм. Зробіть висновок, запишіть формулу, визначте модус і характер виводу
логіка формальний судження
Люди в групі менше байдикують, якщо завдання зухвало важка, приваблива і захоплююча. Дане завдання зухвало важка, приваблива і захоплююча.
Умовно-категоричний силогізм (УКУ) - це умовивід, в якому одна посилка - умовне судження, а інша посилка і висновок - категоричні судження. У ньому є два правильних модусу (що дають достовірний висновок) і два неправильних модусу (що не дають достовірного висновку).
Дане завдання зухвало важка, приваблива і захоплююча.
Висновок: завдання зухвало важка.
Формула: ((А? В) ^ В)? А
Модус: неправильний, негативний.
Характер виведення: недостовірний.
7. По даній посилці побудуйте умовно-категоричний силогізм по правильних і не правильним модусам
Якщо яблука на яблуні дозріли, то вони падають.
а) Правильний стверджує модус ((А? В) ^ А)? В
Якщо яблука на яблуні дозріли, то вони падають.
Яблука на яблуні дозріли.
Вони падають.
б) Правильний заперечує модус ((А? В) ^? В) ?? А
Якщо яблука на яблуні дозріли, то вони падають.
Яблука на яблуні не падають.
Вони не дозріли.
в) Неправильний стверджує модус ((А? В) ^ В)? А
Якщо яблука на яблуні дозріли, то вони падають.
Яблука падають.
Яблука дозріли.
г) Неправильний заперечує модус ((А? В) ^? А) ?? В
Якщо яблука на яблуні дозріли, то вони падають.
Яблука на яблуні не дозріли.
Вони не падають.
8. Разделительно-категоричне умовивід. Зробіть висновок. Запишіть формулу, визначте модус і характер виводу
Доказ буває прямим або непрямим. Це не прямий доказ.
Разделительно-категоричним називають силогізм (РКС), в якому одна посилка - розділову судження, а інша посилка або висновок - категоричні судження. РКС має дві форми:
((А? В)? А)? ¬В - утверждающе - заперечує...
