заперечення судження
Заперечення судження - це логічна операція, при якій істинне судження змінюється на помилкове, і наоборот.Прі цьому, при запереченні атрибутивного судження одночасно змінюються як його якість, так і кількість.
Так, при запереченні загального судження виходить приватне і навпаки; при запереченні позитивної думки виходить негативне і навпаки; при запереченні общеутвердітельного судження виходить частноотрицательное і навпаки; при запереченні частноутвердительного судження виходить общеотріцательное і навпаки. Наприклад, результатом заперечення общеутвердітельного судження «Всі студенти нашої групи займаються в наукових гуртках» буде частноотрицательное судження «Деякі студенти нашої групи не займаються в наукових гуртках». Результатом заперечення общеотріцательного судження «Жоден студент нашої групи не живе в гуртожитку» буде частноутвердительное судження «Деякі студенти нашої групи живуть в гуртожитку».
В результаті заперечення суджень про відносини їх якість і кількість також змінюються на протилежні: загальне на приватне, стверджувальне на негативне і т.д.
Необхідно дотримуватися правил при запереченні складних суджень:
1. При запереченні кон'юнктивний судження утворюється диз'юнктивне судження, в якому прості судження, які становлять його, є в свою чергу запереченнями суджень, які складають заперечується кон'юнктивний судження. Наприклад, «Усі студенти-економісти вивчають логіку і всі студенти-юристи вивчають логіку». Результатом його заперечення є судження «Деякі студенти-економісти не вивчають логіку або деякі студенти-юристи не вивчають логіку».
2. У разі заперечення диз'юнктивного судження утворюється кон'юнктивний судження, в якому складові його судження, є в свою чергу запереченнями суджень, які складають заперечується диз'юнктивне судження. Наприклад, в результаті заперечення судження «Расцвела бузок або настала весна» утворюється судження «Бузок не зацвіло і весна не настала».
3. При запереченні импликативного судження утворюється кон'юнктивний судження, в якому одним зі складових якого простих суджень є антецедент вихідного импликативного судження. Другим простим судженням виступає заперечення консеквента вихідного импликативного судження. Наприклад, в результаті заперечення судження «Якщо настане тепло, в лісі з'являться проліски» утворюється судження «Тепло настане, і в лісі не з'являться проліски».
Вправа. Проведіть заперечення даних суджень.
1. Деякі студенти ходять на дискотеку.
2. Всі студенти працюють в Кампусі.
3. Жоден студент не знає китайської мови.
4. Кожен професор має вчений ступінь.
5. Всі аспіранти складають кандидатські іспити.
6. Він хороший вчений або хороший викладач.
7. Озеро Байкал знаходиться в Європі.
Всі теми даного розділу:
Становлення логіки і її значення
Слово «логіка» походить від давньогрецького «lоgоz» що перекладається як «розум», «думка», «міркування». Логіка є однією з найдавніших наук на Землі. Вона виникла як частина науки про Оратів
предмет логіки
У понятті «логіка» в даний час виділяється кілька значень: об'єктивна і суб'єктивна логіка. Якщо об'єктивна логіка вивчає закономірності розвитку і взаємозв'язку предметів і явлений
Поняття логічної форми
Логіка не тільки описує різні прийоми пізнання, а й формулює критерії їх правильності. Які міркування можна вважати правильними? Яким вимогам повинні задовольняти визначення, пи
Логічне слідування і логічна істинність
Одна з найважливіших завдань логіки - визначати, які міркування є правильними і чому. Відразу зауважимо, що не можна змішувати питання про правильність міркування з питанням про іст
Мова як знакова система
Мова - це система знаків, призначена для фіксації, зберігання, переробки і передачі інформації. Знак - це об'єкт, вико
Сенс і значення знака. види знаків
Значним знака називається предмет, що репрезентується даними знаком. Безліч всіх предметів, які знак репрезентує, називається його екстенсіона
Природні і штучні мови
Природні мови виникли як засіб спілкування між людьми. Їх формування і розвиток являє собою тривалий історичний процес і відбувається в осно
семантичні принципи
Принцип однозначності: кожне ім'я має мати тільки одне значення (екстенсіонал). З порушенням цього принципу пов'язана помилка, яку називають «під
Мова логіки висловлювань
Логіка висловлювань (пропозіціональная логіка) - це розділ логіки, що вивчає способи побудови і логічну структуру висловлювань, відносини між ними і висновки, отримані
Основні закони логіки
Законом логіки називається складне логічне висловлювання, істинність якого не залежить від складових його логічних відносин. Вони складають основу мислить
Аесть тому, що є У
Будь-яка думка може бути визнана істинною тільки тоді, коли вона має достатню підставу. Наприклад, «Ця речовина є електропровідним, тому що воно -
Oslash; (А Ú В) É ØА ØВ
Заперечення диз'юнкції рівнозначно кон'юнкції двох заперечень. Наприклад, «Невірно, що йде дощ або падає сніг» означає «Сьогодні немає дощу і немає снігу». 9) За
Логіко-семантичні парадокси
Природна мова є найнеобхіднішим інструментом людини в його інтелектуальної діяльності. Однак саме мова часто створює проблеми для тих, хто його використовує. ці ін
Який принцип порушений?
1. Міркування «Матерія нескінченна. Містеру N забракло матерії на штани. Значить, його штани більше, ніж нескінченність »порушує принцип 1. однозначності 2. предметності
парадоксальні завдання
1. Екзаменатор говорить недбайливому студенту: «Вгадайте, яку оцінку я вам поставлю. Якщо вгадаєте, отримаєте 3, а то й вгадаєте - 2. »Однак відповідь студента поставив викладача в глухий кут. Він не смо
Основні закони логіки
1. Закон ... стверджує, що суперечать один одному судження не можуть бути одночасно істинними. a) тотожності b) несуперечливий c) Клавия d) д
Види понять за обсягом
При виділенні видів понять потрібно враховувати різні їх особливості. Найважливішими підставами для поділу понять є: (1) тип їх обсягу, (2) тип елементів, що входять в їх обсяги, (3) тип
Види понять за типом елементів обсягу
За типом елементів обсягу поняття поділяються на: а) конкретні і абстрактні - Конкретнимсчітается поняття, елементами обсягу до
Види понять за змістом
За типом ознак поняття поділяють на: а) позитивні і негативні - Положітельнимсчітается поняття, в якому предмети узагальнюються на о
А В А ØA
Штрихуванням на схемах позначено результат застосування відповідних операцій до класів А і В. Перетин обсягів д
Відносини між поняттями за обсягом
Між поняттями існують об'єктивні, незалежні від людини відносини. Перш за все, це відносини порівнянності і непорівнянність. Два понятіяaА (a) і
Узагальнення і обмеження понять
Крім булевих операцій, до понять часто застосовуються такі операції узагальнення і обмеження. Вони засновані на ставленні типу «рід-вид». З двох непустих понять одне з
види понять
1. Конкретним називається поняття, обсяг якого складається з a) об'єктів або їх класів b) властивостей або відносин c) об'єктів або їх властивостей d) кла
Визначення та прийоми, подібні до них
Визначення, дефініція (від лат. «Definitio» - уточнення меж) - це логічна процедура надання строго фіксованого сенсу мовними виразами. У
Явні і неявні визначення
Найбільш поширений вид визначень - явні визначення. Визначення називається явним, якщо і тільки якщо воно задається лінгвістичної конструкц
Реальні і номінальні визначення
Крім того, що всі визначення поділяються на явні і неявні, контекстуальні і неконтекстуальние, їх можна ділити також на реальні і номінальні. При цьому слід
Правила визначення
Для того, щоб визначення було логічно правильними, вони повинні відповідати деяким основним вимогам, правилам. 1) Визначення повинно бути зрозумілим. це оз
види визначень
1. Правило заміни по дефініції діє тільки для ... визначень a) явних b) неявних c) контекстуальних d) аксіоматичних 2. Аксіоматі
Помилки у визначенні
1. Визначення «Квадрат - це чотирикутник, діагональ якого є віссю симетрії» є a) правильним b) занадто вузьким c) занадто широким d) перехрещені
Прості судження та їх види
Судження це думка, в якій що-небудь стверджується або заперечується про будь-яких об'єктах, їх властивості та зв'язки між ними. Як правило, судження виражаються оповідальними
Складні судження та їх види
Судження називаються складними, якщо в них можна виділити правильні частини, які в свою чергу є судженнями. Складні судження утворюються як з простих, так і з ін
Відносини між судженнями
В процесі побудови відносин між судженнями можна виділити порівнянні і непорівнянні. Порівнянні судження мають загальний суб'єкт і предикат. Незрівнянні судження не ма
IсубконтрарностьО
Розглянемо ці відносини між судженнями за допомогою логічного квадрата. Що стосується підпорядкування перебувають судження форм A і I, а також судження E і O. Наприклад, общеутвердительное су
Види атрибутивних суджень
1. Установіть відповідність між типами атрибутивних суджень і формулами, їх виражають. (1) Усі S є Р (А) S a P (2) Жоден S не є P (В) S e P (3) Деякі S
Oslash; А
Таким чином, правильними є висновки від затвердження антецедента (А) до утвердження консеквента (В) і від заперечення консеквента (
На роботі. Отже, на заняттях його не було ».
Умовно-розділові (лемматіческіе) умовиводи. Ці умовиводи містять кілька імплікатівних і одну діз'юнктівную посилку. У диз'юнктивній посилці поділяються певні варіан
безпосередні умовиводи
Безпосередніми називаються умовиводи, в яких висновок робиться з однієї посилки. Незважаючи на тривіальність, в практиці аргументації таких висновків відводиться дуже важлива р
S
протиставлення протиставлення протиставлення суб'єкту предикату суб'єкту і предикату Кожен з них може бути зведений до комбінації звернений
S P S P S P S P
Фігура I фігура II фігура III фігура IV Модус силогізму - це різновид фігури, яка визначається типом входять до нього посилок і висновку. сокра
Ентимеми і полісіллогізм
Ентимемою (від лат. «Ентімем» - «в умі») називається скорочений силогізм, у якому пропущена одна з посилок або висновок. У практиці аргументації ен
Правила посилок
1. Згідно із загальними правилами силогізму, якщо одна з його посилок є негативною, то висновок повинен бути 1. приватним 2. загальним 3. ствердною
A1, ..., An ú»У
Такі висновки отримали назву індуктивних (від лат. «Inductio» - «наведення»), або правдоподібних. До числа правдоподібних умозаключіть
статистична індукція
Статистичної називається узагальнююча індукція, при якій встановлюється відносна частота володіння властивістю Р для довільного
Аргументація і доказ
Аргументація - це повне або часткове обгрунтування істинності якого-небудь судження за допомогою інших суджень. При цьому передбачається, що в правильних аргументації
Спростування та критика
Діяльністю, протилежної за своєю метою і змістом ар-гументаціі, є спростування і критика. Спростування - це повне обгрунтування хибності тези, а
Основні правила аргументації
В процесі аргументації і критики можуть відбуватися помилки двох типів: навмисні і ненавмисні. Умисні помилки називаються софизмами, а особи, які вчиняють такі помилки, -
СЛОВНИК логічних термінів
1. абдукції (від лат. Abducere - приведення) - форма умовиводу, в якому з вихідних суджень (що описують властивості якихось явищ) вибирається нове судження (гіпотеза), котор