32 ideas
10702 | Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter] |
Full Idea: Set theory has three roles: as a means of taming the infinite, as a supplier of the subject-matter of mathematics, and as a source of its modes of reasoning. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], Intro 1) | |
A reaction: These all seem to be connected with mathematics, but there is also ontological interest in set theory. Potter emphasises that his second role does not entail a commitment to sets 'being' numbers. |
10713 | Usually the only reason given for accepting the empty set is convenience [Potter] |
Full Idea: It is rare to find any direct reason given for believing that the empty set exists, except for variants of Dedekind's argument from convenience. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 04.3) |
13044 | Infinity: There is at least one limit level [Potter] |
Full Idea: Axiom of Infinity: There is at least one limit level. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 04.9) | |
A reaction: A 'limit ordinal' is one which has successors, but no predecessors. The axiom just says there is at least one infinity. |
10708 | Nowadays we derive our conception of collections from the dependence between them [Potter] |
Full Idea: It is only quite recently that the idea has emerged of deriving our conception of collections from a relation of dependence between them. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 03.2) | |
A reaction: This is the 'iterative' view of sets, which he traces back to Gödel's 'What is Cantor's Continuum Problem?' |
13546 | The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter] |
Full Idea: We group under the heading 'limitation of size' those principles which classify properties as collectivizing or not according to how many objects there are with the property. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 13.5) | |
A reaction: The idea was floated by Cantor, toyed with by Russell (1906), and advocated by von Neumann. The thought is simply that paradoxes start to appear when sets become enormous. |
10707 | Mereology elides the distinction between the cards in a pack and the suits [Potter] |
Full Idea: Mereology tends to elide the distinction between the cards in a pack and the suits. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 02.1) | |
A reaction: The example is a favourite of Frege's. Potter is giving a reason why mathematicians opted for set theory. I'm not clear, though, why a pack cannot have either 4 parts or 52 parts. Parts can 'fall under a concept' (such as 'legs'). I'm puzzled. |
10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
Full Idea: In second-order logic only the formation rules are completely formalizable, not the inference rules. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 01.2) | |
A reaction: He cites Gödel's First Incompleteness theorem for this. |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |
Full Idea: A 'supposition' axiomatic theory is as concerned with truth as a 'realist' one (with undefined terms), but the truths are conditional. Satisfying the axioms is satisfying the theorem. This is if-thenism, or implicationism, or eliminative structuralism. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 01.1) | |
A reaction: Aha! I had failed to make the connection between if-thenism and eliminative structuralism (of which I am rather fond). I think I am an if-thenist (not about all truth, but about provable truth). |
10712 | If set theory didn't found mathematics, it is still needed to count infinite sets [Potter] |
Full Idea: Even if set theory's role as a foundation for mathematics turned out to be wholly illusory, it would earn its keep through the calculus it provides for counting infinite sets. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 03.8) |
17882 | It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter] |
Full Idea: It is a remarkable fact that all the arithmetical properties of the natural numbers can be derived from such a small number of assumptions (as the Peano Axioms). | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 05.2) | |
A reaction: If one were to defend essentialism about arithmetic, this would be grist to their mill. I'm just saying. |
13043 | A relation is a set consisting entirely of ordered pairs [Potter] |
Full Idea: A set is called a 'relation' if every element of it is an ordered pair. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 04.7) | |
A reaction: This is the modern extensional view of relations. For 'to the left of', you just list all the things that are to the left, with the things they are to the left of. But just listing the ordered pairs won't necessarily reveal how they are related. |
13042 | If dependence is well-founded, with no infinite backward chains, this implies substances [Potter] |
Full Idea: The argument that the relation of dependence is well-founded ...is a version of the classical arguments for substance. ..Any conceptual scheme which genuinely represents a world cannot contain infinite backward chains of meaning. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 03.3) | |
A reaction: Thus the iterative conception of set may imply a notion of substance, and Barwise's radical attempt to ditch the Axiom of Foundation (Idea 13039) was a radical attempt to get rid of 'substances'. Potter cites Wittgenstein as a fan of substances here. |
13041 | Collections have fixed members, but fusions can be carved in innumerable ways [Potter] |
Full Idea: A collection has a determinate number of members, whereas a fusion may be carved up into parts in various equally valid (although perhaps not equally interesting) ways. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 02.1) | |
A reaction: This seems to sum up both the attraction and the weakness of mereology. If you doubt the natural identity of so-called 'objects', then maybe classical mereology is the way to go. |
10709 | Priority is a modality, arising from collections and members [Potter] |
Full Idea: We must conclude that priority is a modality distinct from that of time or necessity, a modality arising in some way out of the manner in which a collection is constituted from its members. | |
From: Michael Potter (Set Theory and Its Philosophy [2004], 03.3) | |
A reaction: He is referring to the 'iterative' view of sets, and cites Aristotle 'Metaphysics' 1019a1-4 as background. |
12184 | Logical necessity overrules all other necessities [McFetridge] |
Full Idea: If it is logically necessary that if p then q, then there is no other sense of 'necessary' in which it is not necessary that if p then q. | |
From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
A reaction: The thesis which McFetridge proposes to defend. The obvious rival would be metaphysical necessity, and the rival claim would presumably be that things are only logically necessary if that is entailed by a metaphysical necessity. Metaphysics drives logic. |
15083 | The fundamental case of logical necessity is the valid conclusion of an inference [McFetridge, by Hale] |
Full Idea: McFetridge's conception of logical necessity is one which sees the concept as receiving its fundamental exemplification in the connection between the premiss and conclusion of a deductively valid inference. | |
From: report of Ian McFetridge (Logical Necessity: Some Issues [1986]) by Bob Hale - Absolute Necessities 2 | |
A reaction: This would mean that p could be logically necessary but false (if it was a valid argument from false premisses). What if it was a valid inference in a dodgy logical system (including 'tonk', for example)? |
15084 | In the McFetridge view, logical necessity means a consequent must be true if the antecedent is [McFetridge, by Hale] |
Full Idea: McFetridge's view proves that if the conditional corresponding to a valid inference is logically necessary, then there is no sense in which it is possible that its antecedent be true but its consequent false. ..This result generalises to any statement. | |
From: report of Ian McFetridge (Logical Necessity: Some Issues [1986]) by Bob Hale - Absolute Necessities 2 | |
A reaction: I am becoming puzzled by Hale's assertion that logical necessity is 'absolute', while resting his case on a conditional. Are we interested in the necessity of the inference, or the necessity of the consequent? |
12180 | Logical necessity requires that a valid argument be necessary [McFetridge] |
Full Idea: There will be a legitimate notion of 'logical' necessity only if there is a notion of necessity which attaches to the claim, concerning a deductively valid argument, that if the premisses are true then so is the conclusion. | |
From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
A reaction: He quotes Aristotle's Idea 11148 in support. Is this resting a stronger idea on a weaker one? Or is it the wrong way round? We endorse validity because we see the necessity; we don't endorse necessity because we see 'validity'. |
12181 | Traditionally, logical necessity is the strongest, and entails any other necessities [McFetridge] |
Full Idea: The traditional crucial assumption is that logical necessity is the strongest notion of necessity. If it is logically necessary that p, then it is necessary that p in any other use of the notion of necessity there may be (physically, practically etc.). | |
From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
A reaction: Sounds right. We might say it is physically necessary simply because it is logically necessary, and even that it is metaphysically necessary because it is logically necessary (required by logic). Logical possibility is hence the weakest kind? |
12183 | It is only logical necessity if there is absolutely no sense in which it could be false [McFetridge] |
Full Idea: Is there any sense in which, despite an ascription of necessity to p, it is held that not-p is possible? If there is, then the original claim then it was necessary is not a claim of 'logical' necessity (which is the strongest necessity). | |
From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
A reaction: See Idea 12181, which leads up to this proposed "test" for logical necessity. McFetridge has already put epistemic ('for all I know') possibility to one side. □p→¬◊¬p is the standard reading of necessity. His word 'sense' bears the burden. |
12192 | The mark of logical necessity is deduction from any suppositions whatever [McFetridge] |
Full Idea: The manifestation of the belief that a mode of inference is logically necessarily truth-preserving is the preparedness to employ that mode of inference in reasoning from any set of suppositions whatsoever. | |
From: Ian McFetridge (Logical Necessity: Some Issues [1986], §4) | |
A reaction: He rests this on the idea of 'cotenability' of the two sides of a counterfactual (in Mill, Goodman and Lewis). There seems, at first blush, to be a problem of the relevance of the presuppositions. |
12182 | We assert epistemic possibility without commitment to logical possibility [McFetridge] |
Full Idea: Time- and person-relative epistemic possibility can be asserted even when logical possibility cannot, such as undecided mathematical propositions. 'It may be that p' just comes to 'For all I know, not-p'. | |
From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
A reaction: If it is possible 'for all I know', then it could be actual for all I know, and if we accept that it might be actual, we could hardly deny that it is logically possible. Logical and epistemic possibilities of mathematical p stand or fall together. |
12187 | Objectual modal realists believe in possible worlds; non-objectual ones rest it on the actual world [McFetridge] |
Full Idea: The 'objectual modal realist' holds that what makes modal beliefs true are certain modal objects, typically 'possible worlds'. ..The 'non-objectual modal realist' says modal judgements are made true by how things stand with respect to this world. | |
From: Ian McFetridge (Logical Necessity: Some Issues [1986], §2) | |
A reaction: I am an enthusiastic 'non-objectual modal realist'. I accept the argument that real possible worlds have no relevance to the actual world, and explain nothing (see Jubien). The possibilities reside in the 'powers' of this world. See Molnar on powers. |
12186 | Modal realists hold that necessities and possibilities are part of the totality of facts [McFetridge] |
Full Idea: The 'modal realist' holds that part of the totality of what is the case, the totality of facts, are such things as that certain events could have happened, certain propositions are necessarily true, if this happened then that would have been the case. | |
From: Ian McFetridge (Logical Necessity: Some Issues [1986], §2) | |
A reaction: I am an enthusiastic modal realist. If the aim of philosophy is 'to understand' (and I take that to be the master idea of the subject) then no understanding is possible which excludes the possibilities and necessities in things. |
7357 | People who control others with fluent language often end up being hated [Kongzi (Confucius)] |
Full Idea: Of what use is eloquence? He who engages in fluency of words to control men often finds himself hated by them. | |
From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], V.5) | |
A reaction: I don't recall Socrates making this very good point to any of the sophists (such as Gorgias). The idea that if you battle or connive your way to dominance over others then you are successful is false. Life is a much longer game than that. |
7358 | All men prefer outward appearance to true excellence [Kongzi (Confucius)] |
Full Idea: I have yet to meet a man as fond of excellence as he is of outward appearances. | |
From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], IX.18) | |
A reaction: Interestingly, this cynical view of the love of virtue is put by Plato into the mouths of Glaucon and Adeimantus (in Bk II of 'Republic', e.g. Idea 12), and not into the mouth of Socrates, who goes on to defend the possibility of true virtue. |
7362 | Humans are similar, but social conventions drive us apart (sages and idiots being the exceptions) [Kongzi (Confucius)] |
Full Idea: In our natures we approximate one another; habits put us further and further apart. The only ones who do not change are sages and idiots. | |
From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XVII.2) | |
A reaction: I find most of Confucius rather uninteresting, but this is a splendid remark about the influence of social conventions on human nature. Sages can achieve universal morality if they rise above social convention, and seek the true virtues of human nature. |
7360 | Do not do to others what you would not desire yourself [Kongzi (Confucius)] |
Full Idea: Do not do to others what you would not desire yourself. Then you will have no enemies, either in the state or in your home. | |
From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XII.2) | |
A reaction: The Golden Rule, but note the second sentence. Logically, it leads to the absurdity of not giving someone an Elvis record for Christmas because you yourself don't like Elvis. Kant (Idea 3733) and Nietzsche (Idea 4560) offer good criticisms. |
7359 | Excess and deficiency are equally at fault [Kongzi (Confucius)] |
Full Idea: Excess and deficiency are equally at fault. | |
From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XI.16) | |
A reaction: This is the sort of wisdom we admire in Aristotle (and in any sensible person), but it may also be the deepest motto of conservatism, and it is a long way from romantic philosophy, and the clarion call of Nietzsche to greater excitement in life. |
7363 | The virtues of the best people are humility, maganimity, sincerity, diligence, and graciousness [Kongzi (Confucius)] |
Full Idea: He who in this world can practise five things may indeed be considered Man-at-his-best: humility, maganimity, sincerity, diligence, and graciousness. | |
From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XVII.5) | |
A reaction: A very nice list. Who could resist working with a colleague who had such virtues? Who could go wrong if they married a person who had them? I can't think of anything important that is missing. |
7361 | Men of the highest calibre avoid political life completely [Kongzi (Confucius)] |
Full Idea: Men of the highest calibre avoid political life completely. | |
From: Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE], XIV.37) | |
A reaction: Plato notes that such people tend to avoid political life (and a left sheltering, as if from a wild storm!), but he thinks they should be dragged into the political arena for the common good. Confucius seems to approve of the avoidance. Plato is right. |
23393 | Confucianism assumes that all good developments have happened, and there is only one Way [Norden on Kongzi (Confucius)] |
Full Idea: The two major limitations of Confucianism are that it assumes that all worthwhile cultural, social and ethical innovation has already occurred, and that it does not recognise the plurality of worthwhile ways of life. | |
From: comment on Kongzi (Confucius) (The Analects (Lunyu) [c.511 BCE]) by Bryan van Norden - Intro to Classical Chinese Philosophy 3.III | |
A reaction: In modern liberal terms that is about as conservative as it is possible to get. We think of it as the state of mind of an old person who can only long for the way things were when they were young. But 'hold fast to that which is good'! |