ordine
Dato un insieme qualsiasi è possibile organizzare i suoi elementi secondo una certa regola (o relazione) che definisce un ordine degli elementi nell’insieme. Si chiamano relazioni d’o. (o semplicemente [...] funzioni e ammette la quantificazione su di loro. La costruzione dei livelli può essere continuata producendo la logica dei predicati del terzo o. (con variabili quantificabili per proprietà di proprietà e relazioni tra proprietà), ecc. Una logica è ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Aristotele
Enrico Berti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Aristotele è l’autore del primo sistema filosofico-scientifico elaborato nella [...] sono i nomi e i verbi, la cui unione, col nome che funge da soggetto e il verbo che funge da predicato, forma la proposizione o “discorso” (logos). Questo può essere enunciativo di uno stato di cose (apofantico), o semplicemente dotato di significato ...
Leggi Tutto
diritto privato europeo
diritto privato europèo locuz. sost. m. – Denominazione polisensa, perché in grado di richiamare profili giuridici di natura positiva, comparativa, storica nonché rilevanti aspetti [...] , segnatamente quelli aderenti all’Unione Europea. Sotto quest’ultimo riguardo, la nozione ripete i tratti caratteristici normalmente predicati per il concetto di diritto privato: vale a dire la regolazione dei rapporti intersoggettivi tra i singoli ...
Leggi Tutto
Church
Church Alonzo (Washington 1903 - Hudson, Ohio, 1995) logico statunitense. Insegnò a Princeton (1961-67) e all’università della California di Los Angeles (1967-90). Fondamentali alcuni suoi contributi [...] , quelle ricorsive generali (→ Church, tesi di); la dimostrazione dell’indecidibilità dell’aritmetica elementare e della logica dei predicati del primo ordine. In seguito Church si dedicò alla costruzione di una logica del senso e della denotazione ...
Leggi Tutto
decisione, problema della
decisione, problema della in logica, problema che concerne la possibilità di determinare la validità di un enunciato in un dato sistema logico. Per esempio, nel linguaggio degli [...] che la costituiscono. In questo senso il calcolo degli enunciati è decidibile. Ciò non avviene nella logica predicativa (ossia nel linguaggio dei predicati) come dimostrato nel 1936 da A. Church e in generale dal teorema di → Gödel, che afferma l ...
Leggi Tutto
quantificazione
In generale nelle scienze empiriche, processo che associa a proprietà di un certo sistema osservato una costante numerica (processo di misurazione). In logica con tale termine si fa riferimento [...] altri individui. Per es.: ‘esiste un trattato di pace’. Tale operatore è formalizzato con il simbolo ∃ che quantifica delle variabili di cui si predica qualche cosa. Per es.: ∃x (Px), dove la prima x è detta indice del quantificatore, P sta per un ...
Leggi Tutto
carattere
carattere uno qualsiasi dei simboli utilizzati per costruire una teoria formale. Il loro insieme è detto alfabeto. Per esempio, dell’alfabeto A = {a, b, c, d, ...} le lettere a, b, c... sono [...] , anche simboli logici quali i connettivi (nel linguaggio delle proposizioni e nel linguaggio dei predicati) e i quantificatori (nel linguaggio dei predicati).
☐ In informatica, ciascuno dei simboli alfanumerici o speciali usati in un sistema di ...
Leggi Tutto
Skolem, Thoralf
Logico e matematico norvegese (Sandsvär 1887 - Oslo 1963). Insegnò nelle univv. di Bergen e di Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli [...] Une relativisation des notions mathématiques fondamentales (1958); Abstract set theory (1962).
Forma normale di Skolem
Nella logica dei predicati del primo ordine con identità, è una formula in forma prenessa nella quale tutti i quantificatori sono ...
Leggi Tutto
Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] di Thue (insiemi finiti e non vuoti di coppie ordinate di parole su determinati alfabeti) si è potuta dimostrare la non risolubilità del problema delle parole per i semigruppi o problema di Thue, e dei problemi di decisione del calcolo dei predicati. ...
Leggi Tutto
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] formalizzate (cioè, a sistemi assiomatici contenenti un conveniente calcolo logico, simboli speciali per gli individui, i predicati e le funzioni, oltre agli assiomi non logici propri delle teorie), scelte in modo da riprodurre fedelmente ...
Leggi Tutto
predica
prèdica s. f. [der. di predicare]. – 1. a. Discorso che il sacerdote tiene in chiesa ai fedeli, parlando dal pulpito, dall’altare o dal presbiterio, su qualche passo della Scrittura o su argomenti di carattere morale, liturgico, sociale,...
predicabile
predicàbile agg. [nel sign. 1 a, der. di predicare; nel sign. 1 b, dal lat. praedicabĭlis, der. di praedicare nel senso di «celebrare, lodare»; il sign. 2 è dal lat. mediev. praedicabilia, tratto da praedicare nell’accezione assunta...