Обернення (логіка)

У логіці, обернення категоричного або імплікативного судження є результатом обернення обох його частин. Для імплікації P → Q, оберненням буде Q → P. Для категоричного судження Для будь-якого S існує P, оберненням є Для будь-якого P існує S. У будь-якому випадку це обернення обов'язково випливає з первісної заяви.[1] Категоричне обернення заяви контрастує з контрапозицією та запереченням. Загалом, істинність S нічого не говорить про правдивість його обернення, якщо попередня P і Q, як наслідок, не логічно еквівалентні.

Імплікативні обернення

Нехай S є твердженням виду P означає Q(P → Q). Тоді оберненням S є твердження Q означає P (Q → P). Загалом, істинність S нічого не говорить про правдивість його обернення, якщо первісне P і наслідок Q не логічно еквівалентні.

Наприклад, розглянемо правдиве висловлювання: «Якщо я людина, то я смертний.» Обернене твердження до цієї заяви: "Якщо я смертний, то я людина, " яке не обов'язково вірно.

З іншого боку, обернення твердження з взаємодоповнюючої точки зору залишається вірним, враховуючи істинність первісної пропозиції. Таким чином, твердження «Якщо я холостяк, то я неодружений чоловік» логічно еквівалентне «Якщо я неодружений чоловік, то я холостяк».

Завдяки таблиці істинності стає ясно, що S і обернення S не є логічно еквівалентні, якщо обидва члени не мають на увазі один одного:

PQP → QQ → P (обернення)
TTTT
TFFT
FTTF
FFTT

Перехід від твердження до його обернення є помилковістю при підтвердженні наслідку. Проте, якщо твердження S і його обернення еквівалентні (тобто якщо P істинно тоді і тільки тоді, коли Q також вірно), то підтверджувальний наслідок буде дійсним.

Обернення теореми

В математиці, обернення твердження теореми виду P → Q буде Q → P. Обернення може або не може бути правдою. Якщо це правда, то доказ може виявитися складним. Наприклад, теорема про чотири вершини була доведена в 1912 році, але її обернення тільки в 1998 році.

На практиці, при визначенні оберненого твердження до математичної теореми, аспекти первісного можуть бути прийняті як встановлення контексту. Тобто, обернення даної P, якщо із Q випливає R буде дано P, якщо R слідує із Q. Наприклад, теорему Піфагора можна сформулювати так:

Даний трикутник зі сторонами довжиною a, b, c, якщо кут на протилежній стороні довжини c є прямим кутом, тоді a2 + b2 = c2.

Обернення, яке також з'являється в Евклідових Елементах (Книга I, пропозиція 48), можна сформулювати так:

З огляду на трикутник зі сторонами довжиною a, b, c, якщо a2 + b2 = c2, тоді кут, протилежний стороні довжини c, є прямим кутом.

Категоричне обернення

У традиційній логіці, процес переходу від Для будь-яких S існують P до оберненого Для будь-яких P існують S називається перетворенням. За словами Аса Махана, «Оригінальна пропозиція називається впливом, при перетворенні, вона номінується оберненим. Перетворення справедливо, тоді, і тільки тоді, коли ніщо не затверджується в обернене, яке не підтверджене або мається на увазі у впливі. „Коментатор“ більш зазвичай називають „перетвореним“»[2] . У простій формі, перетворення діє тільки для Е і I пропозиції:[3]

ТипТвердженняПросте оберненняОбернення per accidens
AДля будь-яких S існують Pне дієДля деякого P існує S
EУ жодного S не є PУ жодного P не є SДля деякого P не існує S
IДля деякого S існує PДля деякого P існує S–
OДля деякого S існує не Pне діє–

Справедливість простого перетворення тільки для Е і I пропозицій може бути виражено обмеженням, що «Жоден термін не повинен поширюватися в обернене, поширюване в перероблення»[4] . Для пропозицій E, як суб'єкт, так і предикат, розподіляється, поки для I пропозиції, нічого не немає.

Для А пропозицій, суб'єкт розподілений, а предикат не є, і тому висновок з твердження А її обернене не є дійсним. Як приклад, для судження A "Усі кішки є ссавцями, " обернене «Усі ссавці — кішки», очевидно, невірно. Проте, більш слабке твердження «Деякі ссавці кішки» — це правда. Спеціалісти-логіки визначають конверсію per accidens виконувати процес виробництва більш слабкого твердження до даного. Виведення з твердження його оберненого методом per accidens , як правило, діє. Однак, як і в силогізмах, цей перехід від загального до конкретного викликає проблеми з порожніми категоріями: «Усі єдинороги — ссавці» часто сприймається як правда, в той час як зворотне per accidens «Деякі ссавці — єдинороги» явно помилково.

У першочерговому обчисленні предикатів, твердження Для будь-яких S існують P може бути представлено у вигляді .[5] Тому ясно, що категоричне обернення тісно пов'язано з імплікаційним оберненням, і що S і P не можуть бути поміняні місцями в твердженні Для будь-яких S існують P.

Див. також
  • Зворотня(семантика)
  • Логіка термів
  • Транспонування (логіка)
  • Інверсія (логіка)

Примітки
  1. Robert Audi, ed. (1999), The Cambridge Dictionary of Philosophy, 2nd ed., Cambridge University Press: «converse».
  2. Аса Махан (1857)Наука логіки або Аналіз законів мислення, p. 82.
  3. Вільям Томас Перрі і Едвард А. Хакер (1991), Арістотелівська логіка, SUNY Пресса, p. 207.
  4. Джеймс Хілсоп (1892), елементи логіки, Сини С. Скрібнер, р. 156.
  5. Гордон Ханнінгс (1988), Світ і мову в філософії Вітгенштейна, SUNY Пресс, p. 42.

Подальше читання
  • Арістотель. органон.
  • Ірвінг Копі. Введення в логіку. Макміллан, 1953.
  • Ірвінг Копі символічна логіка. Макміллан, 1979, п'яте видання.
  • Суссан Стеббінг. Сучасне Введення в логіку. Кромвель Компани, 1931.

Довідка:Категорія:Негайний висновок

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.