Combining Texts

All the ideas for 'fragments/reports', 'Scientific Attitude and Fallibilism' and 'Gentzen's Analysis of First-Order Proofs'

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


12 ideas

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]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Numbers are just names devised for counting [Peirce]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
That two two-eyed people must have four eyes is a statement about numbers, not a fact [Peirce]
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
Reasoning is based on statistical induction, so it can't achieve certainty or precision [Peirce]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / a. Innate knowledge
Innate truths are very uncertain and full of error, so they certainly have exceptions [Peirce]
12. Knowledge Sources / E. Direct Knowledge / 3. Inspiration
A truth is hard for us to understand if it rests on nothing but inspiration [Peirce]
If we decide an idea is inspired, we still can't be sure we have got the idea right [Peirce]
Only reason can establish whether some deliverance of revelation really is inspired [Peirce]
15. Nature of Minds / C. Capacities of Minds / 2. Imagination
Only imagination can connect phenomena together in a rational way [Peirce]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]