24 ideas
13737 | The empiricist says that metaphysics is meaningless, rather than false [Schlick] |
Full Idea: The empiricist does not say to the metaphysician 'what you say is false', but 'what you say asserts nothing at all!' He does not contradict him, but says 'I don't understand you'. | |
From: Moritz Schlick (Positivism and Realism [1934], p.107), quoted by Jonathan Schaffer - On What Grounds What 1.1 | |
A reaction: I take metaphysics to be meaningful, but at such a high level of abstraction that it is easy to drift into vague nonsense, and incredibly hard to assess what is meant, and whether it is correct. The truths of metaphysics are not recursive. |
17596 | Coherence problems have positive and negative restraints; solutions maximise constraint satisfaction [Thagard] |
Full Idea: A coherence problem is a set of elements connected by positive and negative restraints, and a solution consists of partitioning the elements into two sets (accepted and rejected) in a way that maximises satisfaction of the constraints. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.42) | |
A reaction: I'm enthusiastic about this, as it begins to clarify the central activity of epistemology, which is the quest for best explanations. |
17597 | Coherence is explanatory, deductive, conceptual, analogical, perceptual, and deliberative [Thagard] |
Full Idea: I propose that there are six main kinds of coherence: explanatory, deductive, conceptual, analogical, perceptual, and deliberative. ...Epistemic coherence is a combination of the first five kinds, and ethics adds the sixth. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.43) | |
A reaction: Wonderful. Someone is getting to grips with the concept of coherence, instead of just whingeing about how vague it is. |
17598 | Explanatory coherence needs symmetry,explanation,analogy,data priority, contradiction,competition,acceptance [Thagard] |
Full Idea: Informally, a theory of explanatory coherence has the principles of symmetry, explanation, analogy, data priority, contradiction, competition and acceptance. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.44) | |
A reaction: [Thagard give a concise summary of his theory here] Again Thagard makes a wonderful contribution in an area where most thinkers are pessimistic about making any progress. His principles are very plausible. |
17602 | Verisimilitude comes from including more phenomena, and revealing what underlies [Thagard] |
Full Idea: A scientific theory is progressively approximating the truth if it increases its explanatory coherence by broadening to more phenomena and deepening by investigating layers of mechanisms. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.46) |
3340 | Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn] |
Full Idea: Von Neumann defines each number as the set of all smaller numbers. | |
From: report of John von Neumann (works [1935]) by Simon Blackburn - Oxford Dictionary of Philosophy p.280 |
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong. | |
From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1 |
3355 | Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA] |
Full Idea: Von Neumann suggested that functions be pressed into service to replace sets. | |
From: report of John von Neumann (works [1935]) by José A. Benardete - Metaphysics: the logical approach Ch.23 |
13489 | Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD] |
Full Idea: Von Neumann's decision was to start with the ordinals and to treat cardinals as a special sort of ordinal. | |
From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by William D. Hart - The Evolution of Logic 3 | |
A reaction: [see Hart 73-74 for an explication of this] |
22716 | Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone] |
Full Idea: At age twenty, Von Neumann devised the formal definition of ordinal numbers that is used today: an ordinal number is the set of all smaller ordinal numbers. | |
From: report of John von Neumann (works [1935]) by William Poundstone - Prisoner's Dilemma 02 'Sturm' | |
A reaction: I take this to be an example of an impredicative definition (not predicating something new), because it uses 'ordinal number' in the definition of ordinal number. I'm guessing the null set gets us started. |
12336 | A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou] |
Full Idea: In Von Neumann's definition an ordinal is a transitive set in which all of the elements are transitive. | |
From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Alain Badiou - Briefings on Existence 11 |
18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy] |
Full Idea: For Von Neumann the successor of n is n U {n} (rather than Zermelo's successor, which is {n}). | |
From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Penelope Maddy - Naturalism in Mathematics I.2 n8 |
18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann] |
Full Idea: Von Neumann's version of the natural numbers is in fact preferred because it carries over directly to the transfinite ordinals. | |
From: comment on John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Penelope Maddy - Naturalism in Mathematics I.2 n9 |
15925 | Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine] |
Full Idea: Each Von Neumann ordinal number is the set of its predecessors. ...He had shown how to introduce ordinal numbers as sets, making it possible to use them without leaving the domain of sets. | |
From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Shaughan Lavine - Understanding the Infinite V.3 |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory. | |
From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2 | |
A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this. |
17601 | Neither a priori rationalism nor sense data empiricism account for scientific knowledge [Thagard] |
Full Idea: Both rationalists (who start with a priori truths and make deductions) and empiricists (starting with indubitable sense data and what follows) would guarantee truth, but neither even begins to account for scientific knowledge. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.46) | |
A reaction: Thagard's answer, and mine, is inference to the best explanation, but goes beyond both the a priori truths and the perceptions. |
17600 | Bayesian inference is forced to rely on approximations [Thagard] |
Full Idea: It is well known that the general problem with Bayesian inference is that it is computationally intractable, so the algorithms used for computing posterior probabilities have to be approximations. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.45) | |
A reaction: Thagard makes this sound devastating, but then concedes that all theories have to rely on approximations, so I haven't quite grasped this idea. He gives references. |
17064 | 1: Coherence is a symmetrical relation between two propositions [Thagard, by Smart] |
Full Idea: 1: Coherence and incoherence are symmetrical between pairs of propositions. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 1) by J.J.C. Smart - Explanation - Opening Address p.04 |
17065 | 2: An explanation must wholly cohere internally, and with the new fact [Thagard, by Smart] |
Full Idea: 2: If a set of propositions explains a further proposition, then each proposition in the set coheres with that proposition, and propositions in the set cohere pairwise with one another. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 2) by J.J.C. Smart - Explanation - Opening Address p.04 |
17066 | 3: If an analogous pair explain another analogous pair, then they all cohere [Thagard, by Smart] |
Full Idea: 3: If two analogous propositions separately explain different ones of a further pair of analogous propositions, then the first pair cohere with one another, and so do the second (explananda) pair. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 3) by J.J.C. Smart - Explanation - Opening Address p.04 |
17067 | 4: For coherence, observation reports have a degree of intrinsic acceptability [Thagard, by Smart] |
Full Idea: 4: Observation reports (for coherence) have a degree of acceptability on their own. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 4) by J.J.C. Smart - Explanation - Opening Address p.04 | |
A reaction: Thagard makes this an axiom, but Smart rejects that and says there is no reason why observation reports should not also be accepted because of their coherence (with our views about our senses etc.). I agree with Smart. |
17068 | 5: Contradictory propositions incohere [Thagard, by Smart] |
Full Idea: 5: Contradictory propositions incohere. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 5) by J.J.C. Smart - Explanation - Opening Address p.04 | |
A reaction: This has to be a minimal axiom for coherence, but coherence is always taken to be more than mere logical consistency. Mutual relevance is the first step. At least there must be no category mistakes. |
17069 | 6: A proposition's acceptability depends on its coherence with a system [Thagard, by Smart] |
Full Idea: 6: Acceptability of a proposition in a system depends on its coherence with the propositions in that system. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 6) by J.J.C. Smart - Explanation - Opening Address p.04 | |
A reaction: Thagard tried to build an AI system for coherent explanations, but I would say he has no chance with these six axioms, because they never grasp the nettle of what 'coherence' means. You first need rules for how things relate. What things are comparable? |
17599 | The best theory has the highest subjective (Bayesian) probability? [Thagard] |
Full Idea: On the Bayesian view, the best theory is the one with the highest subjective probability, given the evidence as calculated by Bayes's theorem. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.45) |