Combining Texts

All the ideas for 'A Puzzle about Belief', 'Modal Logics and Philosophy' and 'works'

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

31 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
23027 Ideals and metaphysics are practical, not imaginative or speculative [Green,TH, by Muirhead]
3. Truth / D. Coherence Truth / 1. Coherence Truth
23030 Truth is a relation to a whole of organised knowledge in the collection of rational minds [Green,TH, by Muirhead]
4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
7786 Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle]
7798 There are three axiom schemas for propositional logic [Girle]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL
7799 Proposition logic has definitions for its three operators: or, and, and identical [Girle]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
7797 Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
7794 There are seven modalities in S4, each with its negation [Girle]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
7793 ◊p → □◊p is the hallmark of S5 [Girle]
7795 S5 has just six modalities, and all strings can be reduced to those [Girle]
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
7787 Possible worlds logics use true-in-a-world rather than true [Girle]
7788 Modal logic has four basic modal negation equivalences [Girle]
7796 Modal logics were studied in terms of axioms, but now possible worlds semantics is added [Girle]
5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
7789 Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle]
5. Theory of Logic / H. Proof Systems / 5. Tableau Proof
7790 If an argument is invalid, a truth tree will indicate a counter-example [Girle]
10. Modality / A. Necessity / 3. Types of Necessity
7800 Analytic truths are divided into logically and conceptually necessary [Girle]
10. Modality / B. Possibility / 1. Possibility
7801 Possibilities can be logical, theoretical, physical, economic or human [Girle]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
7792 A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
23044 All knowledge rests on a fundamental unity between the knower and what is known [Green,TH, by Muirhead]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
23034 The ultimate test for truth is the systematic interdependence in nature [Green,TH, by Muirhead]
18. Thought / B. Mechanics of Thought / 5. Mental Files
16383 Puzzled Pierre has two mental files about the same object [Recanati on Kripke]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
23032 What is distinctive of human life is the desire for self-improvement [Green,TH, by Muirhead]
23. Ethics / A. Egoism / 2. Hedonism
23033 Hedonism offers no satisfaction, because what we desire is self-betterment [Green,TH, by Muirhead]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / d. General will
23045 Politics is compromises, which seem supported by a social contract, but express the will of no one [Green,TH]
24. Political Theory / B. Nature of a State / 4. Citizenship
23050 The ideal is a society in which all citizens are ladies and gentlemen [Green,TH]
23052 Enfranchisement is an end in itself; it makes a person moral, and gives a basis for respect [Green,TH]
24. Political Theory / D. Ideologies / 6. Liberalism / a. Liberalism basics
23036 The good is identified by the capacities of its participants [Green,TH, by Muirhead]
24. Political Theory / D. Ideologies / 6. Liberalism / b. Liberal individualism
23039 A true state is only unified and stabilised by acknowledging individuality [Green,TH, by Muirhead]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
23038 People only develop their personality through co-operation with the social whole [Green,TH, by Muirhead]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / a. Final purpose
23040 If something develops, its true nature is embodied in its end [Green,TH]
28. God / A. Divine Nature / 1. God
23031 God is the ideal end of the mature mind's final development [Green,TH]
28. God / C. Attitudes to God / 4. God Reflects Humanity
23041 God is the realisation of the possibilities of each man's self [Green,TH]