primoordine, teoria delprimoordine, teoria del espressione usata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa esprimere i [...] numero y tale che y > x» può essere tradotta nella formula ∀x∃y(y > x) espressa in un linguaggiodelprimoordine perché i due quantificatori si riferiscono a due variabili (rispettivamente a x e y). Al contrario, una espressione come «per ogni ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] , 1981), il μ-calcolo (Kozen 1982).
In questi sistemi il linguaggiodelprim'ordine viene arricchito introducendo istruzioni e costrutti di un linguaggio di programmazione (per es., composizione sequenziale, iterazione, alternativa in base al ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] punto di vista semantico. Questo approccio ha un carattere molto più intuitivo: ogni teoria espressa nel linguaggiodelprimoordine può essere interpretata in domini diversi, cioè si può selezionare un insieme qualsiasi come universo di riferimento ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] in considerazione. Ai livelli più elementari stanno due tipi di linguaggi, quelli enunciativi e quelli equazionali, oltre i quali stanno i linguaggidelprimoordine e di ordine superiore.
Abstract di approfondimento da Modelli, Teoria dei di Silvio ...
Leggi Tutto
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. [...] e complessi muniti dell'ordinaria addizione. I m. di G sono i gruppi.
Caratterizzazione e completezza. - Un linguaggiodelprim'ordine L′ si dice un'estensione dellinguaggio L se tutti i simboli non logici di L appartengono anche a L′. Una teoria T ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] tutto Skolem corregge il difetto zermeliano della vaghezza della nozione di 'definitezza' proponendo le formule di un linguaggiodelprimoordine per gli assiomi che la coinvolgono. Ne deduce il noto paradosso di Skolem, che esiste cioè un dominio ...
Leggi Tutto
sillogistica
Qualsiasi versione della dottrina del sillogismo (➔), da quella originaria aristotelica, a quella della trattatistica ottocentesca, relativa alla cosiddetta logica tradizionale, che precede [...] della logica formale moderna, la s. può essere formulata come teoria assiomatizzata, in un opportuno linguaggio formalizzato (per es., nel linguaggiodelprimoordine), nel quale le forme A, E, I, O non sono considerate come tipi di proposizioni ...
Leggi Tutto
predicati, linguaggio dei
predicati, linguaggio dei linguaggio formale in cui è possibile rappresentare simbolicamente frasi espresse nel linguaggio naturale aventi una struttura più elaborata degli [...] il quantificatore universale è applicato all’insieme delle proprietà. Per questa caratteristica, il linguaggio dei predicati è un linguaggiodelprimoordine (→ primoordine, teoria del).
Lettere funzionali
Oltre a connettivi e quantificatori, il ...
Leggi Tutto
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 [...] nella vita individuale e sociale.
Le funzioni dellinguaggio verbale
Il tema delle funzioni del l. verbale è affrontato già nell’ Per quanto riguarda il primo, il bambino comincia a emettere dei suoni (fonemi) seguendo un ordine in rapporto con il ...
Leggi Tutto
Linguaggio e scienza cognitiva
Diego Marconi
Premessa
«La questione più importante nello studio dellinguaggio umano è quella del suo posto nella natura: di che tipo di sistema biologico si tratta, [...] ordine delle parole, sistema dei casi, accordi di genere e numero ecc.); infine, il gene FOXP2, coinvolto in molti aspetti dellinguaggio grammatica universale), e solo il controllo delle regole delprimo tipo – cioè delle regole grammaticali – è ...
Leggi Tutto
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,...
ordinare
v. tr. [dal lat. ordinare «mettere in ordine, dare assetto» e poi anche con i sign. del n. 3; der. di ordo -dĭnis «ordine»] (io órdino, ecc.). – 1. a. Mettere in ordine, collocare un insieme di oggetti, di elementi, ciascuno al posto...