Combining Texts

All the ideas for 'Gentzen's Analysis of First-Order Proofs', 'Conditionals (Stanf)' and 'Treatise of Human Nature, Appendix'

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


28 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / c. Derivation rules of PL
Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
10. Modality / B. Possibility / 6. Probability
A thing works like formal probability if all the options sum to 100% [Edgington]
Conclusion improbability can't exceed summed premise improbability in valid arguments [Edgington]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
Simple indicatives about past, present or future do seem to form a single semantic kind [Edgington]
Maybe forward-looking indicatives are best classed with the subjunctives [Edgington]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
Truth-function problems don't show up in mathematics [Edgington]
Inferring conditionals from disjunctions or negated conjunctions gives support to truth-functionalism [Edgington]
The truth-functional view makes conditionals with unlikely antecedents likely to be true [Edgington]
Doctor:'If patient still alive, change dressing'; Nurse:'Either dead patient, or change dressing'; kills patient! [Edgington]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Non-truth-functionalist say 'If A,B' is false if A is T and B is F, but deny that is always true for TT,FT and FF [Edgington]
I say "If you touch that wire you'll get a shock"; you don't touch it. How can that make the conditional true? [Edgington]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
On the supposition view, believe if A,B to the extent that A&B is nearly as likely as A [Edgington]
10. Modality / B. Possibility / 8. Conditionals / f. Pragmatics of conditionals
Truth-functionalists support some conditionals which we assert, but should not actually believe [Edgington]
Does 'If A,B' say something different in each context, because of the possibiites there? [Edgington]
11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs
Belief is a feeling, independent of the will, which arises from uncontrolled and unknown causes [Hume]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
A proposition cannot be intelligible or consistent, if the perceptions are not so [Hume]
15. Nature of Minds / C. Capacities of Minds / 7. Seeing Resemblance
Hume needs a notion which includes degrees of resemblance [Shoemaker on Hume]
16. Persons / B. Nature of the Self / 5. Self as Associations
Experiences are logically separate, but factually linked by simultaneity or a feeling of continuousness [Ayer on Hume]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
Are self and substance the same? Then how can self remain if substance changes? [Hume]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / c. Inadequacy of mental continuity
Perceptions are distinct, so no connection between them can ever be discovered [Hume]
16. Persons / E. Rejecting the Self / 4. Denial of the Self
We have no impression of the self, and we therefore have no idea of it [Hume]
Does an oyster with one perception have a self? Would lots of perceptions change that? [Hume]
22. Metaethics / B. Value / 2. Values / g. Love
We have no natural love of mankind, other than through various relationships [Hume]
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
Causation is just invariance, as long as it is described in general terms [Quine on Hume]
If impressions, memories and ideas only differ in vivacity, nothing says it is memory, or repetition [Whitehead on Hume]