• 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 App
    • Skill
    • 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
vocabolario
biografico
sinonimi
atlante
il chiasmo
1882 risultati
Tutti i risultati
Diritto [405]
Biografie [245]
Filosofia [175]
Storia [137]
Temi generali [131]
Arti visive [115]
Matematica [112]
Scienze demo-etno-antropologiche [99]
Economia [98]
Religioni [97]

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 [...] , giustificandone le definizioni e le procedure deduttive. Questo spiega la caratteristica più evidente che distingue la logica matematica dalla logica formale tradizionale: la coesistenza in essa di un livello dove si situano i linguaggi, le regole ... 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

logica formale

Enciclopedia della Matematica (2013)

logica formale logica formale → logica. ... Leggi Tutto

tautologia

Enciclopedia on line

tautologia Nella logica formale classica, proposizione che, proponendosi di definire qualcosa, non fa sostanzialmente che ripetere nel predicato ciò che già è detto nel soggetto. In logica matematica si [...] chiama t. (o verità logica) ogni espressione che risulti sempre vera, qualunque siano i valori di verità assegnati alle variabili. ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: LOGICA MATEMATICA – LOGICA – VERITÀ
Mostra altri risultati Nascondi altri risultati su tautologia (4)
Mostra Tutti

categorematico

Enciclopedia on line

Nella logica formale, detto di termine che ha un significato preso isolatamente (contrapposto a sincategorematico). Termini c. sono sostantivi, verbi, aggettivi. Tale distinzione si mantiene nella logica [...] simbolica, salvo varianti terminologiche (talora i termini c. vengono detti propri, e i sincategorematici impropri o incompleti); i termini c. si distinguono in soggetti, predicati, enunciati, quelli sincategorematici ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LOGICA FORMALE

sincategorematico

Enciclopedia on line

sincategorematico Nella logica formale, si dice di termine che preso isolatamente non ha un significato suo proprio ma lo acquista solo in unione ad altri termini, detti categorematici (cioè tali che di [...] per sé significano qualcosa), e agisce sul significato di questi ultimi dando luogo a una nuova espressione. Termini s. sono pronomi, avverbi, preposizioni, congiunzioni ... Leggi Tutto
CATEGORIA: LESSICOLOGIA E LESSICOGRAFIA
TAGS: LOGICA FORMALE – CONGIUNZIONI – PREPOSIZIONI – AVVERBI

SORITE

Enciclopedia Italiana (1936)

SORITE Guido Calogero . Termine della logica formale, corrispondente al greco σωρίτης, il quale a sua volta è derivato da σωρός "mucchio". Il nome di sorite ha infatti, inizialmente, il sofisma megarico [...] del "mucchio" (il primo granello non costituisce un mucchio, il secondo neppure, ecc.: o si conclude che il mucchio non si costituisce mai, o, se si ammette che esso si costituisce per l'aggiunta di un ... Leggi Tutto

SUSSUNZIONE

Enciclopedia Italiana (1937)

SUSSUNZIONE Guido CALOGERO . Termine della logica formale, corrispondente al latino subsumptio. Indica l'azione del "sussumere" (subsumere), cioè del ricondurre un noema (ossia un qualsiasi contenuto [...] di pensiero, "termine" di giudizio o di sillogismo) nell'ambito di quello nella cui estensione esso è compreso. Si può così parlare di "giudizî di sussunzione, o sussuntivi" (il cane è vertebrato) e di ... Leggi Tutto

DIVISIONE

Enciclopedia Italiana (1932)

DIVISIONE Filosofia. - Nel campo della logica formale, la divisione (che corrisponde alla greca διαίρεσις) è l'operazione mediante la quale si enumerano le specie contenute in un genere, o, più generalmente, [...] i concetti meno estesi e più comprensivi contenuti in un concetto più esteso e meno comprensivo. La divisione è perfetta quando esaurisce totalmente nei suoi termini l'estensione del concetto da dividere: ... Leggi Tutto

polisillogismo

Dizionario di filosofia (2009)

polisillogismo Nella logica formale, serie costituita da due o più sillogismi, nella quale la conclusione del sillogismo precedente (prosillogismo) funge da premessa maggiore del sillogismo seguente [...] (episillogismo ➔ sillogistica) ... Leggi Tutto

episillogismo

Dizionario di filosofia (2009)

episillogismo Nella logica formale, il sillogismo che si aggiunge a un sillogismo precedente, assumendo la conclusione di quest’ultimo come una delle sue premesse. ... Leggi Tutto
1 2 3 4 5 6 7 8 ... 189
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,...
formale¹
formale1 formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...
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 App
    • Skill
    • 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