11 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
Full Idea: Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection. | |
From: Leon Horsten (Philosophy of Mathematics [2007], §2.4) |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
Full Idea: If a theory has, up to isomorphism, exactly one model, then it is said to be 'categorical'. | |
From: Leon Horsten (Philosophy of Mathematics [2007], §5.2) |
17435 | Objects do not naturally form countable units [Koslicki] |
Full Idea: Objects do not by themselves naturally fall into countable units. | |
From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
A reaction: Hm. This seems to be modern Fregean orthodoxy. Why did the institution of counting ever get started if the things in the world didn't demand counting? Even birds are aware of the number of eggs in their nest (because they miss a stolen one). |
17433 | We can still count squares, even if they overlap [Koslicki] |
Full Idea: The fact that there is overlap does not seem to inhibit our ability to count squares. | |
From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
A reaction: She has a diagram of three squares overlapping slightly at their corners. Contrary to Frege, these seems to depend on a subliminal concept of the square that doesn't depend on language. |
17439 | There is no deep reason why we count carrots but not asparagus [Koslicki] |
Full Idea: Why do speakers of English count carrots but not asparagus? There is no 'deep' reason. | |
From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997]) | |
A reaction: Koslick is offering this to defend the Fregean conceptual view of counting, but what seems to matter is what is countable, and not whether we happen to count it. You don't need to know what carrots are to count them. Cooks count asparagus. |
17434 | We struggle to count branches and waves because our concepts lack clear boundaries [Koslicki] |
Full Idea: The reason we have a hard time counting the branches and the waves is because our concepts 'branches on the tree' and 'waves on the ocean' do not determine sufficiently precise boundaries: the concepts do not draw a clear invisible line around each thing. | |
From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
A reaction: This is the 'isolation' referred to in Frege. |
10885 | Computer proofs don't provide explanations [Horsten] |
Full Idea: Mathematicians are uncomfortable with computerised proofs because a 'good' proof should do more than convince us that a certain statement is true. It should also explain why the statement in question holds. | |
From: Leon Horsten (Philosophy of Mathematics [2007], §5.3) |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
Full Idea: The notion of an ordinal number is a set-theoretic, and hence non-arithmetical, concept. | |
From: Leon Horsten (Philosophy of Mathematics [2007], §2.3) |
17436 | We talk of snow as what stays the same, when it is a heap or drift or expanse [Koslicki] |
Full Idea: Talk of snow concerns what stays the same when some snow changes, as it might be, from a heap of snow to a drift, to an expanse. | |
From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
A reaction: The whiteness also stays the same, but isn't stuff. |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
Full Idea: Archelaus was the first person to say that the universe is boundless. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |