FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

implicació material LÒG.

El valor del condicional en lògica d’enunciats, que s’escriu P®Q, es llegeix «si P, llavors Q» i es defineix com

(P®Q) = _def. (¬p Ú q)

de manera que l’expressió «si p llavors q» és falsa si i només si l’antecedent és vertader i el conseqüent fals; en tots els altres casos és vertadera. Aquesta definició s’atribueix a Filó, filòsof megàric del s. IV a C. Del fet que aquesta definició de condicional no s’ajusta exactament a l’ús del condicional en el llenguatge ordinari, que suposa certa relació de significat entre antecedent i conseqüent, sorgeixen les denominades paradoxes de la implicació material.

La implicació material no ha de confondre’s amb la implicació tautològica, com és una inferència expressada com un condicional, en la que mai succeeix que les premisses siguin vertaderes i la conclusió falsa, o la implicació estricta, que es defineix com «si p és vertader ha de ser-ho també q»; també en aquest cas, q és deduïble de p.

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