﻿
The truth-function of material implication gives a proposition pq which is true except in the case in which p is true and q is false. It also corresponds fairly well to the conditional form ‘If p then q ’. But whenever p is false, pq is true, and whenever q is true, pq is true. So ‘If Paddington Station is in France, London is in England’ is true (it has a true consequent) and ‘If the moon is made of cheese, it is made of ketchup’ is true (it has a false antecedent). The ‘paradox’ is not a genuine paradox, but puts some pressure on the identification of the conditional form as it is found in natural languages, with material implication.

Philosophy dictionary. . 2011.

### Look at other dictionaries:

• material implication — The truth function of two propositions p, q, defined as false if p is true and q false, but true in the other three cases. It is normally written p → q . The first logician to distinguish the four ways in which truth values can be associated with …   Philosophy dictionary

• Paradoxes of material implication — Implication, in logic, describes conditional if then statements, e.g., if it is raining, then I will bring an umbrella. There are many ways to formalise implication, of which material implication is one of the simplest. It equates the statement… …   Wikipedia

• material implication — noun An implication as defined in classical propositional logic, leading to the truth of paradoxes of implication such as Q (P P), to be read as any proposition whatsoever is a sufficient condition for a true proposition . Syn: material… …   Wiktionary

• Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… …   Wikipedia

• implication — implicational, adj. /im pli kay sheuhn/, n. 1. something implied or suggested as naturally to be inferred or understood: to resent an implication of dishonesty. 2. the act of implying: His implication of immediate changes surprised us. 3. the… …   Universalium

• Paradojas de la implicación material — Saltar a navegación, búsqueda Las paradojas de la implicación material son un conjunto de fórmulas de la lógica proposicional, reconocidas como verdades lógicas, pero que golpean al sentido común como cuestionables, o incluso absurdas.[1] Algunas …   Wikipedia Español

• List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… …   Wikipedia

• Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

• Raven paradox — The Raven paradox, also known as Hempel s paradox or Hempel s ravens is a paradox proposed by the German logician Carl Gustav Hempel in the 1940s to illustrate a problem where inductive logic violates intuition. It reveals the problem of… …   Wikipedia

• Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia