Combining Philosophers

All the ideas for Lynch,MP/Glasgow,JM, Marcus Rossberg and H.A. Prichard

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

23 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
9254 In philosophy the truth can only be reached via the ruins of the false [Prichard]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10751 Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10759 There are at least seven possible systems of semantics for second-order logic [Rossberg]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10753 Logical consequence is intuitively semantic, and captured by model theory [Rossberg]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
10752 Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
10754 In proof-theory, logical form is shown by the logical constants [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10756 A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10758 If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10761 Completeness can always be achieved by cunning model-design [Rossberg]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
10755 A deductive system is only incomplete with respect to a formal semantics [Rossberg]
7. Existence / C. Structure of Existence / 3. Levels of Reality
16062 A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow]
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
16061 If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow]
7. Existence / D. Theories of Reality / 6. Physicalism
16060 Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow]
16064 The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / c. Purpose of ethics
9261 The 'Ethics' is disappointing, because it fails to try to justify our duties [Prichard]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / c. Particularism
9262 The mistake is to think we can prove what can only be seen directly in moral thinking [Prichard]
9256 I see the need to pay a debt in a particular instance, and any instance will do [Prichard]
9257 The complexities of life make it almost impossible to assess morality from a universal viewpoint [Prichard]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / d. Virtue theory critique
9260 Virtues won't generate an obligation, so it isn't a basis for morality [Prichard]
23. Ethics / D. Deontological Ethics / 2. Duty
9259 We feel obligations to overcome our own failings, and these are not relations to other people [Prichard]
9255 Seeing the goodness of an effect creates the duty to produce it, not the desire [Prichard]
23. Ethics / E. Utilitarianism / 1. Utilitarianism
9258 If pain were instrinsically wrong, it would be immoral to inflict it on ourselves [Prichard]