30 ideas
| 23269 | Philosophy must start from clearly observed facts [Galen] |
| 23248 | Early empiricists said reason was just a useless concept introduced by philosophers [Galen, by Frede,M] |
| 19115 | You can 'rebut' an argument's conclusion, or 'undercut' its premises [Antonelli] |
| 19119 | We infer that other objects are like some exceptional object, if they share some of its properties [Antonelli] |
| 19111 | Reasoning may be defeated by new premises, or by finding out more about the given ones [Antonelli] |
| 19114 | Should we accept Floating Conclusions, derived from two arguments in conflict? [Antonelli] |
| 19113 | Weakest Link Principle: prefer the argument whose weakest link is the stronger [Antonelli] |
| 19116 | Non-monotonic core: Reflexivity, Cut, Cautious Monotonicity, Left Logical Equivalence, Right Weakening [Antonelli] |
| 19117 | We can rank a formula by the level of surprise if it were to hold [Antonelli] |
| 19118 | People don't actually use classical logic, but may actually use non-monotonic logic [Antonelli] |
| 18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
| 18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
| 18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
| 18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
| 18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
| 18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
| 19110 | In classical logic the relation |= has Monotony built into its definition [Antonelli] |
| 19112 | Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli] |
| 18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
| 23266 | The spirit in the soul wants freedom, power and honour [Galen] |
| 6003 | Galen showed by experiment that the brain controls the body [Galen, by Hankinson] |
| 23219 | Stopping the heart doesn't terminate activity; pressing the brain does that [Galen, by Cobb] |
| 21799 | We just use the word 'faculty' when we don't know the psychological cause [Galen] |
| 23264 | Philosophers think faculties are in substances, and invent a faculty for every activity [Galen] |
| 23220 | The brain contains memory and reason, and is the source of sensation and decision [Galen] |
| 23265 | The rational part of the soul is the desire for truth, understanding and recollection [Galen] |
| 18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
| 7453 | Galen's medicine followed the mean; each illness was balanced by opposite treatment [Galen, by Hacking] |
| 6030 | Each part of the soul has its virtue - pleasure for appetite, success for competition, and rectitude for reason [Galen] |
| 23268 | We execute irredeemable people, to protect ourselves, as a deterrent, and ending a bad life [Galen] |