31 found
Order:
  1. Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
    This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  2. Dedekind's structuralism: An interpretation and partial defense.Erich H. Reck - 2003 - Synthese 137 (3):369 - 419.
    Various contributors to recent philosophy of mathematics havetaken Richard Dedekind to be the founder of structuralismin mathematics. In this paper I examine whether Dedekind did, in fact, hold structuralist views and, insofar as that is the case, how they relate to the main contemporary variants. In addition, I argue that his writings contain philosophical insights that are worth reexamining and reviving. The discussion focusses on Dedekind''s classic essay Was sind und was sollen die Zahlen?, supplemented by evidence from Stetigkeit und (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  3. Structures and structuralism in contemporary philosophy of mathematics.Erich H. Reck & Michael P. Price - 2000 - Synthese 125 (3):341-383.
    In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  4.  39
    The Pre-History of Mathematical Structuralism.Erich H. Reck & Georg Schiemer (eds.) - 2020 - Oxford: Oxford University Press.
    This edited volume explores the previously underacknowledged 'pre-history' of mathematical structuralism, showing that structuralism has deep roots in the history of modern mathematics. The contributors explore this history along two distinct but interconnected dimensions. First, they reconsider the methodological contributions of major figures in the history of mathematics. Second, they re-examine a range of philosophical reflections from mathematically-inclinded philosophers like Russell, Carnap, and Quine, whose work led to profound conclusions about logical, epistemological, and metaphysic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5. From Frege to Wittgenstein: perspectives on early analytic philosophy.Erich H. Reck (ed.) - 2002 - New York: Oxford University Press.
    Analytic philosophy--arguably one of the most important philosophical movements in the twentieth century--has gained a new historical self-consciousness, particularly about its own origins. Between 1880 and 1930, the most important work of its founding figures (Frege, Russell, Moore, Wittgenstein) not only gained attention but flourished. In this collection, fifteen previously unpublished essays explore different facets of this period, with an emphasis on the vital intellectual relationship between Frege and the early Wittgenstein.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  6.  87
    Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.
    This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  7. Frege, Dedekind, and the Origins of Logicism.Erich H. Reck - 2013 - History and Philosophy of Logic 34 (3):242-265.
    This paper has a two-fold objective: to provide a balanced, multi-faceted account of the origins of logicism; to rehabilitate Richard Dedekind as a main logicist. Logicism should be seen as more deeply rooted in the development of modern mathematics than typically assumed, and this becomes evident by reconsidering Dedekind's writings in relation to Frege's. Especially in its Dedekindian and Fregean versions, logicism constitutes the culmination of the rise of ?pure mathematics? in the nineteenth century; and this rise brought with it (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8. Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
    In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style ofPrincipia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9. Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.
    This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  10.  36
    The Historical turn in Analytic Philosophy.Erich H. Reck (ed.) - 2013 - New York, NY: Palgrave-Macmillan.
    During the last 25 years, a large number of publications on the history of analytic philosophy have appeared, significantly more than in the preceding period. As most of these works are by analytically trained authors, it is tempting to speak of a 'historical turn' in analytic philosophy. The present volume constitutes both a contribution to this body of work and a reflection on what is, or might be, achieved in it. The twelve new essays, by an international group of contributors, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  11. Frege on truth, judgment, and objectivity.Erich H. Reck - 2007 - Grazer Philosophische Studien 75 (1):149-173.
    In Frege's writings, the notions of truth, judgment, and objectivity are all prominent and important. This paper explores the close connections between them, together with their ties to further cognate notions, such as those of thought, assertion, inference, logical law, and reason. It is argued that, according to Frege, these notions can only be understood properly together, in their inter-relations. Along the way, interpretations of some especially cryptic Fregean remarks, about objectivity, laws of truth, and reason, are offered, and seemingly (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  12. Introduction : Analytic philosophy and philosophical history.Erich H. Reck - 2013 - In The Historical turn in Analytic Philosophy. New York, NY: Palgrave-Macmillan. pp. 1-36.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  13. (1 other version)Frege or Dedekind? Towards a reevalaution of their legacies.Erich H. Reck - 2013 - In The Historical turn in Analytic Philosophy. New York, NY: Palgrave-Macmillan. pp. 139-170.
    The philosophy of mathematics has long been an important part of philosophy in the analytic tradition, ever since the pioneering works of Frege and Russell. Richard Dedekind was roughly Frege's contemporary, and his contributions to the foundations of mathematics are widely acknowledged as well. The philosophical aspects of those contributions have been received more critically, however. In the present essay, Dedekind's philosophical reception is reconsidered. At the essay’s core lies a comparison of Frege's and Dedekind's legacies, within and outside of (...)
     
    Export citation  
     
    Bookmark   7 citations  
  14. Frege on Numbers: Beyond the Platonist Picture.Erich H. Reck - 2005 - The Harvard Review of Philosophy 13 (2):25-40.
    Gottlob Frege is often called a "platonist". In connection with his philosophy we can talk about platonism concerning three kinds of entities: numbers, or logical objects more generally; concepts, or functions more generally; thoughts, or senses more generally. I will only be concerned about the first of these three kinds here, in particular about the natural numbers. I will also focus mostly on Frege's corresponding remarks in The Foundations of Arithmetic (1884), supplemented by a few asides on Basic Laws of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  15. Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914.Erich H. Reck & Steve Awodey - 2005 - Bulletin of Symbolic Logic 11 (3):445-447.
  16.  26
    Gottlob Frege: Critical Assessments of Leading Philosophers, Vol. II.Michael Beaney & Erich H. Reck (eds.) - 2005 - London: Routledge.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  17. Dedekind, structural reasoning, and mathematical understanding.Erich H. Reck - 2009 - In Bart Van Kerkhove (ed.), New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics. World Scientific. pp. 150--173.
  18. Completeness and categoricity, part I: 19th century axiomatics to 20th century metalogic.Steve Awodey & Erich H. Reck - unknown
    This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  16
    Editorial Introduction.Erich H. Reck - 2024 - History and Philosophy of Logic 45 (4):389-393.
    In many accounts of the history of logic, especially from the second half of the twentieth century and partly still today, Frege’s first book, Begriffsschrift (1879), is singled out as the beginnin...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  16
    Frege’s Begriffsschrift: On the Visual Basis of Logical Articulation and Understanding.Eric Dane Walker & Erich H. Reck - 2024 - History and Philosophy of Logic 45 (4):476-497.
    One of Gottlob Frege’s most original contributions to logic and philosophy was his logical notation, his ‘Begriffsschrift’. While long criticized, dismissed, or simply ignored, the recent secondary literature contains some helpful re-evaluations and partial defenses of it. These rely largely on technical, pragmatic, or cognitive-psychological considerations. In this paper, we reconsider Frege’s own reasons for valuing his notation highly. We argue that there is a further semiotic dimension, one that matters epistemologically. This dimension becomes evident once one takes seriously, partly (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Developments in Logic: Carnap, Gödel, and Tarski.Erich H. Reck - 2013 - In Michael Beaney (ed.), The Oxford Handbook of The History of Analytic Philosophy. Oxford, England: Oxford University Press. pp. 546-571.
    Analytic philosophy and modern logic are intimately connected, both historically and systematically. Thinkers such as Frege, Russell, and Wittgenstein were major contributors to the early development of both; and the fruitful use of modern logic in addressing philosophical problems was, and still is, definitive for large parts of the analytic tradition. More specifically, Frege's analysis of the concept of number, Russell's theory of descriptions, and Wittgenstein's notion of tautology have long been seen as paradigmatic pieces of philosophy in this tradition. (...)
     
    Export citation  
     
    Bookmark   2 citations  
  22. ch. 17. Developments in logic : Carnap, Godel, and Tarski.Erich H. Reck - 2013 - In Michael Beaney (ed.), The Oxford Handbook of The History of Analytic Philosophy. Oxford, England: Oxford University Press.
  23. Frege-Russell numbers: analysis or explication?Erich H. Reck - 2007 - In Micahel Beaney (ed.), The Analytic Turn. Routledge. pp. 33-50.
    For both Gottlob Frege and Bertrand Russell, providing a philosophical account of the concept of number was a central goal, pursued along similar logicist lines. In the present paper, I want to focus on a particular aspect of their accounts: their definitions, or re-constructions, of the natural numbers as equivalence classes of equinumerous classes. In other words, I want to examine what is often called the ‘Frege-Russell conception of the natural numbers’ or, more briefly, the Frege-Russell numbers. My main concern (...)
     
    Export citation  
     
    Bookmark   2 citations  
  24. Hempel, Carnap, and the Covering Law Model.Erich H. Reck - 2013 - In Nikolay Milkov & Volker Peckhaus (eds.), The Berlin Group and the Philosophy of Logical Empiricism. Berlin: Springer. pp. 311--324.
  25.  6
    Gottlob Frege: Frege's philosophy of mathematics.Michael Beaney & Erich H. Reck (eds.) - 2005 - London: Routledge.
    This collection brings together recent scholarship on Frege, including new translations of German material which is made available to Anglophone scholars for the first time.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Frege, Wittgenstein, and Platonism in Mathematics.Erich H. Reck - 1992 - Dissertation, University of Chicago
  27.  53
    Introduction to Special Issue: Reconsidering Frege's Conception of Number.Erich H. Reck & Roy T. Cook - 2016 - Philosophia Mathematica 24 (1):1-8.
  28.  19
    Logic, Philosophy of Mathematics, and Their History: Essays in Honor of W. W. Tait.Erich H. Reck (ed.) - 2018 - College Publications.
    In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are sketched and put (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Philosophical histories, dynamic practices, and contested canons.Erich H. Reck - 2023 - In Sandra Lapointe & Erich Reck (eds.), Historiography and the Formation of Philosophical Canons. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  30. Wittgenstein's “Great Debt” to Frege; Biographical Traces and Philosophical Themes.Erich H. Reck - 2002 - In From Frege to Wittgenstein: perspectives on early analytic philosophy. New York: Oxford University Press. pp. 3--38.
  31. Wittgenstein's “Great Debt” To Frege.Erich H. Reck - 2002 - In Edited by Erich H. Reck (ed.), From Frege to Wittgenstein: Perspectives on Early Analytic Philosophy. New York, US: Oup Usa.
    It is well known that Frege and his writings were an important influence on Wittgenstein. There is no agreement, however, on the nature and scope of this influence. In this paper, I clarify the situation in three related ways: by tracing Frege's and Wittgenstein's actual interactions, i.e., their face‐to‐face meetings and their correspondence between 1911 and 1920; by documenting Wittgenstein's continued study of Frege's writings, until the very end of his life in 1951; and by constructing, on that basis, a (...)
     
    Export citation  
     
    Bookmark