display all the ideas for this combination of philosophers
2 ideas
18955 | Having a valid form doesn't ensure truth, as it may be meaningless [Putnam] |
Full Idea: I don't think all substitution-instances of a valid schema are 'true'; some are clearly meaningless, such as 'If all boojums are snarks and all snarks are egglehumphs, then all boojums are egglehumphs'. | |
From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
A reaction: This seems like a very good challenge to Quine's claim that it is only form which produces a logical truth. Keep deductive and semantic consequence separate, with two different types of 'logical truth'. |
14203 | Intension is not meaning, as 'cube' and 'square-faced polyhedron' are intensionally the same [Putnam] |
Full Idea: Intension cannot be identified with meaning. ..'Cube' and 'regular polyhedron with six square faces' are logically equivalent predicates. The intension is the same (the function giving the cubes in any possible world) but there is a difference of meaning. | |
From: Hilary Putnam (Reason, Truth and History [1981], Ch.2) |