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 [...] 0 e 1. La logica sfumata ha proprietà sfumate, tavole di verità sfumate e regolediinferenza sfumate, rendendo evanescente l'applicazione dei concetti tradizionali di assiomatizzabilità, consistenza, completezza. Tali proprietà peraltro interessano ...
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 [...] ; limitiamoci per ora al caso del primo ordine classico ‒ privato dell'identità ‒ introducendo il sistema LK.
Il sistema LK è costituito da tre gruppi diregolediinferenza: Identità, Struttura e Logica, dove Γ, Δ, Λ, ecc. indicano insiemi finiti ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
La circolazione delle opere: i papiri filosofici e logici
Maria Serena Funghi e Ermelinda Valentina Di Lascio
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in [...] (per gli stoici un sillogismo è un argomento valido, la cui validità viene provata tramite riduzione, utilizzando regolediinferenza chiamate themata, a uno dei cinque schemi argomentativi validi fondamentali, chiamati “anapodittici”). P.Mich. 2906 ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] von Neumann il quale sottolineò che era ancora aperto il problema se tutte le regolediinferenza intuizionisticamente ammissibili fossero rappresentabili in un sistema formale. A questo punto Gödel fece la sua rivelazione:
Addirittura (assumendo la ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Scetticismo antico
Lorenzo Corti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Essere scettici su di una questione significa sospendere il giudizio [...] dalle dottrine dei suoi avversari non-scettici (i dogmatici), usando le loro regolediinferenza, conclusioni che essi non possono accettare.
Ad essere oggetto della critica di Arcesilao è, in particolare, la tesi stoica secondo cui esiste il ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] scientifica. Non lo sono, per esempio, quelle che non riposano su una base logica definita, che non hanno regolediinferenza precise e i cui teoremi sono formulati nei termini solitamente ambigui e imprecisi del linguaggio colloquiale: in una parola ...
Leggi Tutto
assiomatizzazione
Processo che riconduce un insieme di conoscenze a principi dai quali l’insieme può essere derivato o dedotto. È possibile distinguere nella riflessione matematica (e in quella filosofica [...] condusse poi a una concezione formale in cui tutti gli elementi (i primitivi, gli assiomi, le regolediinferenza, i teoremi) vengono completamente e rigorosamente simbolizzati attraverso un linguaggio formale in un sistema formale. I termini ...
Leggi Tutto
predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] , A2, …, An tali che An = A e ogni formula Ai sia una delle formule di Γ, un assioma oppure derivi dalle formule precedenti per mezzo dell’applicazione di una regoladiinferenza. Nel calcolo dei predicati gli assiomi sono:
a) A ⇒ (B ⇒ A)
b) (A ⇒ (B ...
Leggi Tutto
empatia
Termine con cui si è soliti rendere in italiano quello tedesco di Einfühlung (anche tradotto con «simpatia simbolica»), usato in estetica e in psicologia per indicare la capacità di porsi nella [...] socializzazione ciascun individuo acquisirebbe questa teoria (detta folk psychology), imparando a usare le sue leggi come regolediinferenza sia per spiegare sia per predire il comportamento dei suoi simili. Per contro, i difensori della simulation ...
Leggi Tutto
secondo ordine, teoria del
secondo ordine, teoria del in logica, locuzione utilizzata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa [...] esprimere i suoi assiomi nonché le sue regoledi → inferenza in un linguaggio formale (si consideri per esempio l’aritmetica formalizzata dagli assiomi di → Peano). Solitamente le teorie matematiche sono formalizzate in un linguaggio dei → predicati, ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
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,...