MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] ), i corrispondenti insiemi strutturali vengono detti "modelli" (semantici); questi costituiscono particolari interpretazioni delle teorie o sistemiformali dati.
Con simile significato, la denominazione stessa di "t. dei m." appare introdotta da A ...
Leggi Tutto
LOGICA DEONTICA
Claudio Pizzi
La nascita della l. d. nella sua forma attuale si fa risalire a un articolo di G.H. von Wright del 1951, in cui per la prima volta si analizzava l'affinità strutturale [...] all'affermazione che tutto ciò che accade è permesso dal codice morale vigente.
La costruzione delle l. d. come sistemiformali ha dato origine a una serie di paradossi la cui discussione rappresenta un capitolo ancora aperto in questo settore della ...
Leggi Tutto
SANSONE, Mario (App. III, iii, p. 663)
Roberto Deidier
Critico e storico della letteratura italiana, morto a Roma il 2 gennaio 1996. La sua attività di studioso è rimasta fedele all'iniziale impostazione [...] Grana, 5° vol., Milano 1969, pp. 3547-66; R. Luperini, Il Novecento. Apparati ideologici, ceto intellettuale, sistemiformali, letteratura contemporanea, Torino 1981; N. Sapegno, Linee della critica novecentesca, in Storia della letteratura italiana ...
Leggi Tutto
PARLAMENTO
Piero Calandra
Carlo Ghisalberti
(XXVI, p. 368; App. III, II, p. 366; IV, II, p. 737; v. anche camera, App. II, II, p. 488; senato, App. II, II, p. 806)
Il Parlamento in una democrazia repubblicana. [...] sé, l'esecutivo a dimettersi.
La teoria dell'''onnipotenza'' della legge ha trovato quindi numerosi limiti formali e sostanziali nel nuovo sistema: questo ha reso vano cercare criteri di sovraordinazione e sottordinazione e si è adottata una visione ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] , sono state proposte adeguate metodologie per opera di Robert W. Floyd, Peter Naur e, in particolare, Hoare. Nel sistemaformale proposto da Hoare (chiamato logica di Hoare o, a volte, semantica assiomatica) viene data particolare enfasi all'analisi ...
Leggi Tutto
Età
Jean S. La Fontaine
Introduzione
Il ciclo di vita
Il processo di crescita e invecchiamento è un fenomeno universale. Uno dei dati biologici fondamentali, comune a tutte le società, è che la vita [...] di vita - si fonda su un'incomprensione di fondo delle differenze tra gradi d'età, generazioni in senso genealogico e sistemiformali di classi d'età. Sociologi e demografi preferiscono ora impiegare il termine 'coorte' o l'espressione 'fascia d'età ...
Leggi Tutto
Architettura e attualità del moderno
Franco Purini
Nel passaggio tra la fine del 20° e l’inizio del 21° sec. l’architettura ha subito un’improvvisa accelerazione dei suoi processi vitali. Questa accelerazione, [...] di una coincidenza organica tra intenzioni generali e risultato finale; la composizione interrotta è respinta a favore di sistemiformali chiusi e definiti; inoltre la forma viene identificata non con il suo processo generativo, ma con sé stessa ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] i teoremi di Gödel comportano è l’esistenza di un’inesauribile molteplicità di modelli (nel senso della teoria dei modelli dei sistemiformali assiomatici) che la teoria degli insiemi assiomatica è in grado di fornire e con cui, proprio in virtù dei ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] evidente contrasto con la logica classica e sono state ampiamente indagate e definite per tutti i comuni sistemiformali intuizionisti. La semantica per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] svolta di fine Ottocento
Le premesse della ricostruzione della logica nella veste contemporanea di sintassi e semantica dei sistemiformali si individuano da un lato nell’algebrizzazione della logica culminata nell’opera di G. Boole, dall’altro nell ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...