Switch to: References

Add citations

You must login to add citations.
  1. A Referential Theory of Truth and Falsity.İlhan İnan - 2022 - New York, NY, USA: Routledge.
    This book proposes a novel theory of truth and falsity. It argues that truth is a form of reference and falsity is a form of reference failure. -/- Most of the philosophical literature on truth concentrates on certain ontological and epistemic problems. This book focuses instead on language. By utilizing the Fregean idea that sentences are singular referring expressions, the author develops novel connections between the philosophical study of truth and falsity and the huge literature in in the philosophy of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Wittgenstein's Reductio.Gilad Nir - 2022 - Journal for the History of Analytical Philosophy 10 (3).
    By means of a reductio argument, Wittgenstein’s Tractatus calls into question the very idea that we can represent logical form. My paper addresses three interrelated questions: first, what conception of logical form is at issue in this argument? Second, whose conception of logic is this argument intended to undermine? And third, what could count as an adequate response to it? I show that the argument construes logical form as the universal, underlying correlation of any representation and the reality it represents. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Frege's Choice: The Indefinability Argument, Truth, and the Fregean Conception of Judgment.Junyeol Kim - 2021 - Journal for the History of Analytical Philosophy 9 (5):1-26.
    I develop a new reading of Frege’s argument for the indefinability of truth. I concentrate on what Frege literally says in the passage that contains the argument. This literal reading of the passage establishes that the indefinability argument is an arguably sound argument to the following conclusion: provided that the Fregean conception of judgment—which has recently been countered by Hanks—is correct and that truth is a property of truth-bearers, a vicious infinite regress is produced. Given this vicious regress, Frege chooses (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logical categories, signs, and elucidation in Frege.Wim Vanrie - 2021 - Dissertation, University of Ghent
    Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into different categories, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   1 citation  
  • Review of Kazuyuki Nomoto "Frege Tetsugaku no Zenbou (Gottlob Freges Logizismus und seine logische Semantik als der Prototyp)". [REVIEW]Hidenori Kurokawa - 2014 - Journal of the Japan Association for Philosophy of Science 42 (1):39-54.
    Download  
     
    Export citation  
     
    Bookmark  
  • Why Is a Valid Inference a Good Inference?Sinan Dogramaci - 2015 - 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   9 citations  
  • Is Frege's Definition of the Ancestral Adequate?Richard G. 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  
  • Frege's Principle.Richard Heck - 1995 - In Jaakko Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics. Kluwer Academic Publishers.
    This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Truth in Frege.Richard Heck & Robert May - 2018 - In Michael Glanzberg (ed.), The Oxford Handbook of Truth. Oxford, United Kingdom: Oxford University Press.
    A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Philosophy of Language in the Twentieth Century.Jason Stanley - 2008 - In Dermot Moran (ed.), The Routledge Companion to Twentieth Century Philosophy. Routledge. pp. 382-437.
    In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...)
    Download  
     
    Export citation  
     
    Bookmark   14 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   18 citations  
  • Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?Jamie Tappenden - 2000 - Notre Dame Journal of Formal Logic 41 (3):271-315.
    It is widely believed that some puzzling and provocative remarks that Frege makes in his late writings indicate he rejected independence arguments in geometry, particularly arguments for the independence of the parallels axiom. I show that this is mistaken: Frege distinguished two approaches to independence arguments and his puzzling remarks apply only to one of them. Not only did Frege not reject independence arguments across the board, but also he had an interesting positive proposal about the logical structure of correct (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Frege and semantics.Richard G. Heck - 2007 - Grazer Philosophische Studien 75 (1):27-63.
    In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Russell and the universalist conception of logic.Ian Proops - 2007 - Noûs 41 (1):1–32.
    The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.
    Download  
     
    Export citation  
     
    Bookmark   9 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   43 citations  
  • Strictures on an Exhibition.Alexander Robert Yates - 2021 - Journal for the History of Analytical Philosophy 9 (11).
    In Grundgesetze der Arithmetik, Frege tried to show that arithmetic is logical by giving gap-free proofs from what he took to be purely logical basic laws. But how do we come to judge these laws as true, and to recognize them as logical? The answer must involve giving an account of the apparent arguments Frege provides for his axioms. Following Sanford Shieh, I take these apparent arguments to instead be exhibitions: the exercise of a logical capacity in order to bring (...)
    Download  
     
    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   22 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   25 citations  
  • A completeness theorem for unrestricted first- order languages.Agustin Rayo & Timothy Williamson - 2003 - In J. C. Beall (ed.), Liars and heaps: new essays on paradox. New York: Oxford University Press.
    Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and an interpreted sentence (the conclusion). Whether an argument is logically valid depends only on its logical form. The logical form of an argument is fixed by the syntax of its constituent sentences, the meanings of their logical constituents and the syntactic differences between their non-logical constituents, treated as (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • The Inferential Significance of Frege’s Assertion Sign.Mitchell S. Green - 2002 - Facta Philosophica 4 (2):201-229.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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   4 citations