14 ideas
22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |