• 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
il chiasmo
31 risultati
Tutti i risultati [122]
Filosofia [31]
Matematica [26]
Lingua [13]
Temi generali [13]
Biografie [11]
Fisica [10]
Psicologia e psicanalisi [10]
Fisica matematica [9]
Informatica [7]
Storia del pensiero filosofico [8]

logica intuizionista

Enciclopedia della Scienza e della Tecnica (2008)

logica intuizionista Silvio Bozzi La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] Stanislaw Jaskowski dimostra che è possibile refutare ogni non teorema utilizzando una matrice finita. Questo garantisce la decidibilità della logica proposizionale intuizionista. Negli stessi anni Gerard Gentzen introduce un nuovo tipo di calcoli ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – LOGICA PROPOSIZIONALE – LOGICA MATEMATICA – ASSIOMATIZZAZIONE – DAVID HILBERT
Mostra altri risultati Nascondi altri risultati su logica intuizionista (1)
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. [...] va sottolineato che, nonostante l'enfasi che Davidson attribuisce alla teoria della decisione (parallela a quella posta sulla logica proposizionale), il modello di r. pratica che difende appare in ultima analisi più vicino a quello che si chiamerebbe ... 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

ŁUKASIEWICZ, Jan

Enciclopedia Italiana - III Appendice (1961)

ŁUKASIEWICZ, Jan Alberto PASQUINELLI Filosofo, nato a Leopoli il 21 dicembre 1878, morto a Dublino il 13 febbraio 1956. Insegnò filosofia e logica all'univ. di Varsavia e, dopo la seconda guerra mondiale, [...] , Crisippo, ecc., inerenti ai concetti di negazione, disgiunzione e implicazione, nonché alla sistematizzazione della logica proposizionale in genere, egli addirittura determinò in gran parte la riscoperta. Opere principali: Die logischen Grundlagen ... Leggi Tutto
Mostra altri risultati Nascondi altri risultati su ŁUKASIEWICZ, Jan (2)
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 [...] di metamatematica (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 ... 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

semantica

Enciclopedia on line

semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] è la nozione di soddisfacimento di una funzione proposizionale, che rappresenta una rigorosa sistematizzazione matematica della al significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme d’ ... Leggi Tutto
CATEGORIA: LINGUISTICA GENERALE – LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA GENERATIVA – TEORIA DEGLI INSIEMI – LOGICA INTUIZIONISTA
Mostra altri risultati Nascondi altri risultati su semantica (8)
Mostra Tutti

Valla, Lorenzo

Il Contributo italiano alla storia del Pensiero: Filosofia (2012)

Lorenzo Valla Rita Pagnoni Sturlese Lorenzo Valla è una delle figure più rappresentative dell’Umanesimo italiano: egli dà vita a un progetto di profondo rinnovamento pratico e teoretico che, pur non [...] . La Dialectica si presenta come una disamina critica dell’Organon aristotelico-scolastico (primo libro, logica dei termini; secondo, logica proposizionale; terzo, argomentazioni sillogistiche), ma di fatto viene a essere un nuovo ‘organo’ oppure ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: BASILICA DI SAN GIOVANNI IN LATERANO – DE CONSOLATIONE PHILOSOPHIAE – PATRIMONIO DI SAN PIETRO – DONAZIONE DI COSTANTINO – BARTOLO DA SASSOFERRATO
Mostra altri risultati Nascondi altri risultati su Valla, Lorenzo (8)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer Anne L. Troelstra L'intuizionismo di Brouwer Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] con la validità intuizionista intuitiva. Da osservazioni di Georg Kreisel nel 1958 si può dedurre che, per la logica proposizionale, la validità in un modello di Beth è equivalente alla validità intuitiva. Beth e Kripke dimostrarono la completezza ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

verita

Dizionario delle Scienze Fisiche (1996)

verita verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e. ◆ [ALG] [ELT] [FAF] Valori ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – FISICA TECNICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su verita (6)
Mostra Tutti

premessa

Dizionario delle Scienze Fisiche (1996)

premessa preméssa [Der. del lat. praemissa (sententia) "(proposizione) messa avanti"] [FAF] Nella logica proposizionale, sinon. di ipotesi: v. logica: III 484 a. ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

Logica e processi cognitivi

Enciclopedia Italiana - VII Appendice (2007)

Logica e processi cognitivi Carlo Cellucci Sarebbe difficile comprendere l'attuale stato dei rapporti tra l. e p. c. senza riferirsi a tre fattori che li hanno influenzati profondamente. Il primo fattore [...] sia il risultato congiunto del dato dello stimolo sensoriale e di inferenze implica che l'inferenza logica non deve essere ristretta all'inferenza proposizionale, ma deve essere generalizzata in modo da ammettere anche inferenze le cui premesse e la ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: RAGIONAMENTO DEDUTTIVO – SCIENZIATI COGNITIVI – MACCHINA DI TURING – LOGICA MATEMATICA – METONIMIA
Mostra altri risultati Nascondi altri risultati su Logica e processi cognitivi (9)
Mostra Tutti
1 2 3 4
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