|
| POSSEDUTO (se manca la collocazione vai al documento contenente) | |
| Titolo: | La logica matematica / antologia a cura di Andrea Sani. |
| Pubblicazione: | Firenze : La nuova Italia, 1996. |
| Descrizione fisica: | LVI, 141 p. 21 cm |
| Serie: | Pensatori antichi e moderni ; 124 |
| Contiene: | Indice: Premessa. Introduzione: 1. I problemi della logica 2. La logica di Leibniz 3. L'algebra della logica 4. Il logicismo di Frege 5. Russell e la crisi dei fondamenti 6. Il formalismo di Hilbert 7. I sistemi formali della logica 8. La semantica logica 9. I rapporti fra sintassi e semantica e il problema della decisione 10. Le logiche non classiche. Nota bibliografica. Pt. 1. Antologia: Avvertenza. 1. Storia ed elogio della lingua caratteristica universale / G.W. Leibniz 2. L'analisi matematica della logica : introduzione / G. Boole 3. Ideografia : introduzione / G. Frege 4. I fondamenti dell'aritmetica : premessa / G. Frege 5. Lettera a Frege / B. Russell 6. I principi dell'aritmetica : nota finale / G. Frege 7. La logica come essenza della filosofia / B. Russell 8. Logica aristotelica e logica simbolica / J. Lukasiewicz 9. Pensiero assiomatico / D. Hilbert 10. Le proposizioni indecidibili / K. Gödel 11. Verità e dimostrazione / A. Tarski 12. I Paradossi / W.V.O. Quine. Indice dei nomi |
| Visionato in: | IMSS |
| Altri autori: | Sani, Andrea.
Leibniz, Gottfried Wilhelm, 1646-1716. Boole, George, 1815-1864. Frege, Gottlob, 1848-1925. Russell, Bertrand, 1872-1970. Lukasiewicz, Jan, 1878-1956. Hilbert, David, 1862-1943. Gödel, Kurt, 1906-1978. Tarski, Alfred, 1901-1983. Quine, Willard Van Orman, 1908-2000. |
| Discipline: | Logica matematica--Testi e Carteggi. |
| Keyword: | Testi e Carteggi--Matematica. |
| Sudd. cronologiche: | Secoli XVII-XX. |
| Collocazione: | Rossi M 01591 |
| Nota di esemplare: | Mostra nota di esemplare |
| 000000221955 |
--------------------------------------