Switch to: References

Add citations

You must login to add citations.
  1. The Composition of Thoughts.Richard Heck & Robert May - 2011 - Noûs 45 (1):126-166.
    Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is a (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Predicate Reference.Fraser MacBride - 2006 - In Barry C. Smith (ed.), The Oxford Handbook of Philosophy of Language. Oxford University Press. pp. 422--475.
    Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Frege and the Logic of Sense and Reference.Kevin C. Klement - 2001 - Routledge.
    This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Grundgesetze der Arithmetik I §§29‒32.Richard G. Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.
    Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Frege's Proof of Referentiality.Øystein Linnebo - 2004 - Notre Dame Journal of Formal Logic 45 (2):73-98.
    I present a novel interpretation of Frege’s attempt at Grundgesetze I §§29-31 to prove that every expression of his language has a unique reference. I argue that Frege’s proof is based on a contextual account of reference, similar to but more sophisticated than that enshrined in his famous Context Principle. Although Frege’s proof is incorrect, I argue that the account of reference on which it is based is of potential philosophical value, and I analyze the class of cases to which (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Is Frege's Definition of the Ancestral Adequate?Richard Heck - 2016 - Philosophia Mathematica 24 (1):91-116.
    Why should one think Frege's definition of the ancestral correct? It can be proven to be extensionally correct, but the argument uses arithmetical induction, and that seems to undermine Frege's claim to have justified induction in purely logical terms. I discuss such circularity objections and then offer a new definition of the ancestral intended to be intensionally correct; its extensional correctness then follows without proof. This new definition can be proven equivalent to Frege's without any use of arithmetical induction. This (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • From Lagrange to Frege: Functions and Expressions.Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur - 2015 - In Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.), Functions and Generality of Logic. Springer Verlag.
    Both Frege's Grundgesetze, and Lagrange's treatises on analytical functions pursue a foundational purpose. Still, the former's program is not only crucially different from the latter's. It also depends on a different idea of what foundation of mathematics should be like . Despite this contrast, the notion of function plays similar roles in their respective programs. The purpose of my paper is emphasising this similarity. In doing it, I hope to contribute to a better understanding of Frege's logicism, especially in relation (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Gottlob Frege o prawdzie w okresie wydawania dwóch tomów Grundgesetze der Arithmethik.Gabriela Besler - 2018 - Studia Semiotyczne 32 (2):51-73.
    W latach 1893 i 1903 ukazały się dwa tomy najważniejszego dzieła Fregego Grundegezte der Arithmetik. Ten okres można nazwać „szczytem logicyzmu” Fregego. Chociaż temat prawdy w logiczno-filozoficznej twórczości Fregego był podejmowany wielokrotnie, to brakuje pozycji skupiającej się na badaniu poglądów w tym okresie. Dotyczy to w szczególności literatury polskiej. Moim zadaniem jest zebranie i uporządkowanie wszystkich wypowiedzi Fregego na temat prawdy w okresie wydawania wspomnianych tomów. Realizując to zadanie, badam użycie tego pojęcia w pierwszym tomie Grundegezte der Arithmetik oraz w (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Frege's Judgement Stroke and the Conception of Logic as the Study of Inference Not Consequence.Nicholas J. J. Smith - 2009 - Philosophy Compass 4 (4):639-665.
    One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Gottlob Frege on Truth During the Period of the Two Volume Edition of Grundgesetze Der Arithmethik.Gabriela Besler - 2019 - Studia Semiotyczne—English Supplement 30:61-84.
    In 1893 and 1903, two volumes of the most important of Frege’s works Grundegezte der Arithmetik were published. This period can be called the peak of Frege’s logicism. Although the subject of truth in Frege’s logical and philosophical works has been repeatedly investigated, there is a lack of studies on his view in this period, especially in Polish literature. In this article, therefore, I carry out the following research task: to collect and order Frege’s statements about truth during the period (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.Matthias Schirn - 2006 - Synthese 148 (1):171-227.
    In this paper, I shall discuss several topics related to Frege's paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege's notion of evidence and its interpretation by Jeshion, the introduction (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Frege's Puzzle About the Cognitive Function of Truth.Dirk Greimann - 2004 - Inquiry: An Interdisciplinary Journal of Philosophy 47 (5):425-442.
    The aim of this paper is to give a detailed reconstruction of Frege's solution to his puzzle about the cognitive function of truth, which is this: On the one hand, the concept of truth seems to play an essential role in acquiring knowledge because the transition from the mere hypothetical assumption that p to the acknowledgement of its truth is a crucial step in acquiring the knowledge that p, while, on the other hand, this concept seems to be completely redundant (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.Matthias Schirn - 2006 - Synthese 148 (1):171 - 227.
    In this paper, I shall discuss several topics related to Frege’s paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege’s notion of evidence and its interpretation by Jeshion, the introduction (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Frege’s Puzzle and Arithmetical Formalism. Putting Things in Context.Sorin Costreie - 2013 - History and Philosophy of Logic 34 (3):207-224.
    The paper discusses the emergence of Frege's puzzle and the introduction of the celebrated distinction between sense and reference in the context of Frege's logicist project. The main aim of the paper is to show that not logicism per se is mainly responsible for this introduction, but Frege's constant struggle against formalism. Thus, the paper enlarges the historical context, and provides a reconstruction of Frege's philosophical development from this broader perspective.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Frege on Knowing the Foundation.Tyler Burge - 1998 - Mind 107 (426):305-347.
    The paper scrutinizes Frege's Euclideanism - his view of arithmetic and geometry as resting on a small number of self-evident axioms from which non-self-evident theorems can be proved. Frege's notions of self-evidence and axiom are discussed in some detail. Elements in Frege's position that are in apparent tension with his Euclideanism are considered - his introduction of axioms in The Basic Laws of Arithmetic through argument, his fallibilism about mathematical understanding, and his view that understanding is closely associated with inferential (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Frege on Judging as Acknowledging the Truth.Mark Textor - 2010 - Mind 119 (475):615-655.
    According to Frege, judgement is the ‘logically primitive activity’. So what is judgement? In his mature work, he characterizes judging as ‘acknowledging the truth’ (‘Anerkennen der Wahrheit’). Frege’s remarks about judging as acknowledging the truth of a thought require further elaboration and development. I will argue that the development that best suits his argumentative purposes takes acknowledging the truth of a thought to be a non-propositional attitude like seeing an object; it is a mental relation between a thinker, a thought, (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Frege on Sense Identity, Basic Law V, and Analysis.Philip A. Ebert - 2016 - Philosophia Mathematica 24 (1):9-29.
    The paper challenges a widely held interpretation of Frege's conception of logic on which the constituent clauses of basic law V have the same sense. I argue against this interpretation by first carefully looking at the development of Frege's thoughts in Grundlagen with respect to the status of abstraction principles. In doing so, I put forth a new interpretation of Grundlagen §64 and Frege's idea of ‘recarving of content’. I then argue that there is strong evidence in Grundgesetze that Frege (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.
    In a series of articles dating from 1903 to 1906, Frege criticizes Hilbert’s methodology of proving the independence and consistency of various fragments of Euclidean geometry in his Foundations of Geometry. In the final part of the last article, Frege makes his own proposal as to how the independence of genuine axioms should be proved. Frege contends that independence proofs require the development of a ‘new science’ with its own basic truths. This paper aims to provide a reconstruction of this (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Formality of Logic and Frege’s Begriffsschrift.Daniele Mezzadri - 2019 - Canadian Journal of Philosophy 49 (2):182-207.
    This paper challenges a standard interpretation according to which Frege’s conception of logic (early and late) is at odds with the contemporary one, because on the latter’s view logic is formal, while on Frege’s view it is not, given that logic’s subject matter is reality’s most general features. I argue that Frege – in Begriffsschrift – retained the idea that logic is formal; Frege sees logic as providing the ‘logical cement’ that ties up together the contentful concepts of specific sciences, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Epistemic Significance of Valid Inference – A Model-Theoretic Approach.Constantin C. Brîncuș - 2015 - In Sorin Costreie & Mircea Dumitru (eds.), Meaning and Truth. Bucharest: PRO Universitaria Publishing. pp. 11-36.
    The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence.Günther Eder - 2016 - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Why Is a Valid Inference a Good Inference?Sinan Dogramaci - 2017 - Philosophy and Phenomenological Research 94 (1):61-96.
    True beliefs and truth-preserving inferences are, in some sense, good beliefs and good inferences. When an inference is valid though, it is not merely truth-preserving, but truth-preserving in all cases. This motivates my question: I consider a Modus Ponens inference, and I ask what its validity in particular contributes to the explanation of why the inference is, in any sense, a good inference. I consider the question under three different definitions of ‘case’, and hence of ‘validity’: the orthodox definition given (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Logical Contextuality in Frege.Brice Halimi - 2018 - Review of Symbolic Logic 11 (1):1-20.
    Download  
     
    Export citation  
     
    Bookmark