• 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
sinonimi
atlante
il chiasmo
lingua italiana
341 risultati
Tutti i risultati [1534]
Filosofia [341]
Matematica [384]
Biografie [312]
Fisica [200]
Temi generali [146]
Storia della fisica [133]
Metafisica [124]
Fisica matematica [122]
Algebra [109]
Epistemologia [105]

logica matematica

Enciclopedia dei ragazzi (2006)

logica matematica Walter Maraschini Simboli per ragionare correttamente Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] la seguente: A B se A allora B V V V V F F F V V F F V La logica matematica ha regole ferree, spesso trascurate nel linguaggio quotidiano. Quando si afferma «Se A, allora B» nulla si dice di cosa succederà ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LINGUA ITALIANA – GEORGE BOOLE – PROPOSIZIONE – ARISTOTELE – ARITMETICA
Mostra altri risultati Nascondi altri risultati su logica matematica (9)
Mostra Tutti

teorema

Dizionario delle Scienze Fisiche (1996)

teorema teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzione booleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile ... Leggi Tutto
CATEGORIA: FISICA NUCLEARE – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TERMODINAMICA E TERMOLOGIA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su teorema (4)
Mostra Tutti

definibilita

Enciclopedia della Scienza e della Tecnica (2008)

definibilità Silvio Bozzi Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] teoria dei modelli studiano e classificano gli insiemi definibili o definibili con particolari modalità in strutture matematicamente significative. Per capire la portata della cosa, basti pensare che varietà affini o proiettive, insiemi semialgebrici ... Leggi Tutto
CATEGORIA: LOGICA

teorema di compattezza

Enciclopedia della Scienza e della Tecnica (2008)

teorema di compattezza Silvio Bozzi Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] la possibilità di usare questi linguaggi per classificare i grandi cardinali e viceversa. Va notato infine che lo studio della validità o meno di forme del teorema di compattezza si estende a linguaggi e logiche non classiche. → Modelli, teoria dei ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LINGUAGGIO FORMALE – LOGICA MATEMATICA – ALFRED TARSKI – SE E SOLO SE – CARDINALITÀ
Mostra altri risultati Nascondi altri risultati su teorema di compattezza (1)
Mostra Tutti

logica

Enciclopedia on line

Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] . tradizionalmente intesa. Va infine ricordata la polemica antipsicologica di E. Husserl, su cui influirono le tesi del logico, matematico e filosofo B. Bolzano e di F. Brentano. Nella sua opera Formale und transzendentale Logik. Versuch einer Kritik ... Leggi Tutto
CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA
TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE
Mostra altri risultati Nascondi altri risultati su logica (9)
Mostra Tutti

modalità

Enciclopedia on line

Matematica Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato. Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] un suo originale sviluppo. Le motivazioni, oltre a quella di riprendere lo studio delle m. con gli strumenti raffinati della logica matematica, sono state anche altre: per es., in C.I. Lewis (1912), al quale si devono i primi sistemi formali per ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LINGUAGGIO FORMALE – LOGICA MATEMATICA – ETNOMUSICOLOGIA – SILLOGISTICA – ARISTOTELICA

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 [...] seguito ai lavori di F. William Lawvere si è verificato che essa è la logica opportuna una volta che si interpretino le formule (anche di linguaggi di ordine superiore) in categorie di prefasci o fasci e quindi in topoi generali. → Logica matematica ... 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

scienza

Enciclopedia on line

scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati. In [...] , ma è indipendente da quella che la segue. Spencer usò una tripartizione in s. astratte (logica, matematica), astratto-concrete (meccanica, fisica, chimica) e concrete (astronomia, geologia, biologia, psicologia, sociologia). Cournot definì, sotto ... Leggi Tutto
CATEGORIA: TEMI GENERALI – ANTROPOLOGIA FISICA – METAFISICA
TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – EVOLUZIONISMO DARWINIANO – FILOSOFIA DELLA SCIENZA – RIVOLUZIONE SCIENTIFICA – TEORIA DELLA RELATIVITÀ
Mostra altri risultati Nascondi altri risultati su scienza (7)
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 [...] espresse dal lessico non sono creazioni arbitrarie delle lingue, ma sono condizionate da fattori percettivi e cognitivi. Logica matematica e filosofia del linguaggio Il termine s. entra nel dibattito filosofico negli anni 1930, in particolare con ... 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

modello

Enciclopedia on line

In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] al minimo la verifica empirica diretta. Teoria dei modelli Generalità e cenni storici La teoria dei m. è la parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali ... Leggi Tutto
CATEGORIA: ARCHITETTURA E URBANISTICA – SCULTURA – FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – ECOLOGIA – ALGEBRA – GEOMETRIA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – DIRITTO PRIVATO – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – EPISTEMOLOGIA – FILOSOFIA DEL DIRITTO – FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM
Mostra altri risultati Nascondi altri risultati su modello (6)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 35
Vocabolario
lògica
logica lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
lògico¹
logico1 lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
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