Combining Philosophers

All the ideas for Jesus, Richard L. Kirkham and Feferman / Feferman

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


31 ideas

3. Truth / A. Truth Problems / 5. Truth Bearers
There are at least fourteen candidates for truth-bearers [Kirkham]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
A 'sequence' of objects is an order set of them [Kirkham]
If one sequence satisfies a sentence, they all do [Kirkham]
3. Truth / F. Semantic Truth / 2. Semantic Truth
If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman]
Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman]
Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman]
The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman]
Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
In quantified language the components of complex sentences may not be sentences [Kirkham]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
An open sentence is satisfied if the object possess that property [Kirkham]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman]
Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman]
Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 4. Completeness
If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 7. Decidability
'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman]
Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman]
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
Why can there not be disjunctive, conditional and negative facts? [Kirkham]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
Jesus said learning was unnecessary, and only the spirit of the Law was needed [Jesus, by Johnson,P]
22. Metaethics / B. Value / 2. Values / g. Love
Love your enemies [Jesus]
Love thy neighbour as thyself [Jesus]
23. Ethics / B. Contract Ethics / 2. Golden Rule
Treat others as you would have them treat you [Jesus]
23. Ethics / B. Contract Ethics / 4. Value of Authority
Blessed are the merciful: for they shall obtain mercy [Jesus]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
Except ye become as little children, ye shall not enter heaven [Jesus]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / h. Right feelings
If you lust after a woman, you have committed adultery [Jesus]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Blessed are the meek; for they shall inherit the earth [Jesus]
23. Ethics / C. Virtue Theory / 3. Virtues / c. Justice
Don't resist evil, but turn the other cheek [Jesus]
23. Ethics / C. Virtue Theory / 4. External Goods / c. Wealth
It is almost impossible for the rich to go to heaven [Jesus]
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
No one is good except God [Jesus]
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
Jesus turned the ideas of Hillel into a theology reduced to its moral elements [Jesus, by Johnson,P]