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
combinatòria
Enciclopedia on line
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] ci riferiamo alla Mathematical Subject Classification. Essa mostra rinvii dalla combinatoria alla logica matematica e ai fondamenti (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Peano, Giuseppe
Enciclopedia on line
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani [...] degli inventori. Elaborò e tentò la diffusione di un linguaggio scientifico internazionale (latino sine flexione o interlingua). Tra le sue opere: Calcolo geometrico (1888), Principi di logica matematica (1891), Formulario mathematico (1894-1908). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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
funzione
Enciclopedia on line
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] delle f. di variabile reale è quello delle f. reali a un valore di una (o più) variabili reali.
Funzioni di verità
In logica matematica, particolare tipo di f. che ha sia come argomenti sia come valore i valori di verità Vero (V) e Falso (F). F. di ...
Leggi Tutto
operatore
Enciclopedia on line
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] o., Mikusiński dà una fondazione rigorosa ai metodi del calcolo simbolico senza far uso di trasformazioni integrali.
O. logico
In logica matematica è un simbolo che trasforma una forma enunciativa in un enunciato, in un individuo o in un attributo ...
Leggi Tutto
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
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] , gli fece presto guadagnare una popolarità mondiale: nel 1950 gli fu attribuito il premio Nobel per la letteratura. Nell'ambito della logica matematica, di grande rilievo fu il tentativo di R. di portare a compimento i progetti di fondazione ...
Leggi Tutto
calcolo
Enciclopedia on line
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...] che permettono la risoluzione esplicita di problemi quali la derivazione, l’integrazione indefinita, l’integrazione.
In logica matematica, è detto c. un sistema deduttivo nel quale la definizione delle espressioni ‘giuste’ avviene mediante una ...
Leggi Tutto
definizione
Enciclopedia on line
Filosofia
L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] è la d. della grandezza mediante l’indicazione del procedimento che consente la misurazione della grandezza stessa.
Matematica
In logica matematica s’incontrano due tipi di d.: metalinguistiche e linguistiche. Data cioè una certa teoria formale T e ...
Leggi Tutto