33 ideas
| 14767 | The demonstrations of the metaphysicians are all moonshine [Peirce] |
| Full Idea: The demonstrations of the metaphysicians are all moonshine. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |
| 14764 | I am saturated with the spirit of physical science [Peirce] |
| Full Idea: I am saturated, through and through, with the spirit of the physical sciences. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.1) |
| 18951 | For scientific purposes there is a precise concept of 'true-in-L', using set theory [Putnam] |
| Full Idea: For a language L there is a predicate 'true-in-L' which one can employ for all scientific purposes in place of intuitive truth, and this predicate admits of a precise definition using only the vocabulary of L itself plus set theory. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.2) | |
| A reaction: He refers, of course, to Tarski's theory. I'm unclear of the division between 'scientific purposes' and the rest of life (which is why some people embrace 'minimal' theories of ordinary truth). I'm struck by set theory being a necessary feature. |
| 18953 | Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam] |
| Full Idea: In modern notation we can consider potential logical principles that Aristotle never considered because of his general practice of looking at inferences each of whose premises involved exactly two class-names. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
| A reaction: Presumably you can build up complex inferences from a pair of terms, just as you do with pairs in set theory. |
| 18949 | The universal syllogism is now expressed as the transitivity of subclasses [Putnam] |
| Full Idea: On its modern interpretation, the validity of the inference 'All S are M; All M are P; so All S are P' just expresses the transitivity of the relation 'subclass of'. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.1) | |
| A reaction: A simple point I've never quite grasped. Since lots of syllogisms can be expressed as Venn Diagrams, in which the circles are just sets, it's kind of obvious really. So why does Sommers go back to 'terms'? See 'Term Logic'. |
| 18952 | '⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '¬(Px & ¬Qx)' [Putnam] |
| Full Idea: The symbol '⊃' (read 'if...then') is used with the definition 'Px ⊃ Qx' ('if Px then Qx') is short for '¬(Px & ¬Qx)'. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
| A reaction: So ⊃ and → are just abbreviations, and not really a proper part of the language. Notoriously, though, this is quite a long way from what 'if...then' means in ordinary English, and it leads to paradoxical oddities. |
| 18958 | In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam] |
| Full Idea: In the theory of types, 'x ∈ y' is well defined only if x and y are of the appropriate type, where individuals count as the zero type, sets of individuals as type one, sets of sets of individuals as type two. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.6) |
| 18954 | Before the late 19th century logic was trivialised by not dealing with relations [Putnam] |
| Full Idea: It was essentially the failure to develop a logic of relations that trivialised the logic studied before the end of the nineteenth century. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
| A reaction: De Morgan, Peirce and Frege were, I believe, the people who put this right. |
| 18956 | Asserting first-order validity implicitly involves second-order reference to classes [Putnam] |
| Full Idea: The natural understanding of first-order logic is that in writing down first-order schemata we are implicitly asserting their validity, that is, making second-order assertions. ...Thus even quantification theory involves reference to classes. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
| A reaction: If, as a nominalist, you totally rejected classes, presumably you would get by in first-order logic somehow. To say 'there are no classes so there is no logical validity' sounds bonkers. |
| 18962 | Unfashionably, I think logic has an empirical foundation [Putnam] |
| Full Idea: Today, the tendency among philosophers is to assume that in no sense does logic itself have an empirical foundation. I believe this tendency is wrong. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.9) | |
| A reaction: I agree, not on the basis of indispensability to science, but on the basis of psychological processes that lead from experience to logic. Russell and Quine are Putnam's allies here, and Frege is his opponent. Putnam developed a quantum logic. |
| 18961 | We can identify functions with certain sets - or identify sets with certain functions [Putnam] |
| Full Idea: Instead of identifying functions with certain sets, I might have identified sets with certain functions. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.9) |
| 11115 | 'All horses' either picks out the horses, or the things which are horses [Jubien] |
| Full Idea: Two ways to see 'all horses are animals' are as picking out all the horses (so that it is a 'horse-quantifier'), ..or as ranging over lots of things in addition to horses, with 'horses' then restricting the things to those that satisfy 'is a horse'. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: Jubien says this gives you two different metaphysical views, of a world of horses etc., or a world of things which 'are horses'. I vote for the first one, as the second seems to invoke an implausible categorical property ('being a horse'). Cf Idea 11116. |
| 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'. |
| 18959 | Sets larger than the continuum should be studied in an 'if-then' spirit [Putnam] |
| Full Idea: Sets of a very high type or very high cardinality (higher than the continuum, for example) should today be investigated in an 'if-then' spirit. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.7) | |
| A reaction: This attitude goes back to Hilbert, but it fits with Quine's view of what is indispensable for science. It is hard to see a reason for the cut-off, just looking at the logic of expanding sets. |
| 18957 | Nominalism only makes sense if it is materialist [Putnam] |
| Full Idea: Nominalists must at heart be materialists, or so it seems to me: otherwise their scruples are unintelligible. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.5) | |
| A reaction: This is modern nominalism - the rejection of abstract objects. I largely plead guilty to both charges. |
| 11116 | Being a physical object is our most fundamental category [Jubien] |
| Full Idea: Being a physical object (as opposed to being a horse or a statue) really is our most fundamental category for dealing with the external world. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: This raises the interesting question of why any categories should be considered to be more 'fundamental' than others. I can only think that we perceive something to be an object fractionally before we (usually) manage to identify it. |
| 18950 | Physics is full of non-physical entities, such as space-vectors [Putnam] |
| Full Idea: Physics is full of references to such 'non-physical' entities as state-vectors, Hamiltonians, Hilbert space etc. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.2) | |
| A reaction: I take these to be concepts which are 'abstracted' from the physical facts, and so they don't strike me as being much of an ontological problem, or an objection to nominalism (which Putnam takes them to be). |
| 11117 | Haecceities implausibly have no qualities [Jubien] |
| Full Idea: Properties of 'being such and such specific entity' are often called 'haecceities', but this term carries the connotation of non-qualitativeness which I don't favour. | |
| From: Michael Jubien (Analyzing Modality [2007], 2) | |
| A reaction: The way he defines it makes it sound as if it was a category, but I take it to be more like a bare individual essence. If it has not qualities then it has no causal powers, so there could be no evidence for its existence. |
| 11119 | De re necessity is just de dicto necessity about object-essences [Jubien] |
| Full Idea: I suggest that the de re is to be analyzed in terms of the de dicto. ...We have a case of modality de re when (and only when) the appropriate property in the de dicto formulation is an object-essence. | |
| From: Michael Jubien (Analyzing Modality [2007], 5) |
| 11118 | Modal propositions transcend the concrete, but not the actual [Jubien] |
| Full Idea: Where modal propositions may once have seemed to transcend the actual, they now seem only to transcend the concrete. | |
| From: Michael Jubien (Analyzing Modality [2007], 4) | |
| A reaction: This is because Jubien has defended a form of platonism. Personally I take modal propositions to be perceptible in the concrete world, by recognising the processes involved, not the mere static stuff. |
| 11108 | Your properties, not some other world, decide your possibilities [Jubien] |
| Full Idea: The possibility of your having been a playwright has nothing to do with how people are on other planets, whether in our own or in some other realm. It is only to do with you and the relevant property. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: I'm inclined to think that this simple point is conclusive disproof of possible worlds as an explanation of modality (apart from Jubien's other nice points). What we need to understand are modal properties, not other worlds. |
| 11111 | Modal truths are facts about parts of this world, not about remote maximal entities [Jubien] |
| Full Idea: Typical modal truths are just facts about our world, and generally facts about very small parts of it, not facts about some infinitude of complex, maximal entities. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: I think we should embrace this simple fact immediately, and drop all this nonsense about possible worlds, even if they are useful for the semantics of modal logic. |
| 11109 | If other worlds exist, then they are scattered parts of the actual world [Jubien] |
| Full Idea: Any other realms that happened to exist would just be scattered parts of the actual world, not entire worlds at all. It would just happen that physical reality was fragmented in this remarkable but modally inconsequential way. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: This is aimed explicitly at Lewis's modal realism, and strikes me as correct. Jubien's key point here is that they are irrelevant to modality, just as foreign countries are irrelevant to the modality of this one. |
| 11106 | If all possible worlds just happened to include stars, their existence would be necessary [Jubien] |
| Full Idea: If all of the possible worlds happened to include stars, how plausible is it to think that if this is how things really are, then we've just been wrong to regard the existence of stars as contingent? | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11112 | Possible worlds just give parallel contingencies, with no explanation at all of necessity [Jubien] |
| Full Idea: In the world theory, what passes for 'necessity' is just a bunch of parallel 'contingencies'. The theory provides no basis for understanding why these contingencies repeat unremittingly across the board (while others do not). | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11113 | Worlds don't explain necessity; we use necessity to decide on possible worlds [Jubien] |
| Full Idea: The suspicion is that the necessity doesn't arise from how worlds are, but rather that the worlds are taken to be as they are in order to capture the intuitive necessity. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) | |
| A reaction: It has always seemed to me rather glaring that you need a prior notion of 'possible' before you can start to talk about 'possible worlds', but I have always been too timid to disagree with the combination of Saul Kripke and David Lewis. Thank you, Jubien! |
| 11107 | If there are no other possible worlds, do we then exist necessarily? [Jubien] |
| Full Idea: Suppose there happen to be no other concrete realms. Would we happily accept the consequence that we exist necessarily? | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11105 | We have no idea how many 'possible worlds' there might be [Jubien] |
| Full Idea: As soon as we start talking about 'possible world', we beg the question of their relevance to our prior notion of possibility. For all we know, there are just two such realms, or twenty-seven, or uncountably many, or even set-many. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 11110 | We mustn't confuse a similar person with the same person [Jubien] |
| Full Idea: If someone similar to Humphrey won the election, that nicely establishes the possibility of someone's winning who is similar to Humphrey. But we mustn't confuse this possibility with the intuitively different possibility of Humphrey himself winning. | |
| From: Michael Jubien (Analyzing Modality [2007], 1) |
| 14768 | Infallibility in science is just a joke [Peirce] |
| Full Idea: Infallibility in scientific matters seems to me irresistibly comical. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.3) |
| 14765 | Association of ideas is the best philosophical idea of the prescientific age [Peirce] |
| Full Idea: The doctrine of the association of ideas is, to my thinking, the finest piece of philosophical work of the prescientific ages. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |
| 18960 | Most predictions are uninteresting, and are only sought in order to confirm a theory [Putnam] |
| Full Idea: Scientists want successful predictions in order to confirm their theories; they do not want theories in order to obtain the predictions, which are in some cases of not the slightest interest in themselves. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.8) | |
| A reaction: Equally, we might only care about the prediction, and have no interest at all in the theory. Farmers want weather predictions, not a PhD in meteorology. |
| 14766 | Duns Scotus offers perhaps the best logic and metaphysics for modern physical science [Peirce] |
| Full Idea: The works of Duns Scotus have strongly influenced me. …His logic and metaphysics, torn away from its medievalism, …will go far toward supplying the philosophy which is best to harmonize with physical science. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |