23 found
Order:
  1.  54
    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  
  2.  2
    Analytic Philosophy Without Naturalism.Sergio Galvan, Antonella Corradini & Jonathan Lowe - 2006 - 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  
  3.  75
    Analytic Philosophy Without Naturalism.Antonella Corradini, Sergio Galvan & E. J. Lowe (eds.) - 2005 - 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. L'ilemorfismo nella filosofia contemporanea. Introduzione.Sergio Galvan - forthcoming - Rivista di Filosofia Neo-Scolastica.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  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 (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  24
    A Formalization of Elenctic Argumentation.Sergio Galvan - 1995 - Erkenntnis 43 (1):111 - 126.
  7. Razionalità del volere e inferenza pratica.Sergio Galvan - 2008 - Nuova Civiltà Delle Macchine 26 (3).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Tesi di Hume E Sistemi di Logica Deontica.Sergio Galvan - 1988 - Epistemologia 11 (2):183.
  9.  43
    An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - Oxford: Oxford University Press.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. 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.
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. 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 (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  8
    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  
     
    Export citation  
     
    Bookmark  
  13. Omega-Incompleteness, Truth, Intentionality.Sergio Galvan - unknown
     
    Export citation  
     
    Bookmark  
  14. 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  
  15. The Role of Metaphysics Between Science and Faith.Sergio Galvan & Ciro de Florio - unknown
    No categories
     
    Export citation  
     
    Bookmark  
  16. The Principle of Deontic Reflexivity and the Kantian Axiom.Sergio Galvan - 2001 - Logique Et Analyse 44.
  17.  16
    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.  24
    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  
  19. Metaphysical Presuppositions of Argument From Design.Sergio Galvan - unknown
     
    Export citation  
     
    Bookmark  
  20.  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.
  21.  5
    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  
  22.  8
    Aspetti problematici dell'argomento modale di Anselmo.Sergio Galvan - 1993 - Rivista di Storia Della Filosofia 48 (3):587.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23. Underivability Results in Mixed Systems of Monadic Deontic Logic.Sergio Galvan - 1988 - Logique Et Analyse 121 (122):45-68.