Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Investigations into Logical Deduction' and '24: Book of Jeremiah'

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


5 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
     Full Idea: The Axiom of Reducibility is self-effacing: if it is true, the ramification it is meant to cope with was pointless to begin with.
     From: Willard Quine (Introduction to Russell's Theory of Types [1967], p.152), quoted by Penelope Maddy - Naturalism in Mathematics I.1
     A reaction: Maddy says the rejection of Reducibility collapsed the ramified theory of types into the simple theory.
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]
     Full Idea: Gentzen thought that his natural deduction gets at the heart of logical reasoning, and used the sequent calculus only as a convenient tool for proving his chief results.
     From: report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05
24. Political Theory / B. Nature of a State / 1. Purpose of a State
Jeremiah implied a link between weakness and goodness, and the evil of the state [Jeremiah, by Johnson,P]
     Full Idea: Jeremiah was the first to perceive the possibility that powerlessness and goodness were somehow linked; ...he comes close to the notion that the state itself was inherently evil.
     From: report of Jeremiah (24: Book of Jeremiah [c.570 BCE]) by Paul Johnson - The History of the Jews Pt II
     A reaction: This looks like the first seeds of the anarchist idea. You abandon the state for something 'higher'. 'Perceive' rather begs the question of whether he is right. This is the full 'inversion of values' of Nietzsche.
28. God / A. Divine Nature / 3. Divine Perfections
Do I not fill heaven and earth? saith the Lord [Jeremiah]
     Full Idea: Can any hide himself in secret places that I shall not see him? saith the Lord. Do I not fill heaven and earth?
     From: Jeremiah (24: Book of Jeremiah [c.570 BCE], 23:24), quoted by Robin Le Poidevin - Travels in Four Dimensions 03 'Where'
     A reaction: If the Lord is omnipresent, then He must be present in each one of us. But does the Lord interact with each of us?
28. God / C. Attitudes to God / 3. Deism
Am I a God afar off, and not a God close at hand? [Jeremiah]
     Full Idea: Am I a God afar off, and not a God close at hand? Do I not fill heaven and earth?
     From: Jeremiah (24: Book of Jeremiah [c.570 BCE], 23:23), quoted by Clare Carlisle - Kierkegaard: a guide for the perplexed 3
     A reaction: I assume this was often quoted by eighteenth century divines, against the rise of deism.