Combining Texts

All the ideas for 'The Metaontology of Abstraction', 'First-Order Logic' and 'A Free Will'

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

25 ideas

1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / e. Late classical philosophy
23326 In the third century Stoicism died out, replaced by Platonism, with Aristotelian ethics [Frede,M]
23335 In late antiquity nearly all philosophers were monotheists [Frede,M]
2. Reason / F. Fallacies / 1. Fallacy
12223 It is a fallacy to explain the obscure with the even more obscure [Hale/Wright]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
10282 Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
12230 Singular terms refer if they make certain atomic statements true [Hale/Wright]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10283 A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]
10284 There are three different standard presentations of semantics [Hodges,W]
10285 I |= φ means that the formula φ is true in the interpretation I [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10289 Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W]
10288 Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
5. Theory of Logic / K. Features of Logics / 6. Compactness
10287 If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10286 A 'set' is a mathematically well-behaved class [Hodges,W]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
12225 Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
12224 Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
12226 The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright]
8. Modes of Existence / B. Properties / 3. Types of Properties
12229 Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
18443 A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright]
16. Persons / F. Free Will / 2. Sources of Free Will
23333 The idea of free will achieved universal acceptance because of Christianity [Frede,M]
23337 The Stoics needed free will, to allow human choices in a divinely providential cosmos [Frede,M]
23334 For Christians man has free will by creation in God's image (as in Genesis) [Frede,M]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
12227 Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright]
12228 Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright]
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
12231 Reference needs truth as well as sense [Hale/Wright]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
23336 There is no will for Plato or Aristotle, because actions come directly from perception of what is good [Frede,M]
29. Religion / A. Polytheistic Religion / 4. Dualist Religion
23313 The Gnostic demiurge (creator) is deluded, and doesn't care about us [Frede,M]