Referenze Bibliografiche
AA.VV. (1901), Bibliothèque du congrès international de philosophie, vol. 3, Armand, Paris (rist. Kraus, Nendeln-Liechtestein, 1968).
AMPÈRE, A. (1834-38), Essais sur la philosophie des sciences, ou exposition analytique d'une classification naturelle de toutes les connaissances humaines, Bachelier, Paris (rist. anast.: Culture et Civilisation, Bruxelles, 1966).
ARANA, A. (
2014), `
Purity in arithmetic: Some formal and informal issues', in
M. Detlefsen e
G. Link, (a cura di),
Formalism and beyond: On the nature of mathematical discourse,
de Gryuter, Boston. |
MR 3362052 |
Zbl 1347.03006 BAKER, A. (2009), `Non-deductive methods in mathematics', in E. N. Zalta (a cura di) The Stanford encyclopedia of philosophy.
BOLZANO, B. (
1810),
Beyträge zu einer begründeteren Darstellung der Mathematik,
Widtman, Prag (rist. anast.:
Wissenschaftliche Buchgesellschaft, Darmstadt,
1974). |
MR 479850 CANTOR, G. (1887-88), `Mitteilungen zur Lehre vom Transfiniten', Zeitschrift für Philosophie und philosophische Kritik, vol. 91, pp. 81-125, e vol. 92, pp. 240-65.
CANTÙ, P. (1999), Giuseppe Veronese e i fondamenti della geometria, Unicopli, Milano.
CANTÙ, P. (2003), La matematica da scienza delle grandezze a teoria delle forme. L'Ausdehnungslehre di H. Grassmann, tesi di dottorato, Università di Genova, Genova.
CANTÙ, P. (2010), `The role of epistemological models in Veronese's and Bettazzi's theory of magnitudes', in M. D'Agostino et al. (a cura di), New essays in logic and philosophy of science, College Publications, London, pp. 229-41.
CANTÙ, P. (
2013). `
An argumentative approach to ideal elements in mathematics', in
A. Aberdein e
I. J. Dove (a cura di),
The argument of mathematics,
Springer, Dordrecht, pp. 79-99. |
fulltext (doi) |
MR 3059474 CANTÙ, P. (in preparazione), `A theory-relative conception of ideal elements and the metaphor of enlargement in mathematics', comunicazione presentata al Twelfth Annual Midwest PhilMath Workshop, 6 novembre 2011, University of Notre Dame, Notre-Dame (IN).
CANTÙ, P. e TESTA, I. (2012), `Algoritmi e argomenti. La sfida dell'intelligenza artificiale', Sistemi Intelligenti, vol. 24, pp. 395-414.
CARNAP, R. (1931), `Die physikalische Sprache als Universalsprache der Wissenschaft', Erkenntnis, vol. 10, pp. 432-65 (trad. it., `Il linguaggio della fisica come linguaggio universale della scienza', in R. Carnap, La filosofia della scienza, a cura di A. Crescini, La Scuola, Brescia, 1964).
CELLUCCI, C. (
2008), `
Why proof? What is a proof?', in
R. Lupacchini e
G. Corsi (a cura di),
Deduction, computation, experiment: Exploring the effectiveness of proof,
Springer, Berlin, pp.
1- 27. |
fulltext (doi) |
MR 2464826 |
Zbl 1197.00016 CHASLES, M. (
1837),
Aperçu historique sur l'origine et le développement des méthodes en géométrie,
Hayez, Bruxelles. |
MR 1355544 |
Zbl 07.0021.01 COMTE, A. (1830-42), Cours de philosophie positive, 6 voll., Bachelier, Paris (trad. it., Corso di filosofia positiva, Paravia, Torino, 1957).
COUTURAT, L. e LEAU, L. (1903), Histoire de la langue universelle, Hachette, Paris.
D'AGOSTINO,
M.,
GABBAY,
D.M.,
HÄHNLE,
R. e
POSEGGA,
J. (a cura di) (
1999),
Handbook of tableau methods,
Springer, Berlin. |
fulltext (doi) |
MR 1796835 DEDEKIND, R. (
1872),
Stetigkeit und irrationale Zahlen,
Vieweg, Braunschweig (trad. it. in
R. Dedekind,
Scritti sui fondamenti della matematica, a cura di
F. Gana,
Bibliopolis, Napoli,
1982). |
MR 114755 DEDEKIND, R. (
1888),
Was sind und was sollen die Zahlen?,
Vieweg, Braunschweig (trad. it. in
R. Dedekind,
Scritti sui fondamenti della matematica, a cura di
F. Gana, Napoli,
Bibliopolis,
1982). |
MR 687390 DILTHEY, W. (1883), Einleitung in die Geisteswissenschaften. Versuch einer Grundlegung für das Studium der Gesellschaft und der Geschichte, Duncker & Humblot, Leipzig (trad. it. Introduzione alle scienze dello spirito, a cura di G. A. De Toni, La Nuova Italia, Firenze 1974).
DU BOIS-REYMOND, E. (1878), Kulturgeschichte und Naturwissenschaften, Veit, Leipzig.
ENRIQUES, F. (1901), `Sulla spiegazione psicologica dei postulati della geometria', Rivista Filosofica, vol. 4, pp. 171-95.
ENRIQUES, F. (
1906),
Problemi della scienza,
Zanichelli, Bologna. |
Zbl 38.0085.01 FERREIROS, J. e
GRAY, J. (a cura di) (
2006),
The Architecture of modern mathematics: Essays in history and philosophy,
Oxford University Press, Oxford. |
MR 2258016 |
Zbl 1089.00004 FREGE, G. (
1884),
Die Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung über den Begriff der Zahl,
Koebner, Breslau (trad. it.
I fondamenti dell'aritmetica. Un'indagine logico-matematica sul concetto di numero, in
G. Frege,
Logica e aritmetica, a cura di
C. Mangione,
Boringhieri, Torino,
1965). |
MR 197272 GABBAY,
D.M.,
JOHNSON,
R.,
OLBACH,
H.G. e
WOODS,
J. (a cura di) (
2002),
Handbook of the logic of arguments and inference: The turn towards the practical,
North-Holland, Amsterdam. |
fulltext (doi) |
MR 1940960 GRASSMANN, H.G. (1844), Die lineale Ausdehnungslehre, Wigand, Leipzig.
HEGEL, G.W.F. (1807), System der Wissenschaft. Erster Theil, die Phänomenologie des Geistes, Goebhardt, Bamberg-Würzburg (trad. it. Fenomenologia dello spirito, La Nuova Italia, Firenze, 1986).
HILBERT, D. (1899), Grundlagen der Geometrie, Teubner, Leipzig (trad. it. Fondamenti della geometria, Milano, Feltrinelli, 1970).
HILBERT, D. (
1926), `
Über das Unendliche'.
Mathematische Annalen, vol.
95, pp. 161-90 (trad. it. `
Sull'infinito', in
D. Hilbert,
Ricerche sui fondamenti della matematica, a cura di
M. V. Abrusci,
Bibliopolis, Napoli,
1978). |
fulltext EuDML |
fulltext (doi) |
MR 1512272 HORSTEN, L. (2007), `Philosophy of mathematics', in E. N. Zalta (a cura di), The Stanford encyclopedia of philosophy.
HUSSERL, E. (1929), Formale und traszendentale Logik, Niemeyer, Halle (trad. it. Logica formale e trascendentale, Laterza, Roma-Bari, 1966).
IRVINE, A.D. (a cura di) (
2009),
Philosophy of mathematics,
Elsevier/North-Holland, Amsterdam. |
MR 2724712 |
Zbl 1185.00008 KANT, I. (1787), Kritik der reinen Vernunft, 2a ed., Hartknoch, Riga (trad. it. Critica della ragion pura, Laterza, Roma-Bari, 1991).
KLEIN, F. (1893), `On the mathematical character of space-intuition and the relation of pure mathematics to the applied sciences', in F. Klein, Lectures on mathematics (The Evanston Colloquium), a cura di A. Zivet, Macmillan, New York-London, pp. 41-50.
LAKATOS, I. (
1976),
Proofs and refutations. The logic of mathematical discovery,
Cambridge University Press, Cambridge (trad. it.
Dimostrazioni e confutazioni. La logica della scoperta matematica,
Feltrinelli, Milano,
1979). |
MR 479916 |
Zbl 0334.00022 MANCOSU, P. (
2008b) `
Mathematical explanation: Why it matters', in
P. Mancosu (a cura di) (
2008), pp. 134-150. |
fulltext (doi) |
MR 1836991 MILL, J.S. (1843), A system of logic, ratiocinative and inductive, 2 voll., Parker, London; 4a ed., Longmans, Green and Co., London, 1886 (trad. it. Sistema di logica deduttiva e induttiva, UTET, Torino, 1988).
MOLININI, D. (
2012), `
Learning from Euler. From mathematical practice to mathematical explanation',
Philosophia Scientinæ, vol.
16, pp. 105-27. |
fulltext (doi) |
MR 3026948 |
Zbl 1325.00025 PASCH, M. (
1882),
Vorlesungen über neuere Geometrie,
Teubner, Leibniz. |
Zbl 14.0498.01 PEANO, G, (
1889),
Arithmetices principia: nova methodo exposita,
Bocca, Torino (rist.
Aragno, Torino,
2001). |
Zbl 21.0051.02PEANO, G. (
1903), `
De latino sine flexione-lingua auxiliare internationale',
Rivista di matematica, vol.
8, pp. 74- 83. |
Zbl 34.0078.03 PONCELET, J.V. (1822), Applications d'analyse et de géométrie: traité de propriétés projectives des figures, Bachelier, Paris.
RICKERT, H. (
1896-1902),
Die Grenzen der naturwissenschaftlichen Begriffsbildung,
Mohr, Freiburg. |
Zbl 44.0086.19 RÜCKERT, H. (
2001), `
Why dialogical logic?', in
E. Wansing (a cura di),
Essays on non-classical logic, vol.
1,
World Scientific, Singapore, pp. 165-85. |
fulltext (doi) |
MR 1865135 SCHRÖDER, E. (1890), Vorlesungen über die Algebra der Logik: exakte Logik, vol. 1, Teubner, Leipzig.
SHAPIRO, S. (
1997)
Philosophy of mathematics: Structure and ontology,
Oxford University Press, New York. |
MR 1468988 |
Zbl 0897.00004 SNOW, C.P. (1959) The two cultures, Cambridge University Press, London (trad. it. Le due culture, Marsilio, Venezia, 2005).
SPENCER, H. (1864), The classification of the sciences, Williams & Norgate, London.
TAPPENDEN, J. (2008), `Mathematical concepts and definitions', in P. Mancosu (a cura di) (2008), pp. 256-75.
VAILATI, G. (1901), `Sulla portata logica della classificazione dei fatti mentali proposta dal prof. Franz Brentano' (comunicazione presentata al III Congresso Internazionale di psicologia di Parigi, agosto 1900), Rivista filosofica, vol. 2, pp. 64-70.
VAN KERKOVE, B.,
DE VUYST, J. e
VAN BENDEGEM, J.P. (a cura di) (
2010),
Philosophical perspectives on mathematical practice,
College Publications, London. |
Zbl 1200.03011 VERONESE, G. (1891), I fondamenti della geometria, Tipografia del Seminario, Padova.
WINDELBAND, W. (1894), Geschichte und Naturwissenschaften, Heitz, Strassburg; 3a ed. 1904.
WUNDT, W. (1889), System der Philosophie, Engelmann, Leipzig.