implicació material, paradoxes de la LÒG.

Mal anomenades paradoxes que procedeixen de la definició del condicional com implicació material. La principals són les que la tradició denomina amb les expressions llatines de verum sequitur ‘ad' quodlibet (un enunciat vertader està implicat materialment per qualsevol altre enunciat) i exfals sequitur quodlibet (un enunciat fals implica materialment a qualsevol altre enunciat): Així,

sempre que q és verdader (p®q) és verdader

sempre que p és fals (p®q) és verdader

 

Teoremes que fan lògicament vertaderes expressions com: «Si Barcelona és la capital d'Espanya, Madrid està al centre», o «si els cavalls volen, la lluna està feta de formatge verd», expressions que xoquen contra l'ús natural del llenguatge.

 

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.