Strumenti Utente

Strumenti Sito


Action disabled: source
db:logica_simbolica

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


db/logica_simbolica.txt · Ultima modifica: 13/04/2019 16:06 (modifica esterna)