References

Agazzi, Evandro. 1961. Introduzione aiproblemi dell’assiomatica. Milano: Vita e Pensiero.

Agazzi, Evandro. 1964. La logica simbolica. 5^th revised and enlarged edition 1990.

Agazzi, Evandro. 1966. Riflessioni su alcuni nuovi orizzonti della logica matematica. Logica e analisi, special issue of Archivio di Filosofia 47-69.

Agazzi, Evandro. 1978. Non-contradiction et existence en mathematique. Logique et Analyse 21: 459-481.

Agazzi, Evandro. 1994. On Formalism. In Philosophical Problems Today, ed. G. Flpistad, 1: 75-173. Dordrecht-Boston-London: Kluwer.

Agazzi, Evandro. 1997. On the criteria for establishing the ontological status of different entities. In Realism and Quantum Physics, ed. E. Agazzi, 40-73. Amsterdam- Atlanta: Rodopi.

Agazzi, Evandro. 2007. La rilevanza dell’opera di Godel nella filosofia della logica e della matematica. In Herr Warum. La musica di Godel, ed. F. Pollini. Cesena: Societa Editrice Il Ponte Vecchio.

Agazzi, Evandro. 2008. Scienza (intervista di Giuseppe Bertagna), Brescia: La Scuola.

Agazzi, Evandro. 2010. Vlijanie Godelia na filosofiiu matematici. Epistemologija & filosofija nauki (Epistemology and Philosophy of Science) XXV/3: 16-41. Moscow: Institute of Philosophy of the Russian Academy of Sciences.

Agazzi, Evandro. 2011. Consistency, Truth and Ontology. Studia Logica 97/1:7-29.

Agazzi, Evandro. 2012a Meaning between sense and reference: Impacts of semiotics on philoso­phy of science. Semiotica. Sepcial issue “Semiotics and Logic” 188-1/4: 29-50.

Agazzi, Evandro. 2012b. Ragioni e limiti del formalismo, Saggi difilosofia della logica e della matematica, ed. F. Minazzi. Milano: Franco Angeli.

Agazzi, Evandro, and Alai Mario. 2012c. Conversazione con Evandro Agazzi. APhEx 6, Interviste, available also at: http://www.aphex.it/public/file/Content20141117_06.APhEx6,20 12IntervisteAgazziAlai.pdf.

Agazzi, Evandro. 2014. Scientific Objectivity and its Contexts. Heidelberg, New York, Dordrecht, London: Springer.

Arsenijevic, Milos. 2012. The Philosophical Impact of the Lowenheim-Skolem Theorem. In Between Logic and Reality. Modeling Inference, Action and Understanding, eds. M. Trobok, N. Miscevic, B. Zarnic 59-82, Heidelberg, New York, Dordrecht, London: Springer.

Bays, Timothy. 2014. Skolem’s Paradox. The Stanford Encyclopedia of Philosophy. http://plato. stanford.edu/entries/paradox-skolem/.

Benacerraf, Paul. 1967. God, the devil and Godel. The Monist 51: 9-32. Also at: http://www. univ.trieste.it/~etica/2003_1/3_monographica.htm.

Bochenski, Jozef M. 1938. Nove lezioni di logica. Roma: Angelicum.

Bruni, Riccardo. 2004. Riflessioni sull’incompletezza. I teoremi di Godel tra logica e filosofia. Firenze: Ph.D. Thesis, Universita degli Studi di Firenze. Also at http://www.philos.umfi. it/CMpro-v-p-88.html.

Burali-Forti, Cesare. 1919. Logica Matematica. Second edition, Milano: Hoepli.

Chihara, Charles S. 1972. On alleged refutations of mechanism using Godel’s incompleteness results. The Journal of Philosophy, 69:507-526.

Dutilh Novaes, Catarina. 2011. The Different Ways in which Logic is (said to be) Formal. History and Philosophy of Logic 32,4: 303-332.

Fano, Vincenzo and Graziani, Pierluigi. 2011. Godel and the fundamental incompleteness of human self-knowledge. Logic and Philosophy of Science IX(1):263-274.

Fano, Vincenzo and Graziani, Pierluigi. 2013. Mechanical Intelligence and Godelian Arguments. Epistemologia 36, 2: 207-232.

Feferman, Solomon. 2006. Are there absolutely unsolvable problems? Godel’s dichotomy. Philosophia Mathematica 14: 134-152.

Feferman, Solomon. 2009. Godel, Nagel, Minds, and Machines. Journal of Philosophy. 106, 4: 201-219.

Geymonat, Ludovico. 1962. Review of Evandro Agazzi ‘Introduzione ai Problemi dell’Assiomatica. Soc. Ed. Vita e Pensiero, Milano 1961’. Bollettino della Unione Matematica Italiana III, XVII: 408-10.

Godel, Kurt. 1931. Uber formal unentscheidbare Satze der Principia mathematica und ver- wandter Systeme. Monatshefte fur Mathematik und Physik 38: 173-198; also in Godel K., Collected Works I: 144-195. Oxford: Oxford University Press.

Godel, Kurt. 1934. On undecidable propositions of formal mathematical systems. In Collected Works I:346-369.

Godel, Kurt. 193?. Undecidable Diophantine propositions. In Collected Works III:164-175.

Godel, Kurt. 1951. Some basic theorems on the foundations of mathematics and their implica­tions. In Collected Works III: 304-333.

Godel, Kurt. 1964. Postscriptum to Godel 1934. In Collected Works III: 369-371.

Godel, Kurt. 1986-2003. Collected Works vol. I-V, eds. S. Feferman, et al.. Oxford: Oxford University Press.

Henkin, Leon. 1949. The Completeness of the First-Order Functional Calculus. Journal of Symbolic Logic 14: 159-66.

Henkin, Leon. 1950. Completeness in the Theory of Types. Journal of Symbolic Logic 15:81-91.

Lowenheim, Leopold. 1915. Uber Moglichkeiten in Relativkalkul. Mathematische Annalen 76: 447-70.

Lucas, John R. 1961. Minds, machine and Godel. Philosophy 36:112-127. Also at http://users. ox.ac.uk/~jrlucas/mmg.html.

MacFarlane, John. 2000. What does it mean to say that logic is formal?. Pittsburgh: PhD Dissertation, University of Pittsburgh.

Manzano, Maria, Sain, Ildiko, and Alonso, Enrique. 2014. The Life and Work of Leon Henkin. Essays on his contributions. Studies in Universal Logic. Springer Birkhauser Basel.

Nagel, Ernest R. and Newman, James R. 1956. Godel’s proof. Scientific American; reprinted in Newman (1956), 3:1668-1695.

Nagel, Ernest R. and Newman, James R. 1958. Godel’s Proof. New York: New York University Press; revised edition, 2001, edited with a new foreward by Douglas R. Hofstadter.

Newman, James R. 1956. The World of Mathematics: A small library of the literature of math­ematics from A’h-mose the Scribe to Albert Einstein, presented with commentaries and notes.

Piccinini, Gualtiero. 2003. Alan Turing and the Mathematical Objection. Mind and Machines 13:23-48.

Skolem, Thoralf A. 1920. Logisch-kombinatorische Untersuchungen uber die Erfullbarkeit oder Beweisbarkeit mathematischer Satze nebst einem Theoreme uber dichte Mengen. Skrifter utgit av Videnskapsselkapet i Kristiania I, Matematiska- Naturvetenskap Kl 4:1-36.

Skolem,Thoralf A. 1922. Einige Bemerkungen zur axiomatischen Begrundung der Mengenlehre. Wissenschaftliche Vortrage gehalten auf dem 5. Kongress der skandinavischen Mathematiker in Helsingfors 4:217-232.

Skolem, Thoralf A. 1928. Uber die mathematische Logik. Norsk. Mat. Tidsk. 10:125-142.

Skolem Thoralf A. 1929. Uber einige Grundlagenfragen der Mathematik. Skrifter uigit av det NorskeVid. Akad. i Oslo I, 4:73-82.

Tieszen, Richard. 2006. After Godel: mechanism, reason, and realism in the philosophy of math­ematics. Philosophia Mathematica 14: 229-254.

Turing, Alan. 1936. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42:230-265.

Turing A.M. (1947). Lecture to the London Mathematical Society on 20 February 1947, in The collected worksof A.M. Turing, II, Amsterdam, North Holland, 1992, pp. 87-105.

Turing, Alan, 1950. Computing Machinery and Intelligence. Mind, 59: 433-460.

Van Atten, Mark. 2006. Two draft letters from Godel on self-knowledge of reason. Philosophia Mathematica 14: 255-261.