Combining Philosophers

All the ideas for Dennis Whitcomb, Gerhard Gentzen and D.H. Mellor

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


15 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
The devil was wise as an angel, and lost no knowledge when he rebelled [Whitcomb]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
We might use 'facta' to refer to the truth-makers for facts [Mellor, by Schaffer,J]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna]
The logical connectives are 'defined' by their introduction rules [Gentzen]
Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave]
8. Modes of Existence / B. Properties / 2. Need for Properties
A property is merely a constituent of laws of nature; temperature is just part of thermodynamics [Mellor]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
There is obviously a possible predicate for every property [Mellor]
8. Modes of Existence / D. Universals / 2. Need for Universals
We need universals for causation and laws of nature; the latter give them their identity [Mellor]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
If properties were just the meanings of predicates, they couldn't give predicates their meaning [Mellor]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Causal statements relate facts (which are whatever true propositions express) [Mellor, by Psillos]
26. Natural Theory / C. Causation / 8. Particular Causation / e. Probabilistic causation
Singular causation requires causes to raise the physical probability of their effects [Mellor]
Probabilistic causation says C is a cause of E if it increases the chances of E occurring [Mellor, by Tooley]