Friday, 5 November 2021

Major Inaccuracies in Misak's review of Journey to the Edge of Reason, a new Gödel Biography

In the Times Literary Supplement there is a review of a new biography of Gödel by philosopher Cheryl Misak. The review is called 'What are the limits of logic? How a groundbreaking logician lost control'. This paragraph contains two major inaccuracies:

Gödel proved that if a statement in first-order logic is well formed (that is to say, it follows the syntactic rules for the formal language correctly), then there is a formal proof of it. But his second doctorate, or Habilitation, published in 1931, showed that in any formal system that includes arithmetic, there will always be statements that are both true and unprovable. The answer to the Entscheidungsproblem was, therefore, negative.

The first one is that being well formed is like being grammatically correct - among the well formed formulas of first-order logic, there are formulas that are false no matter what (false on all models or interpretations), formulas that can go either way, and formulas that are true no matter what (these ones are often called logical truths, or logically valid formulas). What Gödel showed is that for every logical truth, there is a proof that it's a logical truth. 

The second major inaccuracy is that the answer to the decision problem (Entscheidungsproblem) is not shown to be negative by the incompleteness theorem that Misak alludes to. The negative answer became known only in 1936, when Alonzo Church and Alan Turing independently showed it.

Thursday, 21 October 2021

Reversing Logical Nihilism - Forthcoming in Synthese

Final draft available on PhilPapers.

Abstract: Gillian Russell has recently proposed counterexamples to such elementary argument forms as Conjunction Introduction (e.g. ‘Snow is white. Grass is green. Therefore, snow is white and grass is green’) and Identity (e.g. ‘Snow is white. Therefore, snow is white’). These purported counterexamples involve expressions that are sensitive to linguistic context—for example, a sentence which is true when it appears alone but false when embedded in a larger sentence. If they are genuine counterexamples, it looks as though logical nihilism—the view that there are no valid argument forms—might be true. In this paper, I argue that the purported counterexamples are not genuine, on the grounds that they equivocate. Having defused the threat of logical nihilism, I argue that the kind of linguistic context sensitivity at work in Russell’s purported counterexamples, if taken seriously, far from leading to logical nihilism, reveals new, previously undreamt-of valid forms. By way of proof of concept I present a simple logic, Solo-Only Propositional Logic (SOPL), designed to capture some of them. Along the way, some interesting subtleties about the fallacy of equivocation are revealed.




Saturday, 28 August 2021

Validity as (Material!) Truth-Preservation in Virtue of Form

Forthcoming in Analytic Philosophy and available on PhilPapers.

Abstract:

According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is valid when it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples.



Sunday, 6 June 2021

Dialetheism and Transition States

I've been thinking recently about an argument given by Graham Priest for the view that, when you're on your way out of a room, there's a point in time at which you're both in the room and not in the room. 

For those who believe in true contradictions (dialethias) already because of Liar-like phenomena, whether or not this kind of example also exist may not seem like such an urgent issue. But if, like me, you are drawn to a gappy rather than a glutty response to Liar-like paradoxes, this sort of argument becomes more important, since it may take you from not believing in true contradictions to believing in them.

Priest's argument appears on p. 415 of his 'What is So Bad About Contradictions?' and is discussed in Section 3.4. of the SEP article on dialetheism. From the latter:

Transition states: when I exit the room, I am inside the room at one time, and outside of it at another. Given the continuity of motion, there must be a precise instant in time, call it t, at which I leave the room. Am I inside the room or outside at time t? Four answers are available: (a) I am inside; (b) I am outside; (c) I am both; and (d) I am neither. There is a strong intuition that (a) and (b) are ruled out by symmetry considerations: choosing either would be completely arbitrary. (This intuition is not at all unique to dialetheists: see the article on boundaries in general.) As for (d): if I am neither inside not outside the room, then I am not inside and not-not inside; therefore, I am either inside and not inside (option (c)), or not inside and not-not inside (which follows from option (d)); in both cases, a dialetheic situation. Or so it has been argued. For a recent description of inconsistent boundaries using formal mereology, see Weber and Cotnoir 2015.

I will now outline what I think we should say in response. 

The appeal to 'symmetry considerations' is where the trouble is in this argument. Let us assume for a moment that there are no true contradictions and see what we can say that is consistent with that commonsense view. On pain of contradiction, the notion of being 'inside' a room is not both true of me and false of me in this case. Now, we can grant that any notion of being 'inside' which is true of me in this case is in a sense biased in favour of insideness, and any notion of being 'inside' which is false of me in this case is biased against insideness. But probably, our normal notion of 'inside' as applied to rooms is just not determinate here; our linguistic behaviour doesn't make it the case that we are using the inside-biased notion rather than the outside-biased notion, nor does it make the opposite the case. But if we need to, we can just pick one of these notions, and everything will be OK as long as this is understood by speakers and hearers.

To me, this seems highly plausible. And it lets us maintain that there are no true contradictions. Let's grant Priest that it's bad philosophy to just reject outright the idea that there might be true contradictions. But if we haven't already adopted dialetheism, which is a pretty radical view, then other things equal, we should look for less drastic ways to make sense of examples like this. And that's what I've sketched above.

Thursday, 15 April 2021

Forthcoming in Philosophical Studies: A Simple Theory of Rigidity

 


After wrestling inconclusively with this topic a couple of years ago on this blog, I came to a much clearer view about rigidity, which I set forth in this paper:

A Simple Theory of Rigidity

The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in its extension. After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms.

Saturday, 17 October 2020

On the Failures of Nonsense-Policing and Ordinary Language Philosophy

In this post I reflect on the failures of nonsense-policing and ordinary language philosophy, and the fact that notwithstanding these failures, paying critical attention to semantic issues is of central importance in philosophy, and in metaphysics as well as philosophy of language. 

The early Twentieth Century saw a surge of interest in the idea that the apparently intractable problems of philosophy come from misunderstanding language, and that philosophical questions are often unanswerable not because they are too difficult for us, but because they fail to make sense, or we fail to understand them properly.


This idea took various forms. The logical positivists attempted to give general criteria of meaningfulness using the notion of verification, the early Wittgenstein aims at a comprehensive, general theory of how language represent which leaves no place for genuine philosophical propositions, and more specific doctrines in logic and philosophy of language were used to dissolve particular problems.


Logical positivists attempted to formulate a criterion of meaningfulness in terms of the notion of verifiability. The basic idea is that a meaningful sentence must either be analytic (i.e. true in virtue of meaning) or verifiable in principle by experience. Philosophical sentences which are neither analytic nor verifiable experientially are therefore meaningless if this idea is correct, and works of metaphysics appear to be full of such sentences. As powerful as this idea seemed to the logical positivists, attempts to work it out in detail ran into trouble. There are also serious problems affecting even the basic idea; what about statements about minute happenings in the distant past, or events outside our light cone? (Such cases are more or less worrying depending on how one thinks about ‘verifiability in principle’.) And what about competing theoretical claims that do not appear to be analytic but where the contest does not appear to be settled by any possible experience? These arise in science as well as philosophy and we seem to decide about them on the basis of things like theoretical virtues rather than empirical tests. Thus the whole idea of experiential verifiability as a criterion of meaningfulness has been largely abandoned (at least in academic philosophy; it enjoys a vigorous half-life, along with Popper’s idea that truly scientific theories must be falsifiable, in the wider intellectual culture).


Wittgenstein in the Tractatus (a source of inspiration for the verificationists) attempts to say in general how meaningful propositions are constructed. In numbered, often cryptic remarks, we are given a beautiful, austere picture of how language represents. Elementary propositions are constructed out of names, and more complex propositions are constructed from them by simple logical operations. Anything which can’t be constructed in this way is not a genuine proposition. And many sentences in philosophical works fail to be genuine propositions. Wittgenstein’s proposal is that, with theses and questions in metaphysical philosophy, something akin to what is wrong with the sentence ‘Mortality is Socrates’ has gone wrong, only more subtly so.


(Wittgenstein’s later work is also replete with denials of sense, although it is up for debate what these come to and what they are based on. Assessing expressions for sense becomes a looser, more occasion-sensitive affair in the later work, as opposed to being based on some general theory of meaningfulness. Sense-denying aspects of Wittgenstein’s work, and interpreters of his work who emphasise them (e.g. P.M.S. Hacker), have come in for extensive criticism, and are seldom echoed in more recent contemporary philosophy. I see them as an unfortunate holdover from the early work, and as marking a place where Wittgenstein’s ideas require both revision and further development.)


Apart from general criteria of meaningfulness and overarching theories of what can be said, logical doctrines about particular parts of language have also been used to dispense with philosophical problems by denying sense. A famous example is the doctrine, defended by Bertrand Russell and wielded by many later writers (a prominent example being Rudolph Carnap), that ‘exists’ cannot be used with proper names. This is a kind of modern logical version of Kant’s doctrine that existence is not a predicate. From a contemporary point of view, this seems hopelessly revisionary. What we ordinarily call ‘proper names’ can meaningfully be put together with ‘exists’, and logically minded philosophers must accommodate this fact as best they can. 


The above views have in common that they are supposed to be based on the technical foundation of modern logic. Another influential Twentieth Century development of the idea that a better understanding of linguistic meaning is methodologically crucial is the Ordinary Language Philosophy (OLP) movement, as spearheaded by J.L. Austin. In a way it involves a kind of nonsense policing, but there is no general, technical policy that is being enforced; the OLP nonsense police, if that’s what they are, know that they’re operating in a complicated society and will require good judgement. This no doubt enhanced OLP’s plausibility in the wake of logical positivism’s failure.


I once heard from a mentor that in the 1960’s there was a feeling in the air that the traditional problems of philosophy would soon be cleared up by means of OLP. That this hasn’t happened should be uncontroversial. Why it hasn’t happened is more controversial, but we can speculate. One factor seems to be that the urge to use language in extraordinary ways is deep-rooted. No amount of attention to ordinary usage can stop it. Metaphysicians have become more self-conscious about the fact that their use of key terminology may depart from ordinary usage, and have found ways to persist in it nonetheless. (For example, in response to arguments by Eli Hirsch to the effect that non-commonsensical claims in ontology simply couldn’t be true, since they fly in the face of metasemantic wisdom - charity demands that we interpret natural language sentences so they aren’t radically false - Theodore Sider has argued that non-commonsensical metaphysical views should be regarded as being stated in Ontologese, a special non-ordinary language. For the Hirsch-Sider debate, see (in dialectical order) Hirsch (2010) (a collection of essays), Sider (2009), Hirsch (2008) and Sider (2014).)


Another factor may be a lack of technical sophistication: philosophy can get quite technical, but OLP tends not to come along for the ride. (Perhaps proponents of OLP could have done better here, either by coming along for the ride in some fashion or by forestalling misguided research programmes.) OLP at its most interesting can also become quite idiosyncratic and fragile, in contrast to a more recent trend of international and interpersonal cooperation. One of the most intriguing developments of OLP, the work of Stanley Cavell, typifies this tendency: you see all this sophistication, all these interesting scruples, but you have to be a special kind of person in a special kind of culture to appreciate it. Interesting as it may be, such work can be difficult to make use of in the sort of thing that Bertrand Russell called ‘technical philosophy’. Above all, the ordinary language philosophy of the mid Twentieth Century has simply been sidelined by more vital developments in connection with which it appears at least to have little to offer. Quine, Putnam, Kripke, Lewis and many others come on the scene, we get a whole raft of topics and problems to work on, and ordinary language philosophy falls by the wayside. 


The failures of nonsense-policing and ordinary language philosophy have had the unfortunate consequence of leading to complacency about sense in contemporary philosophy; a kind of presumption of innocence, where once basic standards of clarity have been met, we tend to take it for granted that philosophers’ utterances are meaningful and that we understand well enough what they mean. According to this way of thinking, the important work in philosophy tends to consist, not in inquiring not into the sense of expressions, but rather into which claims are true.


But the failure of nonsense-policing should not be taken to suggest that the analysis of meaning is not of central importance in philosophy. There may not be much of a future for denying meaning to animating words and phrases, but there remains a need to be critical and inquisitive about what they do mean. We are often being critical in this way even if we aren’t explicitly talking about meaning, or aren’t doing so systematically. But to get further we need to be able to be self-conscious and systematic, without losing crucial data that doesn’t fit well with the kind of thin, reference-based conception of meaning that now seems to hold sway again in philosophy.


References


Hirsch, Eli (2010). Quantifier Variance and Realism: Essays in Metaontology. Oxford University Press.

Hirsch, Eli (2008). Language, ontology, and structure. Noûs 42 (3):509-528.

Sider, Theodore (2009). Ontological realism. In David John Chalmers, David Manley & Ryan Wasserman (eds.), Metametaphysics: New Essays on the Foundations of Ontology. Oxford University Press. pp. 384-423.

Sider, Theodore (2014). Hirsch's Attack on Ontologese. Noûs 48 (3):565-572.