16 ideas
| 18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |
| Full Idea: Free logics say 1) singular terms are allowed that do not designate anything that exists; sometimes 2) is added: the domain of discourse is allowed to be empty. Logics with both conditions are called 'universally free logics'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.3) | |
| A reaction: I really like the sound of this, and aim to investigate it. Karel Lambert's writings are the starting point. Maybe the domain of logic is our concepts, rather than things in the world, in which case free logic sounds fine. |
| 18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
| Full Idea: Under its now standard principal interpretation, the monadic predicate variables in second-order logic range over subsets of the domain on individuals. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: This is an interpretation in which properties are just sets of things, which is fine if you are a logician, but not if you want to talk about anything important. Still, we must play the game. Boolos introduced plural quantification at this point. |
| 18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |
| Full Idea: Ontological quantifiers might just as well range over all the entities needed for the semantics. ...The minimal way would be to just stop calling '∃' an 'existential quantifier', and always read it as 'there is...' rather than 'there exists...'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: There is no right answer here, but it seems to be the strategy adopted by most logicians, and the majority of modern metaphysicians. They just allow abstracta, and even fictions, to 'exist', while not being fussy what it means. Big mistake! |
| 18769 | Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA] |
| Full Idea: A cursory examination shows that mathematicians have no aversion to saying that this-or-that mathematical entity exists. But is this a different sense of 'existence'? | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: For those of us like me and my pal Quine who say that 'exist' is univocal (i.e. only one meaning), this is a nice challenge. Quine solves it by saying maths concerns sets of objects. I, who don't like sets, am puzzled (so I turn to fictionalism...). |
| 18770 | We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA] |
| Full Idea: There are sensible ways to maike a distinction between different kinds of being. ..One need not fear that this leads to a 'bloated ontology'. ...We need only distinguish 'ontological commitment' from 'existential commitment' | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: He speaks of giving fictional and abstract entities a 'lower score' in existence. I think he means the 'ontological' commitment to be the stronger of the two. |
| 23651 | Universals are not objects of sense and cannot be imagined - but can be conceived [Reid] |
| Full Idea: A universal is not an object of any sense, and therefore cannot be imagined; but it may be distinctly conceived. | |
| From: Thomas Reid (Essays on Intellectual Powers 5: Abstraction [1785], 6) | |
| A reaction: If you try to imagine whiteness, what size is it, and what substance embodies it? Neither are needed to think of whiteness, so Reid is right. A nice observation. |
| 23650 | Only individuals exist [Reid] |
| Full Idea: Everything that really exists is an individual. | |
| From: Thomas Reid (Essays on Intellectual Powers 5: Abstraction [1785], 6) | |
| A reaction: Locke is the probable inspiration for this nominalist affirmation. Not sure how high temperature plasma, or the oceans of the world, fit into this. On the whole I agree with him. He is mainly rejecting abstract universals. |
| 23649 | No one thinks two sheets possess a single whiteness, but all agree they are both white [Reid] |
| Full Idea: If we say that the whiteness of this sheet is the whiteness of another sheet, every man perceives this to be absurd; but when he says both sheets are white, this is true and perfectly understood. | |
| From: Thomas Reid (Essays on Intellectual Powers 5: Abstraction [1785], 3) | |
| A reaction: Well said. Only a philosopher could think the whiteness of one sheet is exactly the same entity as the whiteness of a different sheet. We seem to have brilliantly and correctly labelled them both as white, and then thought that one word implies one thing. |
| 18766 | 's is non-existent' cannot be said if 's' does not designate [Anderson,CA] |
| Full Idea: The paradox of negative existentials says that if 's' does not designate something, then the sentence 's is non-existent' is untrue. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.1) | |
| A reaction: This only seems be a problem for logicians. Everyone else can happily say 'my coffee is non-existent'. |
| 18768 | We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA] |
| Full Idea: Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5) | |
| A reaction: [This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things. |
| 18765 | Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA] |
| Full Idea: The medieval philosophers and then Leibniz were keen on finding 'principles of individuation', and the idea appears again in Frege, to be taken up in some respects by Wittgenstein. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.6) | |
| A reaction: I take a rather empirical approach to this supposed problem, and suggest we break 'individuation' down into its component parts, and then just drop the word. Discussions of principles of individuations strike me as muddled. Wiggins and Lowe today. |
| 11874 | Real identity admits of no degrees [Reid] |
| Full Idea: Wherever identity is real, it admits of no degrees. | |
| From: Thomas Reid (Essays on Intellectual Powers 5: Abstraction [1785]), quoted by David Wiggins - Sameness and Substance Renewed 6 epig | |
| A reaction: Wiggins quotes this with strong approval. Personally I am inclined to think that identity may admit of no degrees in human thought, because that is the only way we can do it, but the world is full of uncertain identities, at every level. |
| 18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA] |
| Full Idea: In the Identity of Indiscernibles, one speaks about properties, and the notion of a property is by no means clearly fixed and formalized in modern symbolic logic. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: The unclarity of 'property' is a bee in my philosophical bonnet, in speech, and in metaphysics, as well as in logic. It may well be the central problem in our attempts to understand the world in general terms. He cites intensional logic as promising. |
| 23652 | We must first conceive things before we can consider them [Reid] |
| Full Idea: No man can consider a thing which he does not conceive. | |
| From: Thomas Reid (Essays on Intellectual Powers 5: Abstraction [1785], 6) | |
| A reaction: This seems to imply concepts, but we should not take this to be linguistic, since animals obviously consider things and make judgements. |
| 23648 | First we notice and name attributes ('abstracting'); then we notice that subjects share them ('generalising') [Reid] |
| Full Idea: First we resolve or analyse a subject into its known attributes, and give a name to each attribute. Then we observe one or more attributes to be common to many subjects. The first philosophers call 'abstraction', and the second is 'generalising'. | |
| From: Thomas Reid (Essays on Intellectual Powers 5: Abstraction [1785], 3) | |
| A reaction: It is very unfashionable in analytic philosophy to view universals in this way, but it strikes me as obviously correct. There are not weird abstract entities awaiting a priori intuition. There are just features of the world to be observed and picked out. |
| 22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |
| Full Idea: Geach puts 'good' in the class of attributive adjectives, such as 'large' and 'small', contrasting such adjectives with 'predicative' adjectives such as 'red'. | |
| From: report of Peter Geach (Good and Evil [1956]) by Philippa Foot - Natural Goodness Intro | |
| A reaction: [In Analysis 17, and 'Theories of Ethics' ed Foot] Thus any object can simply be red, but something can only be large or small 'for a rat' or 'for a car'. Hence nothing is just good, but always a good so-and-so. This is Aristotelian, and Foot loves it. |