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. |
17535 | Dispositionality has its own distinctive type of modality [Mumford/Anjum] |
Full Idea: We contend that dispositionality involves a non-alethic, sui generis, irreducible modality. | |
From: S.Mumford/R.Lill Anjum (Dispositional Modality [2011], 1) | |
A reaction: This is a lovely bold proposal, and seems to be supported by Werner Heisenberg, in Idea 17534. |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |
Full Idea: First, Socrates, you told me justice is harming your enemies and helping your friends. But later it seemed that the just man, since everything he does is for someone's benefit, never harms anyone. | |
From: Plato (Clitophon [c.372 BCE], 410b) | |
A reaction: Socrates certainly didn't subscribe to the first view, which is the traditional consensus in Greek culture. In general Socrates agreed with the views later promoted by Jesus. |