Combining Texts

All the ideas for 'Logical Consequence', 'Morality and Art' and 'Understanding and Essence'

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


21 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Models are mathematical structures which interpret the non-logical primitives [Beall/Restall]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
Essential properties are necessary, but necessary properties may not be essential [Vaidya]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / c. Possible but inconceivable
Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya]
11. Knowledge Aims / A. Knowledge / 2. Understanding
Can you possess objective understanding without realising it? [Vaidya]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / b. Gettier problem
Gettier deductive justifications split the justification from the truthmaker [Vaidya]
In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya]
18. Thought / C. Content / 1. Content
Aboutness is always intended, and cannot be accidental [Vaidya]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / b. Defining ethics
Morality shows murder is wrong, but not what counts as a murder [Foot]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / c. Purpose of ethics
A moral system must deal with the dangers and benefits of life [Foot]
22. Metaethics / B. Value / 1. Nature of Value / c. Objective value
Saying something 'just is' right or wrong creates an illusion of fact and objectivity [Foot]
23. Ethics / D. Deontological Ethics / 6. Motivation for Duty
We sometimes just use the word 'should' to impose a rule of conduct on someone [Foot]
25. Social Practice / F. Life Issues / 3. Abortion
In the case of something lacking independence, calling it a human being is a matter of choice [Foot]