Combining Texts

All the ideas for 'A world of truthmakers?', 'Logic [1897]' and 'works'

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


3 ideas

3. Truth / B. Truthmakers / 6. Making Negative Truths
If it were true that nothing at all existed, would that have a truthmaker? [Lewis]
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
Psychological logic can't distinguish justification from causes of a belief [Frege]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines
Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]