Wednesday, 2 September 2015

One Paradoxical Case of Material Implication?


In a material implication which includes p and q, if p is true, then q must be true. Statement p implies both q and q’s truth.

What happens, then, if p is false? If p is false, then q may be false. Does that mean that q is only true if p is also true? Can’t p be false and q true (even though if p were true, it would also imply q and its truth)? We can accept that if p were true, then it must be the case that q is true. Need it follow that if p were false, that q need also to be false? Or, alternatively, p may well be false and still imply q. In that case, q could be either true or false.

It's said that if p is false “it will imply the truth of any proposition we care to mention” [Passmore,1956].

What does that mean?

Does it simply mean that if p were false, then it wouldn’t matter what it entailed or implied? If p were false, perhaps it couldn't imply anything. Something that's false (or something that's not the case) surely can’t imply anything. What would be doing the implying if p is false (or if p isn’t the case)?

Of course we could use any statement as a possible implicative proposition (or placeholder); though it wouldn't thereby be a genuine case of implication. It would simply be a case of shoving one symbol or statement on the end of another. Where does the paradox come in?

Take this example from John Passmore.

The clause “If the Devil were elected in the United States” can't imply that the “spiritual welfare of the nation would be improved” because the consequent is about the future and the first clause is part of a conditional. How can conditionals imply anything when they're not in fact the case? We can of course say that a conditional statement would imply something if it were the case. Thus even if the Devil were elected, how would that imply the better welfare of the nation? That consequent is itself conditional. That means that if the nation’s spiritual well being were improved, then it must have been the case that the Devil had been elected.

Conditionals aren't conditionals if both their antecedent and consequent are conditionals. It may happen that if the Devil were elected then there would be improved spirituality; though the actual election wouldn't imply what c/would follow. There's no genuine implication here.

Implications must follow; even when based on conditional antecedents. Thus even if the Devil were elected, this wouldn't imply improved spirituality. It may indeed follow that such a thing would happen; though if such a thing did happen it wouldn't have an implication-relation to the Devil’s election. That may follow; though it wouldn't be implied. Such a consequence would or could happen simply because it won't be the case that the Devil is elected. And if that’s the case, then anything can follow a situation that doesn't or couldn't happen.

Reference

Passmore, John. (1957/1966) A Hundred Years of Philosophy (page 140).

Tuesday, 1 September 2015

Conditionals and Future Contingents




Conditionals must be, by their very nature, unsound. They're unsound because they are non-deductive. They express what could be the case, not what is the case. What could be the case isn't what is the case.

Sometimes conditionals are about what will be the case or what is necessarily the case. These conditionals can rely on a certain amount of sound and deductive reasoning. Though even what will be the case isn't the case now. And many sound and deductive systems wouldn't concern themselves with what will be the case in the future. That wouldn't be the domain of deductive logic; even if the future could, as it were, be deductively inferred.

Future Contingents

Many philosophers say that “future contingents” can't be either true or false. Thus this would create a problem for deductive logics.

What about conditionals which tell us what will necessarily be the case now or what is necessarily the case now? Even these cases would be about the future, strictly speaking.

That is, if I say,

“If I drop this stone it will necessarily fall to the ground.”

the falling stone (hitting the ground) is still in the future when the statement is actually made. Thus it's still a future contingent. The future it concerns itself with is just the very near future.

Conditionals don’t deal with what is the case now and what has already been the case. These kinds of necessities aren't the concern of conditionals. You can't, for example, say:

It's necessarily the case now [i.e., 2006] that if in 1912 someone had dropped a stone it would have necessarily fallen to the ground.”

We can say that it was necessarily the case; though that wouldn’t be a conditional at all (not even on the surface).

Similarly if someone says the following:

If someone had added 2 + 2 in 1912, then he would necessarily have got 4.”

That appears to be some kind of conditional in that it uses the argument-form “if…then...”. However, it's only an appearance. How could a particular past mathematical addition be verified? Perhaps certain adders were poor adders. Thus not every act of addition would have come out correctly. Of course we could add the qualification:

If someone had added 2 + 2 correctly…”

Though that isn't an if-then scenario at all: it's a statement that 2 + 2 necessarily equals 4. The truth of the arithmetical addition doesn't depend on any conditions. And conditionals are, of course, about (possible/hypothetical) conditions.

Take this present-moment statement:

When someone adds 2 + 2 correctly now, he will necessarily get 4.”

This too is about the near future; though still the future. In addition, not all additions can be verified. However, if we're again talking about the necessary truth that 2 + 2 = 4, then this has nothing to do with conditions, as such.


Acceptable Unsound Reasoning


 

Despite the problems with unsound reasoning, most of us (or everyone!) who use such reasoning will still require that our unsound inferences be reliable to some unspecified degree. There'd be no point otherwise.

Zero reliability would make unsound reasoning useless. Alternatively, 100% reliability is impossible. Thus the reliability ratio may be, at times, somewhere in the middle.

This reliability of unsound inferences is sometimes expressed in terms of the reliability of predictions; the explanatory power of its conclusions; whether or not it relies on false, true or unknown assumptions; and what the precise status of the observations utilised are. (E.g., are they good, bad, clear or unclear?)

What also matters with unsound reasonings is the power and utility of the conclusions derived from them. Do unsound inferences and conclusions help us in any way? Are they practical? And so on.

No prediction is foolproof. Who knows what the future may bring? Even predictions about future necessities are philosophically problematic to many philosophers.

Of course inductive reasoning must rely on observations; though that doesn’t stop the inductivist asking questions about the nature and status of his or other people’s observations. How were they experienced? Can we trust those who had them? Was the observational equipment working correctly at the time? Is the observer biased? What assumptions did the observer bring to his observations? What previous observations were required in order to make sense of the observations we're now commenting upon? Were they genuine observations at all? And so on.

There's another way of saying that certain correct/valid forms of reasoning don't lead us to truths. This doesn’t entirely matter because they're still valid/correct (if not sound).

If we observe ten white swans, it's largely correct to infer that swans are white. However, the statement “All swans are white” is still unsound. That is, it's possible that there may be black swans. In addition, the means used to come to that conclusion didn't depend on deductive inferences and the premises might included  past observations; not axiomatic truths or deductively-derived premises.

What other kinds of unsound reasoning are there?

The inductive form is simply one of generalisation. This is something that's of vital importance not just to science and philosophy, but to everyday life as well.

One observes a finite numbers of objects or events, and from that finite (or limited) amount one generalises about what will probably be the case with all other unobserved objects or events. Without such generalisations, we'd need to wait until we'd observed every example (or sample) of the thing in question. This would be impossible to do (in most cases) in a finite amount of time.

Of course mistakes are made when we generalise, as every scientist knows. However, it's still impossible to do without generalisations, both within philosophy and without. Even those philosophers who claim never to generalise do so. In fact that very claim is a generalisation and it's also false.

There are dangers which result from generalising, not just in philosophy.

For example, “All blacks are criminals”, “No blacks are criminals”, “Hegel is a generaliser” and so on. However, never generalising would also be very problematic. Or at least it would be if anyone actually completely abstained from generalising.

Monday, 31 August 2015

Some Newish Takes on Mind-Body Dualism



Quantum mechanics has been used to explain just about everything that's so far unexplainable. Consciousness doesn't escape that net (at least as cast by non-scientists).

For example, perhaps the nature of quantum phenomena can explain (or make sense of) good old-fashioned mind-body dualism:

“… loosen up our thinking and nudge us away from the simple billiard ball model of causation… When this is combined with a certain influential interpretation of quantum theory, dualism can start to seem, not merely, possible, but positively commonsensical!” [2004]

Presumably this is because in the “billiard-ball model of causation”, billiard balls were required to be next to each other (or ‘contiguous’, as David Hume put it) in order to affect one another. Theories of quantum mechanics deny that this is necessary. There's talk of “action at a distance”. However, it's not immediately clear what this has to do with consciousness or dualism in the philosophy of mind.

Is there an inference here from
 
             i) Action at a distance tells us that objects needn't be next to each other to be causally related.

                                               to                                                              

ii) The non-physical nature of mind doesn't need to be physical in order to causally affect the physical.

Isn’t quantum mechanical theory still about physical phenomena? (That is, no matter how far apart they are and no matter how loose the definition of ‘physical’.) If the mind is simply non-physical (or made of mind-substance), then it's not immediately obvious how quantum theory helps dualism. It's not distance that's the issue here: it's the fact that dualists believe that mind-substance can causally affect body-substance.

We need more arguments to accept the relevance of quantum theory for the mind-body debate. So here’s one argument:

If minds were themselves parts of the material world, they would be, like the camera in Tibble’s box, merely parts of the whole system, hence themselves in a superposition of states.” [2004]

Again, it's not immediately obvious how quantum theory provides some kind of defence for dualism. Not even when we're given a parallel. The argument seems to be that the mind is a superposition of states - as in the Schrödinger’s cat thought-experiment. Would this automatically make minds non-physical?

The other possibility is that the minds are only parts of larger systems. Thus are we to conclude that minds emerge from these larger total systems because of, say, their very complexity?

E.J. Lowe on the Self

One of the major problems with Cartesian dualism is the clear fact that mind-substance is viewed as being completely different to body-substance. The major difference, according to Descartes, is that the mind is non-extended and that the body is extended. What if a contemporary philosopher accepted that account? E.J. Lowe does (partly) accept it. He says that it has relevance to our notion of the self. John Heil expressed Lowe's position thus:

The self, he holds, is perfectly simple. What could be the parts of a self? You entertain different thoughts, your preferences evolve, and memories come and go. But these are not parts of you in the way arms, legs, hearts, and livers are parts of your body.” [2004]

The self, on this picture, is like a Leibnizian monad. It too has no parts. It follows that our thoughts, preferences and memories can’t be parts of the self because the self is a perfectly simple unity. Not only that: it's non-spatial or non-extended. How can something non-spatial have parts... even in principle?

Thus if we have mental items (of whatever sort), we can't see them as parts of our mind or self. So what are they? How do they all belong together? How, indeed, do they come and go? What do they belong to (if they belong to anything)? How does the unity and continuity of the self come about without physical (causal) connections?

The answer is that mind-substance holds it all together. However, even with mind-substance and non-extension we're still using spatial and physical metaphors like “to bind” and “to contain”. A dualist surely shouldn't be using such metaphors. Despite saying that, the problem is that if he didn't do so, he'd effectively be denying himself the possibility of saying anything. Metaphors and analogies are all he has. And they get him into trouble.

Heil offers us a simple thought experiment to help us determine whether or not dualism is in fact true (or even if it makes sense). He talks in terms of a status and the bronze out of which the statue is actually made. Heil writes:

Now imagine that the mind or self is related to the body in something like the way the statue is related to the lump of bronze that is on the scene when the statue is one the scene. Selves and bodies have very different identity conditions, so there is no prospect of identifying the self with the body. Moreover, the self is simple (or so Lowe contends), altogether lacking in parts. Nevertheless the self and the body (like the statue and the lump) might share certain properties. If the body has a particular mass, so does the self; if the body is in Gundagai, so is the self. The body and the self do not share all their properties.” [2004]

We can intuitively say that the lump of bronze is the statue. Or, less strongly, that they're identical. Clearly we can't say the same about the body (or brain) and the self. They do indeed have different properties. Though does this mean that they aren't identical? Perhaps the self is X under one description and the body is X under a different description. This is pretty much what Donald Davidson believed in his position of ‘anomalous monism’. That is, the mental and the physical are indeed identical. However, the mental can't be satisfactorily reduced to the physical; nor do they have the same properties. That's because X is seen under two modes of description (just as a table can be described qua table or qua collection of moving molecules).

There's a hint of Leibniz’s law here as well. That is, if the self has different properties, and therefore things true of the body won't be true of the self (as well as vice versa), then the self and the body can't in fact be identical. However, that doesn't seem to work for the lump of bronze and the statue. As Heil says, both share the same mass and both exist in the same place at the same time. Despite that, the lump of bronze must have existed before it was made into a statue. Since that's the case, then the lump will have at least one property that the statue doesn't have: being older than the statue.

If the self is indeed simple, as Lowe contends, then it couldn't have the properties which a body has. This, again, can be accounted for in terms of two modes of description of the same thing. We have a mode of presentation of the self that simply precludes us from giving it any properties. Nevertheless, that's a result of a particular mode of presentation, not of X. If the self is truly simple, how could we really describe it at all, let alone say that it's the same as the body in which it is supposed to exist?

Perhaps the self and body can be identical; though not numerically identical. This doesn’t help because it raises the prospect of identity-at-a-distance (as it were). In any case, Leibniz would would have told that they can’t be identical because they don't share all their properties. In fact the self (whatever it is) shares no properties with the body or brain. How could it? We've already been told that the self is simple and non-extended. How could it share properties with something, the body, which is complex and extended?

The old question therefore arises:

If these radical differences and distinctions between body and self are real, then how can we account for the fact that they're connected in some - or in many - ways?

This isn't only a question of the improbability of causal connections between mind-stuff and body-stuff: it's also about the improbability of any substantive connections between substances which share no properties whatsoever. We must conclude (if we are dualists) that the analogy between self/body and lump/statue is far from being acceptable or precise. The two examples simply aren't parallel in any way.

The most palatable solution (in that it appears to be mid-way between dualism and materialism) is the following juxtaposition of ‘substance monism’ and ‘property dualism’ (as advanced by Davidson, amongst others). Heil writes:

“… 'property dualism', the view that mental and physical properties, though quite different, can be properties of one and the same substance.” [2004]

The problem with this position is that although it provides us with a middle way between hard-core materialism (or eliminativism) and dualism (as well as what seems like a satisfactory explanation), it in fact isn't really much of an explanation at all. How can one and the same substance be the ground or cause of two sets of completely unlike properties? How can a single substance be responsible for these anomalies between properties? It's an explanation; though not a solution to the mind-body problem. Indeed, as has just been said, it's not really an acceptable explanation at all!

Thus some philosophers may accept it (along with supervenience) simply because they don't - or can't - accept any of the alternatives.

References

Davidson, Donald. (1970) 'Mental events'
Heil, John. (2004) Philosophy of Mind: A Guide an Anthology (pages 815-817)
Lowe. E.J. (1996) Subjects of Experience (see chapter 2)

Sunday, 30 August 2015

Carnap and Quine on Implication and Entailment



According to Quine, Bertrand Russell (as well as others) confused “if-then” with “implies”.

Quine said that

there is much to be said for the material conditional as a version of 'if-then', there is nothing to be said for it as a version of 'implies'…” 

We can now say:

material conditional = ‘if... then’

material conditional ≠ implies (or “If A, then A implies B”)

Rudolph Carnap makes this position clear by analysing English usage. He argues:

to imply” = “to contain” or “to involve”

Clearly this means that in English ‘implies’ isn't that unlike Kant’s position that in an analytic subject-predicate expression the subject-term’s concept ‘contains’ the predicate-term’s concept. Or, more generally, we say that “A implied B” because in the expression of A we can find (as it were) - after analysis - the implied B. Thus when someone implies B with A, he doesn't want to stop people concluding B. He simply doesn't want to state B. Thus we can say that A ‘involves’ B, as Carnap does.

All this is in opposition, so Quine and Carnap thought, to logical consequence:

logical consequence ≠ A implies B

This, Quine argues, is what Russell called ‘implication’. It left

no place open for genuine deductive connections between sentences”.

Although Quine rejected the linguistic notion ‘implies’ (i.e., “A implies B”), he still believed that deductive connections were still “between sentences”, not between abstract or concrete objects (i.e., propositions and suchlike).

We can now ask if

pq = p implies q

According to Carnap and Quine, it doesn't. We can now add:

deductive connection = logical consequence

Finally

implication relation ≠ consequence relation

Even if we study everyday English language, we can still clearly see a distinction between the words ‘implies’ and “was a consequence of”. We can say

i) “John implied B by saying A.”

though we can't say:

ii) “B is a consequence of what John said [A].”

or

iii) “John didn't say B; though it's a consequence of what he said [i.e., A].”

We usually take the word ‘consequence’ as a consequence-relation between B and A. That is

iv) “B is a consequence of A.”

Thus consequence can be a causal connection, as in:

v) “The consequence [B] of John holding that meeting [A] is that there were riots on the streets [B].”

Clearly when we say “John implied B by saying A”, this isn't a causal connection of any kind. It is, in a Kantian way, an instance of the conceptual containment of B in A. Thus we can say that the concept [person] is contained in the concept [philosopher].

Linguistically, we can have the following:

“Child-killers are animals.”

Thus if someone said the above, it would imply that child-killers aren't human beings. Thus:

the concept [non-human being] = the concept [animal]

Even if the concept [non-human being] isn't identical or even synonymous with [animal], we can still loosely claim that

“He implied that child-killers aren't human beings when he called them ‘animals’.”

This situation is complicated by the fact that Carnap continued to believe that

i) a material conditional = an implication

and didn't believe that

ii) logical consequence = an implication

Thus we need to ask: What, exactly, is a logical consequence?

For example, is

pq

a case of logical consequence (i.e., q’s being a logical consequence of p)? Or is it an implicational conditional in that q is implied in p? Clearly, because of our prior look at the English language, we can now say that it doesn’t seem right to say that “p implies q”, “q is implied by p” or that “q is the implication of p”. Thus we can intuitively see Quine and Carnap’s point before any logical distinction is made.

A logical consequence relation is a relation of entailment, not one of implication. Thus in p ⊃ q we can say that “p entails q” or that “q is an entailment of p”. An implication isn't the same as a logical consequence. Though does the notation p ⊃ q represent an entailment relation? Actually, entailment is said to be expressed by something stronger.

The notation p ↔ q symbolises entailment. That is, “p entails q”; or “p iff q”. Thus:

i) pq = entailment relation

and

ii) iff (if and only if) = is part of an entailment relation

References

Marcus, Ruth (1990) 'A Backward Look at Quine's Animadversions on Modalities', in Philosophy of Logic, edited by Dale Jacquette.
Quine, W.V. O. (1961) 'Reply to Professor Marcus'