16 ideas
22138 | Science rests on scholastic metaphysics, not on Hume, Kant or Carnap [Boulter] |
Full Idea: The metaphysical principles that allow the scientist to learn from experience are scholastic, not Humean or Kantian or those of twentieth-century positivism. | |
From: Stephen Boulter (Why Medieval Philosophy Matters [2019], 2) | |
A reaction: Love this. Most modern philosophers of science would be deeply outraged by this, but I reckon that careful and open-minded interviews with scientists would prove it to be correct. We want to know the essential nature of electrons. |
8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
Full Idea: Chihara's programme is to replace talk of sets with talk of open sentences. Instead of speaking of the set of all cats, we talk about the open sentence 'x is a cat'. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
A reaction: As Shapiro points out, this is following up Russell's view that sets should be replaced with talk of properties. Chihara is expressing it more linguistically. I'm in favour of any attempt to get rid of sets. |
10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
Full Idea: Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 |
8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
Full Idea: Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
A reaction: This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy. |
10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro). |
22134 | Thoughts are general, but the world isn't, so how can we think accurately? [Boulter] |
Full Idea: Our thoughts are full of generalities, but the world contains no generalities. So how can our thoughts accurately represent the world? This is the problem of universals. | |
From: Stephen Boulter (Why Medieval Philosophy Matters [2019], 1) | |
A reaction: I so love it when someone comes up with a really clear explanation of a problem, and this is a beauty from Stephen Boulter. Only a really clear explanation can motivate philosophical issues for non-philosophers. |
22150 | Logical possibility needs the concepts of the proposition to be adequate [Boulter] |
Full Idea: One can only be sure that a proposition expresses a genuine logical possibility if one can be sure that one's concepts are adequate to things referred to in the proposition. | |
From: Stephen Boulter (Why Medieval Philosophy Matters [2019], 4) | |
A reaction: Boulter says this is a logical constraint place on logical possibility by the scholastics which tends to be neglected by modern thinkers, who only worry about whether the proposition implies a contradiction. So we now use thought experiments. |
22049 | Transcendental idealism aims to explain objectivity through subjectivity [Bowie] |
Full Idea: The aim of transcendental idealism is to give a basis for objectivity in terms of subjectivity. | |
From: Andrew Bowie (German Philosophy: a very short introduction [2010], 1) | |
A reaction: Hume used subjectivity to undermine the findings of objectivity. There was then no return to naive objectivity. Kant's aim then was to thwart global scepticism. Post-Kantians feared that he had failed. |
22055 | The Idealists saw the same unexplained spontaneity in Kant's judgements and choices [Bowie] |
Full Idea: The Idealist saw in Kant that knowledge, which depends on the spontaneity of judgement, and self-determined spontaneous action, can be seen as sharing the same source, which is not accessible to scientific investigation. | |
From: Andrew Bowie (German Philosophy: a very short introduction [2010]) | |
A reaction: This is the 'spontaneity' of judgements and choices which was seen as the main idea in Kant. It inspired romantic individualism. The judgements are the rule-based application of concepts. |
22054 | German Idealism tried to stop oppositions of appearances/things and receptivity/spontaneity [Bowie] |
Full Idea: A central aim of German Idealism is to overcome Kant's oppositions between appearances and thing in themselves, and between receptivity and spontaneity. | |
From: Andrew Bowie (German Philosophy: a very short introduction [2010], 2) | |
A reaction: I have the impression that there were two strategies: break down the opposition within the self (Fichte), or break down the opposition in the world (Spinozism). |
22056 | Crucial to Idealism is the idea of continuity between receptivity and spontaneous judgement [Bowie] |
Full Idea: A crucial idea for German Idealism (from Hamann) is that apparently passive receptivity and active spontaneity are in fact different degrees of the same 'activity, and the gap between subject and world can be closed. | |
From: Andrew Bowie (German Philosophy: a very short introduction [2010], 3) | |
A reaction: The 'passive' bit seems to be Hume's 'impressions', which are Kant's 'intuitions', which need 'spontaneous' interpretation to become experiences. Critics of Kant said this implied a dualism. |
22139 | Experiments don't just observe; they look to see what interventions change the natural order [Boulter] |
Full Idea: Experiments differ from observational studies in that experiments usually involve intervening in some way in the natural order to see if altering something about that order causes a change in the response of that order. | |
From: Stephen Boulter (Why Medieval Philosophy Matters [2019], 2) | |
A reaction: Not convinced by this. Lots of experiments isolate a natural process, rather than 'intervening'. Chemists constantly purify substances. Particle accelerators pick out things to accelerate. Does 'intervening' in nature even make sense? |
22136 | Science begins with sufficient reason, de-animation, and the importance of nature [Boulter] |
Full Idea: Three assumptions needed for the emergence of science are central to medieval thought: that the natural order is subject to the principle of sufficient reason, that nature is de-animated, and that it is worthy of study. | |
From: Stephen Boulter (Why Medieval Philosophy Matters [2019], 2) | |
A reaction: A very illuminating and convincing observation. Why did Europe produce major science? The answer is likely to be found in Christianity. |
22135 | Our concepts can never fully capture reality, but simplification does not falsify [Boulter] |
Full Idea: While the natural order is richer than our conceptual representations of it, nonetheless our concepts can be adequate to real singulars because simplification is not falsification. | |
From: Stephen Boulter (Why Medieval Philosophy Matters [2019], 1) | |
A reaction: I don't know if 'simplification' is one of the faculties I am trying to identify. I suspect it is a common factor among most of our intellectual faculties. I love 'simplification is not falsification'. Vagueness isn't falsification either. |
22152 | Aristotelians accept the analytic-synthetic distinction [Boulter] |
Full Idea: Aristotle and the scholastics accept the analytic/synthetic distinction, but do not take it to be particularly significant. | |
From: Stephen Boulter (Why Medieval Philosophy Matters [2019], 5) | |
A reaction: I record this because I'm an Aristotelian, and need to know what I'm supposed to think. Luckily, I accept the distinction. |
22156 | The facts about human health are the measure of the values in our lives [Boulter] |
Full Idea: The objective facts relating to human health broadly construed are the facts that measure the moral value of our actions, policies and institutions. | |
From: Stephen Boulter (Why Medieval Philosophy Matters [2019], 6) | |
A reaction: This is the Aristotelian approach to facts and values, which I thoroughly endorse. To say there is nothing instrinsically wrong with being unhealthy is an absurd attitude. |