proposizionale, calcolo

Dizionario di filosofia (2009)

proposizionale, calcolo Locuz. che designa il calcolo logico in cui l’analisi delle inferenze viene condotta a livello delle proposizioni (e dei loro nessi logici) senza indagare la struttura interna [...] insieme delle formule ben formate (costituito dalle lettere proposizionali e da proposizioni composte, ➔ proposizione). L’ α e da α→β segue β). La concezione classica del calcolo p. si fonda sul carattere verofunzionale dei connettivi e sull’adozione ... Leggi Tutto

TAGS: LINGUAGGIO FORMALE – SISTEMA FORMALE – MODUS PONENS

calcolo proposizionale

Enciclopedia della Matematica (2013)

calcolo proposizionale calcolo proposizionale → proposizioni, calcolo delle. ... Leggi Tutto

TAGS: PROPOSIZIONI

filosofia analitica

Enciclopedia on line

Orientamento di pensiero sviluppatosi soprattutto in Inghilterra dagli inizi del 20° sec., e volto prevalentemente allo studio del linguaggio nei suoi vari aspetti (scientifici, quotidiani, etici, logici [...] e i problemi delle ricerche sia di Frege sia di Russell, oltre all’introduzione di tecniche logiche originali (calcolo proposizionale con metodo delle matrici), pone l’esigenza di giungere a formulare una filosofia del linguaggio in cui vengano a ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – TEMI GENERALI

TAGS: PRINCIPIO DI VERIFICAZIONE – FILOSOFIA DEL LINGUAGGIO – ENUNCIATI PERFORMATIVI – FILOSOFIA DELLA MENTE – INFERENZA INDUTTIVA

Łukasiewicz, Jan

Enciclopedia on line

Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] dei sistemi di assiomi logici e un metodo di prova dell'indipendenza e della completezza. Costruì poi sistemi di calcolo proposizionale in cui si ammettono, oltre ai valori di verità "vero" e "falso", ulteriori valori, gettando le basi per una ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: CALCOLO PROPOSIZIONALE – LOGICA MATEMATICA – DEDUZIONE – VARSAVIA – LEOPOLI

Leśniewski, Stanisław

Enciclopedia on line

Logico e filosofo polacco (Serpuchov, Mosca, 1886 - Varsavia 1939), dal 1919 prof. di filosofia della matematica all'univ. di Varsavia. Allievo di K. Twardowski, fu (con A. Tarski e J. Łukasiewicz) tra [...] -tutto ("mereologia") che successivamente elaborò in un sistema assiomatico deduttivo entro cui poter esprimere il calcolo proposizionale e il calcolo delle classi. Tra le opere: O podstawach matematyki ("I fondamenti della matematica", in Przeglad ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: FILOSOFIA DELLA MATEMATICA – CALCOLO PROPOSIZIONALE – PARADOSSO DI RUSSELL – SISTEMA ASSIOMATICO – INSIEMISTICA

Schröder, Ernst

Enciclopedia on line

Matematico e logico (Mannheim 1841 - Karlsruhe 1902); prof. al politecnico di Karlsruhe, fu eminente algebrista. Classiche le sue Vorlesungen über die Algebra der Logik (3 voll., 1890-95), in cui viene [...] di G. Boole e sulla Formenlehre di R. Grassmann, una completa trattazione algebrica del calcolo delle classi e del calcolo proposizionale e un elaborato sviluppo del calcolo delle relazioni di Peirce. Si deve a S. anche un'anticipazione, in relazione ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: CALCOLO PROPOSIZIONALE – KARLSRUHE – MANNHEIM – I. LEWIS – ALGEBRA

lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] che contenga variabili libere si dice formula aperta, o funzione proposizionale. Si distingue fra logica dei predicati del primo ordine e teoria, che costituisce sotto il duplice aspetto di calcolo logico e di teoria deduttiva l’oggetto fondamentale ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA

Razionalità

Enciclopedia Italiana - VII Appendice (2007)

Razionalità Antonio Rainone Claudio Sardoni Filosofia di Antonio Rainone È quasi un luogo comune la constatazione che la r. e i problemi a essa connessi costituiscano temi eterni della ricerca filosofica. [...] essere razionale, tali principi identificandosi in buona misura con la logica proposizionale: "la questione se una creatura 'sottoscrive' […] la logica del calcolo proposizionale [...] non è una questione empirica. […] Gli agenti non possono decidere ... Leggi Tutto

CATEGORIA: METODI TEORIE E PROVVEDIMENTI – TEMI GENERALI – DOTTRINE TEORIE E CONCETTI

TAGS: TEORIA DELLA PROBABILITÀ – TEORIA DELLE DECISIONI – FILOSOFIA DELLA MENTE – LOGICA PROPOSIZIONALE – PSICOLOGIA COGNITIVA

Tarski, Alfred

Enciclopedia on line

Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza logica ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO

Post, Emil Leon

Enciclopedia on line

Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] e dell'indecidibilità del calcolo dei predicati; poco dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavole di verità per la logica elementare, proponendo inoltre un sistema formale in cui ciascuna variabile potesse assumere ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: CALCOLO PROPOSIZIONALE – FUNZIONE RICORSIVA – TEORIA DEI SISTEMI – SISTEMA FORMALE – ALGORITMO