6 ideas
| 8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
| Full Idea: Successful explications (giving a precise sense to a term) have been found for the concepts of deduction, probability and computability, to name just three. | |
| From: W Quine / J Ullian (The Web of Belief [1970], 65), quoted by Alex Orenstein - W.V. Quine Ch.3 | |
| A reaction: Quine also cites the concept of an 'ordered pair'. Orenstein adds Tarski's definition of truth, Russell's definite descriptions, and the explication of existence in terms of quantifications. Cf. Idea 2958. |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
| From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
| 14592 | Some abstract things have a beginning and end, so may exist in time (though not space) [Swoyer] |
| Full Idea: Many things that seem to be abstract also seem to have a beginning (and ending) in time, such as a language like Urdu. It may be tempting to say that such things exist in time but not in space, but where exactly? | |
| From: Chris Swoyer (Abstract Entities [2008], 1.1) | |
| A reaction: A few distinctions might be needed. Urdu-speaking is an ability of certain people. We abstract from that their 'language'. There is nothing there apart from that ability. It has no more abstract existence than the 'weather'. |
| 14594 | Ontologists seek existence and identity conditions, and modal and epistemic status for a thing [Swoyer] |
| Full Idea: Four things philosophers often want to know about a given sort of entity are: its existence conditions, its identity conditions, its modal status, and its epistemic status. | |
| From: Chris Swoyer (Abstract Entities [2008], 3) | |
| A reaction: I prefer 'modal profile' to 'modal status'. The 'existence conditions' sound rather epistemic. Why does the existence of anything require 'conditions' other than just existing? I suspect identity is irrelevant if humans aren't around. |
| 14595 | Can properties exemplify other properties? [Swoyer] |
| Full Idea: Can properties themselves exemplify properties? | |
| From: Chris Swoyer (Abstract Entities [2008], 3) | |
| A reaction: Since I espouse a rather strict causal view of true properties, and lump the rest into the category of 'predicates', I am inclined to answer 'no' to this. Most people would disagree. 'Bright red' seems to be an example. But it isn't. |
| 14593 | Quantum field theory suggests that there are, fundamentally, no individual things [Swoyer] |
| Full Idea: Quantum field theory strongly suggests that there are (at the fundamental level) no individual, particular things. | |
| From: Chris Swoyer (Abstract Entities [2008], 2.1) | |
| A reaction: When people introduce quantum theory into ontological discussions I reach for my shotgun, but it does rather look as if things turn to mush at the bottom level. |