Search

According to Frege, we need a criterion for recognising when different sentences express the same thought to make progress in logic. He himself hedged his own equipollence criterion with a number of provisos. In the literature on Frege, little attention has been paid to the problems these provisos raise. In this paper, I will argue that Fregeans have ignored these provisos at their peril. For without these provisos, Frege’s criterion yields wrong results; but with the provisos in place, it is of no use for Frege’s purposes. This is connected to what Frege took to be the ‘greatest difficulty for philosophy’: natural language sentences don’t just express thoughts; they convey evaluations and communicative hints. Because of this, Frege’s recognition criterion for thoughts cannot be applied to them and we cannot make logical progress by ‘recognising a thought in different linguistic guises’. [ABSTRACT FROM AUTHOR]

The thesis of Ineffability has it that no proposition can be fully expressed by a sentence, this meaning that no sentence-type, or even sentence-token whose indexicality and ambiguities have been resolved, can fully encode a proposition. The thesis of the propositionality of thoughts has it that thoughts are propositional. An implication of the joint endorsement of these two theses is that thoughts are ineffable. The aim of this paper is to argue that this is not the case: there are effable thoughts, and we can even safely say that, generally, thoughts are effable. In order to defend this insight, I first counter the thesis of the propositionality of thought by bringing some counterexamples to it, which amount to cases of non-fully propositional thought. I then argue that, if thoughts can be and often are non-fully propositional, they can be expressed by sentences that fail to fully express a proposition. I also show that the propositional thoughts that we can entertain are after all effable (in a suitable, relevant sense) and resist some alleged examples of insurmountable ineffability. [ABSTRACT FROM AUTHOR]

Frege’s writings contain arguments for the thesis (i) that a thought expressed by a sentence S is a structured object whose composition pictures the composition of S, and for the thesis (ii) that a thought is an unstructured object. I will argue that Frege’s reasons for both (i) and (ii) are strong. Frege’s explanation of the difference in sense between logically equivalent sentences rests on assumption (i), while Frege’s claim that the same thought can be decomposed differently makes (ii) plausible. Thoughts are supposed to do work that requires that they be structured and work that requires that they be unstructured. But this cannot be! While the standard response to this problem is to reject either (i) or (ii), I propose a charitable repair in the spirit of Frege’s theory that accepts both. The key idea can be found in Frege’s Basic Laws of Arithmetic(BL, GGA). Frege argues that the thought expressed by a sentence is determined by the truth-conditions that can be derived from the semantic axioms for the sentence constituents. The fact that the same axiomatic truth-condition can be derived in different ways from different semantic axioms suggests a Fregean solution of the dilemma: A thought is a type that is instantiated by all sequences of senses (decomposed thoughts) that have the same axiomatic truth-conditions. This allows for multiple decomposability of the same thought (for different decomposed thoughts can have the same axiomatic truth-conditions) and for a notion of containment (the decomposed thought contains those senses whose semantic axioms are needed in the derivation of the truth-conditions). My proposal combines the virtues of (i) and (ii) without inheriting their vices. [ABSTRACT FROM AUTHOR]