Settling in …

Logic Matters seems to be settling comfortably into its new home with a new hosting company, though a fair bit remains to be done.

  • For a start, pages now load much faster (mostly, within a second or two). The laggardly behaviour on Bluehost was a major reason for moving in the first place, so it is good that Siteground is a lot snappier.
  • The new Astra theme is, as they say, “responsive” (meaning that it knows whether you are on a computer, tablet or mobile, and makes visual adjustments accordingly).
  • I hope people approve of the new layout! In fact, I’m pretty happy with the very simple, understated, look’n’feel of Logic Matters on a tablet or mobile. After all, this is basically a wordy text-based site, so visual drama seems inappropriate. On a desktop, if you open a big window then you do get a really boring expanse of grey around the content areas. But filling that in with even a very low-key abstract background gives a surprisingly distracting effect, so I’m inclined to keep things as plain as they are. (I’m open to design suggestions though!)
  • The footer area on tablet/computer pages is a bit unimaginative: but I’m not sure what would be more interesting/useful (again I’m open to suggestions).
  • The blog is now 15 years old (I missed its birthday), but I’m keeping all the legacy posts online, if only because they are the nearest I have to a diary of recent years. A link-checker tells me that a lot of old links within the blog no longer work but I’m not going to worry about that. I might set up a page, however, linking to past blog highlights (i.e. linking to posts which are mini-essays of one kind or another that might have more than ephemeral interest).
  • One bit of functionality I still need to restore is being able to sign up to notifications of posts. It’s on my to-do list.
  • Meanwhile, I’m rather slowly and sporadically checking/reworking the other, static, pages. In particular, the much-visited LaTeX pages are more than overdue for a bit of attention: but don’t hold your breath — updating these and some other pages always seems to take an inordinate amount of time (if only because web-searches for relevant materials take me off down distracting byways).

I’m glad I made the hosting change and updated to a modern WordPress theme. Though it’s been a bit of a palaver, because of course you always underestimate the amount of fiddly work involved. But we’re getting there …

The Many and the One, Chapter 3.i

In Chapter 3, ‘The Refutation of Singularism?’, Florio and Linnebo get down to critical work. As the chapter’s title suggests, the topic is going to be various arguments that have been offered against singularist attempts to render plural discourse in the framework of standard logic. Can we really regiment sentences involving what appear to be plural terms denoting many things at once by using singular terms denoting just one thing — a set, or perhaps a mereological sum? F&L aim to show that “regimentation singularism is a more serious rival to regimentation pluralism than the [recent] literature suggests.”

What is the standard for assessing such formal regimentations? For F&L, as they say in §3.1, the key question is whether or not “singularist regimentations mischaracterize logical relations in the object language or mischaracterize the truth values of some sentences.” But that, presumably, can’t be quite the whole story. If, for example, the purported singularist regimentations turn out to be an unprincipled piecemeal jumble, with apparently logically similar sentences involving plural terms having to be regimented ad hoc, in significantly different ways, in order to preserve the singularist doctrine case by case, that will surely be a serious strike in favour of taking plurals at face value. Or so discutants in this debate have assumed, and F&L don’t give any reason for objecting.

An aside: Not that it matters, but F&L also claim in passing that

Regimentation can also serve the purpose of representing ontological commitments. The ontological commitments of statements of the object language are not always fully transparent. The translation might help clarify them. Following Donald Davidson, one might for instance regard certain kinds of predication as implicitly committed to events. As a result, one might be interested in a regimentation that, by quantifying explicitly over events, brings these commitments to light.

But careful! For Davidson, it is because we (supposedly) need to discern quantificational structure in regimenting action sentences to reflect their inferential properties that we need to recognize an ontology of events for the quantifiers to range over. So while, as F&L say, we want formal regimentation to track already acknowledged informal logical relations, with questions of ontological commitment (at least for a Quinean like Davidson) it goes the other way around — it only makes sense to read off ontological commitments after we have our regimentations (since “to be is to be the value of a variable”).

In §3,2, F&L move on to consider one class of anti-singularist consideration, what they call ‘substitution arguments’. Or rather they briefly consider one such argument, from a 2005 paper by Byeong-Uk Yi. A strange choice, by my lights, since the locus classicus for the presentation of such arguments is of course a 2001 paper by Oliver and Smiley, and then again in their 2013/2016 book Plural Logic. Their Chapter 3, ‘Changing the Subject’, in particular, is a tour-de-force relentlessly deploying such arguments. (F&L wrongly say that “changing the subject” is “[O&S’s] name for singularist attempts to eliminate plurals”. Not so. It is their punning name for one singularist strategy, the one which takes a plural-subject/predicate sentence and tries to regiment it as a singular-subject/predicate sentence. O&S’s following chapter discusses another, different, singularist strategy).

OK. Here’s a very quick reminder of the relevant sections of Plural Logic. In their §3.2, O&S argue for a uniform treatment of plural subjects, whether they are combined with a distributive or collective predicate. Thus, we shouldn’t (as Frege seems committed to do) carve ‘Tim and Alex met in the pub and had a pint’ into two sentences ‘Tim and Alex met in the pub’ [collective predicate, subject referring to some singular thing, the set {Tim, Alex} or mereological whole Tim + Alex] and ‘Tim and Alex had a pint’ [distributive predicate, so this turn is to be carved into the conjunction of ‘Tim had a pint’ and ‘Alex had a pint’]. O&S give two compelling arguments for uniformity. In §3.3, they then argue against a naive version of “changing the subject” where we regiment a plural-subject/predicate sentence by changing to a singular subject (substitute singular for plural) while leaving the predicate unchanged. They give elaborated versions of the familar sort of Boolos objection to doing that: it may be true that the cheerios were tasty, but it seems haywire to say the set of cheeries was tasty, etc., etc.

So in §3.4, O&S discuss the strategy of changing the subject and the predicate in a way that preserves coherence and truth-values. And the first point they press is that initial attempts to do this just move the plural from subject to predicate — for example if we want to regiment the plural subject term in ‘Russell and Whitehead wrote Principia’ by using a singular subject term for a set, we could render that sentence by ‘{Russell, Whitehead} is such-that-its-members-wrote-Principia’. But there are two problems with this sort of regimentation. (1) There are uniformity worries: take the sentence ‘Russell and Whitehead wrote Principia, Wittgenstein didn’t’ (the property denied of Wittgenstein here is surely not the same property of being such that its members etc. etc.). And crucially (2) a singularist will need to get rid of the plural term buried in the complex predicate. And so O&S consider various strategies for various cases. They make some headway in giving more-or-less contorted singular renditions of a number of plural sentences; but they sum up as follows:

The most striking feature of the analyses is their diversity. Although there is a uniform first stage [along the lines of the Russell and Whitehead example] the further analysis required in order to eliminate the residual plurals varies widely from case to case. It appears that we are condemned to a piecemeal and promissory approach, hoping rather than knowing that a suitable analysis can be found for any plural sentence. Such untidiness is unattractive, to say the least.

I think we are supposed to read ‘unattractive’ as indeed a radical understatement!

Now back to Florio and Linnebo. As I said, they consider just one observation by Yi, namely that there are contexts where we can’t intersubstitute ‘Russell and Whitehead’ and ‘{Russell, Whitehead}’ salva veritate (without changing the predicate). And F&L in effect note that changing the predicate in an appropriate way will rescue the day for Yi’s particular examples — though they cheerfully allow different changes in a couple of different contexts. But how piecemeal do they want to be? What about Oliver and Smiley’s further examples? F&L just don’t say.

Snap verdict: F&L’s two page jab gives no good reason to dissent from O&S’s extended trenchant arguments against singularism based on substitution considerations, broadly understood.

To be continued.

The Many and the One, Ch. 2

Chapter 2, ‘Taking Plurals at Face Value’, continues at an introductory level.

Oddly, Florio and Linnebo give almost no examples of the full range of plural expressions which they think a formal logic of plurals might aim to regiment (compare, for example, the rich diet of examples given by Oliver and Smiley in §1.2 of their Plural Logic, ‘Plurals in Mathematics and Logic’). Rather F&L start by immediately sketching three singularist strategies for eliminating plurals, starting the with familiar option of trading in a plural term denoting many things for a singular term denoting the set of those things.

They will be returning to discuss these singularist strategies in detail later. But for now, in their §2.2, F&L introduce the rival idea that “plurals deserve to be understood in their own terms by allowing the use of plural expressions in our regimenting language”. §2.3 then announces “the” language of plural logic. But that’s evidently something of a misnomer. It is a plural formal language, but — for a start — it lacks any function expressions (and recall how central it is O&S’s project to have a workable theory account of function expressions which take plural arguments).

F&L leave it open whether one should “require a rigid distinction between the types of argument place of predicates. An argument place that is open to a singular argument could be reserved exclusively for such arguments. A similar restriction could be imposed on argument places open to plural arguments.” But why should we want such selection restrictions? O&S remark very early on (their p. 2) that — bastard cases aside — “every simple English predicate that can take singular terms as arguments can take plural ones as well.” Are they wrong? And if not, why should we want a formal language to behave differently?

F&L seem think that not having selection restrictions would depart from normal logical practice. They write

In the philosophical and logical tradition, it is widely assumed that if an expression can be replaced by another expression salva congruitate in one context, then it can be so replaced in all contexts. This assumption of “strict typing” is true of the language of first-order logic, as well as of standard presentations of second-order logic.

But that’s not accurate. For example, in a standard syntax of the kind F&L seem to assume for singular first-order logic, a name can be substituted salva congruitate for a variable when that variable is free, but not when it is quantified. (As it happens, I think this is a strike against allowing free variables! — but F&L aren’t in a position to say that.) Any anyway, there is a problem about such selection restrictions once we add descriptions and functional terms, as Oliver and Smiley point out (Plural Logic, p. 218). If we allow possibly plural descriptions and possibly multi-valued functions (and it would be odd if a plural logic didn’t) it won’t in general be decidable which resulting terms are singular arguments and which are plural; so having singular/plural selection restrictions on argument places will make well-formedness undecidable. (If F&L don’t like that argument and/or have a special account of ‘singular’  vs ‘plural argument’, which they haven’ previously defined, then they need to tell us.)

Moving on, §2.4 presents what F&L call “The traditional theory of plural logic”. I’m not sure O&S, for example, would be too happy about that label for a rather diminished theory (still lacking function terms, for a start), but let that pass. This “traditional” theory is what you get by adding rules for the plural quantifiers which parallel the rules for the singular quantifiers, plus three other principles of which the important one for now is the unrestricted Comprehension principle: ∃xφ(x) → ∃xx∀x(x ≺ xx ↔ φ(x)) (if there are some φs, then there are some things such that an object is one of them iff it is φ).

Evidently unrestricted Comprehension gives us some big pluralities! Take φ(x) to be the predicate x = x, and we get that there are some things (i.e. all objects whatsover) such that any object at all is one of them. F&L flag up that there may be trouble waiting here, “because there is no properly circumscribed lot of ‘all objects whatsoever’.” Indeed! This is going to be a theme they return to.

§2.5 and §2.6 note that plural logic has been supposed to have considerable philosophical significance. On the one hand, it arguably is still pure logic and ontologically innocent: “plural variables do not range over a special domain but range in a special, plural way over the usual, first-order domain.”
And pressing this idea, perhaps (for example) we can sidestep some familiar issues if “quantification over proper classes might be eliminated in favor of plural quantification over sets”. On the other hand, a plural logic is expressively richer than standard first-order logic which only has singular quantification — it enables us, for example, to formulate categorical theories without non-standard interpretations. F&L signal scepticism, however, about these sorts of claims; again, we’ll hear more.

The chapter finishes with §2.7, promisingly titled ‘Our methodology’. One of the complaints (fairly or unfairly) about O&S’s book has been the lack of a clear and explicit methodology: what exactly are the rules of their regimentation game, which pushes them towards a rather baroque story?  Why insist (as they do) that our regimented language tracks ordinary language in allowing empty names while e.g. cheerfully going along with the material conditional with all its known shortcomings? (If conventionally tidying the conditional is allowed, why not tidying away the empty names?) Disappointingly, despite its title, F&L’s very short section doesn’t do much better than O&S. “We aim to provide a representation of plural discourse that captures the logical features that are important in the given context of investigation.” Well, yes. But really, that settles nothing until the “context of investigation” is articulated.

To be continued.

The Many and the One, Ch. 1

As Louis MacNiece wrote, “World is crazier and more of it than we think, Incorrigbly plural.” Evidently, then, we need a plural logic! Or so say quite a few. And enough has been written on the topic for it to be time to pause to take stock.

I have just now started reading Salvatore Florio and Øystein Linnebo’s The One and The Many: A Philosophical Study of Plural Logic, newly published by OUP with an open access arrangement which means that a PDF is free to download here. The book aims to take stock and explore the broader significance of plural logic for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct?

I’ll say straight away that Florio and Linnebo write very lucidly in an attractively readable style. Though it is not entirely clear, perhaps, who the intended reader is. The opening pages seem addressed to a pretty naive reader who e.g. may not even have heard of Cantor’s Theorem (p. 3); yet pretty soon the reader is presumed e.g. to understand talk of defining logical notions in terms of isomorphism invariance (p. 22). Again, if the reader really was new to the topic and had never seen before one of the now standard core logical languages for plural logic and its associated core deductive system, the initial brisk outline presentation (pp. 15-20) might perhaps be rather too brisk. But I’m certainly not going to nag about this sort of thing. Whatever F&L’s intentions, I’ll take the likely reader of their book to be someone who has some logical background and in particular has a modicum of prior acquaintance with plural logic and some of the debates about it; and then their brisk early remarks can serve perfectly well as reminders getting us back the swing of thinking about the topic.

So let’s dive in. In the short Chapter 1, ‘Introduction’, F&L highlight three questions which are going to run through their discussion:

  1. Should the plural resources of English and other natural languages be taken at face value or be eliminated in favor of the singular?
  2. What is the relation between the plural and the singular? When do many objects correspond to a single, complex “one” and what light does such a correspondence shed on the complex “ones”?
  3. What are the philosophical and other consequences of taking plurals at face value?

Not, I think, that we are supposed to take these as sharply determinate questions at this stage: take them as pointers to clusters of issues for discussion. F&L also give early spoilers, indicating some lines they are going to take.

In response to (1) they announce they are pluralists, resisting the wholesale elimination of plurals (while, they say, wanting to resist some of the usual arguments against singularism). On (2) they say — surely rightly — that the question is going to entangle us tricky issues in metaphysics, semantics, and the philosophy of mathematics. We can’t, as it were, argue for a particular line on plural logic in isolation; rather we going to have to “chose between various “package deals” that include not only a plural logic but also commitments far beyond”. On (3) F&L trail their view that many of the claims that have been made for plural logic — such as that it “helps us eschew problematic ontological commitments, thus greatly aiding metaphysics and the philosophy of mathematics” — are, in their words, severely exaggerated. Leaving aside the ‘severely’, I’ll probably find myself endorsing a verdict that some of the claims that have been made for plural logic are somewhat overblown. But I’ll be interested to see to see how the detailed arguments pan out.

To be continued.

Postcard from Monmouth

We have been staying in a cottage near Monmouth for a few days. The countryside here is indeed a particularly green and pleasant land; we can sit outside the cottage looking over many rolling miles towards the Black Mountains. The ruins of Tintern Abbey are close by, as is Raglan Castle (both so very well looked after by Cadw for the Welsh Government, and both sites surprising quiet). There is a lot of wonderful walking here, through local woodlands, and in the Usk valley and the Wye valley. The weather has been kind. So a delightful escape from Cambridge.

With brilliant timing, the day before coming away, when I should have been concentrating on things domestic, Logic Matters got hacked. Or rather — since “” then delivered a Chinese language advert, which hardly looked like a hack aimed at the typical reader here — I suspect some WordPress plugin had been hacked. (I’d been experimenting with different plugins while giving this site a fresh coat of paint). It took a while for me to find the source of the trouble; but then someone kindly recommended the Wordfence security plugin which quickly pinpointed where the evil code been added. Fingers crossed, but I hope the site is now more secure from such exploits. A long afternoon quite, quite wasted though. Not good for the blood pressure.

Calm was restored driving down to Monmouth and stopping at Kiftsgsate Court Gardens and then on to High Glanau, both gardens real works of art. We will visit Coton Manor Garden on the way home, which is even more stunning in its way (though perhaps I prefer the slightly wilder, less perfectly kempt style of Kiftsgate). I have said before, that gardens can be art-works of a kind that the English both do particularly well and particularly love. Is there, I wonder, anything attractively and insightfully written by modern philosophers on the aesthetics of gardens? (A genuine question!)

LaTeX for Logicians — a new look (and time for new content?)

Here are the new-look pages for LaTeX for Logicians.

The LaTeX for Logicians front page got over 35K visits last year, with some of the other individual pages getting 15K visits. So these pages are evidently still being found useful. I haven’t updated some of them  for well over two years, and I am certain to have missed some more recently added LaTeX resources that will be of interest to users of these pages.

So this is your moment: as I update these pages, do please let me know what’s missing!

… and back again

Update on the Logic Matters website. You can get lost down the infinite rabbit hole of WordPress customizations. But I’ve managed to escape, fixed on a theme, suppressed most of its fancy options, aiming for simplicity verging on starkness, and have got to work … Lots still to be done (for a start, in making more tablet and phone friendly), but you’ll get the basic idea. Any helpful comments/suggestions will of course be welcome.

Update on the hardback of Gödel Without (Too Many) Tears. Hooray! — a copy (from UK Amazon) has arrived at last, and another copy (from Blackwell’s, one to send on to the British Library) arrives tomorrow. UK and US Amazon are both now promising very speedy delivery.

I must say that I am very pleased with the result, it is really decently produced. So that, together with the sales figures, encourages me to organize hardback library copies of IFL and IGT. More about that anon. But for the moment, do please remember to get your local friendly librarian to order the hardback GWT for the library! — details here.

Down the rabbit hole …

This Logic Matters site currently lives on Bluehost. But for various reasons, I’m in the middle of moving to a different hosting provider, Siteground: significantly more expensive (after the initial year’s discount) but by very many accounts also significantly better. Certainly, an experimental test version of the site runs there a lot faster, both on my iMac and even more so on an iPhone. As I’ve said before, the whole site could do with a good deal of tidying under the bonnet. So the needed update will keep me from fretting about the state of the world for a week or two.

I’ll need then to chose a modern WordPress theme that maintains the uncluttered look I like. I’ll ignore the pricey paid options. That only leaves about eight thousand free themes to choose from. So this is going to be dead easy. Down the rabbit hole I go …

Beginning Mathematical Logic again

I have uploaded a slightly revised version of Part I of the Study Guide, with just a few changes to the arm-waving chat and a couple of additions to the recommendations in the Computation/Arithmetic/Gödel’s Theorem chapter. You can download it here.

I’m working away at Part II, mostly enjoying the (re)reading around. An earlier time-slice of myself might have persisted in reading the less fun books out of a misplaced sense of duty. Now I tend to think that if someone really can’t be bothered to write with transparent clarity and make some honest attempt to take their reader along with them by e.g. providing enough signposts along the way, then maybe I can’t be too bothered about struggling with their ill-written texts. So I move on much more quickly to find something more logically entertaining.

Big Red Logic Books: now available in Australia!

Short version: paperbacks of An Introduction to Gödel’s Theorems,  An Introduction to Formal Logic, and Gödel Without (Too Many) Tears are now available from Amazon in Australia.

Slightly longer version: An Australian version of Amazon’s KDP print-on-demand service has been up and running since the beginning of the year. Initially, however, it couldn’t handle books in the format of the Big Red Logic Books. But (though they haven’t told authors!) I have just discovered in the last hour that the books are now available locally. The prices are set to the minimum possible (the fixed printing and distribution charges are higher in Oz, but I’ve set the royalties to zero to compensate).

So please spread the word Down Under. The books have been available as PDF downloads for a year, but there are quite a few who much prefer to work from printed books. And do tell local librarians (you might need to do a bit of explaining/cajoling too, as librarians tend to hold their professional noses over self-published books, and don’t approve of Amazon either! — but other publication routes would have been much more expensive).

I’d be interested to hear how the physical copies turn out  (the UK printed ones are really surprisingly good, apart from slightly flimsy covers, given the price point).

Scroll to Top