• 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
122 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]

DE MARTINO, Pietro

Dizionario Biografico degli Italiani (1990)

DE MARTINO (Di Martino), Pietro Pietro Nastasi Fratello di Nicola Antonio, nacque a Faicchio (Benevento) il 31 maggio 1707 da Cesare e Agata Ferrari. Compiuta la primissima istruzione nel seminario [...] accomuna le due operette in esame è l'ostinata insistenza del D. a voler dimostrare (anche con l'uso della logica proposizionale) che "da un'ipotesi falsa non puo mai ricavarsi un'affermazione vera" . Questo tipo di posizione, che era servito nell ... Leggi Tutto
CATEGORIA: BIOGRAFIE – FISICA MATEMATICA
TAGS: REGNO DELLE DUE SICILIE – ITALIA MERIDIONALE – EUSTACHIO MANFREDI – PIEDIMONTE D'ALIFE – CELESTINO GALIANI

quantità

Dizionario di filosofia (2009)

quantita quantità La proprietà e la condizione per cui un singolo ente o elemento, concreto o astratto, può essere misurato e quindi la sua grandezza, eventualmente espressa in termini numerici. La [...] analisi del concetto di q. che Aristotele svolge sul piano logico-dianoetico, laddove alle due forme principali del giudizio qualitativo, un terreno prettamente logico-formale (quantificazione dei predicati; logica proposizionale) ed epistemologico ... Leggi Tutto
Mostra altri risultati Nascondi altri risultati su quantità (1)
Mostra Tutti

disgiunzione

Enciclopedia della Matematica (2013)

disgiunzione disgiunzione in logica, connettivo, indicato con il simbolo ∨, che corrisponde, nel linguaggio naturale, alla congiunzione disgiuntiva «o» usata in senso inclusivo (come il latino vel) e [...] enunciato falso se e solo se tutti gli enunciati che la compongono sono falsi. La disgiunzione fra due enunciati, in logica proposizionale, svolge un ruolo analogo a quello dell’unione fra due insiemi nella teoria degli insiemi: l’insieme di verità ... Leggi Tutto
TAGS: QUANTIFICATORE ESISTENZIALE – DISGIUNZIONE ESCLUSIVA – LOGICA PROPOSIZIONALE – PROPRIETÀ ASSOCIATIVA – TEORIA DEGLI INSIEMI
Mostra altri risultati Nascondi altri risultati su disgiunzione (1)
Mostra Tutti

validità

Dizionario di filosofia (2009)

validita validità Il criterio in base al quale si stabilisce l’efficacia logica o probativa. Nella logica matematica il termine si presenta con vari significati che hanno influenzato il lessico filosofico [...] i modelli (➔ interpretazione; modello). Le formule valide costituiscono nella logica dei predicati la controparte delle tautologie (➔ tautologia) della logica proposizionale (➔ proposizionale, calcolo). Validità di un sistema formale Un sistema ... Leggi Tutto
Mostra altri risultati Nascondi altri risultati su validità (2)
Mostra Tutti

Lesniewski

Enciclopedia della Matematica (2013)

Lesniewski Leśniewski Stanisław (Serpuchov, Mosca, 1886 - Varsavia 1939) matematico, logico e filosofo polacco. Fu esponente di spicco della scuola polacca di matematica e logica, cui appartengono anche [...] è sostituita da quella di parte costituente di un oggetto complesso. La prototetica è una generalizzazione della logica proposizionale nella quale figurano variabili per tutte le categorie generate a partire dalla categoria delle proposizioni e nella ... Leggi Tutto
TAGS: FILOSOFIA DELLA MATEMATICA – LOGICA PROPOSIZIONALE – LEŚNIEWSKI STANISŁAW – LOGICA FORMALE – INSIEMISTICI

verita, tavola di

Enciclopedia della Matematica (2013)

verita, tavola di verità, tavola di metodo semantico della logica proposizionale (→ enunciati, linguaggio degli) per determinare il valore di verità («vero» V oppure «falso» F) di un enunciato composto [...] di verità dei suoi costituenti, è una → contraddizione e risulterà falso in ogni interpretazione. Le tavole di verità risalgono alla logica stoica e megarica, ma la loro prima esplicita descrizione ed elaborazione è opera di Ch.S. Peirce (1880); esse ... Leggi Tutto
TAGS: LOGICA PROPOSIZIONALE – TAVOLE DI VERITÀ – LOGICA CLASSICA – TAUTOLOGIE

Herbrand

Enciclopedia della Matematica (2017)

Herbrand Herbrand Jacques (Parigi 1908 - La Bérarde, Isère, 1931) matematico e logico francese. Morì giovanissimo all’età di 23 anni in un incidente alpinistico. A 17 anni fu ammesso, primo in graduatoria [...] dimostrazione, 1930), e le procedure di riduzione quasi-algoritmica di espressioni quantificate a particolari forme enunciative, che fondamentalmente permettono un certo tipo di riduzione della logica del primo ordine alla logica proposizionale. ... Leggi Tutto
TAGS: LOGICA DEL PRIMO ORDINE – LOGICA PROPOSIZIONALE – J. VON NEUMANN – GERMANIA – AMBURGO

Nicod

Enciclopedia della Matematica (2013)

Nicod Nicod Jean George Pierre (? 1893 - Ginevra 1924) logico ed epistemologo francese. Dopo aver studiato per alcuni anni matematica a Parigi, si trasferì a Cambridge e, sotto la direzione di B. Russell, [...] -epistemologica. Dopo un primo importante articolo sulla logica proposizionale, A reduction in the number of primitive propositions of logic (Una riduzione del numero delle proposizioni primitive della logica, 1916) e alcuni scritti minori, si occupò ... Leggi Tutto
TAGS: LOGICA PROPOSIZIONALE – INFERENZA INDUTTIVA – EPISTEMOLOGO – MATEMATICA – GINEVRA

Herbrand, teorema di

Enciclopedia della Matematica (2017)

Herbrand, teorema di Herbrand, teorema di o teorema di Herbrand-Tarski, in logica, altra denominazione del teorema di deduzione, dimostrato da J. Herbrand nella sua opera del 1930, ma già delineato da [...] ; in particolare, la possibilità di ridurre algoritmicamente questioni relative alla logica del primo ordine alla logica proposizionale. Per questo tale risultato ha avuto una notevole importanza nel successivo sviluppo di procedure di dimostrazione ... Leggi Tutto
TAGS: LOGICA DEL PRIMO ORDINE – LOGICA PROPOSIZIONALE – DEDUZIONE

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
1 2 3 4 5 6 7 8 ... 13
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