Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] variabile e x è una variabile qualsiasi, come in precedenza. Inoltre come regola di deduzione prendiamo, insieme alla regola del modusponens, la seguente: se la formula Z non contiene la variabile libera (non quantificata) x, allora: a) da Q(x)⊃Z ...
Leggi Tutto
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 [...] in realtà emerge solo quando A⊃B è un teorema della logica di riferimento, nel qual caso si può applicare la regola del modusponens che consente di inferire la conclusione B dall'ipotesi A. Ma dire che A⊃B è un teorema o una tautologia di una logica ...
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 [...] .
9. b ⊃ . a ⊃ ab
10. a ⊃ b . ⊃ . −b ⊃ –.
11. −(−a) = a
12. (. ∪ b)c ⊃ ac ∪ bc
13. a − a = ∧
Il modusponens (assioma 7) colma una lacuna nella parte logica degli Arithmetices principia, nei quali infatti Peano non riesce a giustificare il passaggio ...
Leggi Tutto