Blog: http://pensatoio.ilcannocchiale.it

Illogica logica : modus ponens ed implicazione

In realtà il modus ponens e il modus tollens esplicitano le regole che definiscono l’implicazione. Essi infatti dicono che nell’implicazione se è vero l’antecedente è vero anche il conseguente e che se è falso il conseguente è falso anche l’antecedente.

 

Il  modus ponens infatti dice “se (p implica q) è vera e se è vero P(l’antecedente), deve essere vero anche Q(il conseguente)

Il modus tollens invece dice “ se (p implica q) è vera e se è falso Q (il conseguente) deve essere falso anche P (l’antecedente)”.

Spesso le regole di deduzione sono le versioni meta-linguistiche delle leggi logiche.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Pubblicato il 11/5/2011 alle 9.40 nella rubrica Epistemologia.

Il Cannocchiale, il mondo visto dal web