Головна
Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяЛогіка → 
« Попередня Наступна »
М.Д. Купарашвілі, А.В. Нехаєв, В.І. Розмова, Н.А. Черняк .. Логіка: навчальний посібник М.Д. Купарашвілі, А.В. Нехаєв, В.І. Розмова, Н.А. Черняк. - Омськ: Изд-во ОмГУ, 2004. - 124 с., 2004 - перейти до змісту підручника

Імплікація


- це складне судження, що приймає логічне значення хибності тоді і тільки тоді, коли попереднє судження, зване антецедентом , істинно, а наступне, зване консеквентом, ложно. У природній мові імплікація виражається союзом «якщо ..., то» в сенсі «невірно, чтор
і не-q» (р A q). Наприклад, «якщо число ділиться на 9, то воно ділиться і на 3» (тобто «невірно, що число ділиться на 9 і не ділиться на 3»), Символічно імплікація записується p ^ q (якщо р, то q) . Логічне значення імплікації відповідає таблиці істинності: р я p ^ q І І І І Л Л Л І І Л Л І Умовна зв'язок «якщо ..., то», будучи засобом вираження законів науки, виявляється корисна також і для з'ясування таких важливих з точки зору логіки понять, як необхідна і достатня умова чого-небудь. Аналіз властивостей імплікації показує, що істинність антецедента є достатньою умовою істинності консекеента, в той же час істинність консекеента є необхідною умовою істинності антецедента. Таким чином, достатнім для деякого явища вважається така умова, наявність якого неодмінно викликає це явище, а необхідним для деякого явища вважається умова, без якої дане явище не має місця.
« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " імплікація "
  1. 4.3. Складні судження
    імплікація - логічний союз «якщо ... , То ... »якимось чином (не обов'язково за змістом) з'єднує два судження, пов'язані між собою (граматичний союз« якщо ..., то ... », на відміну від логічного, об'єднує пропозиції обов'язково пов'язані за змістом) , еквівалентність - логічний союз «тоді і тільки тоді, коли ...» («якщо і тільки якщо ...») об'єднує два судження, пов'язані однозначною
  2. Поняття логічної форми
    імплікація, виражається словами «якщо ..., то ...». Пропозіціональная функція - це вираз, що містить змінні і що перетворюється на висловлювання при підстановці замість змінних відповідних дескриптивних
  3. 2.5. Складні судження та їх види. Поняття про логічне союзі
    імплікації, еквівалентності і заперечення. Логічний союз - це спосіб з'єднання простих суджень у складне, при якому логічне значення останнього встановлюється відповідно до логічними значеннями складових його простих суджень. Особливість складних суджень полягає в тому, що їх логічне значення, тобто істинність або хибність, визначається не смисловий зв'язком простих
  4. Парадокси матеріальної імплікації.
    Імплікації з її символічною формулою: АгеВ. Згідно матеріальної імплікації істинність А, для істинності формули Az> B, необхідно, щоб і В було правдиве. У цьому випадку мова йде про змістовне розумінні хибності й істинності висловлювання. Однак формула ADB істинна не тільки в зазначеному випадку, але й тоді, коли А - помилково, а В - істинно і тоді, коли вони обидва хибні. З даного факту
  5. 2.6. Вираз одних логічних зв'язок допомогою інших
    імплікація через диз'юнкцію; (р Zj q) = (р Л q) - імплікація через кон'юнкцію; (р Z) ц) = (q Z) р) - імплікація через імплікації, так званий закон простий (зліва-направо) і сильною (справа-наліво) контрапозиции; (р л q) = (р vq) - кон'юнкція через диз'юнкцію; (р / Cj) = (р / Ц) - диз'юнкція через кон'юнкцію; (р / q) = (р Zj q) - кон'юнкція через імплікації; (р / q) = (р ZJ q) - диз'юнкція
  6. 4.1. Чисто-умовний і умовно-категоричний силогізми
    імплікації. Інакше кажучи, висновок в чисто-умовному силогізм грунтується на правилі: наслідок слідства є наслідок підстави. Схема цього силогізму така: А ^ В В ^ С А ^ З Наприклад: Якщо буде сонячний день, то вода в річці буде теплою Якщо вода в річці буде теплою, можна піти купатися Якщо буде сонячний день, можна піти
  7. Основні прямі правила
    імплікації (УІ): А ^ В А В Правило введення еквівалентності (ВЕ): А ^ В В ^ А А ^ В Правило видалення еквівалентності (УЕ): А ^ У А ^ В А ^ В'В ^ А Правило введення подвійного заперечення (ВО): А А Правило видалення подвійного заперечення (УО): А_ А Основні непрямі правила Правило введення імплікації (ВІ): П {посилки) А (дод.) У А ^ В Правило reduction ad absurdum - «зведення до абсурду» (СА): П (посилки) А (дод.) У В А -
  8. ЕКЗАМЕНАЦІЙНІ ПИТАННЯ
    імплікації. Правила виведення, які стосуються імплікації. Еквівалентність. Правила виведення, які стосуються еквівалентності. Поняття необхідної і достатньої умови. Вираз одних логічних зв'язок через інші. Ділення судження за якістю та кількістю. Їх символічне вираження. Судження про відносини (релятивних). Одномісні, бінарні, n-місні предикати. Відношення між судженнями по