27 found
Order:
  1.  64
    An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - Oxford: Oxford University Press. Edited by Sergio Galvan & Richard Zach.
    An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic, natural deduction and the normalization theorems, the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these (...)
  2. A Classical Logic of Existence and Essence.Sergio Galvan & Alessandro Giordani - 2020 - Logic and Logical Philosophy 29 (4):541-570.
    The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  80
    Analytic Philosophy Without Naturalism.Antonella Corradini, Sergio Galvan & E. J. Lowe (eds.) - 2005 - New York: Routledge.
    In recent years numerous attempts have been made by analytic philosophers to _naturalize _various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them the supposedly objective status and broad intellectual appeal currently associated with such approaches. This volume brings together internationally recognised analytic philosophers, including Alvin Plantinga, Peter van Inwagen and Robert Audi, to question the project of naturalism. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  6
    Analytic Philosophy Without Naturalism.Sergio Galvan, Antonella Corradini & Jonathan Lowe (eds.) - 2005 - New York: Routledge.
    In recent years numerous attempts have been made by analytic philosophers to naturalize various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them the supposedly objective status and broad intellectual appeal currently associated with such approaches. This volume brings together internationally recognised analytic philosophers, including Alvin Plantinga, Peter van Inwagen and Robert Audi, to question the project of naturalism. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Two Types of Ontological Frame and Gödel’s Ontological Proof.Sergio Galvan - 2012 - European Journal for Philosophy of Religion 4 (2):147--168.
    The aim of this essay is twofold. First, it outlines the concept of ontological frame. Secondly, two models are distinguished on this structure. The first one is connected to Kant’s concept of possible object and the second one relates to Leibniz’s. Leibniz maintains that the source of possibility is the mere logical consistency of the notions involved, so that possibility coincides with analytical possibility. Kant, instead, argues that consistency is only a necessary component of possibility. According to Kant, something is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  32
    A formalization of elenctic argumentation.Sergio Galvan - 1995 - Erkenntnis 43 (1):111 - 126.
  7. The Principle of Deontic Reflexivity and the Kantian Axiom.Sergio Galvan - 2001 - Logique Et Analyse 44.
  8. Underivability Results in Mixed Systems of Monadic Deontic Logic.Sergio Galvan - 1988 - Logique Et Analyse 121 (122):45-68.
  9. L'ilemorfismo nella filosofia contemporanea. Introduzione.Sergio Galvan - forthcoming - Rivista di Filosofia Neo-Scolastica.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  10.  4
    Introduction à la théorie de la démonstration : Élimination des coupures, normalisation et preuves de cohérence.Paolo Mancosu, Sergio Galvan & Richard Zach - 2022 - Paris: Vrin.
    Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux exemples et exercices pour faciliter la compréhension des lecteurs. Il est également conçu pour servir d’aide à la lecture des articles fondateurs de Gerhard Gentzen. L’ouvrage introduit également aux trois principaux formalismes en usage : l’approche axiomatique des preuves, la déduction naturelle et le calcul des séquents. Il donne une démonstration claire et détaillée des résultats fondamentaux du (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  5
    Bayesian Practical Inference.Antonella Corradini & Sergio Galvan - forthcoming - Foundations of Science:1-17.
    In this essay, we will try to provide a formal analysis of practical inference, attentive to the various phases in which it is articulated, and being so capable of explaining both the logical conclusiveness of the inference and the probabilistic nature of its conclusion. An innovative purpose of this article is to show how the final deliberation leading to action—the ultimate practical judgment—takes place according to a logic consistent with the use of Bayes’ theorem. This is why we refer to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  5
    From arithmetic to metaphysics: a path through philosophical logic.Ciro de Florio, Alessandro Giordani & Sergio Galvan (eds.) - 2018 - Berlin: De Gruyter.
    Published in honor of Sergio Galvan, this collection concentrates on the application of logical and mathematical methods for the study of central issues in formal philosophy. The volume is subdivided into four sections, dedicated to logic and philosophy of logic, philosophy of mathematics, philosophy of science, metaphysics and philosophy of religion. The contributions adress, from a logical point of view, some of the main topics in these areas. The first two sections include formal treatments of: truth and paradoxes; definitions by (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  11
    Actualistic Foundation of Possibilism.Sergio Galvan - 2020 - Metaphysica 21 (2):255-272.
    In this article I defend a form of classical possibilism with an actualist foundation. As a matter of fact, I believe that this position is more in keeping with the classical metaphysical tradition. According to this form of possibilism, I construe possible objects as possible non-existing objects of an existing producing power. Consequently, they are nothing vis-à -vis the modality of their own actual being, although they do exist with regard to the modality of the producing power’s being. The actualist (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  26
    A note on the ω-incompleteness formalization.Sergio Galvan - 1994 - Studia Logica 53 (3):389 - 396.
    The paper studies two formal schemes related to -completeness.LetS be a suitable formal theory containing primitive recursive arithmetic and letT be a formal extension ofS. Denoted by (a), (b) and (c), respectively, are the following three propositions (where (x) is a formula with the only free variable x): (a) (for anyn) ( T (n)), (b) T x Pr T (–(x)–) and (c) T x(x) (the notational conventions are those of Smoryski [3]). The aim of this paper is to examine the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  11
    Aspetti problematici dell'argomento modale di Anselmo.Sergio Galvan - 1993 - Rivista di Storia Della Filosofia 48 (3):587.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  1
    Finitist Objects.Sergio Galvan - 2011 - In Christian Kanzian, Winfried Löffler & Josef Quitterer (eds.), The Ways Things Are: Studies in Ontology. Ontos. pp. 149-166.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  20
    Logic of Existence, Ontological Frames, Leibniz's and Gödel's Ontological Proofs.Sergio Galvan - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--215.
  18. Metaphysical Presuppositions of Argument from Design.Sergio Galvan - unknown
     
    Export citation  
     
    Bookmark  
  19.  7
    3 Ontological Frames.Sergio Galvan - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--217.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Omega-Incompleteness, Truth, Intentionality.Sergio Galvan - unknown
     
    Export citation  
     
    Bookmark  
  21. Razionalità del volere e inferenza pratica.Sergio Galvan - 2008 - Nuova Civiltà Delle Macchine 26 (3).
    No categories
     
    Export citation  
     
    Bookmark  
  22.  10
    Time and Reality of Phenomenal Becoming.Sergio Galvan - 2006 - In Michael Stöltzner & Friedrich Stadler (eds.), Time and History: Proceedings of the 28. International Ludwig Wittgenstein Symposium, Kirchberg Am Wechsel, Austria 2005. De Gruyter. pp. 63-76.
  23. Tesi di Hume e sistemi di logica deontica.Sergio Galvan - 1988 - Epistemologia 11 (2):183.
  24. 12 The Emergence of the Intuition of Truth in Mathematical Thought.Sergio Galvan - 2010 - In Antonella Corradini & Timothy O'Connor (eds.), Emergence in Science and Philosophy. Routledge. pp. 6--233.
     
    Export citation  
     
    Bookmark  
  25. The Role of Metaphysics between Science and Faith.Sergio Galvan & Ciro de Florio - unknown
    No categories
     
    Export citation  
     
    Bookmark  
  26. Enciclopedia della Filosofia e delle Scienze Umane. Virgilio Melchiorre (ed.).Virgilio Melchiorre, Guido Boffi, Eugenio Garin, Adriano Bausola, Enrico Berti, Francesca Castellani, Sergio Cremaschi, Carla Danani, Roberto Diodato, Sergio Galvan, Alessandro Ghisalberti, Giuseppe Grampa, Michele Lenoci, Roberto Maiocchi, Michele Marsonet, Emanuela Mora, Carlo Penco, Roberto Radice, Giovanni Reale, Andrea Salanti, Piero Stefani, Valerio Verra & Paolo Volonté - 1996 - Novara: De Agostini.
    One 1120 pages volume, with 4000 entries covering - Western philosophy: authors, schools, concepts and terminology; - religions, cultural anthropology, eastern philosophies; - Psychology and psychoanalysis; - linguistics and semiotics; - sociology and political theory.
     
    Export citation  
     
    Bookmark  
  27. Enciclopedia Filosofica.Virgilio Melchiorre, Paul Gilbert, Michele Lenoci, Antonio Pieretti, Massimo Marassi, Francesco Botturi, Francesco Viola, Elena Bartolini, Sergio Cremaschi, Sergio Givone, Carmelo Vigna, Alfredo Cadorna, Giuseppe Forzani, Mario Piantelli, Alberto Ventura, Mario Gennari, Guido Cimino, Mauro Fornaro, Paolo Volonté, Enrico Berti, Alessandro Ghisalberti, Gregorio Piaia, Claudio Ciancio, Marco Maria Olivetti, Roberto Maiocchi, Maria Vittoria Cerutti & Sergio Galvan (eds.) - 2006 - Milan: Bompiani.
    The 'Enciclopedia Filosofica' is an encyclopaedia of philosophical topics promoted by the Centre for Philosophical Studies of Gallarate and published, in its third and last edition in 2006, by the Bompiani publishing house in Milan. The first edition of the 'Enciclopedia Filosofica' was promoted by the Centre for Philosophical Studies of Gallarate in the 1950s, seeing the light in 1957-58. A second edition, published by the Sansoni publishing house in Florence, was published in 1968-69 and reprinted in 1979. The third (...)
     
    Export citation  
     
    Bookmark