Search results for 'Metamathematics' (try it on Scholar)

167 found
Order:
  1.  26
    Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
  2.  9
    Helena Rasiowa (1963). The Mathematics of Metamathematics. Warszawa, Państwowe Wydawn. Naukowe.
    Direct download  
     
    Export citation  
     
    My bibliography   137 citations  
  3.  11
    Alfred Tarski & John Corcoran (1983). Logic, Semantics, Metamathematics Papers From 1923 to 1938. Hackett.
    Direct download  
     
    Export citation  
     
    My bibliography   22 citations  
  4.  8
    Alfred Tarski & J. H. Woodger (1958). Logic, Semantics, Metamathematics; Papers From 1923 to 1938. Journal of Philosophy 55 (8):351-352.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  1
    Judson C. Webb (1984). Mechanism, Mentalism, and Metamathematics: An Essay on Finitism. Journal of Philosophy 81 (8):456-464.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  6. A. I. Malʹt͡sev (1971). The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967. Amsterdam,North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography  
  7.  14
    Günther Eder (2016). Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence. History and Philosophy of Logic 37 (2):170-193.
    The paper is concerned with Quine's substitutional account of logical truth. The critique of Quine's definition tends to focus on miscellaneous odds and ends, such as problems with identity. However, in an appendix to his influential article On Second Order Logic, George Boolos offered an ingenious argument that seems to diminish Quine's account of logical truth on a deeper level. In the article he shows that Quine's substitutional account of logical truth cannot be generalized properly to the general concept of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. Tim Button (2011). The Metamathematics of Putnam's Model-Theoretic Arguments. Erkenntnis 74 (3):321-349.
    Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  9.  9
    Matthias Wille (2011). 'Metamathematics' in Transition. History and Philosophy of Logic 32 (4):333 - 358.
    In this paper, we trace the conceptual history of the term ?metamathematics? in the nineteenth century. It is well known that Hilbert introduced the term for his proof-theoretic enterprise in about 1922. But he was verifiably inspired by an earlier usage of the phrase in the 1870s. After outlining Hilbert's understanding of the term, we will explore the lines of inducement and elucidate the different meanings of ?metamathematics? in the final decades of the nineteenth century. Finally, we will (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  4
    P. Clote (1989). The Metamathematics of Scattered Linear Orderings. Archive for Mathematical Logic 29 (1):9-20.
    Pursuing the proof-theoretic program of Friedman and Simpson, we begin the study of the metamathematics of countable linear orderings by proving two main results. Over the weak base system consisting of arithmetic comprehension, II 1 1 -CA0 is equivalent to Hausdorff's theorem concerning the canonical decomposition of countable linear orderings into a sum over a dense or singleton set of scattered linear orderings. Over the same base system, ATR0 is equivalent to a version of the Continuum Hypothesis for linear (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  22
    Javier Legris (2005). On the Epistemological Justification of Hilbert's Metamathematics. Philosophia Scientiae 9 (2):225-238.
    The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will be argued that two levels of foundations of deduction can be found in the last stages of Hilbert’s Program. The first level is related to the reduction – in a particular sense – of mathematics to formal systems, which are ‘metamathematically’ justified in terms of symbolic manipulation. The second level of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  12.  59
    Judson Webb (1968). Metamathematics and the Philosophy of Mind. Philosophy of Science 35 (June):156-78.
    The metamathematical theorems of Gödel and Church are frequently applied to the philosophy of mind, typically as rational evidence against mechanism. Using methods of Post and Smullyan, these results are presented as purely mathematical theorems and various such applications are discussed critically. In particular, J. Lucas's use of Gödel's theorem to distinguish between conscious and unconscious beings is refuted, while more generally, attempts to extract philosophy from metamathematics are shown to involve only dramatizations of the constructivity problem in foundations. (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  9
    Jan Wolenski (1983). Metamathematics and Philosophy. Bulletin of the Section of Logic 12 (4):221-225.
    The relevance of metamathematical researches for philosophy of math- ematics is an indubitable matter. In the paper I shall speak about impli- cations of metamathematics for general philosophy, especially for classical epistemological problems. Let us start with a historical observation con- cerning Hilbert's programme, the rst research programme in metamathe- matics as a separate study of formal systems. This programme was strongly in uence by epistemological considerations. In fact, Hilbert wanted to se- cure all classical mathematics against inconsistencies and (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  54
    Jeremy Avigad, “Clarifying the Nature of the Infinite”: The Development of Metamathematics and Proof Theory.
    We discuss the development of metamathematics in the Hilbert school, and Hilbert’s proof-theoretic program in particular. We place this program in a broader historical and philosophical context, especially with respect to nineteenth century developments in mathematics and logic. Finally, we show how these considerations help frame our understanding of metamathematics and proof theory today.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15. N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
    The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems in mathematics, the advent of electronic computers and sophisticated software means in practice there are many quite effective systems for automated reasoning that can be used for checking mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated (...)
     
    Export citation  
     
    My bibliography   1 citation  
  16.  24
    Karl-Georg Niebergall (1999). Nonmonotonicity in (the Metamathematics of) Arithmetic. Erkenntnis 50 (2-3):309-332.
    This paper is an attempt to bring together two separated areas of research: classical mathematics and metamathematics on the one side, non-monotonic reasoning on the other. This is done by simulating nonmonotonic logic through antitonic theory extensions. In the first half, the specific extension procedure proposed here is motivated informally, partly in comparison with some well-known non-monotonic formalisms. Operators V and, more generally, U are obtained which have some plausibility when viewed as giving nonmonotonic theory extensions. In the second (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  17.  16
    Jean-Roch Beausoleil (1989). The Metamathematics-Popperian Epistemology Connection and its Relation to the Logic of Turing's Programme. British Journal for the Philosophy of Science 40 (3):307-322.
    Turing's programme, the idea that intelligence can be modelled computationally, is set in the context of a parallel between certain elements from metamathematics and Popper's schema for the evolution of knowledge. The parallel is developed at both the formal level, where it hinges on the recursive structuring of Popper's schema, and at the contentual level, where a few key issues common to both epistemology and metamathematics are briefly discussed. In light of this connection Popper's principle of transference, akin (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  18.  2
    Urszula Wybraniec-Skardowska (2004). Foundations for the Formalization of Metamathematics and Axiomatizations of Consequence Theories. Annals of Pure and Applied Logic 127 (1-3):243-266.
    This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive systems initiated (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19.  30
    Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
    This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  20. Alfred Tarski (1956). Logic, Semantics, Metamathematics. Oxford, Clarendon Press.
    I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   258 citations  
  21.  5
    Abraham Robinson (1963). Introduction to Model Theory and to the Metamathematics of Algebra. North-Holland.
    Direct download  
     
    Export citation  
     
    My bibliography   45 citations  
  22.  7
    Judson Webb (1980). Mechanism, Mentalism and Metamathematics. Kluwer.
  23. Harvey Friedman, Metamathematics of Comparability.
    A number of comparability theorems have been investigated from the viewpoint of reverse mathematics. Among these are various comparability theorems between countable well orderings ([2],[8]), and between closed sets in metric spaces ([3],[5]). Here we investigate the reverse mathematics of a comparability theorem for countable metric spaces, countable linear orderings, and sets of rationals. The previous work on closed sets used a strengthened notion of continuous embedding. The usual weaker notion of continuous embedding is used here. As a byproduct, we (...)
    No categories
     
    Export citation  
     
    My bibliography  
  24. Harvey Friedman, Metamathematics of Ulm Theory.
    The classical Ulm theory provides a complete set of invariants for countable abelian p-groups, and hence also for countable torsion abelian groups. These invariants involve countable ordinals. One can read off many simple structural properties of such groups directly from the Ulm theory. We carry out a reverse mathematics analysis of several such properties. In many cases, we reverse to ATR0, thereby demonstrating a kind of necessary use of Ulm theory.
     
    Export citation  
     
    My bibliography  
  25.  3
    S. Feferman (1966). Arithmetization of Metamathematics in a General Setting. Journal of Symbolic Logic 31 (2):269-270.
    Direct download  
     
    Export citation  
     
    My bibliography   21 citations  
  26.  35
    Richard Routley (1979). Dialectical Logic, Semantics and Metamathematics. Erkenntnis 14 (3):301 - 331.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  27.  31
    Jeremy Avigad (2009). The Metamathematics of Ergodic Theory. Annals of Pure and Applied Logic 157 (2):64-76.
    The metamathematical tradition, tracing back to Hilbert, employs syntactic modeling to study the methods of contemporary mathematics. A central goal has been, in particular, to explore the extent to which infinitary methods can be understood in computational or otherwise explicit terms. Ergodic theory provides rich opportunities for such analysis. Although the field has its origins in seventeenth century dynamics and nineteenth century statistical mechanics, it employs infinitary, nonconstructive, and structural methods that are characteristically modern. At the same time, computational concerns (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28.  4
    Klaus Gloede (1977). The Metamathematics of Infinitary Set Theoretical Systems. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (1-6):19-44.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  9
    R. M. Martin (1958). Logic, Semantics, Metamathematics; Papers From 1923 to 1938. [REVIEW] Journal of Philosophy 55 (8):351-352.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  30.  10
    Francis Jeffry Pelletier (2000). Metamathematics of Fuzzy Logic. Bulletin of Symbolic Logic 6 (3):342-346.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  2
    Abraham Robinson (1952). On the Metamathematics of Algebra. Journal of Symbolic Logic 17 (3):205-207.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  32.  9
    Harold T. Hodes (1984). Mechanism, Mentalism, and Metamathematics: An Essay on Finitism by Judson C. Webb. Journal of Philosophy 81 (8):456-464.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  28
    Hourya Sinaceur (2001). Alfred Tarski: Semantic Shift, Heuristic Shift in Metamathematics. Synthese 126 (1-2):49 - 65.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  59
    Solomon Feferman with with R. L. Vaught, Arithmetization of Metamathematics in a General Setting.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  6
    Henrique de Morais Ribeiro (1999). From Metamathematics to Cognitive Science. Trans/Form/Ação 21 (1):181-193.
    In this article, it is suggested a possible profile for the historical and philosophical migration of several issues from the metamathematical domain to the domain of functionalist neuro-computational Cognitive Science. The description of such a transition is accomplished by an analysis of the ideas of Post, Church, Gödel, and, in particular, Turing on the possibility of formalization of creative thinking in Mathematics.Neste artigo, propõe-se uma configuração possível para a transição histórico-filosófica de temas investigados no domínio da metamatemática para o domínio (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  36.  15
    P. J. M. (1965). The Mathematics of Metamathematics. Review of Metaphysics 19 (1):157-157.
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  12
    Harold T. Hodes (1984). Book Review. Mechanism, Mentalism and Metamathematics. J Webb. [REVIEW] Journal of Philosophy 81 (8):456-64.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  38.  7
    H. B. Enderton (1973). Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW] Journal of Symbolic Logic 38 (2):333-333.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  3
    Leon Henkin (1952). Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW] Journal of Symbolic Logic 17 (3):205-207.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  40.  13
    W. J. Blok & Don Pigozzi (1988). Alfred Tarski's Work on General Metamathematics. Journal of Symbolic Logic 53 (1):36-50.
  41.  9
    Stewart Shapiro (1986). Review: Judson Chambers Webb, Mechanism, Mentalism, and Metamathematics. An Essay on Finitism. [REVIEW] Journal of Symbolic Logic 51 (2):472-476.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  8
    David Charles McCarty (1991). Incompleteness in Intuitionistic Metamathematics. Notre Dame Journal of Formal Logic 32 (3):323-358.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  6
    P. J. M. (1965). Introduction to Model Theory and to the Metamathematics of Algebra. Review of Metaphysics 19 (1):157-158.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  9
    Steven French (2007). Metamathematics and Mechanics. Metascience 16 (3):529-533.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45. José Sanmartín Esplugues (1971). Introduction to Model Theory and to the Metamathematics of Algebra. Teorema: International Journal of Philosophy 1 (4):134-136.
     
    Export citation  
     
    My bibliography  
  46.  18
    Stanisław J. Surma (1968). Four Studies in Metamathematics. Studia Logica 23 (1):109-114.
  47.  1
    Javier Legris (2005). On The Epistemological Justification of Hilbert’s Metamathematics. Philosophia Scientae 9:225-238.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Wilfried Sieg (1977). Trees in Metamathematics. Dissertation, Stanford University
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  49.  2
    John Staples (1978). Truth in Constructive Metamathematics. Notre Dame Journal of Formal Logic 19 (3):489-494.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  50.  10
    B. J. (1981). Mechanism, Mentalism and Metamathematics. Review of Metaphysics 35 (1):176-178.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 167