50 ideas
9967 | 'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien] |
Full Idea: Any set with a concrete member is 'impure'. 'Pure' sets are those that are not impure, and are paradigm cases of abstract entities, such as the sort of sets apparently dealt with in Zermelo-Fraenkel (ZF) set theory. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.116) | |
A reaction: [I am unclear whether Jubien is introducing this distinction] This seems crucial in accounts of mathematics. On the one had arithmetic can be built from Millian pebbles, giving impure sets, while logicists build it from pure sets. |
9968 | A model is 'fundamental' if it contains only concrete entities [Jubien] |
Full Idea: A first-order model can be viewed as a kind of ordered set, and if the domain of the model contains only concrete entities then it is a 'fundamental' model. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.117) | |
A reaction: An important idea. Fundamental models are where the world of logic connects with the physical world. Any account of relationship between fundamental models and more abstract ones tells us how thought links to world. |
9965 | There couldn't just be one number, such as 17 [Jubien] |
Full Idea: It makes no sense to suppose there might be just one natural number, say seventeen. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.113) | |
A reaction: Hm. Not convinced. If numbers are essentially patterns, we might only have the number 'twelve', because we had built our religion around anything which exhibited that form (in any of its various arrangements). Nice point, though. |
9966 | The subject-matter of (pure) mathematics is abstract structure [Jubien] |
Full Idea: The subject-matter of (pure) mathematics is abstract structure per se. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.115) | |
A reaction: This is the Structuralist idea beginning to take shape after Benacerraf's launching of it. Note that Jubien gets there by his rejection of platonism, whereas some structuralist have given a platonist interpretation of structure. |
9964 | Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien] |
Full Idea: The essential properties of mathematical entities seem to be relational, ...so we make no progress unless we can pick out some mathematical entities wihout presupposing other entities already picked out. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.112) | |
A reaction: [compressed] Jubien is a good critic of platonism. He has identified the problem with Frege's metaphor of a 'borehole', where we discover delightful new properties of numbers simply by reaching them. |
9963 | If we all intuited mathematical objects, platonism would be agreed [Jubien] |
Full Idea: If the intuition of mathematical objects were general, there would be no real debate over platonism. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
A reaction: It is particularly perplexing when Gödel says that his perception of them is just like sight or smell, since I have no such perception. How do you individuate very large numbers, or irrational numbers, apart from writing down numerals? |
9962 | How can pure abstract entities give models to serve as interpretations? [Jubien] |
Full Idea: I am unable to see how the mere existence of pure abstract entities enables us to concoct appropriate models to serve as interpretations. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
A reaction: Nice question. It is always assumed that once we have platonic realm, that everything else follows. Even if we are able to grasp the objects, despite their causal inertness, we still have to discern innumerable relations between them. |
16588 | I prefer a lack of form to mean non-existence, than to think of some quasi-existence [Augustine] |
Full Idea: I sooner judged that what lacks all form does not exist, than thought of as something in between form and nothing, neither formed nor nothing, unformed and next to nothing. | |
From: Augustine (Confessions [c.398], XII.6), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 03.1 | |
A reaction: Scholastics were struck by the contrast between this remark, and the remark of Averroes (Idea 16587) that prime matter was halfway existence. Their two great authorities disagreed! This sort of thing stimulated the revival of metaphysics. |
22979 | Three main questions seem to be whether a thing is, what it is, and what sort it is [Augustine] |
Full Idea: I am told that I can ask three sorts of questions - whether a thing is, what it is, and what sort it is. | |
From: Augustine (Confessions [c.398], X.10) | |
A reaction: This seems to be a very Aristotelian approach. I am pleased to see that what it is and what sort it is are not conflated. The first one must be its individual essence, and the second its generic essence. |
9969 | The empty set is the purest abstract object [Jubien] |
Full Idea: The empty set is the pure abstract object par excellence. | |
From: Michael Jubien (Ontology and Mathematical Truth [1977], p.118 n8) | |
A reaction: So a really good PhD on the empty set could crack the whole nature of reality. Get to work, whoever you are! |
22744 | Parts are not parts if their whole is nothing more than the parts [Sext.Empiricus] |
Full Idea: If the whole is nothing more than the sum of the parts, the parts will not be parts. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.343) | |
A reaction: Nice. Bricks lying on the ground are not parts of a wall. For them to be parts of a wall there has to be a wall which is not just the bricks. Nihilists like Van Inwagen can deny the wall in ontology, but in thought we need walls. Conceptual dependence. |
22748 | Some say motion is perceived by sense, but others say it is by intellect [Sext.Empiricus] |
Full Idea: Some assert that motion is perceived by sense, but others that it is not perceived at all by sense but by the intellect through sensation. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], II.062) | |
A reaction: Descartes' wax argument defends the idea that change is perceived by intellect. The intellect has to distinguish the relative aspect of each motion, such as when someone is walking around on a moving ship. Even sense also need memory. |
22981 | Mind and memory are the same, as shown in 'bear it in mind' or 'it slipped from mind' [Augustine] |
Full Idea: The mind and the memory are one and the same. We even call the memory the mind, for when we tell a person to remember something, we tell them to 'bear this in mind', and when we forget something 'it slipped out of my mind'. | |
From: Augustine (Confessions [c.398], X.14) | |
A reaction: This idea has become familiar in modern neuroscience, I think, presumably because we do not find distinct types of neurons for consciousness and for memory. |
22980 | Memory contains innumerable principles of maths, as well as past sense experiences [Augustine] |
Full Idea: The memory contains the innumerable principles and laws of numbers and dimensions. None of these can have been conveyed to me by the bodily senses. | |
From: Augustine (Confessions [c.398], X.12) | |
A reaction: Even if you have a fairly empirical view of the sources of mathematics (a view with which I sympathise), it must by admitted that our endless extrapolations from the sources also reside in memory. So we remember thoughts as well as experiences. |
22983 | We would avoid remembering sorrow or fear if that triggered the emotions afresh [Augustine] |
Full Idea: If we had to experience sorrow or fear every time that we mentioned these emotions, no one would be willing to speak of them. | |
From: Augustine (Confessions [c.398], X.14) | |
A reaction: Remembering the death of a loved one can trigger fresh grief, but remembering their dangerous illness from which they recovered no longer contains the feeling of fear. |
22977 | I can distinguish different smells even when I am not experiencing them [Augustine] |
Full Idea: I can distinguish the scent of lilies from that of violets, even though there is no scent at all in my nostrils. | |
From: Augustine (Confessions [c.398], X.08) | |
A reaction: Augustine has a nice introspective account of how we experience memory, and identifies lots of puzzling features. I know I can identify the smell of vinegar, but I can't bring it to mind, the way I can the appearance of roses. |
22982 | Why does joy in my mind make me happy, but joy in my memory doesn't? [Augustine] |
Full Idea: How can it be that my mind can be happy because of the joy that is in it, and yet my memory is not sad by reason of the sadness that is in it? | |
From: Augustine (Confessions [c.398], X.14) | |
A reaction: This seems to contradict his thought in Idea 22981, that memory and mind are the same. Recall seems to be a part of consciousness which is not fully wired up to the rest of the mind. |
22978 | Memory is so vast that I cannot recognise it as part of my mind [Augustine] |
Full Idea: The memory is a vast immeasurable sanctuary. It is part of my nature, but I cannot understand all that I am. Hence the mind is too narrow to contain itself entirely. Is the other part outside of itself, and not within it? How then can it be a part? | |
From: Augustine (Confessions [c.398], X.08) | |
A reaction: He seems to understand the mind as entirely consisting of consciousness. Nevertheless, this seems to be the first inklings of the modern externalist view of the mind. |
22746 | If we try to conceive of a line with no breadth, it ceases to exist, and so has no length [Sext.Empiricus] |
Full Idea: When we have gone so far as to deprive the length of its breadth altogether, we no longer conceive even the length, but along with the removal of the breadth the conception of the length is also removed. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.392) | |
A reaction: The only explanation of our retaining an understanding of a line even after we have removed its breadth is that we have abandoned experience and conceptualised the line - by idealising it. |
22984 | Without memory I could not even speak of myself [Augustine] |
Full Idea: I do not understand the power of memory that is in myself, although without it I could not even speak of myself. | |
From: Augustine (Confessions [c.398], X.16) | |
A reaction: Even if the self is not identical with memory, this idea seems to establish that memory is an essential aspect of the self. This point is neglected by those who see the self as an entity (the 'soul pearl') which persists through all experience. |
5982 | If the future does not exist, how can prophets see it? [Augustine] |
Full Idea: How do prophets see the future, if there is not a future to be seen? | |
From: Augustine (Confessions [c.398], XI.17) | |
A reaction: The answer, I suspect, is that prophets can't see the future. The prospect that the future already exists would seem to saboutage human freedom and responsibility, and point to Calvinist predestination, and even fatalism. |
22741 | The incorporeal is not in the nature of body, and so could not emerge from it [Sext.Empiricus] |
Full Idea: The incorporeal will never come into existence from body because the nature of the incorporeal does not exist in body. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.225) | |
A reaction: So nothing high could be made of pebbles because pebbles are not high? His argument depends on incorporeality having an intrinsically incorporeal nature. Pebbles have some height which can be extended. |
22976 | Memories are preserved separately, according to category [Augustine] |
Full Idea: In memory everything is preserved separately, according to its category. | |
From: Augustine (Confessions [c.398], X.08) | |
A reaction: This strikes me as the first seeds of the idea that the mind functions by means of mental files. Our memories of cats are 'close to' or 'linked to' our memories of dogs. |
22985 | Everyone wants happiness [Augustine] |
Full Idea: Surely happiness is what everyone wants, so much so that there can be none who do not want it? | |
From: Augustine (Confessions [c.398], X.20) | |
A reaction: His concept of happiness is, of course, religious. Occasionally you meet habitual grumblers about life who give the impression that they are only happy when they are discontented. So happiness is achieving desires, not feeling good? |
22747 | A man walking backwards on a forwards-moving ship is moving in a fixed place [Sext.Empiricus] |
Full Idea: If a ship moves forward and a man carries a rod backwards on it, then it is possible for an object to move without quitting its place. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], II.056) | |
A reaction: [summary of a verbose paragraph] The point is that you cannot define movement as change of place (contrary to Russell's proposal!). The concept of a place seems to be relative. Walking on a treadmill. |
5984 | Maybe time is an extension of the mind [Augustine] |
Full Idea: I begin to wonder whether time is an extension of the mind itself. | |
From: Augustine (Confessions [c.398], XI.26) | |
A reaction: The observation that the mind creates a 'specious present' (spreading experience out over a short fraction of second) reinforces this. Personally I like David Marshall's proposal that consciousness is entirely memory, which would deny this idea. |
22888 | To be aware of time it can only exist in the mind, as memory or anticipation [Augustine, by Bardon] |
Full Idea: Augustine answers that for us to be aware of time it must exist only in the mind, …and the difference between past and future is just the difference between memory and anticipation. | |
From: report of Augustine (Confessions [c.398]) by Adrian Bardon - Brief History of the Philosophy of Time 1 'Augustine's' | |
A reaction: This is an extreme idealist view. Are we to say that the past consists only of what can be remembered, and the future only of what is anticipated? Absurd anti-realism, in my view. Where do his concepts come from, asks Le Poidevin. |
5980 | How can ten days ahead be a short time, if it doesn't exist? [Augustine] |
Full Idea: A short time ago or a short time ahead we might put at ten days, but how can anything which does not exist be either long or short? | |
From: Augustine (Confessions [c.398], XI.15) | |
A reaction: A nice question, which gets at the paradoxical nature of time very nicely. How can it be long, but non-existent? We could break the paradox by concluding '..and therefore time does exist', even though we can't see how. |
5979 | If the past is no longer, and the future is not yet, how can they exist? [Augustine] |
Full Idea: Of the three divisions of time, how can two, the past and the future, be, when the past no longer is, and the future is not yet? | |
From: Augustine (Confessions [c.398], XI.14) | |
A reaction: This is the oldest bewilderment about time, which naturally leads us to the thought that time cannot actually 'exist'. The remark implies that at least 'now' is safe, but that also succumbs to paradox pretty quickly. |
5981 | The whole of the current year is not present, so how can it exist? [Augustine] |
Full Idea: We cannot say that the whole of the current year is present, and if the whole of it is not present, the year is not present. | |
From: Augustine (Confessions [c.398], XI.15) | |
A reaction: Another nice way of presenting the paradox of time. We are in a particular year, so it has to be real. |
5978 | I know what time is, until someone asks me to explain it [Augustine] |
Full Idea: I know well enough what time is, provided that nobody asks me; but if I am asked what it is and try to explain, I am baffled. | |
From: Augustine (Confessions [c.398], XI.14) | |
A reaction: A justly famous remark, even though it adds nothing to our knowledge of time. This sort of thought pushes us towards accepting many things as axiomatic, such as time, space, identity, persons, mind. |
22749 | Time doesn't end with the Universe, because tensed statements about destruction remain true [Sext.Empiricus] |
Full Idea: It is absurd to say that when the Universe is destroyed time does not exist; for the statement that it was destroyed once and that it is being destroyed are indicative of times. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], II.188) | |
A reaction: Intriguing. He takes it that a proposition can be true even though nothing exists. This is not merely an affirmation of the tensed A-series view of time, but he even offers tenses as evidence that the A-series is correct. That time could cease was a view. |
5983 | I disagree with the idea that time is nothing but cosmic movement [Augustine] |
Full Idea: I once heard a learned man say that time is nothing but the movement of the sun and the moon and the stars, but I do not agree. | |
From: Augustine (Confessions [c.398], XI.22) | |
A reaction: It is tempting to say that you either take time or movement as axiomatic, and describe one in terms of the other, but you are stuck unable to give the initial statement of the axiom without mentioning the second property you were saving for later. |
22750 | Time is divisible, into past, present and future [Sext.Empiricus] |
Full Idea: Time cannot be indivisible, since it is divided into past, present and future. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], II.193) | |
A reaction: Does the fact that you can name the parts of something prove that it is divisible? Do electrons have left and right-hand sides? |
22742 | Socrates either dies when he exists (before his death) or when he doesn't (after his death) [Sext.Empiricus] |
Full Idea: Socrates either dies when existing, or when not existing. …He does not die when he exists, for he is alive, and he does not die when he has died, for then he will be dying twice, which is absurd. So then, Socrates does not die. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.269) | |
A reaction: A nice dramatisation of a major dilemma. The present moment is just the boundary between the past and the future, and so has no magnitude, and hence nothing can occur during the present. Perhaps my favourite philosophical dilemma. |
22751 | If the present is just the limit of the past or the future, it can't exist because they don't exist [Sext.Empiricus] |
Full Idea: If the present is the limit of the past, and the limit of the past has passed away together with that of which it is the limit, the present no longer exists. And if the present begins the future, which doesn't exist, the present does not yet exist. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], II.201) | |
A reaction: If I mark a line on the ground where the wall will begin, the limit seems prior to the object. The gun starts the race, but is not part of it. That said, I cannot think of any more mysterious entity than the present moment. It isn't a line or a bang. |
5977 | Heaven and earth must be created, because they are subject to change [Augustine] |
Full Idea: The fact that heaven and earth are there proclaims that they were created, for they are subject to change and variation; ..the meaning of change and variation is that something is there which was not there before. | |
From: Augustine (Confessions [c.398], XI.04) | |
A reaction: It seems possible that the underlying matter is eternal (as in various conservation laws, such as that of energy), and that all change is in the form rather than the substance. |
22730 | All men agree that God is blessed, imperishable, happy and good [Sext.Empiricus] |
Full Idea: All men have one common preconception about God, according to which he is a blessed creature and imperishable and perfect in happiness and receptive of nothing evil. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.033) | |
A reaction: He observes this after he has pointed the enormous variety of religious beliefs. He offers this unanimity as a reason to believe that it is true. |
22739 | God must suffer to understand suffering [Sext.Empiricus] |
Full Idea: God cannot have a notion of suffering if he has not experience it. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.163) | |
A reaction: Christians like to portray God as suffering because of his son's horrible death. We can imagine experiences we have never had, and presumably God is better at that than we are. |
22738 | The Divine must lack the virtues of continence and fortitude, because they are not needed [Sext.Empiricus] |
Full Idea: If the Divine is all-virtuous, it possesses all the virtues. But it does not possess the virtues of continence and fortitude unless there are certain things which are hard for God to abstain from and hard to endure. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.151) | |
A reaction: Courage would also be unnecessary, we assume. Good people are not tempted to steal, and hence do not need to resist it. It is a mistake to attribute human virtues to the Divine. Humans lack the virtues of a good frog. |
22887 | If God existed before creation, why would a perfect being desire to change things? [Augustine, by Bardon] |
Full Idea: If nothing existed by God before creation, then what could have happened to, or within, God that led God to decide to create the universe at that particular moment? Why would an eternal or perfect being want or need to change? | |
From: report of Augustine (Confessions [c.398]) by Adrian Bardon - Brief History of the Philosophy of Time 1 'Augustine's' | |
A reaction: I suppose you could reply that change is superior to stasis, but then why did God delay the creation? |
5976 | If God is outside time in eternity, can He hear prayers? [Augustine] |
Full Idea: O Lord, since you are outside time in eternity, are you unaware of the things that I tell you? | |
From: Augustine (Confessions [c.398], XI.01) | |
A reaction: This strikes me as the single most difficult and most elusive question about the nature of a supreme divine being. If the being is trapped in time, as we are, it is greatly diminished, and if it is outside, it is hard to see how it could be a participant. |
22734 | God is defended by agreement, order, absurdity of denying God, and refutations [Sext.Empiricus] |
Full Idea: Arguments for God have four modes: from universal agreement, from the orderly arrangement of the universe, from the absurd consequences of denying God, and from undermining the opposing arguments. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.060) | |
A reaction: [compressed] The loss of status of the argument from universal agreement has had a huge influence. We now realise that a very wide consensus is no guarantee of truth in anything. |
22736 | God's sensations imply change, and hence perishing, which is absurd, so there is no such God [Sext.Empiricus] |
Full Idea: If God has sensation he is altered, …so he is receptive of change, including change for the worse. If so, he is also perishable, but that is absurd; therefore it is absurd also to claim that God exists. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.146) | |
A reaction: [compressed] It is certainly paradoxical to think that God is eternal and unchanging, but also capable of perception and thought, which necessitate change. Some theological ingenuity is needed to explain this. |
22740 | God without virtue is absurd, but God's virtues will be better than God [Sext.Empiricus] |
Full Idea: If the Divine exists it either has or has not virtue. If it has not it is base and unhappy, which is absurd. But if it has it, there will exist something which is better than God, just as a virtue of a horse is better than the horse itself. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.176) | |
A reaction: It is obviously better to think of a virtue as some mode of a thing, rather than as a separate attachment. This is an ontological argument, because it is inferred from the concept of God. |
22735 | The original substance lacked motion or shape, and was given these by a cause [Sext.Empiricus] |
Full Idea: They say that the substance of existing things being of itself motionless and shapeless must be put in motion and shape by some cause. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.075) | |
A reaction: Interestingly, Sextus doesn't seem to think that the existence of the original substance also needs a cause. This substance sounds like a relative of Aristotle's Prime Matter. The source of motion isn't really a 'design' argument. |
22732 | The perfections of God were extrapolations from mankind [Sext.Empiricus] |
Full Idea: It is said that …the idea that God is eternal and imperishable and perfect in happiness was introduced by way of transference from mankind. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.045) | |
A reaction: This view is found in Hume, and in Feuerbach. I presume 'transference' means extrapolation and idealisation. If God exists, we may have no option but to think of God anthropomorphically. |
22728 | Gods were invented as watchers of people's secret actions [Sext.Empiricus] |
Full Idea: It is asserted that those who first led mankind …invented gods as watchers of all the sinful and righteous acts of men, so that none should dare to do wrong even in secret. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.016) | |
A reaction: Sextus is a sceptic about everything, so this scepticism about the gods is nothing special. I'm not sure if this is why the gods were invented, but it seems to be the main role assigned to God by the Christian church, as the basis of religious morality. |
22737 | An incorporeal God could do nothing, and a bodily god would perish, so there is no God [Sext.Empiricus] |
Full Idea: The Divine is not incorporeal, since that is inanimate and insensitive and incapable of any action; nor is it a body, since that is subject to change and perishable; so the Divine does not exist. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.151) | |
A reaction: I find this quite persuasive. An incorporeal God has to be ascribed magical powers in order to interact with what is corporeal. A corporeal God is subject to entropy and all the depredations of the physical world. |
22731 | It is mad to think that what is useful to us, like lakes and rivers, are gods [Sext.Empiricus] |
Full Idea: To suppose that lakes and rivers, and whatsoever else is of a nature to be useful to us, are gods surpasses the height of lunacy. | |
From: Sextus Empiricus (Against the Physicists (two books) [c.180], I.040) | |
A reaction: He also points out the what is useful to us decays and changes. Sextus lived in a time when monotheism was becoming dominant. |