Combining Philosophers

All the ideas for H.Putnam/P.Oppenheim, Gerhard Gentzen and John Richardson

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


12 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Metaphysics aims at the essence of things, and a system to show how this explains other truths [Richardson]
     Full Idea: The core of metaphysics is an account of the 'essence' or 'being' of things. ...And metaphysics needs system, to show how these primary truths reach out into all the other truths, to help us see that, and how, they are true.
     From: John Richardson (Nietzsche's System [2002], Intro)
     A reaction: I like the phrase 'the essential nature' of things, because it doesn't invoke rather dodgy entities called 'essences', but everyone understands the idea of focusing on what is essential, and on things having a distinct 'nature'.
Metaphysics needs systems, because analysis just obsesses over details [Richardson]
     Full Idea: Metaphysics makes system a virtue, contrary to the tendency of analysis, which breaks a problem into ever finer parts and then absorbs itself in these.
     From: John Richardson (Nietzsche's System [2002], Intro)
     A reaction: I disagree, because it seems to rule out analytic metaphysics. I prefer Bertrand Russell's view. Admittedly analysis oftens gets stuck in the bog, especially if it hopes for salvation in logic, only to discover its certainties endlessly receding.
Metaphysics generalises the data, to get at the ontology [Richardson]
     Full Idea: The evidence lies at the periphery of the [metaphysical] system and runs in from there, through decreasingly specific accounts of the data, to the central ontology.
     From: John Richardson (Nietzsche's System [2002], Intro)
     A reaction: Philosophy is the study of high level generalisations, IMHO. Studying them means studying the reasons for asserting them. Richardson puts it very nicely.
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read]
     Full Idea: Gentzen introduced a natural deduction calculus (NK) in 1934.
     From: report of Gerhard Gentzen (works [1938]) by Stephen Read - Thinking About Logic Ch.8
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna]
     Full Idea: Gentzen argued that the inferential role of a logical constant constitutes its meaning.
     From: report of Gerhard Gentzen (works [1938]) by Robert Hanna - Rationality and Logic 5.3
     A reaction: Possibly inspired by Wittgenstein's theory of meaning as use? This idea was the target of Prior's famous connective 'tonk', which has the role of implying anything you like, proving sentences which are not logical consequences.
The logical connectives are 'defined' by their introduction rules [Gentzen]
     Full Idea: The introduction rules represent, as it were, the 'definitions' of the symbols concerned, and the elimination rules are no more, in the final analysis, than the consequences of these definitions.
     From: Gerhard Gentzen (works [1938]), quoted by Stephen Read - Thinking About Logic Ch.8
     A reaction: If an introduction-rule (or a truth table) were taken as fixed and beyond dispute, then it would have the status of a definition, since there would be nothing else to appeal to. So is there anything else to appeal to here?
Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen]
     Full Idea: To every logical symbol there belongs precisely one inference figure which 'introduces' the symbol ..and one which 'eliminates' it. The introductions represent the 'definitions' of the symbols concerned, and eliminations are consequences of these.
     From: Gerhard Gentzen (works [1938], II.5.13), quoted by Ian Rumfitt - "Yes" and "No" III
     A reaction: [1935 paper] This passage is famous, in laying down the basics of natural deduction systems of logic (ones using only rules, and avoiding axioms). Rumfitt questions whether Gentzen's account gives the sense of the connectives.
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
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave]
     Full Idea: Gentzen proved the consistency of arithmetic from assumptions which transcend arithmetic.
     From: report of Gerhard Gentzen (works [1938]) by Alan Musgrave - Logicism Revisited §5
     A reaction: This does not contradict Gödel's famous result, but reinforces it. The interesting question is what assumptions Gentzen felt he had to make.
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson]
     Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles.
     From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro'
     A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture?
24. Political Theory / A. Basis of a State / 1. A People / a. Human distinctiveness
Humans dominate because, unlike other animals, they have a synthesis of conflicting drives [Richardson]
     Full Idea: In contrast to the other animals, man has cultivated an abundance of contrary drives and impulses within himself: thanks to this synthesis, he is master of the earth.
     From: John Richardson (Nietzsche's System [2002], §966)
     A reaction: If this is true, it presents the fundamental challenge of politicial philosophy - to visual a successful social system for a creature which does not have a clear and focused nature. For Nietzsche, this 'synthesis' continually evolves.
26. Natural Theory / C. Causation / 7. Eliminating causation
A mind that could see cause and effect as a continuum would deny cause and effect [Richardson]
     Full Idea: An intellect that could see cause and effect as a continuum and a flux, and not, as we do, in terms of an arbitrary division and dismemberment, would repudiate the concept of cause and effect.
     From: John Richardson (Nietzsche's System [2002], §112)
     A reaction: Maybe we do see it as a continuum? The racket swings and the ball is propelled, but the contact is a unity, not two separate events.