Ideas from 'Quine on Quantifying In' by Kit Fine [1990], by Theme Structure

[found in 'Modality and Tense' by Fine,Kit [OUP 2005,0-19-927871-7]].

green numbers give full details    |     back to texts     |     unexpand these ideas

---

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

12220

Is it the sentence-token or the sentence-type that has a logical form?

			Full Idea: Do we attribute a logical form to a sentence token because it is a token of a type with that form, or do we attribute a logical form to a sentence type because it is a type of a token with that form?
			From: Kit Fine (Quine on Quantifying In [1990], p.110)
			A reaction: Since I believe in propositions (as the unambiguous thought that lies behind a sentence), I take it that logical form concerns propositions, though strict logicians don't like this, for fear that logic spills into psychology.

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

12222

Substitutional quantification is referential quantification over expressions

			Full Idea: Substitutional quantification may be regarded as referential quantification over expressions.
			From: Kit Fine (Quine on Quantifying In [1990], p.124)
			A reaction: This is an illuminating gloss. Does such quantification involve some ontological commitment to expressions? I feel an infinite regress looming.