20 ideas
20955 | Art can make reason more all-inclusive, by articulating what seemed inexpressible [Bowie] |
Full Idea: The early German Romantics argued that art pointed to a more all-inclusive conception of reason, which can offer ways of articulating what is not conceptually accessible. | |
From: Andrew Bowie (Introduction to German Philosophy [2003], 5 'Reason') | |
A reaction: [This is Novalis, F.Schlegel, Schleiermacher, and Hölderlin] I'm in favour of expanding reason, to include assessment of situations and coherence, rather than just stepwise reasoning. Not sure that art 'articulates' something new. |
17325 | Truth-maker theory can't cope with non-causal dependence [Liggins] |
Full Idea: My charge is that truth-maker theory cannot be integrated into an attractive general account of non-causal dependence. | |
From: David Liggins (Truth-makers and dependence [2012], 10.6) | |
A reaction: [You'll have to read Liggins to see why] |
17318 | Truthmakers for existence is fine; otherwise maybe restrict it to synthetic truths? [Liggins] |
Full Idea: Many philosophers agree that true existential propositions have a truth-maker, but some go further, claiming that every true proposition has a truth-maker. More cautious theorists specify a class of truths, such as synthetic propositions. | |
From: David Liggins (Truth-makers and dependence [2012], 10.1) | |
A reaction: [compressed; Armstrong is the ambitious one, and Rodriguez-Pereyra proposes the synthetic propositions] Presumably synthetic propositions can make negative assertions, which are problematic for truth-makers. |
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
Full Idea: One feature of the Axiom of Choice that troubled many mathematicians was the so-called Banach-Tarski paradox: using the Axiom, a sphere can be decomposed into finitely many parts and those parts reassembled into two spheres the same size as the original. | |
From: Penelope Maddy (Defending the Axioms [2011], 1.3) | |
A reaction: (The key is that the parts are non-measurable). To an outsider it is puzzling that the Axiom has been universally accepted, even though it produces such a result. Someone can explain that, I'm sure. |
17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
Full Idea: If-thenism denies that mathematics is in the business of discovering truths about abstracta. ...[their opponents] obviously don't regard any starting point, even a consistent one, as equally worthy of investigation. | |
From: Penelope Maddy (Defending the Axioms [2011], 3.3) | |
A reaction: I have some sympathy with if-thenism, in that you can obviously study the implications of any 'if' you like, but deep down I agree with the critics. |
17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
Full Idea: At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers. | |
From: Penelope Maddy (Defending the Axioms [2011], 1.3) |
17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
Full Idea: The fact that two apparently fruitful mathematical themes turn out to coincide makes it all the more likely that they're tracking a genuine strain of mathematical depth. | |
From: Penelope Maddy (Defending the Axioms [2011], 5.3ii) |
17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
Full Idea: One form of the Continuum Hypothesis is the claim that every infinite set of reals is either countable or of the same size as the full set of reals. | |
From: Penelope Maddy (Defending the Axioms [2011], 2.4 n40) |
17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
Full Idea: Our set-theoretic methods track the underlying contours of mathematical depth. ...What sets are, most fundamentally, is markers for these contours ...they are maximally effective trackers of certain trains of mathematical fruitfulness. | |
From: Penelope Maddy (Defending the Axioms [2011], 3.4) | |
A reaction: This seems to make it more like a map of mathematics than the actual essence of mathematics. |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
Full Idea: Ordinary perceptual cognition is most likely involved in our grasp of elementary arithmetic, but ...this connection to the physical world has long since been idealized away in the infinitary structures of contemporary pure mathematics. | |
From: Penelope Maddy (Defending the Axioms [2011], 2.3) | |
A reaction: Despite this, Maddy's quest is for a 'naturalistic' account of mathematics. She ends up defending 'objectivity' (and invoking Tyler Burge), rather than even modest realism. You can't 'idealise away' the counting of objects. I blame Cantor. |
17320 | Either p is true or not-p is true, so something is true, so something exists [Liggins] |
Full Idea: Either p or not-p. If p, then the proposition 'p' is true. If not p, then the proposition 'not p' is true. Either way, something is true. Thus something exists. | |
From: David Liggins (Truth-makers and dependence [2012], 10.3 n5) | |
A reaction: Liggins offers this dodgy argument as an objection to conceptual truths having truth-makers. |
17326 | The dependence of {Socrates} on Socrates involves a set and a philosopher, not facts [Liggins] |
Full Idea: The dependence of {Socrates} on Socrates appears to involve a set and a philosopher, neither of which is a fact. | |
From: David Liggins (Truth-makers and dependence [2012], 10.6) | |
A reaction: He points out that defenders of facts as the basis of dependence could find a suitable factual paraphrase here. Socrates is just Socrates, but the singleton has to be understood in a particular way to generate the dependence. |
17327 | Non-causal dependence is at present only dimly understood [Liggins] |
Full Idea: Non-causal dependence is at present only dimly understood. | |
From: David Liggins (Truth-makers and dependence [2012], 10.8) | |
A reaction: Not very helpful, you may be thinking, but it is always helpful to know where we have got to in the enquiry. |
17322 | Necessities supervene on everything, but don't depend on everything [Liggins] |
Full Idea: Necessities supervene upon everything, but they do not depend on everything. | |
From: David Liggins (Truth-makers and dependence [2012], 10.4) | |
A reaction: I'm not sure if merely existing together counts as sufficiently close to be 'supervenience'. If 2+2 necessitates 4, that hardly seems to 'supervene' on the Eiffel Tower. If so, how close must things be to qualify for supervenience? |
20950 | German Idealism says our thinking and nature have the same rational structure [Bowie] |
Full Idea: German Idealism aims to demonstrate that our thinking relates to a nature which is intelligibly structured in the same way as our thinking is structured. | |
From: Andrew Bowie (Introduction to German Philosophy [2003], 3 'Limits') | |
A reaction: Now that's an idealism I might buy into. Frege thought his logic was mapping rational reality. My angle is that we are a product of this 'reality', so we should expect our thinking to be similarly structured. Reason is derived from nature. |
17324 | 'Because' can signal an inference rather than an explanation [Liggins] |
Full Idea: 'Because' can signal an inference rather than an explanation. | |
From: David Liggins (Truth-makers and dependence [2012], 10.5) | |
A reaction: Aristotle starts from words like 'why?', but it can be a deceptive approach to explanation. |
17321 | Value, constitution and realisation are non-causal dependences that explain [Liggins] |
Full Idea: 'It is wrong because it produces pain for fun', and 'these constitute a table because they are arranged tablewise', and 'tea is poisonous because it contains arsenic' are clearly non-causal uses of 'because', and neither are they conceptual. | |
From: David Liggins (Truth-makers and dependence [2012], 10.4) | |
A reaction: The general line seems to be that any form of determination will underwrite an explanation. He talks later of the 'wrongmaker' and 'poisonmaker' relationships to add to the 'truthmaker'. The table example is the 'object-maker' dependence relation. |
17323 | If explanations track dependence, then 'determinative' explanations seem to exist [Liggins] |
Full Idea: If explanation often tracks dependence, then we have a theoretical reason to expect such explanations to exist. Let us call such explanations 'determinative'. | |
From: David Liggins (Truth-makers and dependence [2012], 10.4) | |
A reaction: There seems to be an emerging understanding that this 'determination' relation is central to all of explanation - with causal explanations, for example, being a particular instance of it. I like it. These are real, not conventional, explanations. |
20942 | Nazis think race predetermines the self [Bowie] |
Full Idea: The Nazi idea is that the self is predetermined primarily by its race. | |
From: Andrew Bowie (Introduction to German Philosophy [2003], Intro) | |
A reaction: I suspect that I occasionally encounter this view, in very patriotic people. But then you meet people who feeling that their self is mainly determined by support of a football team. Note, though, 'pre-'determined. Hegel makes this idea possible? |
20946 | Rhetoric is built into language, so it cannot be stripped from philosophy [Bowie] |
Full Idea: The attempt to rid philosophy of rhetoric falls prey precisely to that fact that what is involved in rhetoric is inherent in what is built into all natural languages by their genesis in the real historical world. | |
From: Andrew Bowie (Introduction to German Philosophy [2003], 2 'Hamann') | |
A reaction: Rhetoric can range from charming to bullying, and it is the latter which is the problem. The underlying issue is dogma versus dialectic. Some analytic philosophers have a good shot at being non-rhetorical. |