7 ideas
15575 | Knowledge is not a static set of correct propositions, but a continuing search for better interpretations [Polt] |
Full Idea: Thanks to Heidegger, hermeneutics has gained wider acceptance - that knowledge is not a static set of correct propositions, but a continuing search for better interpretations. | |
From: Richard Polt (Heidegger: an introduction [1999], 3.§7) | |
A reaction: I am not sure if I understand the notion of a search that has a refusal to actually find anything as one of its basic principles. |
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) |
15568 | When we consider possibilities, there must be something we are considering [Polt] |
Full Idea: We would hardly want to say that a possibility is nothing, since surely we are considering something when we consider possibilities. | |
From: Richard Polt (Heidegger: an introduction [1999], 1) | |
A reaction: A nice contribution to the issue of whether modality is a feature of actuality. I would prefer to say that we can self-evidently utter truths and falsehoods about what is or is not possible, in nature, in logic, and maybe in metaphysics. |
13858 | The truth-functional account of conditionals is right, if the antecedent is really acceptable [Jackson, by Edgington] |
Full Idea: Jackson defends the truth-functional account by saying that for a conditional to be assertable, it must not only be believed that its truth-conditions are satisfied, but the belief must be robust or resilient with respect to the antecedent. | |
From: report of Frank Jackson (Conditionals and Possibilia [1981]) by Dorothy Edgington - Do Conditionals Have Truth Conditions? 4 | |
A reaction: ..That is, one would not abandon the conditional if one believed the antecedent to be true. |