Sergio Galvan (galvan-s)

Beiträge zu Philosophie.ch

Bibliography

Corradini, Antonella and Galvan, Sergio. 2018. “Essentialism and Forms of Necessity.” in Studies in the Ontology of E.J. Lowe, edited by Timothy Tambassi, pp. 125–158. Neunkirchen-Seelscheid: editiones scholasticae.
Corradini, Antonella, Galvan, Sergio and Lowe, Edward Jonathan, eds. 2004a. Analytic Philosophy Without Naturalism. Routledge Studies in Twentieth-Century Philosophy n. 27. London: Routledge.
Corradini, Antonella, Galvan, Sergio and Lowe, Edward Jonathan. 2004b. “Introduction.” in Analytic Philosophy Without Naturalism, edited by Antonella Corradini, Sergio Galvan, and Edward Jonathan Lowe, pp. 1–12. Routledge Studies in Twentieth-Century Philosophy n. 27. London: Routledge.
Galvan, Sergio. 1988a. “Über den Begriff von möglicher Welt in den Anwendungen der Modallogik.” in Normative Structures of the Social World, edited by Giuliano di Bernardo, pp. 65–72. Poznań Studies in the Philosophy of the Sciences and the Humanities n. 11. Amsterdam: Rodopi.
Galvan, Sergio. 1988b. “Underivability Results in Mixed Systems of Monadic Deontic Logic.” Logique et Analyse 31(121–122): 45–68.
Galvan, Sergio. 2001. “The Principle of Deontic Reflexivity and the Kantian Axiom.” Logique et Analyse 44(176): 329–347.
Galvan, Sergio. 2004. “Metaphysical Presuppositions of the Argument from Design: Comment on Collins (2004).” in Analytic Philosophy Without Naturalism, edited by Antonella Corradini, Sergio Galvan, and Edward Jonathan Lowe, pp. 153–160. Routledge Studies in Twentieth-Century Philosophy n. 27. London: Routledge.
Galvan, Sergio. 2006. “Time and Reality of Phenomenal Becoming.” in Proceedings of the 28th International Wittgenstein Symposium: Time and History, edited by Friedrich Stadler and Michael Stöltzner, pp. 63–76. Publications of the Austrian Ludwig Wittgenstein Society (new series) n. 1. Heusenstamm b. Frankfurt: Ontos Verlag.
Galvan, Sergio. 2008. Non contradizione e terzo escluso. Le regole della negazione nella logica classica, intuizionistica e minimale. Milano: Franco Angeli.
Galvan, Sergio. 2010. “The Emergence of the Intuition of Truth in Mathematical Thought.” in Emergence in Science and Philosophy, edited by Antonella Corradini and Timothy O’Connor, pp. 233–250. Routledge Studies in the Philosophy of Science n. 6. London: Routledge.
Galvan, Sergio. 2012a. “Two Types of Ontological Frame and Gödel’s Ontological Proof.” European Journal for Philosophy of Religion 4(2): 147–168.
Galvan, Sergio. 2012b. “Logic of Existence, Ontological Frames, Leibniz’s and Gödel’s Ontological Proofs.” in Ontological Proofs Today, edited by Mirosław Szatkowski, pp. 215–242. Philosophische Analyse / Philosophical Analysis n. 50. Heusenstamm b. Frankfurt: Ontos Verlag.
Mancosu, Paolo, Galvan, Sergio and Zach, Richard J. 2021. An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs. Oxford: Oxford University Press, doi:10.1093/oso/9780192895936.001.0001.
Mancosu, Paolo, Galvan, Sergio and Zach, Richard J. 2022. Introduction à la théorie de la démonstration. Élimination des coupures, normalisation et preuves de cohérence. Paris: Librairie philosophique Jean Vrin.

Further References

Collins, Robin. 2004. “The Design Argument: Between Science and Metaphysics.” in Analytic Philosophy Without Naturalism, edited by Antonella Corradini, Sergio Galvan, and Edward Jonathan Lowe, pp. 140–152. Routledge Studies in Twentieth-Century Philosophy n. 27. London: Routledge.