Contents
155 found
Order:
1 — 50 / 155
  1. The Decomposition of Thought.Nathan Bice - manuscript
    This paper defends an interpretation of Gottlob Frege’s views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in multiple, distinct ways. These multiple decompositions will often have distinct logical forms. I also argue against Michael Dummett and others that Frege was committed to the sense of a predicate being a function from the sense of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. A Phenomenology of Race in Frege's Logic.Joshua M. Hall - forthcoming - Humanities Bulletin.
    This article derives from a project attempting to show that Western formal logic, from Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In the present article, I will first discuss, in light of Frege’s honorary role as founder of the philosophy of mathematics, Reuben Hersh’s What is Mathematics, Really? Second, I will explore how the infamous section of Frege’s 1924 diary (specifically the entries from March 10 to April 9) supports (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. The Primacy of the Universal Quantifier in Frege's Concept-Script.Joongol Kim - forthcoming - Dialectica.
    This paper presents three explanations of why Frege took the universal, rather than the existential, quantifier as primitive in his formalization of logic. The first two explanations provide technical reasons related to how Frege formalizes the logic of truth-functions and the logic of quantification. The third, philosophical explanation locates the reason in Frege's logicist goal of analyzing arithmetical concepts---especially the concepts of 0 and 1---in purely logical terms.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Wittgenstein and Frege on Negation and Denial.Colin Johnston - 2024 - Journal for the History of Analytical Philosophy 12 (3).
    Frege maintains that there are not two distinct acts, assertion and denial; rather, denying p is one and the same as asserting not-p. Wittgenstein appears not to recognise this identity in Frege, attributing to him the contrary view that a proposition may have one of two verbs, "is true" or "is false". This paper explains Wittgenstein’s attribution as a consequence of Frege’s treatment of content as theoretically prior to the act of judgment. Where content is prior to judgment, the denial (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Grundlagen der Arithmetik, §17: Part 1. Frege’s Anticipation of the Deduction Theorem.Göran Sundholm - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 53-84.
    A running commentary is offered on the first half of Frege’s Grundlagen der Arithmetik, §17, and suggests that Frege anticipated the method of demonstration used by Paul Bernays for the Deduction Theorem.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Frege: A fusion of horizontals.Francesco Bellucci, Daniele Chiffi & Luca Zanetti - 2023 - Theoria 89 (5):690-709.
    In Die Grundgesetze der Arithmetik (I, §48), Frege introduces his rule of the fusion of horizontals, according to which if an occurrence of the horizontal stroke is followed by another occurrence of the same stroke, either in isolation or “contained” in a propositional connective, the two occurrences can be fused with each other. However, the role of this rule, and of the horizontal sign more generally, is controversial; Michael Dummett notoriously claimed, for instance, that the horizontal is “wholly superfluous” in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Logical, phenomenological, and metalogical negation : Sartre with Frege (and Badiou).Paul M. Livingston - 2023 - In Talia Morag (ed.), Sartre and Analytic Philosophy. New York, NY: Routledge.
  8. Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.
    There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Frege's Concept-Script (Grundgesetze der Arithmetik).Roy T. Cook, Philip A. Ebert & Marcus Rossberg - 2022 - In Bruno Woltzenlogel Paleo & Giselle Reis (eds.), Encyclopedia of Proof Systems. College Publications. pp. 5–7.
  10. Metaphysical separatism and epistemological autonomy in Frege’s philosophy and beyond.Jim Hutchinson - 2022 - British Journal for the History of Philosophy 30 (6):1096-1120.
    Commentators regularly attribute to Frege realist, idealist, and quietist responses to metaphysical questions concerning the abstract objects he calls ‘thoughts’. But despite decades of effort, the evidence offered on behalf of these attributions remains unconvincing. I argue that Frege deliberately avoids commitment to any of these positions, as part of a metaphysical separatist policy motivated by the fact that logic is epistemologically autonomous from metaphysics. Frege’s views and arguments prove relevant to current attempts to argue for epistemological autonomy, particularly that (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Stipulations Missing Axioms in Frege's Grundgesetze der Arithmetik.Gregory Landini - 2022 - History and Philosophy of Logic 43 (4):347-382.
    Frege's Grundgesetze der Arithmetik offers a conception of cpLogic as the study of functions. Among functions are included those that are concepts, i.e. characteristic functions whose values are the logical objects that are the True/the False. What, in Frege's view, are the objects the True/the False? Frege's stroke functions are themselves concepts. His stipulation introducing his negation stroke mentions that it yields [...]. But curiously no accommodating axiom is given, and there is no such theorem. Why is it that some (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Frege’s Ontological Diagram Completed.David Makinson - 2022 - Logica Universalis 16 (3):381-387.
    In a letter of 1891, Frege drew a diagram to illustrate his logical ontology. We observe that it omits features that play an important role in his thought on the matter, propose an extension of the diagram to include them, and compare with a diagram of the ontology of current first-order logic.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Frege plagiarized the Stoics.Susanne Bobzien - 2021 - In Fiona Leigh (ed.), Themes in Plato, Aristotle, and Hellenistic Philosophy, Keeling Lectures 2011-2018, OPEN ACCESS. University of Chicago Press. pp. 149-206.
    In this extended essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means of detailed (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  14. Frege's Curiously Two-Dimensional Concept-Script.Landon D. C. Elkind - 2021 - Journal for the History of Analytical Philosophy 9 (11).
    In this paper I argue that the two-dimensional character of Frege’s Begriffsschrift plays an epistemological role in his argument for the analyticity of arithmetic. First, I motivate the claim that its two-dimensional character needs a historical explanation. Then, to set the stage, I discuss Frege’s notion of a Begriffsschrift and Kant’s epistemology of mathematics as synthetic a priori and partly grounded in intuition, canvassing Frege’s sharp disagreement on these points. Finally, I argue that the two-dimensional character of Frege’s notations play (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Frege's Critical Arguments for Axioms.Jim Hutchinson - 2021 - Pacific Philosophical Quarterly 102 (4):516-541.
    Why does Frege claim that logical axioms are ‘self‐evident,’ to be recognized as true ‘independently of other truths,’ and then offer arguments for those axioms? I argue that he thinks the arguments provide us with the justification that we need for accepting the axioms and that this is compatible with his remarks about self‐evidence. This compatibility depends on philosophical considerations connected with the ‘critical method’: an interesting approach to the justification of axioms endorsed by leading philosophers at the time.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Mr. Frege, The Platonist.Daniel Sierra - 2021 - Logiko-Filosofskie Studii 2 (Vol 19):136-144.
    Even though Frege is a major figure in the history of analytic philosophy, it is not surprising that there are still issues surrounding his views, interpreting them, and labeling them. Frege’s view on numbers is typically termed as ‘Platonistic’ or at least a type of Platonism (Reck 2005). Still, the term ‘Platonism’ has views and assumptions ascribed to it that may be misleading and leads to mischaracterizations of Frege’s outlook on numbers and ideas. So, clarification of the term ‘Platonism’ is (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Why did Frege reject the theory of types?Wim Vanrie - 2021 - British Journal for the History of Philosophy 29 (3):517-536.
    I investigate why Frege rejected the theory of types, as Russell presented it to him in their correspondence. Frege claims that it commits one to violations of the law of excluded middle, but this complaint seems to rest on a dogmatic refusal to take Russell’s proposal seriously on its own terms. What is at stake is not so much the truth of a law of logic, but the structure of the hierarchy of the logical categories, something Frege seems to neglect. (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Did Frege Solve One of Zeno’s Paradoxes?Gregory Lavers - 2020 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2018 Volume. New York, USA: Springer Verlag. pp. 99--107.
    Of Zeno’s book of forty paradoxes, it was the first that attracted Socrates’ attention. This is the paradox of the like and the unlike. On contemporary assessments, this paradox is largely considered to be Zeno’s weakest surviving paradox. All of these assessments, however, rely heavily on reconstructions of the paradox. It is only relative to these reconstructions that there is nothing paradoxical involved, or that there is some rather obvious mistake being made. This paper puts forward and defends a novel (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. Thoughts about Thoughts: The Structure of Fregean Propositions.Nathan Bice - 2019 - Dissertation, Columbia University
    This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Frege and the origins of model theory in nineteenth century geometry.Günther Eder - 2019 - Synthese 198 (6):5547-5575.
    The aim of this article is to contribute to a better understanding of Frege’s views on semantics and metatheory by looking at his take on several themes in nineteenth century geometry that were significant for the development of modern model-theoretic semantics. I will focus on three issues in which a central semantic idea, the idea of reinterpreting non-logical terms, gradually came to play a substantial role: the introduction of elements at infinity in projective geometry; the study of transfer principles, especially (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21. New Logic and the Seeds of Analytic Philosophy.Kevin C. Klement - 2019 - In John Shand (ed.), A Companion to Nineteenth Century Philosophy (Blackwell Companions to Philosophy). Hoboken: Wiley-Blackwell. pp. 454–479.
    Analytic philosophy has been perhaps the most successful philosophical movement of the twentieth century. While there is no one doctrine that defines it, one of the most salient features of analytic philosophy is its reliance on contemporary logic, the logic that had its origin in the works of George Boole and Gottlob Frege and others in the mid‐to‐late nineteenth century. Boolean algebra, the heart of Boole's contributions to logic, has also come to represent a cornerstone of modern computing. Frege had (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. When logic gives out : Frege on basic logical laws.Walter B. Pedriali - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press.
  23. Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic.Francesco Bellucci, Amirouche Moktefi & Ahti-Veikko Pietarinen - 2018 - History and Philosophy of Logic 39 (1):80-95.
    We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  24. Logic, Judgment, and Inference: What Frege Should Have Said about Illogical Thought.Daniele Mezzadri - 2018 - Journal of the History of Philosophy 56 (4):727-746.
    This paper addresses Frege's discussion of illogical thought in the introduction to Basic Laws of Arithmetic. After a brief introduction, I discuss Frege's claims that logic is normative vis-à-vis thought, and not descriptive, and his opposition to the idea that logical laws express psychological necessities. I argue that these two strands of Frege's polemic against psychologism constitute two motivating factors behind his allowing for the possibility of illogical thought. I then explore a line of thought—originally advanced by Joan Weiner—according to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Badiou and Frege: A Continental Critique of Logical Form.Joseph M. Spencer - 2018 - Open Philosophy 1 (1):94-114.
    Various critiques of important analytic thinkers made by Alain Badiou in the late 1960s have been largely overlooked by continental philosophers and entirely overlooked by analytic philosophers. This paper looks in detail at Badiou’s 1969 essay ‟Mark and Lack,” providing an exposition and clarification of his direct and sustained critique of Gottlob Frege’s supposed ideological philosophical commitments. Badiou’s intellectual context is analyzed in some detail, not only explaining his theoretical debt to his then-master Louis Althusser, but also clarifying his understandings (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26. Quantifiers. Hintikka and Frege on Quantification Concepts.Neftalí Villanueva & María Frápolli - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 279-298.
    Hintikka’s semantic approach to meaning, a development of Wittgenstein’s view of meaning as use, is the general theme of this chapter. We will focus on the analysis of quantified sentences and on the scope of the principle of compositionality and compare Hintikka’s take on these issues with that of Frege. The aim of this paper is to show that Hintikka’s analysis of quantified expressions as choice functions, in spite of its obvious dissimilarities with respect to the higher-order approach, is actually (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. Frege's case for the logicality of his basic laws.Yates Alexander - 2017 - Dissertation, St. Andrews University
    Frege wanted to show that arithmetical truths are logical by proving them from purely logical basic laws. But how do we know that these basic laws are logical? Frege uses generality and undeniability to make a prima facie case for logicality—if a truth is general and undeniable, then it’s likely logical. I argue that Frege could, did, and had to make a deeper case for why we’re right in recognizing his basic laws as logical. Implicit in his work is a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. La lingua characteristica: el proyecto lógico de Gottlob Frege.Angela Rocio Bejarano - 2017 - Agora 36 (1).
    Para Frege las relaciones lógicas se dan entre contenidos judicables, entre pensamientos. Aquellas relaciones son inferenciales. Los pensamientos se definen a través de sus relaciones inferenciales con otros. De acuerdo con esto es discutible afirmar, como lo hizo Schröder, que el proyecto lógico de Frege es como el proyecto lógico de Boole. También es cuestionable afirmar, como lo hizo Dummett, que la relación inferencial no es siempre central en el proyecto fregeano. En este texto defenderé una lectura del proyecto lógico (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29. Frege on Thinking and Its Epistemic Significance. [REVIEW]Carlo Cellucci - 2017 - History and Philosophy of Logic 38 (1):92-95.
    Given the large literature on Frege, one might believe that it would be impossible to say anything essentially new on the subject. This book contradicts this belief, calling attention to Frege's in...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. Zelfpredicatie: Middeleeuwse en hedendaagse perspectieven.Jan Heylen & Can Laurens Löwe - 2017 - Tijdschrift Voor Filosofie 79 (2):239-258.
    The focus of the article is the self-predication principle, according to which the/a such-and-such is such-and-such. We consider contemporary approaches (Frege, Russell, Meinong) to the self-predication principle, as well as fourteenth-century approaches (Burley, Ockham, Buridan). In crucial ways, the Ockham-Buridan view prefigures Russell’s view, and Burley’s view shows a striking resemblance to Meinong’s view. In short the Russell-Ockham-Buridan view holds: no existence, no truth. The Burley-Meinong view holds, in short: intelligibility suffices for truth. Both views approach self-predication in a uniform (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Logic, Thinking and Language in Frege.Daniele Mezzadri - 2017 - Paradigmi. Rivista di Critica Filosofica 3 (3):165-180.
    In this paper I take the opportunity of the recent publication of Pieranna Garavaso’s and Nicla Vassallo’s Frege on Thinking and Its Epistemic Significance (with whose main tenets this paper is in constant dialogue) to provide an overview of some important components of Frege’s conception of logic. Section 1 discusses Frege’s view that the task of logic is to provide justification for what we think, and in sections 2 and 3 this idea is shown to play a central role in (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  32. Frege on thinking and thoughts: Pieranna Garavaso and Nicla Vassallo: Frege on thinking and its epistemic significance. Lanham: Lexington Books, 2015, viii+128 pp, US $83 HB. [REVIEW]Thorsten Sander - 2017 - Metascience 27 (1):127-129.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. On Structural Features of the Implication Fragment of Frege’s Grundgesetze.Andrew Tedder - 2017 - Journal of Philosophical Logic 46 (4):443-456.
    We set out the implication fragment of Frege’s Grundgesetze, clarifying the implication rules and showing that this system extends Absolute Implication, or the implication fragment of Intuitionist logic. We set out a sequent calculus which naturally captures Frege’s implication proofs, and draw particular attention to the Cut-like features of his Hypothetical Syllogism rule.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. P. Garavaso and N. Vassallo, Frege on Thinking and its Epistemic Significance. [REVIEW]Clinton Tolley - 2017 - Notre Dame Philosophical Reviews 2017.
  35. PEIRCE, FREGE, RUSSELL E O SURGIMENTO DA PREDICAÇÃO LÓGICA CONTEMPORÂNEA.Rafael dos Reis Ferreira - 2016 - Kinesis 8 (17):115-135.
    Apresentamos neste artigo explicitações histórico-conceituais sobre o surgimento da predicação lógica contemporânea. Quando se trata de predicação, remete-se de imediato à obra de Aristóteles, mas, com as transformações trazidas pela Lógica Contemporânea, o estudo da predicação deixa o plano do estudo lógico-gramatical para o estudo do plano da análise lógicomatemática. Veremos, nesse sentido, a importância dos trabalhos de Peirce, Frege e Russell para o surgimento da predicação lógica contemporânea. Embora Peirce tenha sido o precursor da introdução do conceito de função (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. Identity in Frege’s Shadow.Jaakko Hintikka - 2016 - In Sorin Costreie (ed.), Early Analytic Philosophy – New Perspectives on the Tradition. Cham, Switzerland: Springer Verlag.
    Frege overlooked the role of quantifiers as expressing, by their formal dependence on each other, the actual dependences between variables bound to them. The resulting flaw in Frege’s and other logicians’ logic began to be corrected only in IF logic. The dependence relations are codified in the Skolem functions that correspond to existential-force quantifiers. Their existence is the natural truth condition. Such functions are not adequately handled in first-order predicate logic. In any adequate logic, a fixed mode of identification is (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. Frege, Logic, and Logicism.John-Michael Kuczynski - 2016 - Amazon Digital Services LLC.
    Gottlob Frege (1848-1925) invented the discipline of mathematical logic. In this short work, it is clearly stated what Frege did and did not accomplish.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  38. Frege on thinking and its epistemic significance Garavaso Pieranna and Nicla Vassallo Lanham, maryland: Lexington books, 2014; 128 pp.; $ 75.00. [REVIEW]Daniele Mezzadri - 2016 - Dialogue 57 (3):675-677.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. What Is the Frege/Russell Analysis of Quantification?Scott Soames - 2014 - In Analytic Philosophy in America: And Other Historical and Contemporary Essays. Princeton, NJ: Princeton University Press. pp. 191-199.
  40. Fregean Quantification Theory.Saul A. Kripke - 2013 - Journal of Philosophical Logic 43 (5):879-881.
    Frege’s system of first-order logic is presented in a contemporary framework. The system described is distinguished by economy of expression and an unusual syntax.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Quantification: transcending beyond Frege's boundaries: a case study in transcendental-metaphysical logic.Aleksy Molczanow - 2012 - Boston: Brill.
    Drawing on the original conception of Kant’s synthetic a priori and the relevant related developments in philosophy, this book presents a reconstruction of the intellectual history of the conception of quantity and offers an entirely ...
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  42. Peirce entre Frege e Boole: sobre a busca de diálogos possíveis com Wittgenstein.Rafael Duarte Oliveira Venancio - 2012 - Estudos Semioticos (USP) 8 (2):99-108.
    O presente artigo busca debater a posição de Charles Sanders Peirce e dos primeiros estudantes peirceanos de Lógica (Christine Ladd e O. H. Mitchell nos Studies in Logic, 1883) dentro do debate inspirador da visão da linguagem dentro da Filosofia Analítica, conhecido como “Lingua Universalis contra Calculus Ratiocinator”, cujos primórdios podem ser traçados desde a filosofia de Gottfried Leibniz. Para isso, comparamos esse campo do pensamento peirceano com o debate crucial entre a conceitografia de Gottlob Frege (Begriffsschrift, 1879) e a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  43. The universal set and diagonalization in Frege structures.Reinhard Kahle - 2011 - Review of Symbolic Logic 4 (2):205-218.
    In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. PM's Circumflex, Syntax and Philosophy of Types.Kevin C. Klement - 2011 - In Kenneth Blackwell, Nicholas Griffin & Bernard Linsky (eds.), Principia mathematica at 100. Hamilton, Ontario: Bertrand Russell Research Centre. pp. 218-246.
    Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Modal logic from Kant to possible worlds semantics.Tapio Korte, Ari Maunu & Tuomo Aho - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
    This chapter begins with a discussion of Kant's theory of judgment-forms. It argues that it is not true in Kant's logic that assertoric or apodeictic judgments imply problematic ones, in the manner in which necessity and truth imply possibility in even the weakest systems of modern modal logic. The chapter then discusses theories of judgment-form after Kant, the theory of quantification, Frege's Begriffsschrift, C. I. Lewis and the beginnings of modern modal logic, the proof-theoretic approach to modal logic, possible world (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Frege's Notations: What They Are and How They Mean.Gregory Landini - 2011 - London and Basingstoke: Palgrave-Macmillan.
    Gregory Landini offers a detailed historical account of Frege's notations and the philosophical views that led Frege from Begriffssscrhrift to his mature work Grundgesetze, addressing controversial issues that surround the notations.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47. Frege's Elucidatory Holism.Clinton Tolley - 2011 - Inquiry: An Interdisciplinary Journal of Philosophy 54 (3):226-251.
    Abstract I argue against the two most influential readings of Frege's methodology in the philosophy of logic. Dummett's ?semanticist? reading sees Frege as taking notions associated with semantical content?and in particular, the semantical notion of truth?as primitive and as intelligible independently of their connection to the activity of judgment, inference, and assertion. Against this, the ?pragmaticist? reading proposed by Brandom and Ricketts sees Frege as beginning instead from the independent and intuitive grasp that we allegedly have on the latter activity (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Frege on Indirect Proof.Ivan Welty - 2011 - History and Philosophy of Logic 32 (3):283-290.
    Frege's account of indirect proof has been thought to be problematic. This thought seems to rest on the supposition that some notion of logical consequence ? which Frege did not have ? is indispensable for a satisfactory account of indirect proof. It is not so. Frege's account is no less workable than the account predominant today. Indeed, Frege's account may be best understood as a restatement of the latter, although from a higher order point of view. I argue that this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Der Begriff der logischen Form in der analytischen Philosophie. Russell in Auseinandersetzung mit Frege, Meinong und Wittgenstein – By Elena Tatievskaya. [REVIEW]Jan Woleński - 2011 - Theoria 77 (1):87-89.
  50. Between Frege and Peirce: Josiah Royce's Structural Logicism.J. Brent Crouch - 2010 - Transactions of the Charles S. Peirce Society 46 (2):155-177.
    In the opening sentence of his Methods of Logic, W. V. O. Quine writes, “Logic is an old subject, and since 1879 it has been a great one.”1 Quine is referring to the year in which Gottlob Frege presented his Begriffschrift, or “concept-script,” one of the first published accounts of a logical system or calculus with quantification and a function-argument analysis of propositions. There can be no doubt as to the importance of these introductions, and, indeed, Frege’s orientation and advances, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 155