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.
→ Logicamatematica ...
Leggi Tutto
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 logicamatematica e ai fondamenti (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici ...
Leggi Tutto
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 logicamatematica (1891), Formulario mathematico (1894-1908). ...
Leggi Tutto
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 logicamatematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali ...
Leggi Tutto
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 logicamatematica, 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
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 logicamatematica è un simbolo che trasforma una forma enunciativa in un enunciato, in un individuo o in un attributo ...
Leggi Tutto
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.
Logicamatematica e filosofia del linguaggio
Il termine s. entra nel dibattito filosofico negli anni 1930, in particolare con ...
Leggi Tutto
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 logicamatematica, di grande rilievo fu il tentativo di R. di portare a compimento i progetti di fondazione ...
Leggi Tutto
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 logicamatematica, è detto c. un sistema deduttivo nel quale la definizione delle espressioni ‘giuste’ avviene mediante una ...
Leggi Tutto
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 logicamatematica s’incontrano due tipi di d.: metalinguistiche e linguistiche. Data cioè una certa teoria formale T e ...
Leggi Tutto
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,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...