• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
60 risultati
Tutti i risultati [60]
Matematica [20]
Filosofia [16]
Informatica [7]
Biografie [7]
Temi generali [7]
Storia della matematica [6]
Logica matematica [4]
Psicologia e psicanalisi [5]
Lingua [5]
Fisica [5]

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
Mostra altri risultati Nascondi altri risultati su filosofia analitica (3)
Mostra Tutti

Łukasiewicz, Jan

Enciclopedia on line

Łukasiewicz, Jan 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
Mostra altri risultati Nascondi altri risultati su Łukasiewicz, Jan (2)
Mostra Tutti

Leśniewski, Stanisław

Enciclopedia on line

Leśniewski, Stanisław 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
Mostra altri risultati Nascondi altri risultati su Leśniewski, Stanisław (1)
Mostra Tutti

Schröder, Ernst

Enciclopedia on line

Schröder, Ernst 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
Mostra altri risultati Nascondi altri risultati su Schröder, Ernst (1)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su lògica matemàtica (9)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su Razionalità (5)
Mostra Tutti

Tarski, Alfred

Enciclopedia on line

Tarski, Alfred 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
Mostra altri risultati Nascondi altri risultati su Tarski, Alfred (4)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su Post, Emil Leon (2)
Mostra Tutti
1 2 3 4 5 6
Vocabolario
propoṡizionale
proposizionale propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
càlcolo¹
calcolo1 càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali