Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] veniva indicata da Jaakko Hintikka, Stig Kanger e Richard M. Montague. Nel 1959 Saul Kripke dimostrava un risultato di completezza e decidibilità per i tre sistemi modali più forti: KT, S4, S5. L'idea su cui si regge la nuova semantica ‒ detta ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] B′(x1,…,xn) con libere le stesse variabili per cui
[18] T ' ∀x1,...,∀xn (B(x1,...,xn) ∣ B′(x1,...,xn)) .
La decidibilità degli enunciati privi di quantificatori è immediata se le strutture generate dai denotati dei termini chiusi in ogni modello sono ...
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 [...] . Più o meno negli stessi anni Tarski pubblica i risultati ottenuti nei primi anni Trenta sulla completezza e decidibilità della teoria elementare dei numeri reali e mostra come trasferire queste proprietà alla geometria, formulando in termini logici ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] formule nei sequenti e quindi la proprietà della sottoformula ci permetterebbe di estendere anche al primo ordine la decidibilità che abbiamo nel caso enunciativo. Stesso discorso per le disgiunzioni di Herbrand, che sarebbero tutte di lunghezza ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] che presenta gli assiomi per il calcolo dei predicati, rispetto al quale viene posta la questione della completezza e della decidibilità. L’epoca d’oro della logica era alle porte. Le rose stavano fiorendo, ma non in Italia, dove il giovane ...
Leggi Tutto
decidibilita
decidibilità s. f. [der. di decidibile]. – La qualità o la condizione di essere decidibile, sia in senso generico, sia nel sign. specifico della logica matematica.