• 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
52 risultati
Tutti i risultati [1023]
Matematica [52]
Biografie [199]
Lingua [165]
Religioni [129]
Grammatica [106]
Filosofia [88]
Storia [84]
Diritto [56]
Temi generali [38]
Linguistica generale [31]

Frege, Gottlob

Enciclopedia on line

Frege, Gottlob Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] (1879; trad. it. 1965), in cui viene costruito per la prima volta un calcolo degli enunciati e dei predicati e viene elaborato un opportuno linguaggio simbolico destinato a sostituire, in una formulazione veramente rigorosa, l'ambiguo e impreciso ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: FILOSOFIA DEL LINGUAGGIO – LOGICA MATEMATICA – WISMAR – JENA
Mostra altri risultati Nascondi altri risultati su Frege, Gottlob (2)
Mostra Tutti

categoria

Enciclopedia on line

Diritto C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] più generale funzione e nei principali aspetti che può assumere. Così la dottrina aristotelica delle c. diventa una dottrina dei sommi predicabili, cioè dei concetti più generali sotto cui è dato assumere ogni realtà. Certo è, comunque, che le c., in ... Leggi Tutto
CATEGORIA: FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – TEMI GENERALI – DIRITTO DEL LAVORO – STORIA E FILOSOFIA DEL DIRITTO – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO
TAGS: CONTRATTAZIONE COLLETTIVA – COMPOSIZIONE DI FUNZIONI – ORGANIZZAZIONE AZIENDALE – APPLICAZIONI CONTINUE – TEORIA DEGLI INSIEMI
Mostra altri risultati Nascondi altri risultati su categoria (3)
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 [...] successori di Aristotele. La logica stoica è una logica delle proposizioni, mentre la logica aristotelica è una logica dei predicati (o delle classi, non vuote), il che significa che mentre Aristotele si serve di strutture logiche in cui compaiono ... 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

La seconda rivoluzione scientifica: matematica e logica. Le logiche modali

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Le logiche modali Fabio Bellissima Paolo Pagli Le logiche modali L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] . Agli inizi degli anni Settanta, a Siena, prese l'avvio un'analisi in termini algebrici delle proprietà di Teor, un predicato che esprime la dimostrabilità all'interno dell'aritmetica di Peano. Fu quindi individuata una classe di algebre di Boole ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

METAMATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

METAMATEMATICA Alberto Pasquinelli Aldo Marruccelli . Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] tentare di dimostrare la consistenza della teoria dei numeri nelle Grundlagen si dimostra innanzitutto la coerenza del calcolo dei predicati del prim'ordine, mediante il terzo criterio. Dopo si passa all'aritmetica. Ecco in sintesi i risultati cui si ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – PRINCIPIO D'INDUZIONE – SISTEMA ASSIOMATICO – ESPERIMENTI MENTALI – GEOMETRIA EUCLIDEA
Mostra altri risultati Nascondi altri risultati su METAMATEMATICA (4)
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 [...] U(α) è formata: 1) da un insieme non vuoto α detto dominio degli individui o anche universo; 2) per ogni simbolo di predicato n-adico P ∈ L, da una relazione n-aria Pα su α (cioè, un sottoinsieme della potenza cartesiana α n); per il simbolo ... 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

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 [...] formula che contenga variabili libere si dice formula aperta, o funzione proposizionale. Si distingue fra logica dei predicati del primo ordine e logica dei predicati del secondo ordine: in quest'ultima sono ammesse anche formule del tipo ∃ P H e ∀ P ... 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

La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz

Storia della Scienza (2002)

La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz Massimo Mugnai Gottfried Wilhelm Leibniz Gli anni giovanili Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] completo affianca poi il criterio analitico di verità: un enunciato in forma soggetto-predicato (la forma canonica di ogni enunciato) è vero se il concetto del predicato è contenuto nel concetto del soggetto. Poiché ciò vale per qualunque tipo di ... Leggi Tutto
CATEGORIA: BIOGRAFIE – FISICA MATEMATICA – METAFISICA

Fuzzy

Enciclopedia della Scienza e della Tecnica (2007)

Fuzzy Settimo Termini L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema. L'aspetto [...] i quali esiste una vastissima letteratura. La teoria di Lotfi A. Zadeh può essere vista come un modo di trattare i predicati vaghi, che hanno sempre posto molti problemi a causa della loro elusività e che hanno spinto Gottlob Frege a espungerli dall ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: ACADÉMIE DES SCIENCES – TEORIA DEGLI INSIEMI – LUDWIG WITTGENSTEIN – JOHN VON NEUMANN – GOTTLOB FREGE
Mostra altri risultati Nascondi altri risultati su Fuzzy (3)
Mostra Tutti

L'Ottocento: matematica. Algebra della logica

Storia della Scienza (2003)

L'Ottocento: matematica. Algebra della logica Massimo Mugnai Algebra della logica Logica e matematica: pensare e calcolare Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] stesso dichiara di essersi deciso a scrivere The mathematical analysis of logic sollecitato dalla disputa sulla 'quantificazione del predicato' che era divampata tra De Morgan e il filosofo scozzese William Hamilton (1788-1856). Si deve interpretare ... Leggi Tutto
CATEGORIA: ALGEBRA – LOGICA MATEMATICA – STORIA DELLA MATEMATICA
1 2 3 4 5 6
Vocabolario
predicato
predicato s. m. [dal lat. praedicatum, part. pass. neutro sostantivato di praedicare (v. predicare), che come termine della logica e della grammatica traduce, nel lat. tardo e mediev., il gr. κατηγορούμενον «detto, asserito»]. – 1. Ciò che...
prèdica
predica prèdica s. f. [der. di predicare]. – 1. a. Discorso che il sacerdote tiene in chiesa ai fedeli, parlando dal pulpito, dall’altare o dal presbiterio, su qualche passo della Scrittura o su argomenti di carattere morale, liturgico, sociale,...
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