Graduate studies at Western
Journal of Symbolic Logic 73 (3):969-998 (2008)
|Abstract||In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting of constructive theories. A constructive extension of intuitionistic predicate logic that captures the notions of preorder and existence is introduced and the method, orderization, is shown to be sound and complete with respect to this logic. This implies an analogue of Herbrand's theorem for intuitionistic logic. The orderization method is applied to the constructive theories of equality and groups|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Matthias Baaz & Rosalie Iemhoff (2006). Gentzen Calculi for the Existence Predicate. Studia Logica 82 (1):7 - 23.
Albert G. Dragalin (1995). Explicit Algebraic Models for Constructive and Classical Theories with Non-Standard Elements. Studia Logica 55 (1):33 - 61.
Laura Crosilla & Peter Schuster (eds.) (2005). From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Oxford University Press.
H. Billinge (2000). Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'. British Journal for the Philosophy of Science 51 (2):299-318.
Jeremy Avigad (2004). Forcing in Proof Theory. Bulletin of Symbolic Logic 10 (3):305-333.
Laura Felline (2011). Scientific Explanation Between Principle and Constructive Theories. Philosophy of Science 78 (5):989-1000.
Peter Lipton (2006). What Can Bas Believe? Musgrave and Van Fraassen on Observability. Analysis 66 (3):226 - 233.
James Ladyman (2000). What's Really Wrong with Constructive Empiricism? Van Fraassen and the Metaphysics of Modality. British Journal for the Philosophy of Science 51 (4):837-856.
Amit Hagar (2008). Length Matters: The Einstein–Swann Correspondence and the Constructive Approach to the Special Theory of Relativity. Studies in History and Philosophy of Modern Physics 39 (3):532-556.
Don Howard, And I Shall Not Mingle Conjectures and Certainties: Einstein on the Principle Theories-Constructive Theories Distinction.
John Bell (2008). The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories. Mathematical Logic Quarterly 54 (2):194-201.
Wesley Van Camp (2011). Principle Theories, Constructive Theories, and Explanation in Modern Physics. Studies in History and Philosophy of Science Part B 42 (1):23-31.
Jeremy Avigad (2000). Interpreting Classical Theories in Constructive Ones. Journal of Symbolic Logic 65 (4):1785-1812.
Hans Halvorson (2012). What Scientific Theories Could Not Be. Philosophy of Science 79 (2):183-206.
Added to index2010-09-12
Total downloads3 ( #213,980 of 741,277 )
Recent downloads (6 months)1 ( #61,802 of 741,277 )
How can I increase my downloads?