metateoria

Dizionario delle Scienze Fisiche (2012)

metateoria metateorìa [Comp. di meta- e teoria] [FAF] Nella logica matematica, l'analisi di una teoria, detta teoria oggetto; si distingue tra m. sintattica, che ha per oggetto le proprietà formali delle [...] espressioni della teoria, e m. semantica, che studia anche i signif. dei simb.; più generic., come calco dell'ingl., come sinon. di metafisica ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

proposizione

Enciclopedia on line

In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. Filosofia P. ed enunciato Nella logica e nella filosofia del linguaggio contemporanee si distingue p. [...] un predicato di modo finito, implicite quelle il cui predicato è di modo non finito. Con riguardo all’autonomia sintattica, si distinguono p. indipendenti o principali o reggenti, e dipendenti o secondarie o subordinate. Le p. possono poi essere ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – GRAMMATICA – DOTTRINE TEORIE E CONCETTI

TAGS: ATTEGGIAMENTI PROPOSIZIONALI – CONGIUNZIONI SUBORDINANTI – FILOSOFIA DEL LINGUAGGIO – FILOSOFIA ANALITICA – ANALISI STANDARD

Godel Kurt

Dizionario delle Scienze Fisiche (1996)

Godel Kurt Gödel 〈gö´dël〉 Kurt [STF] (Brno 1906, nat. SUA - Princeton, New Jersey, 1978) Docente di matematica nell'univ. di Vienna (1933), nel 1938 passò negli SUA e dal 1946 fu membro permanente dello [...] Institute for advanced study di Princeton, New Jersey. ◆ [FAF] Numero di G.: → gödelizzazione. ◆ [FAF] Teorema d'incompletezza sintattica di G.: il più celebre dei risultati di G., enunciato nel 1931 e noto come teorema di G. per antonomasia: v. ... Leggi Tutto

CATEGORIA: RELATIVITA E GRAVITAZIONE – STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

TAGS: INSTITUTE FOR ADVANCED STUDY – NEW JERSEY – MATEMATICA – VIENNA – BRNO

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 [...] l’opera di A. Tarski e C. Morris. Quest’ultimo (Foundations of the theory of signs, 1938), aveva distinto le tre discipline, sintattica, s. e pragmatica, in cui si articola la semiotica. Sulla base dell’assunto che la s. è la disciplina che studia il ... Leggi Tutto

CATEGORIA: LINGUISTICA GENERALE – LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA GENERATIVA – TEORIA DEGLI INSIEMI – LOGICA INTUIZIONISTA

neopositivismo

Enciclopedia on line

Movimento filosofico (anche detto positivismo logico, neoempirismo, empirismo logico) sorto, sviluppatosi ed esauritosi tra il terzo e il sesto decennio del 20° secolo. I primi sviluppi La data di nascita [...] coerente per raggiungere lo scopo tradizionale dell’unità della conoscenza. In questo contesto si apriva la cosiddetta fase sintattica, in cui si dichiaravano oggetto di studio i segni linguistici e le regole della loro combinazione e trasformazione ... Leggi Tutto

CATEGORIA: DOTTRINE TEORIE E CONCETTI – STORIA DEL PENSIERO FILOSOFICO

TAGS: FILOSOFIA ANALITICA – POSITIVISMO LOGICO – LOGICA, MATEMATICA – CIRCOLO DI VIENNA – SCIENZE EMPIRICHE

Tarski, Alfred

Enciclopedia on line

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 [...] del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza logica, nozione semantica e sintattica di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre di questioni di decidibilità ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO

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 [...] scorretta, pur potendo alterarne il valore di verità. I nomi propri, per es., appartengono tutti a una stessa c. sintattica: se nell’enunciato «Carlo studia» si sostituisce il nome proprio «Carlo» con «Mario» si ottiene «Mario studia», che può ... 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

Morris, Charles

Enciclopedia on line

Filosofo statunitense (Denver, Colorado, 1901 - Gainesville, Florida, 1979); ha recato sul terreno del pragmatismo e del behaviorismo americani le istanze più vive delle indagini neopositivistiche europee [...] a stati mentali privati: accanto alla semantica, studio della relazione tra i segni e gli oggetti denotati, e alla sintattica, volta a determinare le relazioni tra i segni, M. auspicava la nascita della pragmatica, interessata alle relazioni tra i ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: NEOPOSITIVISTI – BEHAVIORISMO – GAINESVILLE – PRAGMATISMO – SEMIOTICA

logica lineare

Enciclopedia della Scienza e della Tecnica (2008)

logica lineare Claudio Pizzi Proposta dal francese Jean-Yves Girard nel 1987, la logica lineare non si limita a considerare le proposizioni come oggetti dotati di valori di verità come nella logica [...] degli algoritmi paralleli) e alla meccanizzazione del ragionamento. Le dimostrazioni in logica lineare perdono la natura sintattica e diventano oggetti geometrici detti reti di prova, che sono caratterizzate mediante pure proprietà geometriche (i ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: LOGICA INTUIZIONISTA – INFORMATICA – SEMANTICA