An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Logical contradictions centred on the difference between natural language and logic theory

Property Value
dbo:description
  • Paradoxon (de)
  • logical contradictions centred on the difference between natural language and logic theory (en)
dbo:wikiPageWikiLink
dbp:align
  • right (en)
dbp:author
dbp:id
  • p/s090470 (en)
dbp:quote
  • If we extend this convention to human activities, then the statement "If Hitler had won World War II then Europe would now be a single nation" is trivially true, because Hitler did not win World War II. But "If Hitler had won World War II then pigs would now have wings" is also trivially true, for the same reason. In modal logic, however, it would be sensible to debate the truth or falsity of the first of these statements, depending on how history might have changed if the Nazis had won the war. The second would be false, because pigs don't have wings. (en)
  • Russell's definition of "p implies q" as synonymous with "either not p or q" solicited the justified objection that according to it a true proposition is implied by any proposition and a false proposition implies any proposition . (en)
dbp:source
  • Professor Stewart's Cabinet of Mathematical Curiosities (en)
  • Elements of Analytic Philosophy (en)
dbp:title
  • Strict implication calculus (en)
dbp:width
  • 30.0 (dbd:perCent)
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Paradoxes of material implication (en)
  • Paradojas de la implicación material (es)
  • Paradoxien der materialen Implikation (de)
  • Paradoxos da implicação material (pt)
  • Парадокс імплікації (uk)
  • Парадокс импликации (ru)
  • Implikationsparadoxer (sv)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International