Combining Texts

All the ideas for 'works', 'Completeness of Axioms of Logic' and 'Second Philosophy'

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

4 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751 Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
     Full Idea: Gödel proved the completeness of first order predicate logic in his doctoral dissertation of 1930.
     From: report of Kurt Gödel (Completeness of Axioms of Logic [1930]) by Michal Walicki - Introduction to Mathematical Logic History E.2.2
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10594 Henkin semantics is more plausible for plural logic than for second-order logic [Maddy]
     Full Idea: Henkin-style semantics seem to me more plausible for plural logic than for second-order logic.
     From: Penelope Maddy (Second Philosophy [2007], III.8 n1)
     A reaction: Henkin-style semantics are presented by Shapiro as the standard semantics for second-order 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.