47 ideas
20771 | Six parts: dialectic, rhetoric, ethics, politics, physics, theology [Cleanthes, by Diog. Laertius] |
4456 | Epistemological Ockham's Razor demands good reasons, but the ontological version says reality is simple [Moreland] |
13520 | A 'tautology' must include connectives [Wolf,RS] |
13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |
13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS] |
13531 | Model theory reveals the structures of mathematics [Wolf,RS] |
13532 | Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS] |
13533 | First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS] |
13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
13539 | The LST Theorem is a serious limitation of first-order logic [Wolf,RS] |
13538 | If a theory is complete, only a more powerful language can strengthen it [Wolf,RS] |
13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
13530 | An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS] |
13518 | Modern mathematics has unified all of its objects within set theory [Wolf,RS] |
4474 | Existence theories must match experience, possibility, logic and knowledge, and not be self-defeating [Moreland] |
4461 | Tropes are like Hume's 'impressions', conceived as real rather than as ideal [Moreland] |
4462 | A colour-trope cannot be simple (as required), because it is spread in space, and so it is complex [Moreland] |
4463 | In 'four colours were used in the decoration', colours appear to be universals, not tropes [Moreland] |
4451 | If properties are universals, what distinguishes two things which have identical properties? [Moreland] |
4453 | One realism is one-over-many, which may be the model/copy view, which has the Third Man problem [Moreland] |
4464 | Realists see properties as universals, which are single abstract entities which are multiply exemplifiable [Moreland] |
4450 | The traditional problem of universals centres on the "One over Many", which is the unity of natural classes [Moreland] |
4449 | Evidence for universals can be found in language, communication, natural laws, classification and ideals [Moreland] |
4454 | The One-In-Many view says universals have abstract existence, but exist in particulars [Moreland] |
4452 | Maybe universals are real, if properties themselves have properties, and relate to other properties [Moreland] |
4468 | How could 'being even', or 'being a father', or a musical interval, exist naturally in space? [Moreland] |
4467 | A naturalist and realist about universals is forced to say redness can be both moving and stationary [Moreland] |
4469 | There are spatial facts about red particulars, but not about redness itself [Moreland] |
4472 | Redness is independent of red things, can do without them, has its own properties, and has identity [Moreland] |
4459 | Moderate nominalism attempts to embrace the existence of properties while avoiding universals [Moreland] |
4458 | Unlike Class Nominalism, Resemblance Nominalism can distinguish natural from unnatural classes [Moreland] |
4457 | There can be predicates with no property, and there are properties with no predicate [Moreland] |
4471 | We should abandon the concept of a property since (unlike sets) their identity conditions are unclear [Moreland] |
4476 | Most philosophers think that the identity of indiscernibles is false [Moreland] |
4460 | Abstractions are formed by the mind when it concentrates on some, but not all, the features of a thing [Moreland] |
6028 | Bodies interact with other bodies, and cuts cause pain, and shame causes blushing, so the soul is a body [Cleanthes, by Nemesius] |
20831 | The soul suffers when the body hurts, creates redness from shame, and pallor from fear [Cleanthes] |
4455 | It is always open to a philosopher to claim that some entity or other is unanalysable [Moreland] |
4473 | 'Presentism' is the view that only the present moment exists [Moreland] |
5993 | The ascending scale of living creatures requires a perfect being [Cleanthes, by Tieleman] |