Combining Texts

All the ideas for '', 'Modal Logic within Counterfactual Logic' and 'Nietzsche's System'

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


15 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.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
In S5 matters of possibility and necessity are non-contingent [Williamson]
     Full Idea: In system S5 matters of possibility and necessity are always non-contingent.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 3)
     A reaction: This will be because if something is possible in one world (because it can be seen to be true in some possible world) it will be possible for all worlds (since they can all see that world in S5).
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt]
     Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation.
     From: Ian Rumfitt ("Yes" and "No" [2000], II)
     A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt]
     Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table.
     From: Ian Rumfitt ("Yes" and "No" [2000])
     A reaction: This is the standard view which Rumfitt sets out to challenge.
The sense of a connective comes from primitively obvious rules of inference [Rumfitt]
     Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious.
     From: Ian Rumfitt ("Yes" and "No" [2000], III)
     A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value.
10. Modality / A. Necessity / 1. Types of Modality
Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson]
     Full Idea: Modal thinking is logically equivalent to a type of counterfactual thinking. ...The necessary is that which is counterfactually implied by its own negation; the possible is that which does not counterfactually imply its own negation.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1)
     A reaction: I really like this, because it builds modality on ordinary imaginative thinking. He says you just need to grasp counterfactuals, and also negation and absurdity, and you can then understand necessity and possibility. We can all do that.
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson]
     Full Idea: The strict conditional implies the counterfactual conditional: □(A⊃B) ⊃ (A□→B) - suppose that A would not have held without B holding too; then if A had held, B would also have held.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1)
     A reaction: [He then adds a reading of his formula in terms of possible worlds] This sounds rather close to modus ponens. If A implies B, and A is actually the case, what have you got? B!
10. Modality / B. Possibility / 9. Counterfactuals
Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson]
     Full Idea: The counterfactual conditional transmits possibility: (A□→B) ⊃ (◊A⊃◊B). Suppose that if A had held, B would also have held; the if it is possible for A to hold, it is also possible for B to hold.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1)
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A]
     Full Idea: Instead of regarding counterfactuals as conditionals restricted to a range of possible worlds, we can define the necessity operator by means of counterfactuals. Metaphysical necessity is a special case of ordinary counterfactual thinking.
     From: report of Timothy Williamson (Modal Logic within Counterfactual Logic [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2
     A reaction: [compressed] I very much like Williamson's approach, of basing these things on the ordinary way that ordinary people think. To me it is a welcome inclusion of psychology into metaphysics, which has been out in the cold since Frege.
15. Nature of Minds / C. Capacities of Minds / 2. Imagination
Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson]
     Full Idea: Imagination can be made to look cognitively worthless. Once we recall its fallible but vital role in evaluating counterfactual conditionals, we should be more open to the idea that it plays such a role in evaluating claims of possibility and necessity.
     From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 6)
     A reaction: I take this to be a really important idea, because it establishes the importance of imagination within the formal framework of modern analytic philosopher (rather than in the whimsy of poets and dreamers).
19. Language / F. Communication / 3. Denial
We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt]
     Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A.
     From: Ian Rumfitt ("Yes" and "No" [2000], IV)
     A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role).
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.