display all the ideas for this combination of philosophers
5 ideas
22434 | Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine] |
Full Idea: Ordinary language is reduced to logical form in two ways: reduction of the variety of idioms and grammatical constructions, and reduction of each surviving idiom to one fixed and convenient interpretation. | |
From: Willard Quine (Mr Strawson on Logical Theory [1953], V) | |
A reaction: Is there a conflict between a 'fixed' and a 'convenient' result? By 'fixed' I suppose he means it is a commitment (to not waver). What is the logical form of a sentence which is deliberately ambiguous? |
13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
Full Idea: Quine said a logical truth is a truth in which only logical constants occur essentially, ...but then a fruitful definition of 'logical constant' is called for. | |
From: comment on Willard Quine (Carnap and Logical Truth [1954]) by Ian Hacking - What is Logic? §02 |
1618 | We study bound variables not to know reality, but to know what reality language asserts [Quine] |
Full Idea: We look to bound variables in connection with ontology not in order to know what there is, but in order to know what a given remark or doctrine, ours or someone else's, says there is. | |
From: Willard Quine (On What There Is [1948], p.15) |
12221 | 'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine] |
Full Idea: A 'quasi-quotation' [corner quotes, Quine quotes] designates that (unspecified) expression which is obtained from the contents of the corners by replacing the Greek letters by the (unspecified) expressions which they designate. | |
From: Willard Quine (Mathematical Logic (revised) [1940], 1.6) | |
A reaction: Filed under 'variables', as they seem to be variables that can refer to actual expressions, like algebra. Quine was determined to distinguish clearly between 'mention' and 'use'. 'Half-hearted substitutional quantification', says Fine. |
21698 | All relations, apart from ancestrals, can be reduced to simpler logic [Quine] |
Full Idea: Much of the theory of relations can be developed as a virtual theory, in which we seem to talk of relations, but can explain our notation in terms {finally] of just the logic of truth-functions, quantification and identity. The exception is ancestrals. | |
From: Willard Quine (Lecture on Nominalism [1946], §8) | |
A reaction: The irreducibility of ancestrals is offered as a reason for treating sets as universals. |