display all the ideas for this combination of texts
9 ideas
13378 | It is a mistake to think that the logic developed for mathematics can clarify language and philosophy [Jubien] |
Full Idea: It has often been uncritically assumed that logic that was initially a tool for clarifying mathematics could be seamlessly and uniformly applied in the effort to clarify ordinary language and philosophy, but this has been a real mistake. | |
From: Michael Jubien (Possibility [2009], Intro) | |
A reaction: I'm not saying he's right (since you need stupendous expertise to make that call) but my intuitions are that he has a good point, and he is at least addressing a crucial question which most analytical philosophers avert their eyes from. |
9605 | If a proposition is false, then its negation is true [Brown,JR] |
Full Idea: The law of excluded middle says if a proposition is false, then its negation is true | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
A reaction: Surely that is the best statement of the law? How do you write that down? ¬(P)→¬P? No, because it is a semantic claim, not a syntactic claim, so a truth table captures it. Semantic claims are bigger than syntactic claims. |
13402 | We only grasp a name if we know whether to apply it when the bearer changes [Jubien] |
Full Idea: We cannot be said to have a full grasp of a name unless we have a definite disposition to apply it or to withhold it under whatever conceivable changes the bearer of the name might come to undergo. | |
From: Michael Jubien (Possibility [2009], 5.3) | |
A reaction: This is right, and an excellent counterproposal to the logicians' notion that names have to rigidly designate. As a bare minimum, you are not supposed to deny the identity of your parents because they have grown a bit older, or a damaged painting. |
13405 | The baptiser picks the bearer of a name, but social use decides the category [Jubien] |
Full Idea: The person who introduces a proper name gets to pick its bearer, but its category - and consequently the meaning of the name - is determined by social use. | |
From: Michael Jubien (Possibility [2009], 7) | |
A reaction: New 'division of labour'. The idea that a name has some sort of meaning seems right and important. If babies were switched after baptism, social use might fix the name to the new baby. The namer could stipulate the category at the baptism. Too neat. |
13399 | Examples show that ordinary proper names are not rigid designators [Jubien] |
Full Idea: There are plenty of examples to show that ordinary proper names simply are not rigid designators. | |
From: Michael Jubien (Possibility [2009], 5.1) | |
A reaction: His examples are the planet Venus and the dust of which it is formed, and a statue made of clay. In other words, for some objects, perhaps under certain descriptions (e.g. functional ones), the baptised matter can change. Rigidity is an extra topping. |
13398 | We could make a contingent description into a rigid and necessary one by adding 'actual' to it [Jubien] |
Full Idea: 'The winner of the Derby' satisfies some horse, but only accidentally. But we could 'rigidify' the description by inserting 'actual' into it, giving 'the actual winner of the Derby'. Winning is a contingent property, but actually winning is necessary. | |
From: Michael Jubien (Possibility [2009], 5.1) | |
A reaction: I like this unusual proposal because instead of switching into formal logic in order to capture the ideas we are after, he is drawing on the resources of ordinary language, offering philosophers a way of speaking plain English more precisely. |
13392 | Philosophers reduce complex English kind-quantifiers to the simplistic first-order quantifier [Jubien] |
Full Idea: There is a readiness of philosophers to 'translate' English, with its seeming multitude of kind-driven quantifiers, into first-order logic, with its single wide-open quantifier. | |
From: Michael Jubien (Possibility [2009], 4.1) | |
A reaction: As in example he says that reference to a statue involves a 'statue-quantifier'. Thus we say things about the statue that we would not say about the clay, which would involve a 'clay-quantifier'. |
9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
Full Idea: The three views one could adopt concerning axioms are that they are self-evident truths, or that they are arbitrary stipulations, or that they are fallible attempts to describe how things are. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
A reaction: Presumably modern platonists like the third version, with others choosing the second, and hardly anyone now having the confidence to embrace the first. |
9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
Full Idea: Berry's Paradox refers to 'the least integer not namable in fewer than nineteen syllables' - a paradox because it has just been named in eighteen syllables. | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
A reaction: Apparently George Boolos used this quirky idea as a basis for a new and more streamlined proof of Gödel's Theorem. Don't tell me you don't find that impressive. |