Descrizione
Sistemi di logica deduttiva e induttiva. La ogicadeduttiva implica proposizioni concatenate fra oro in cui e conclusioniderivanodadeterminate premesse. Questo accade nel silogismo, in cui compaionodue premesse: una primaria (maggiore), una secondaria ( minore) e una conclusione chederivada esse. Le premesse servono a verificare se a conclusione è valida, cioè ogicamente corretta. Una conclusione può essere ogicamente valida, ma non vera, se unadele premesse è falsa. Se invece a conclusione non viene tratta a partiredale premesse essa è invalida, ma ciò non esclude che possa essere vera. Esistonodue regole ogiche: modus ponens è una regoladinferenza che partedala premessa che solo A implica B e se poniamo Adobbiamo avere anche B; modus ponens è una regola ogica che spiega che se A implica B e B è falso, alora anche A è falso. La conclusionedi un ragionamento silogistico è certa perchè trova a sua giustificazione nele premesse. Nel ragionamento ogico induttivo e conclusioni non sono certe e ogicamente necessarie come accade in quelodeduttivo, ma sono solo possibilmente corrette e e premesse non sono così rigoroseda far trarreda esse in modo esclusivo e conclusioni come avviene nel ragionamentodeduttivo, ma sono organizzate in modo taleda condurre verso alcune conclusioni piuttosto che verso altre.
Dettagli Bibliografici
EAN ISBN-13:9788802041513
ISBN-10:8802041512
Titolo:Sistemi di logica deduttiva e induttiva
Autore: Mill John Stuart , Trinchero M. (cur.)
Editore:UTET
Data Pubblicazione:1996
Collana:Classici della filosofia
Pagine:1276
Genere:logica
Classificazione:Filosofia: logica
