10 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) |
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) |
14590 | If we accept scattered objects such as archipelagos, why not think of cars that way? [Hawthorne] |
Full Idea: In being willing to countenance archipelagos, one embraces scattered objects. Why not then embrace the 'archipelago' of my car and the Eiffel Tower? | |
From: John Hawthorne (Three-Dimensionalism v Four-Dimensionalism [2008], 2.1) | |
A reaction: This is a beautifully simple and striking point. Language is full of embracing terms like 'the furniture', but that doesn't mean we assume the furniture is unified. The archipelago is less of an 'object' if you live on one of the islands. |
14591 | Four-dimensionalists say instantaneous objects are more fundamental than long-lived ones [Hawthorne] |
Full Idea: Self-proclaimed four-dimensionalists typically adopt a picture that reckons instantaneous objects (and facts about them) to be more fundamental than long-lived ones. | |
From: John Hawthorne (Three-Dimensionalism v Four-Dimensionalism [2008], 2.2) | |
A reaction: A nice elucidation. As in Idea 14588, this seems motivated by a desire for some sort of foundationalism or atomism. Why shouldn't a metaphysic treat the middle-sized or temporally extended as foundational, and derive the rest that way? |
14589 | A modal can reverse meaning if the context is seen differently, so maybe context is all? [Hawthorne] |
Full Idea: One person says 'He can't dig a hole; he hasn't got a spade', and another says 'He can dig a hole; just give him a spade', and both uses of the modal 'can' will be true. So some philosophers say that all modal predications are thus context-dependent. | |
From: John Hawthorne (Three-Dimensionalism v Four-Dimensionalism [2008], 1.2) | |
A reaction: Quine is the guru for this view of modality. Hawthorne's example seems to me to rely too much on the linguistic feature of contrasting 'can' and 'can't'. The underlying assertion in the propositions says something real about the possibilities. |
8840 | There are five possible responses to the problem of infinite regress in justification [Cleve] |
Full Idea: Sceptics respond to the regress problem by denying knowledge; Foundationalists accept justifications without reasons; Positists say reasons terminate is mere posits; Coherentists say mutual support is justification; Infinitists accept the regress. | |
From: James Van Cleve (Why coherence is not enough [2005], I) | |
A reaction: A nice map of the territory. The doubts of Scepticism are not strong enough for anyone to embrace the view; Foundationalist destroy knowledge (?), as do Positists; Infinitism is a version of Coherentism - which is the winner. |
8841 | Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve] |
Full Idea: Contemporary foundationalists are seldom of the strong Cartesian variety: they do not insist that basic beliefs be absolutely certain. They also tend to allow that coherence can enhance justification. | |
From: James Van Cleve (Why coherence is not enough [2005], III) | |
A reaction: It strikes me that they have got onto a slippery slope. How certain are the basic beliefs? How do you evaluate their certainty? Could incoherence in their implications undermine them? Skyscrapers need perfect foundations. |
14588 | Modern metaphysicians tend to think space-time points are more fundamental than space-time regions [Hawthorne] |
Full Idea: Nowadays it is common for metaphysicians to hold both that space-time regions are less fundamental than the space-time points that compose them, and that facts about the regions are less fundamental than facts about the points and their arrangements. | |
From: John Hawthorne (Three-Dimensionalism v Four-Dimensionalism [2008], 1) | |
A reaction: I'm not quite sure what a physicist would make of this. It seems to be motivated by some a priori preference for atomism, and for system-building from minimal foundations. |