display all the ideas for this combination of texts
3 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? |
| 6076 | For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn] |
| Full Idea: For Frege, a predicate does not refer to the objects of which it is true, but to the function that maps these objects onto the True and False; ..a predicate is a name for this function. | |
| From: report of Gottlob Frege (works [1890]) by Colin McGinn - Logical Properties Ch.3 | |
| A reaction: McGinn says this is close to the intuitive sense of a property. Perhaps 'predicates are what make objects the things they are?' |
| 3319 | Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA] |
| Full Idea: The whole point of Frege's functional account of predication lies in its allowing us to dispense with all properties across the board. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9 |