Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions

The Monist 77 (3):294-314 (1994)
  Copy   BIBTEX

Abstract

In his Grundgesetze, §32, Frege launched the idea that the meaning of a sentence is given by its truth condition, or, in his particular version, the condition under which it will be a name of the True. This, indeed, was only one of the many roles in which truth has to serve within the Fregean system. In particular, truth is an absolute notion in the sense that bivalence holds: every Gedanke is either true or false, in complete independence of any conative activity, whether by God or man. Thus various epistemological notions, such as the correctness of an assertion made, or judgement passed, are reducible to this absolute notion of truth: an assertion made through the utterance of a declarative sentence is correct when the proposition expressed by the sentence in question is true. Given this absolute status of truth it is not surprising that Frege is of the opinion that truth is a sui generis notion which has to be left unanalyzed and, indeed, which is indefinable.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
Abstracting Propositions.Anthony Wrigley - 2006 - Synthese 151 (2):157-176.
Identity, many-valuedness and referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.
Criteria of Identity: Strong and Wrong.Hannes Leitgeb - 2013 - British Journal for the Philosophy of Science 64 (1):61-68.
Fregean propositions, belief preservation and cognitive value.Marco Ruffino - 2007 - Grazer Philosophische Studien 75 (1):217-236.
Locke and Arnauld on Judgment and Proposition.Maria van der Schaar - 2008 - History and Philosophy of Logic 29 (4):327-341.
The sortal resemblance problem.Joongol Kim - 2014 - Canadian Journal of Philosophy 44 (3-4):407-424.
A type reduction from proof-conditional to dynamic semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.

Analytics

Added to PP
2013-09-30

Downloads
55 (#259,880)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Göran Sundholm
Leiden University

References found in this work

No references found.

Add more references