8 ideas
22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
Full Idea: Philosophy is actually homesickness - the urge to be everywhere at home. | |
From: Novalis (General Draft [1799], 45) | |
A reaction: The idea of home [heimat] is powerful in German culture. The point of romanticism was seen as largely concerning restless souls like Byron and his heroes, who do not feel at home. Hence ironic detachment. |
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) |
19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |
Full Idea: An absolute drive toward perfection and completeness is an illness, as soon as it shows itself to be destructive and averse toward the imperfect, the incomplete. | |
From: Novalis (General Draft [1799], 33) | |
A reaction: Deep and true! Novalis seems to be a particularist - hanging on to the fine detail of life, rather than being immersed in the theory. These are the philosophers who also turn to literature. |
7441 | Experiences are defined by their causal role, and causal roles belong to physical states [Lewis] |
Full Idea: The definitive characteristic of any experience is its causal role, its most typical causes and effects; but we materialists believe that these causal roles which belong by analytic necessity to experiences belong in fact to certain physical states. | |
From: David Lewis (An Argument for the Identity Theory [1966], §I) | |
A reaction: This is the Causal version of functionalism, which Armstrong also developed. The word 'typical' leads later to a teleological element in the theory (e.g. in Lycan). There are other things to say about mental states than just their causal role. |
7442 | 'Pain' contingently names the state that occupies the causal role of pain [Lewis] |
Full Idea: On my theory, 'pain' is a contingent name - that is, a name with different denotations in different possible worlds - since in any world, 'pain' names whatever state happens in that world to occupy the causal role definitive of pain. | |
From: David Lewis (An Argument for the Identity Theory [1966], §II n6) | |
A reaction: Better to say that 'pain' (like 'sound') is ambiguous. It is indiscriminately used by English-speakers to mean [1] the raw quale that we experience when damaged, and [2] whatever it is that leads to pain behaviour. Maybe frogs have 2 but not 1. |