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.
|
14234
|
If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley]
|
|
Full Idea:
A 'singularist', who refers to objects one at a time, must resort to the language of sets in order to replace plural reference to members ('Henry VIII's wives') by singular reference to a set ('the set of Henry VIII's wives').
|
|
From:
Oliver,A/Smiley,T (What are Sets and What are they For? [2006], Intro)
|
|
A reaction:
A simple and illuminating point about the motivation for plural reference. Null sets and singletons give me the creeps, so I would personally prefer to avoid set theory when dealing with ontology.
|
14237
|
We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley]
|
|
Full Idea:
Plurals earn their keep in set theory, to answer Skolem's remark that 'in order to treat of 'sets', we must begin with 'domains' that are constituted in a certain way'. We can speak in the plural of 'the objects', not a 'domain' of objects.
|
|
From:
Oliver,A/Smiley,T (What are Sets and What are they For? [2006], Intro)
|
|
A reaction:
[Skolem 1922:291 in van Heijenoort] Zermelo has said that the domain cannot be a set, because every set belongs to it.
|
6007
|
If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R]
|
|
Full Idea:
The 'undetected' or 'veiled' paradox of Eubulides says: if you know your father, and don't know the veiled person before you, but that person is your father, you both know and don't know the same person.
|
|
From:
report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School
|
|
A reaction:
Essentially an uninteresting equivocation on two senses of "know", but this paradox comes into its own when we try to give an account of how linguistic reference works. Frege's distinction of sense and reference tried to sort it out (Idea 4976).
|
6008
|
Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R]
|
|
Full Idea:
The 'sorites' paradox of Eubulides says: if you take one grain of sand from a heap (soros), what is left is still a heap; so no matter how many grains of sand you take one by one, the result is always a heap.
|
|
From:
report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School
|
|
A reaction:
(also Cic. Acad. 2.49) This is a very nice paradox, which goes to the heart of our bewilderment when we try to fully understand reality. It homes in on problems of identity, as best exemplified in the Ship of Theseus (Ideas 1212 + 1213).
|
14246
|
If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley]
|
|
Full Idea:
If mathematics was purely concerned with mathematical objects, there would be no room for applied mathematics.
|
|
From:
Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 5.1)
|
|
A reaction:
Love it! Of course, they are using 'objects' in the rather Fregean sense of genuine abstract entities. I don't see why fictionalism shouldn't allow maths to be wholly 'pure', although we have invented fictions which actually have application.
|
14247
|
Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley]
|
|
Full Idea:
Identifying numbers with sets may mean one of three quite different things: 1) the sets represent the numbers, or ii) they are the numbers, or iii) they replace the numbers.
|
|
From:
Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 5.2)
|
|
A reaction:
Option one sounds the most plausible to me. I will take numbers to be patterns embedded in nature, and sets are one way of presenting them in shorthand form, in order to bring out what is repeated.
|