Logica simbolica
| Approfondimenti | Info |
|---|---|
Quest'argomento non è collegato ad altri approfondimenti correlati. Si consiglia, in ogni caso, di controllare sempre [ l'Indice ] degli Approfondimenti | Questa pagina è solo improntata in attesa di completamento da parte dei Collaboratori. Se sei interessato a collaborare attivamente con Extrapedia, leggi come fare [ Collabora ] |
La Logica simbolica si differenzia dalla Logica classica anche nelle assunzioni rispetto all'esistenza delle cose nelle sue asserzioni universali.
Intorno alla metà del XIX secolo, i matematici inglesi George Boole e Augustus De Morgan aprirono un nuovo campo della logica, ora noto come Logica simbolica, che fu sviluppato dai matematici e filosofi inglesi Bertrand Russell e Alfred North Whitehead. Il sistema logico di Russell e Whitehead introduce simboli per le proposizioni e per i connettivi proposizionali (per esempio congiunzioni, disgiunzioni e implicazioni); presenta inoltre simboli differenti per il soggetto logico e per il predicato logico di una proposizione; inoltre ha simboli per le classi, per i membri delle classi e per le relazioni di appartenenza a una classe e di inclusione tra classi.
“Qualora alcuni link non funzionassero, si prega di comunicarlo allo Staff - staff@extrapedia.org”
Strumenti Pagina
