14 ideas
10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
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] |
23647 | Objects have an essential constitution, producing its qualities, which we are too ignorant to define [Reid] |
11958 | Impossibilites are easily conceived in mathematics and geometry [Reid, by Molnar] |
3986 | The 'intentional stance' is a way of interpreting an entity by assuming it is rational and self-aware [Dennett] |
3987 | Like the 'centre of gravity', desires and beliefs are abstract concepts with no actual existence [Dennett] |
3984 | The nature of content is entirely based on its functional role [Dennett] |
23646 | Reference is by name, or a term-plus-circumstance, or ostensively, or by description [Reid] |
23645 | A word's meaning is the thing conceived, as fixed by linguistic experts [Reid] |
3983 | Learning is evolution in the brain [Dennett] |
3985 | Biology is a type of engineering, not a search for laws of nature [Dennett] |