, суб'єктом - поняття, суперечить предикату вихідного судження, а зв'язка змінюється на протилежну.
Схема перетворення:
Всі члени ООН - суверенні держави.
Ні одне не суверенна держава не є членом ООН.
Завдання 7
В
Запишіть простий категоричний силогізм в стандартній формі. Перевірте, чи є він правильним, і чи слід істинний висновок з необхідністю:
Життя - це боротьба. Дзюдо - це боротьба. Значить, життя - дзюдо?
Простий категоричний силогізм - Дедуктивний умовивід, у якому з двох категоричних посилок (суджень), пов'язаних середнім терміном (при дотриманні певних правил), обов'язково слід висновок.
Аналіз структури силогізму слід починати з ув'язнення.
суб'єкт висновку називається меншим терміном і позначається буквою S;
предикат висновку називається великим терміном і позначається буквою Р;
термін, зв'язуючий дві посилки і не входить на закінчення, називається середнім і позначається буквою М.
У силогізм має бути тільки три терміни (менший, більший, середній). Порушення цього правила призводить до логічної помилку, яка називається "учетверенное термінів", що і характерно для нашого випадку:
Життя (Р) - боротьба (М)
Дзюдо (S) - боротьба (М)
_________________
Життя (S) - дзюдо (Р)
У наведеному прикладі поняття "Боротьба" трактується у двох різних сенсах - у життєвому і спортивному, тому в силогізм маємо чотири терміна: менший (S), більший (Р) і два середніх (М).
Таким чином, даний силогізм є неправильним.
Завдання 8
В
Визначте ентімему, висловіть умовивід в стандартній формі і перевірте його правильність:
Не може бути представником на суді той, хто не досяг повноліття. Але Н. повнолітній.
ентимемою, або скороченим категоричним силогізмів, називається силогізм, у якому пропущена одна з посилок або висновок.
У даному випадку пропущено висновок:
Н. може бути представником в суді.
Висловимо умовивід в стандартній формі:
Н. може бути представником на суді, оскільки він повнолітній.
отримана формула є правильною, значить за змістом є істиною.
Завдання 9
В
Визначте вид індукції та оцініть її спроможність: Діти, яких я знаю, люблять манну кашу: Ймовірно, манну кашу люблять усі діти?
У даному міркуванні представлено індуктивне умовивід. Індуктивне умовивід зв'язок посилок і висновку спираються не на закон логіки, а на деякі фактичні або психологічні підстави, що не мають суто формального характеру. У такому, висновки не варто логічно з посилок і може містити інформацію, відсутніх в них.
Завдання 10
В
Побудуйте пряме і непряме доказ тези:
Даному автомобілю необхідний ремонт.
За мети докази діляться на підтвердження і спростування, а за способом демонстрації вони бувають прямими і непрямими. У прямому доведенні істинність або хибність тези виводиться безпосередньо з аргументів, а в непрямому - підтвердження або спростування тези виводиться, відповідно, з хибності або істинності антитези (Тобто висловлювання, суперечить тезі). Інакше кажучи, в непрямому доказі розгляду піддається не теза, а антитеза: встановлюється його істинність або хибність. Далі, якщо антитеза виявляється істинним, то тезу (за законом виключеного третього) слід визнати помилковим; якщо ж антитеза хибна, то теза з необхідністю правдивий.
Прямий доказ:
Якщо автомобіль не їде, значить він зламаний.
Якщо автомобіль зламаний, значить йому необхідний ремонт.
_______________________________________
Даному автомобілю необхідний ремонт.
Непрямий доказ:
1. Припустимо, що автомобіль не потребує ремонту (- антитеза).
2. Виводимо слідства. Тоді автомобіль не зламаний.
3. Але відомі випадки, коли автомобіль не їде бо він зламаний.
4. Отже, наше припущення, що автомобіль не вимагає ремонту - помилкове. Отже, істинно, що даному автомобілю необхідний ремонт.
Список використаних джерел
Гетманова А.Д. Підручник з логіки. - М.: Черо, 2000. - 304 с. p> Жоль К.К. Логіка для юристів/К.К. Жоль. - М.: Юніті, 2004. - 287 с.
Іванов Е.А. Логіка. Підручник. - М.: Видавництво БЕК, 2000. - 309 с. p> Кирилов В.І., Старченко А.А. Логіка. - М.: ТОВ "Видавництво Проспект ", 2008. - 240 с. p> Кирилов В.І. Вправи за логікою: навчальний посібник/В.І. Кирилов, Г.А. Орлов, Н.І. Фокіна. - 6-е вид., Перераб. і доп. - М.: Проспект, 2008. - 184 с. p> Маслов Н.А. Логіка: підручник/Н.А. Маслов. - Ростов-н/Дону: Фенікс, 2007. - 413 с. p> Нікіфоров О.Л. Логіка/А.Л. Нікіфоров. - М.: Весь світ, 2001. - 223 с.
Тер-Акопов А.А. Юридична логіка/А.А. Тер-...