Combining Texts

All the ideas for 'works', 'Model Theory for Modal Logic I' and 'On Platonism in Mathematics'

unexpand these ideas     |    start again     |     specify just one area for these texts

6 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
9560 S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
     Full Idea: S5 provides the correct logic for necessity in the broadly logical sense.
     From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics
     A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'.
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10304 Very few things in set theory remain valid in intuitionist mathematics [Bernays]
     Full Idea: Very few things in set theory remain valid in intuitionist mathematics.
     From: Paul Bernays (On Platonism in Mathematics [1934])
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10303 Restricted Platonism is just an ideal projection of a domain of thought [Bernays]
     Full Idea: A restricted Platonism does not claim to be more than, so to speak, an ideal projection of a domain of thought.
     From: Paul Bernays (On Platonism in Mathematics [1934], p.261)
     A reaction: I have always found Platonism to be congenial when it talks of 'ideals', and ridiculous when it talks of a special form of 'existence'. Ideals only 'exist' because we idealise things. I may declare myself, after all, to be a Restricted Platonist.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
10306 Mathematical abstraction just goes in a different direction from logic [Bernays]
     Full Idea: Mathematical abstraction does not have a lesser degree than logical abstraction, but rather another direction.
     From: Paul Bernays (On Platonism in Mathematics [1934], p.268)
     A reaction: His point is that the logicists seem to think that if you increasingly abstract from mathematics, you end up with pure logic.
29. Religion / B. Monotheistic Religion / 4. Christianity / d. Heresy
16713 Philosophers are the forefathers of heretics [Tertullian]
     Full Idea: Philosophers are the forefathers of heretics.
     From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
6610 I believe because it is absurd [Tertullian]
     Full Idea: I believe because it is absurd ('Credo quia absurdum est').
     From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2
     A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though.