3 ideas
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with. | |
From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1 | |
A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory. |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'. | |
From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 | |
A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'. |
3535 | All observable causes are merely epiphenomena [Kim] |
Full Idea: All causal relations involving observable phenomena - all causal relations from daily experience - are cases of epiphenomenal causation. | |
From: Jaegwon Kim (Epiphenomenal and supervenient causation [1984], §2) |