Implicazione logica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
→‎Implicazione logica materiale: secondo Parry e oltre
Etichetta: Editor wikitesto 2017
Riga 121:
dove la presenza di <math> \neg \mathcal B \lor \mathcal B </math> ci dice che è sempre vera cioè è una [[tautologia]] e la nostra tesi è dimostrata.
 
[[Diodoro Crono|Diodoro]] e C.I.Lewis stabilirono un nesso di [[necessità]] fra la posizione antecedente e quella conseguente, nell'ambito della [[logica modale]]. Secondo la loro interpretazione, dire "se A è...allora è B" equivale ad affermare "se A è..., allora necessariamente B è".<br />
 
Il logico William Parry arrivò a affermare che per evitare i paradossi della logica formale, si deve postulare l'esistenza di un rapporto di senso fra la proposizione antecedente e la conseguente, per il quale la premessa maggiore già contiene la conseguenza. Sul piano temporale della causalità, ciò equivale ad accettare l'asserto classico secondo cui "l'effetto non può essere maggiore della causa" (la conseguenza maggiore delle premesse) e la natura non possa quindi creare l'essere o l'ente.
 
== Coimplicazione ==