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 [...] discende più direttamente da quella tarskiana è la s. classica a due valori (vero, falso). Un modello classico M per un linguaggio formale L è una coppia <I, D> costituita da una funzione d’interpretazione I e da un insieme non vuoto (finito ...
Leggi Tutto
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 [...] le regole logiche per costituire le dimostrazioni, il programma di Hilbert richiedeva inevitabilmente uno studio accurato dei linguaggi formali e la formalizzazione della logica. Inoltre, il programma di Hilbert segnò l’avvio di una branca importante ...
Leggi Tutto
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 [...] sulla semantica dei linguaggi formali, precisando i concetti di verità e di conseguenza logica e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
semantica
Enciclopedia della Scienza e della Tecnica (2008)
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] di Alfred Tarski degli anni Venti del secolo scorso in cui vengono definite, per ampie classi di linguaggi, nozioni centrali come quelle di interpretazione, denotato, verità, soddisfazione, definibilità, modello e conseguenza logica. Tutti questi ...
Leggi Tutto
CATEGORIA:
LOGICA
linguaggio
Enciclopedia on line
Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] teorici sono riconducibili a quello dell’appartenenza di una stringa a un linguaggio.
Linguaggio di programmazione
Insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un calcolatore affinché esegua compiti ...
Leggi Tutto
CATEGORIA:
LINGUISTICA GENERALE
–
ANATOMIA
–
PATOLOGIA
–
ANATOMIA COMPARATA
–
ETOLOGIA
–
PATOLOGIA ANIMALE
–
PROGRAMMAZIONE E PROGRAMMI
genere
Enciclopedia on line
Antropologia
Nel dibattito antropologico e sociologico contemporaneo, il termine g. ha sostituito il termine sesso per indicare la tipizzazione sociale, culturale e psicologica delle differenze tra maschi [...] tra gli elementi tematici e il piano della loro resa formale, sono oggi analizzati in relazione a diverse questioni, come quelle sociali ed estetiche differenti diffondendo cioè valori, linguaggi e tematiche radicati o appartenenti a una specifica ...
Leggi Tutto
FILOSOFIA
Enciclopedia Italiana - IV Appendice (1978)
La produzione filosofica dopo il 1945 ha senza dubbio risentito fortemente della seconda guerra mondiale, del trauma che essa aveva rappresentato nella vita delle nazioni soprattutto europee. La sua conclusione [...] della "vera" scienza l'individuazione di leggi formali, valide per classi di fenomeni. Alla un orientamento che ha cercato di attuare una "svolta" o, per usare il linguaggio di N. Goodman, una "riforma" della f.: una nuova concezione della sua ...
Leggi Tutto
Scienza
Enciclopedia del Novecento (1982)
Scienza
Gerard Radnitzky
Paolo Rossi
di Gerard Radnitzky, Paolo Rossi
SCIENZA
Teoria della scienza di Gerard Radnitzky
sommario: 1. Introduzione. 2. Che specie di disciplina è la teoria della scienza [...] quindi un altro desideratum, che concerne gli aspetti ‛formali' dell'ideale di scienza: 3) i metodi d Beyond the edge of certainty, Englewood Cliffs 1965.
Egidi, R., Il linguaggio delle teorie scientifiche, Napoli 1979.
Espagnat, B. d', À la ...
Leggi Tutto
Utopia
Enciclopedia del Novecento (1984)
Utopia
VValerio Verra
di Valerio Verra
Utopia
sommario: 1. Introduzione: utopia e utopismo. 2. Utopia ed escatologia. 3. Utopia, ideologia, immaginazione sociale. 4. Marxismo e utopia. 5. Utopia, staticità [...] politico ideale, e si avvale di una pluralità di linguaggi (politico, filosofico, pedagogico, architettonico, ecc.) in un poi in Inghilterra nel 1924. Quest'opera ripete dal lato formale molti dei tratti essenziali del genere utopico: vi è infatti ...
Leggi Tutto