Results for 'Logicism'

40 found
Order:
  1. Neo-Logicism and Its Logic.Panu Raatikainen - 2019 - History and Philosophy of Logic 41 (1):82-95.
    The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary facts (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.
    A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  46
    Logicism, Ontology, and the Epistemology of Second-Order Logic.Richard Kimberly Heck - 2018 - In Ivette Fred-Rivera & Jessica Leach (eds.), Being Necessary: Themes of Ontology and Modality from the Work of Bob Hale. Oxford: Oxford University Press. pp. 140-169.
    In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in terms (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Russell on Logicism and Coherence.Conor Mayo-Wilson - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1):89-106.
    According to Quine, Charles Parsons, Mark Steiner, and others, Russell's logicist project is important because, if successful, it would show that mathematical theorems possess desirable epistemic properties often attributed to logical theorems, such as a prioricity, necessity, and certainty. Unfortunately, Russell never attributed such importance to logicism, and such a thesis contradicts Russell's explicitly stated views on the relationship between logic and mathematics. This raises the question: what did Russell understand to be the philosophical importance of logicism? Building (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Neo-Logicism and Russell’s Logicism.Kevin C. Klement - 2012 - Russell: The Journal of Bertrand Russell Studies 32 (2):159.
    Most advocates of the so-called “neologicist” movement in the philosophy of mathematics identify themselves as “Neo-Fregeans” (e.g., Hale and Wright): presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature, and when it is, often dismissed as not really logicism at all (in lights of its assumption of axioms of infinity, reducibiity and so on). In this paper I have three aims: firstly, to identify more clearly (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  48
    Russell's Logicism Through Kantian Spectacles [Review of Anssi Korhonen, Logic as Universal Science: Russell’s Early Logicism and Its Philosophical Context].Kevin C. Klement - 2014 - Russell: The Journal of Bertrand Russell Studies 34 (1).
    Review of Logic as Universal Science: Russell’s Early Logicism and Its Philosophical Context, by Anssi Korhonen (Palgrave Macmillan 2013).
    Download  
     
    Export citation  
     
    Bookmark  
  7.  24
    Logic, Logicism, and Intuitions in Mathematics.Besim Karakadılar - 2001 - Dissertation, Middle East Technical University
    In this work I study the main tenets of the logicist philosophy of mathematics. I deal, basically, with two problems: (1) To what extent can one dispense with intuition in mathematics? (2) What is the appropriate logic for the purposes of logicism? By means of my considerations I try to determine the pros and cons of logicism. My standpoint favors the logicist line of thought. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  8. C. S. Peirce: Pragmatism and Logicism.Jaime Nubiola - 1996 - Philosophia Scientiae 1 (2):109-119.
    This paper has two separate aims, with obvious links between them. First, to present Charles S. Peirce and the pragmatist movement in a historical framework which stresses the close connections of pragmatism with the mainstream of philosophy; second, to deal with a particular controversial issue, that of the supposed logicistic orientation of Peirce's work.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.Hasen Khudairi - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer. pp. 65-82.
    This essay examines the philosophical significance of Ω-logic in Zermelo-Fraenkel set theory with choice (ZFC). The dual isomorphism between algebra and coalgebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of Ω-logical validity can then be countenanced within a coalgebraic logic, and Ω-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of Ω-logical validity correspond to those of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Logicism, Possibilism, and the Logic of Kantian Actualism.Andrew Stephenson - 2017 - Critique.
    In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to the question: ‘could (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  24
    Frege's Intellectual Life As a Logicist Project. [REVIEW]Joan Bertran-San Millán - 2020 - Teorema: International Journal of Philosophy 39:127-138.
    I critically discuss Dale Jacquette’s Frege: A Philosophical Biography. First, I provide a short overview of Jacquette’s book. Second, I evaluate Jacquette’s interpretation of Frege’s three major works, Begriffsschrift, Grundlagen der Arithmetik and Grundgesetze der Arithmetik; and conclude that the author does not faithfully represent their content. Finally, I offer some technical and general remarks.
    Download  
     
    Export citation  
     
    Bookmark  
  12.  34
    Formal Arithmetic Before Grundgesetze.Richard Kimberly Heck - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press. pp. 497-537.
    A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Russell: A Guide for the Perplexed.John Ongley & Rosalind Carey - 2013 - Continuum.
    Contents: Introduction / Naïve Logicism / Restricted Logicism / Metaphysics (Early, Middle, Late) / Knowledge (Early, Middle, Late) / Language (Early, Middle, Late) / The Infinite.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  28
    Říká Logicismus Něco, Co Se Říkat Nemá?Vojtěch Kolman - 2010 - Teorie Vědy / Theory of Science 32 (1):37-57.
    The objective of this paper is to analyze the broader significance of Frege’s logicist project against the background of Wittgenstein’s philosophy from both Tractatus and Philosophical Investigations. The article draws on two basic observations, namely that Frege’s project aims at saying something that was only implicit in everyday arithmetical practice, as the so-called recursion theorem demonstrates, and that the explicitness involved in logicism does not concern the arithmetical operations themselves, but rather the way they are defined. It thus represents (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15.  40
    Russell’s Method of Analysis and the Axioms of Mathematics.Lydia Patton - 2017 - In Sandra Lapointe Christopher Pincock (ed.), Innovations in the History of Analytical Philosophy. London: Palgrave-Macmillan. pp. 105-126.
    In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations for, Russell’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Frank Plumpton Ramsey.Brad Armendt - 2005 - In Sahotra Sarkar & Jessica Pfeifer (eds.), The Philosophy of Science: An Encyclopedia. Routledge. pp. 671-681.
    On the work of Frank Ramsey, emphasizing topics most relevant to philosophy of science.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08.John Corcoran - 1972 - Philosophy of Science 39 (1):106-108.
    Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. -/- Constance Reid was an insider of the Berkeley-Stanford logic circle. Her San Francisco home was in Ashbury Heights near the homes of logicians such as Dana Scott and John Corcoran. Her sister Julia Robinson was one of the top mathematical logicians of her generation, as was Julia’s husband Raphael Robinson for whom Robinson Arithmetic was named. Julia was a Tarski PhD and, in recognition of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  25
    The Basic Laws of Cardinal Number.Richard Kimberly Heck - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press. pp. 1-30.
    An overview of what Frege accomplishes in Part II of Grundgesetze, which contains proofs of axioms for arithmetic and several additional results concerning the finite, the infinite, and the relationship between these notions. One might think of this paper as an extremely compressed form of Part II of my book Reading Frege's Grundgesetze.
    Download  
     
    Export citation  
     
    Bookmark  
  19. Abstraction and Individuation in Whitehead and Wiehl: A Comparative Historical Approach.Anderson Weekes - 2006 - In Michel Weber Pierfrancesco Basile (ed.), Subjectivity, Process, and Rationality. Frankfort: Ontos Verlag. pp. 31-119.
    This paper looks at the history of the problem of individuation from Plato to Whitehead. Part I takes as its point of departure Reiner Wiehl’s interpretation of the different meanings of “abstract” in the metaphysics of Alfred North Whitehead and arrives at a corresponding taxonomy of different ways things can be called concrete. Part II compares the way philosophers in different periods understand the relation between thought and intuition. The view mostly associated with ancient philosophy is that thought and sense-perception (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Die Grundlagen der Arithmetik, §§ 82-3. [REVIEW]William Demopoulos - 1998 - Bulletin of Symbolic Logic 6 (4):407-28.
    This paper contains a close analysis of Frege's proofs of the axioms of arithmetic §§70-83 of Die Grundlagen, with special attention to the proof of the existence of successors in §§82-83. Reluctantly and hesitantly, we come to the conclusion that Frege was at least somewhat confused in those two sections and that he cannot be said to have outlined, or even to have intended, any correct proof there. The proof he sketches is in many ways similar to that given in (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  21. Three Unpublished Manuscripts From 1903: "Functions", "Proof That No Function Takes All Values", "Meaning and Denotation".Bertrand Russell & Kevin C. Klement - 2016 - Russell: The Journal of Bertrand Russell Studies 36 (1):5-44.
    I present and discuss three previously unpublished manuscripts written by Bertrand Russell in 1903, not included with similar manuscripts in Volume 4 of his Collected Papers. One is a one-page list of basic principles for his “functional theory” of May 1903, in which Russell partly anticipated the later Lambda Calculus. The next, catalogued under the title “Proof That No Function Takes All Values”, largely explores the status of Cantor’s proof that there is no greatest cardinal number in the variation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Mathematics as the Science of Pure Structure.John-Michael Kuczynski - manuscript
    A brief but rigorous description of the logical structure of mathematical truth.
    Download  
     
    Export citation  
     
    Bookmark  
  23. Wisdom Mathematics.Nicholas Maxwell - 2010 - Friends of Wisdom Newsletter (6):1-6.
    For over thirty years I have argued that all branches of science and scholarship would have both their intellectual and humanitarian value enhanced if pursued in accordance with the edicts of wisdom-inquiry rather than knowledge-inquiry. I argue that this is true of mathematics. Viewed from the perspective of knowledge-inquiry, mathematics confronts us with two fundamental problems. (1) How can mathematics be held to be a branch of knowledge, in view of the difficulties that view engenders? What could mathematics be knowledge (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  24.  69
    Book Review: Gottlob Frege, Basic Laws of Arithmetic. [REVIEW]Kevin Klement - 2016 - Studia Logica 104 (1):175-180.
    Review of Basic Laws of Arithmetic, ed. and trans. by P. Ebert and M. Rossberg (Oxford 2013).
    Download  
     
    Export citation  
     
    Bookmark  
  25. Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2020 - Dissertation, University of St Andrews
    This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; the types of mathematical modality; to the epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Linguistique et psychanalyse : pour une approche logiciste.Jean-Jacques Pinto - 2004 - Marges Linguistiques 2 (novembre 2004):pp. 88-113.
    Nous envisagerons dans cet article la possibilité d'un abord pratique de la relation entre linguistique et psychanalyse : la modélisation linguistique des données mises au jour par la psychanalyse à partir de corpus tirés du discours courant. La validation de tels modèles d'après les critères requis par l'« approche logiciste » de J.-C. Gardin et J. Molino sera examinée sur un exemple précis que nous exposerons en détail : l'Analyse des Logiques Subjectives, modèle développé, publié et enseigné par nous depuis (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  30
    La subjectivité artificielle : ébauche d'un projet de recherche.Jean-Jacques Pinto - manuscript
    Subjectivité artificielle: -/- •pléonasme, s'il est exact que la subjectivité humaine ne peut être qu'artificielle, cf infra subjiciel© -/- •terme proposé par l'auteur de l'A.L.S.© (Jean-Jacques Pinto) pour faire pendant à celui d'Intelligence artificielle -/- Subjiciel© : terme forgé (et déposé comme marque à l'I.N.P.I. en 1984) par l'auteur de l'A.L.S. : Jacques Pinto) : -/- 1. programmesubjectif "naturel", mais il se pourrait bien que la subjectivité humaine ne puisse être qu'artificielle : il n'y a pas de "nature humaine", seulement (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - manuscript
    We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  41
    The Latest Frege.Nikolay Milkov - 1999 - Prima Philosophia 12:41-48.
    Many authors believe that the manuscripts Frege wrote in 1924–1925 are not theoretically of interest. They are rather a product of his emotional despair and theoretical dead-end which he reached in the last years of his life. Such is also the judgement of Michael Dummett delivered in his seminal book Frege: Philosophy of Language. According to Dummett, “the few fragmentary writings of Frege’s final period—1919–1925—are not of high quality: they are interesting chiefly as showing that Frege did, at least at (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Welfare Economics and the Welfare State in Historical Perspective.Karen Knight - manuscript
    Although the economic thought of Marshall and Pigou was united by ethical positions broadly considered utilitarian, differences in their intellectual milieu led to degrees of difference between their respective philosophical visions. This change in milieu includes the influence of the little understood period of transition from the early idealist period in Great Britain, which provided the context to Marshall’s intellectual formation, and the late British Idealist period, which provided the context to Pigou’s intellectual formation. During this latter period, the pervading (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Frege on the Relations Between Logic and Thought.Simon Evnine - manuscript
    Frege's diatribes against psychologism have often been taken to imply that he thought that logic and thought have nothing to do with each other. I argue against this interpretation and attribute to Frege a view on which the two are tightly connected. The connection, however, derives not from logic's being founded on the empirical laws of thought but rather from thought's depending constitutively on the application to it of logic. I call this view 'psycho-logicism.'.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. A Notion of Logical Concept Based on Plural Reference.Carrara Massimiliano & Martino Enrico - 2018 - Acta Analytica 33 (1):19-33.
    In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as a theory of logical concepts. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. PSYCHOLOGISM.John Corcoran - 2007 - In John Lachs and Robert Talisse (ed.), American Philosophy: an Encyclopedia. ROUTLEDGE. pp. 628-9.
    Corcoran, J. 2007. Psychologism. American Philosophy: an Encyclopedia. Eds. John Lachs and Robert Talisse. New York: Routledge. Pages 628-9. -/- Psychologism with respect to a given branch of knowledge, in the broadest neutral sense, is the view that the branch is ultimately reducible to, or at least is essentially dependent on, psychology. The parallel with logicism is incomplete. Logicism with respect to a given branch of knowledge is the view that the branch is ultimately reducible to logic. Every (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Predication and Matter.George Bealer - 1975 - Synthese 31 (3-4):493 - 508.
    First, given criteria for identifying universals and particulars, it is shown that stuffs appear to qualify as neither. Second, the standard solutions to the logico-linguistic problem of mass terms are examined and evidence is presented in favor of the view that mass terms are straightforward singular terms and, relatedly, that stuffs indeed belong to a metaphysical category distinct from the categories of universal and particular. Finally, a new theory of the copula is offered: 'The cue is cold', 'The cube is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Completions, Constructions, and Corollaries.Thomas Mormann - 2009 - In H. Pulte, G. Hanna & H.-J. Jahnke (eds.), Explanation and Proof in Mathematics: Philosophical and Educational Perspectives. Springer.
    According to Kant, pure intuition is an indispensable ingredient of mathematical proofs. Kant‘s thesis has been considered as obsolete since the advent of modern relational logic at the end of 19th century. Against this logicist orthodoxy Cassirer’s “critical idealism” insisted that formal logic alone could not make sense of the conceptual co-evolution of mathematical and scientific concepts. For Cassirer, idealizations, or, more precisely, idealizing completions, played a fundamental role in the formation of the mathematical and empirical concepts. The aim of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  2
    Kant, Frege, and the Normativity of Logic: MacFarlane's Argument for Common Ground.Tyke Nunez - forthcoming - European Journal of Philosophy.
    According to what was the standard view (Poincaré; Wang, etc.), although Frege endorses, and Kant denies, the claim that arithmetic is reducible to logic, there is not a substantive disagreement between them because their conceptions of logic are too different. In his “Frege, Kant, and the logic in logicism,” John MacFarlane aims to establish that Frege and Kant do share enough of a conception of logic for this to be a substantive, adjudicable dispute. MacFarlane maintains that for both Frege (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Mathematics as Make-Believe: A Constructive Empiricist Account.Sarah Elizabeth Hoffman - 1999 - Dissertation, University of Alberta (Canada)
    Any philosophy of science ought to have something to say about the nature of mathematics, especially an account like constructive empiricism in which mathematical concepts like model and isomorphism play a central role. This thesis is a contribution to the larger project of formulating a constructive empiricist account of mathematics. The philosophy of mathematics developed is fictionalist, with an anti-realist metaphysics. In the thesis, van Fraassen's constructive empiricism is defended and various accounts of mathematics are considered and rejected. Constructive empiricism (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Normativity and Mathematics: A Wittgensteinian Approach to the Study of Number.J. Robert Loftis - 1999 - Dissertation, Northwestern University
    I argue for the Wittgensteinian thesis that mathematical statements are expressions of norms, rather than descriptions of the world. An expression of a norm is a statement like a promise or a New Year's resolution, which says that someone is committed or entitled to a certain line of action. A expression of a norm is not a mere description of a regularity of human behavior, nor is it merely a descriptive statement which happens to entail a norms. The view can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  16
    A Defence of the Notion of ‘Foundedness’ in Carnap’s Aufbau.Sophie Nagler - 2020 - The New Collection 14:68-87.
    In Der logische Aufbau der Welt, first published in 1928, Carnap aims to rationally reconstruct all objects of cognition by logico-definitional means. As a result, he intends to obtain a fully objective framework in which scientific discourse can take place. This is made possible by the novel method of ‘purely structural definite description’ of all scientifically relevant objects, which is first introduced in the Aufbau. Key to the attainment of this goal is the notion of ‘foundedness’, which Carnap presents as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Philosophia Semper Reformanda: Husserlian Theses on Constitution.Nythamar de Oliveira - 2000 - Manuscrito 23 (2):251-274.
    Starting from the sensuous perception of what is seen, an attempt is made at re-casting a Husserlian theory of constitution of the object of intuition, as one leaves the natural attitude through a transcendental method, by positing several theses so as to avoid the aporias of philosophical binary oppositions such as rationalism and empiri-cism, realism and idealism, logicism and psychologism, subjectivism and objectivism, transcendentalism and ontologism, metaphysics and positivism. Throughout fifty-five theses on constitution, the Husserlian proposal of continuously reforming (...)
    Download  
     
    Export citation  
     
    Bookmark