Combining Texts

All the ideas for 'fragments/reports', 'Mental Models' and 'Principles of Theoretical Logic'

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


3 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Even pointing a finger should only be done for a reason [Epictetus]
     Full Idea: Philosophy says it is not right even to stretch out a finger without some reason.
     From: Epictetus (fragments/reports [c.57], 15)
     A reaction: The key point here is that philosophy concerns action, an idea on which Epictetus is very keen. He rather despise theory. This idea perfectly sums up the concept of the wholly rational life (which no rational person would actually want to live!).
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
     Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann.
     From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1
14. Science / B. Scientific Theories / 7. Scientific Models
The models we use in reasoning may be more like perceptions than like language [Johnson-Laird]
     Full Idea: The models that people use to reason are more likely to resemble perception or conception of the events (from a God's-eye view) than a string of symbols directly corresponding to the linguistic form of the premises and then applying rules of inference.
     From: P. Johnson-Laird (Mental Models [1983], p.53), quoted by Georges Rey - Contemporary Philosophy of Mind 10.1.2
     A reaction: My intuition is that imagination is the single most important faculty in any conscious mind, and that even small animals have an inkling of the God's-eye view. Decisions need 'what-if' scenarios.