Saturday, October 01, 2011

Little Flower

Today is the Feast Day of St. Thérèse of Lisieux, Doctor of the Church. She died in 1897 at the age of 24.

But how shall I show my love, since love proves itself by deeds? Well! The little child will strew flowers . . . she will embrace the Divine Throne with their fragrance, she will sing Love's Canticle in silvery tones. Yes, my Beloved, it is thus my short life shall be spent in Thy sight. The only way I have of proving my love is to strew flowers before Thee—that is to say, I will let no tiny sacrifice pass, no look, no word. I wish to profit by the smallest actions, and to do them for Love. I wish to suffer for Love's sake, and for Love's sake even to rejoice: thus shall I strew flowers. Not one shall I find without scattering its petals before Thee . . . and I will sing . . . I will sing always, even if my roses must be gathered from amidst thorns; and the longer and sharper the thorns, the sweeter shall be my song.

But of what avail to thee, my Jesus, are my flowers and my songs? I know it well: this fragrant shower, these delicate petals of little price, these songs of love from a poor little heart like mine, will nevertheless be pleasing unto Thee. Trifles they are, but Thou wilt smile on them. The Church Triumphant, stooping towards her child, will gather up these scattered rose leaves, and, placing them in Thy Divine Hands, there to acquire an infinite value, will shower them on the Church Suffering to extinguish its flames, and on the Church Militant to obtain its victory.

Therese of Lisieux, Story of a Soul

Jottings on the Modal Logic of Quantifiers

These are mostly me trying to work through some ideas, perhaps badly, but comments are welcome.

I was kept up a few nights ago thinking about modal logic and quantifiers. Quantifiers, put in broad, broad terms indicate whether we are allowing exceptions for a claim. For instance, if I say, "All dogs go to heaven" that (as usually understood) tells us that "Dogs go to heaven" has no exceptions. If I say, however, that "Some dogs go to heaven," this allows exceptions (as long as there is at least one thing that is not an exception), even though it doesn't guarantee them.

It is not quite this simple in practice, since this is a term-logic interpretation of quantifiers; modern logic introduces other complications with existential import, etc. But the key thing quantifiers do is track exceptionlessness or possibility-of-exception.

From this it actually follows that quantifiers can be represented by a modal logic. A modality is basically a qualification; if you are talking about the modality of a proposition or claim, you are talking about some qualification of its truth (or falsehood). For instance, a proposition might be necessarily true, or possibly false, or true in the past, or any number of other things. But there's nothing that requires that we apply modalities only to whole propositions, and, indeed, we regularly apply them in practice to predicates. "All dogs necessarily go to heaven" is subtly but importantly different from saying "It is necessarily true that all dogs go to heaven"; if you don't see this, just take my word for it for a moment.

In general modalities that qualify one thing (whether propositions, or predicates, or whatever) fall into two broad classes: Box and Diamond. Box is the strong one (necessity, obligation, always), Diamond is the weak one (possibility, permissibility, sometimes). Since quantification is a kind of qualification (in term-logical terms, it is a qualification of the subject term), it makes sense to think of it modally. And we do obviously have a strong modality and a weak modality here: universal quantification ("All dogs go to heaven") is Box-like and particular quantification ("Some dogs go to heaven") is Diamond-like. And they do tend to work like Box and Diamond.

This analogy has actually been known for quite some time; I think von Wright was the first one to note it. But it's usually read the other way, so that Box and Diamond can be treated as if they were quantifiers. This is valuable but (frankly) can get one into weird territory, because you always have to ask, "What are we quantifying over?" And so we get possible worlds and the like. But you can go the other way, too: treat universal quantification as Box and particular quantification as Diamond.

Now, the thing of it is, there are many, many, many systems using Box and Diamond, and they are all very different; Box and Diamond, when we aren't specifying a particular system, are really just broad categories of modality, not modalities themselves. So this raises the question of many different kinds of quantifiers, depending on the system in which we are interested. And indeed, we know this in practice: some quantifier-systems allow subalternation (you can get particulars from universals, e.g., you can conclude that some dogs go to heaven from the truth of "all dogs go to heaven"), while some do not.

Thus a subalternating quantifier-system is one in which a version of what is sometimes known as the characteristic D axiom is true: Box implies Diamond for whatever Box might apply to. Thus, 'A is obligatory' (Box) implies 'A is permissible' (Diamond), 'A is necessary' (Box) implies 'A is possible' (Diamond), and, apparently, "All A" (Box) implies "Some A" (Diamond) when we are allowing subalternation.

Further, you can have reverse-subalternating systems. An example would be Sommers's account of 'wild quantity' for singular terms, which is both subalternating and reverse-subalternating. In a reverse-subalternating system Diamond implies Box. (This is, if I recall correctly, the characteristic CD axiom.) So, Sommers argues, there is no significant difference between "Socrates is dead," interpreted as forbidding exception, and "Socrates is dead," interpreted as allowing exception, as long as we are talking about the same Socrates.

Likewise, you can have a quantifier-system allowing universal instantiation. To understand this, we have to note that there are many modal logical systems that allow you to have claims, terms, or whatever, without either Box or Diamond. These have what can be called a Null modality. In alethic systems, Box is necessity, Diamond is possibility, and Null is just plain truth. In universal instantiation we have what is sometimes known as the characteristic M axiom: Box implies Null. Thus, for instance, "It is necessary that all dogs go to heaven" implies "(It is true that) all dogs go to heaven". In a universal-instantiating quantifier-system you can conclude "Dogs go to heaven" from "All dogs go to heaven". The other major rules we typically find all have their modal axiom:

Universal Generalization: Null implies Box
Existential Generalization: Null implies Diamond
Existential Instantiation: Diamond implies Null

Obviously if these were all true without restriction all the distinctions among the modalities would simply collapse; but, in fact, there are different restrictions on when you can use them, thus preserving the difference between universal quantity and particular quantity.

But here's a bit of a puzzle. Modern logic is universal-instantiating but not subalternating. But in modal logic, standard systems with M are stronger than standard systems with D, so it would seem to follow that any universal-instantiating system is also a subalternating system, unless there's something very unusual about the system we are using. In fact, I think the denial of subalternation is often ambiguous when we are talking about modern logic (even setting aside the confusions created by talk about existential import): subalternating is taken as not merely assuming that Box implies Diamond but also that Diamond implies Null. There are restrictions on these, so if subalternation required both it would be subject to a number of different restrictions that would all have to be met. Likewise, when people talk about subalternation they tend to talk about the square of opposition, in which Universal Affirmative propositions imply Particular Affirmative Propositions; and in modern logic many universal affirmative statements are treated as hypotheticals, which is a further complication. But I don't think that these can be a complete account. It's still the case that the combination of universal instantiation and existential generalization should guarantee subalternation in any situations in which they are both allowed by the restriction -- in which case we should at most take modern logic to be a system with restricted subalternation, not as a system without subalternation. The only alternative is that the modal logic is unusual here. Or perhaps I'm missing something obvious here.

The traditional account, though, allows one to have a modal logic of quantifiers of any kind as long as it is D or stronger. Which one is chosen, of course, will affect what one can infer, of course.

Friday, September 30, 2011

A Poem Draft

Promethean

Two are the gifts the titan
gave us to break the night;
one with its heated glory
extends our mortal sight,
one through all unseeing
can carry us through the fight:
hope, which lives in darkness,
fire, which dwells in light.

Hierom the Thunderer

Today is the Feast of St. Eusebius Sophronius Hieronymus, better known as St. Jerome of Stridonium, Priest and Doctor of the Church. Jerome apparently never wanted to be a priest; he seems to have been ordained under heavy pressure from the bishop, and only have consented when promised he could continue doing what he wanted to do, which is living the ascetic life in the desert. After ordination, he studied under St. Gregory Nazianzen and then served as secretary to Pope St. Damasus; he got into extraordinary trouble in the latter gig, because he was unsparing in his criticism of everybody. This trait won many for the ascetic life, especially among the upper class women of Rome, but after the death of Damasus, he was accused of an improper relationship with a widow, and had to leave. He then studied in Alexandria under St. Didymus the Blind, finally arriving at his hermit's cell near Bethlehem, where for decades he wrote the works that have most made him famous. He also continued his practice of sharp criticism, which among other things led at one point to a band of Pelagians breaking into the monastic buildings in which he lived and setting fire to them.

Calling him 'The Thunderer' is not an old custom; it derives from a poem in the 1950s by Phyllis McGinley, which was turned into a very catchy blues song by Dion DiMucci, which made the designation famous.

Thursday, September 29, 2011

Xenophon, the son of Gryllus, a citizen of Athens, was of the borough of Erchia; and he was a man of great modesty, and as handsome as can be imagined.

They say that Socrates met him in a narrow lane, and put his stick across it and prevented him from passing by, asking him where all kinds of necessary things were sold. And when he had answered him, he asked him again where men were made good and virtuous. And as he did not know, he said, "Follow me, then, and learn." And from this time forth, Xenophon became a follower of Socrates.

Diogenes Laertius, Life of Xenophon. Diogenes Laertius's epigram on Xenophon, which refers to his Anabasis, is also worth noting, since it is the single best summary of the Anabasis as a philosophical work (it is usually read as a mere history) that I have ever found. Somewhat paraphrastically:

Not only for Cyrus did Xenophon go up [aneben] to Persia,
But rather to find the way up [anodon] to Zeus's realm;
For, having shown that Hellenic deeds came from education [paideia],
He recalled how noble and good [kalon] was Socrates's wisdom.

Wednesday, September 28, 2011

The Game of Summit

This is what we'll be doing in my Ethics course tonight.

You have been selected as part of a national delegation to a major international summit whose purpose is to propose a universal declaration of human rights.

(1) Break up into groups (delegations) and introduce yourselves.

(2) Select someone to be secretary and someone to be the spokesperson to present your delegation’s proposal to the class.

(3) Each delegation must identify three (3) rights to propose as part of the declaration. It must be clear precisely what right you are proposing, and after you propose it to the class you will not be allowed to change it in any way. In other words: Formulate your proposed right very carefully and make sure the secretary writes it down correctly!

(4) Every right proposed must be supported by an argument or arguments agreed upon by your group. This will be your delegation’s official reason for why this right should be added to the universal declaration.

(5) The class will re-form as a general assembly. Each delegation will be allowed to present its proposed rights and give an argument for it. After each delegation has proposed all of its rights and given the delegation’s official arguments, the floor will be opened for a few minutes of debate on the rights, formulations, and arguments. The proposing delegation will be allowed to sum up its general rebuttal to any objections.

(6) There will be a general vote over each proposed right. Each delegation gets one (1) vote, to be determined by the majority of the members of that delegation. A tie within the delegation will be construed as a NO vote, i.e., a vote against the proposal. The delegation’s vote will be taken by the secretary and presented to the class by the spokesperson. Delegation members should base their vote on three things: whether they agree that the right is or should be a right, whether they agree that it is important enough to belong to an official declaration of rights, and whether they agree with the particular formulation proposed. Remember, bad formulations even of legitimate rights can come back to bite you later as people start using the letter of the law to protect themselves from the spirit of the law, or using the letter of the law to demand things that were not intended.

(7) Due to the delicate international situation, no right will be added to the declaration except on the unanimous agreement of all the delegations.

Unexpected but Predictable

The NonSequitur is a blog that investigates reasoning errors in the wild. This is admirable but tricky work -- apparent reasoning errors can turn on you suddenly if you don't watch out -- so I tend not to criticize even when I think their claims a little strained. But I cannot bear pointing out that this post is entirely wrong. The argument is that there is a contradiction, or at least a tension, to the following statement:
What Herman Cain did in Orlando this weekend was both completely unexpected and entirely predictable.
To this Scott Aikin replies that it can't be true. But of course it can: the situation in which something was predictable but unexpected is the situation in which it could have been predicted (and thus was predictable) but no one actually did predict it (and therefore it was unexpected). Since such things do happen, the original statement is entirely fine, logically speaking; any tension is the deliberate rhetorical tension that arises from foiling expectation. And it's clear from the rest of the paragraph in which this sentence is found that this was precisely the point: the idea is that nobody expected it, but given what it would take to win the straw poll, it was "in some sense inevitable".

I don't think this is a silly error, though, since you could very well read 'predictable' as saying that it was predicted (and thus expected). What it points to is that there is a whole class of ability-words and ability-phrases that are potentially ambiguous, being the sort that can be read either as indicating mere potential or as indicating activated potential. The best known and most widely used example is 'visible', which can mean either that something is see-able, or that something is seen (and thus see-able), but there are a number of others: sensible, intelligible, and so forth. Interesting, most of them are broadly cognitive in character, although you can occasionally find them in other contexts -- in the Aristotelian terminology of Aquinas's Third Way, for instance, the 'possible to be' and and 'possible not to be' is elsewhere shown to be precisely such a phrase, intended to be read in the activated-potential sense; it's a way of understanding the phrase we don't typically use anymore, which is why it takes some effort to read the Third Way in the sense it was intended to be read.

* A defense acquisition analysis of the Death Star (PDF), and related Imperial problems putting it at a disadvantage with respect to the Rebel Alliance.

* Peter Leithart discuss Johann Georg Hamann.

* Tollefsen and Pruss, The Case Against False Assertion. I think they're using 'assertion' in a way that most people would not find intuitive, but it's a good article.

* "On the Mainline" notes a Jewish text on the seven deadly sins.

* "Hirhurim" has a post on different interpretations of Moses Mendelssohn.

* Vallicella on Kant's interpretation of original sin.

Monday, September 26, 2011

Extremism

But though I was initially disappointed at being categorized as an extremist, as I continued to think about the matter I gradually gained a measure of satisfaction from the label. Was not Jesus an extremist for love: "Love your enemies, bless them that curse you, do good to them that hate you, and pray for them which despitefully use you, and persecute you." Was not Amos an extremist for justice: "Let justice roll down like waters and righteousness like an ever flowing stream." Was not Paul an extremist for the Christian gospel: "I bear in my body the marks of the Lord Jesus." Was not Martin Luther an extremist: "Here I stand; I cannot do otherwise, so help me God." And John Bunyan: "I will stay in jail to the end of my days before I make a butchery of my conscience." And Abraham Lincoln: "This nation cannot survive half slave and half free." And Thomas Jefferson: "We hold these truths to be self evident, that all men are created equal . . ." So the question is not whether we will be extremists, but what kind of extremists we will be. Will we be extremists for hate or for love? Will we be extremists for the preservation of injustice or for the extension of justice? In that dramatic scene on Calvary's hill three men were crucified. We must never forget that all three were crucified for the same crime--the crime of extremism.

Martin Luther King, Jr., Letter from a Birmingham Jail. We're currently looking at natural law theory in my Ethics course, and the Letter is the reading for tonight.

Prodigious Magician

Today is the feast of Ss. Cyprian and Justina. I've mentioned Cyprian of Antioch before; he's the patron saint of dabblers in the black arts, since according to legend he was a demonologist and necromancer who tried to seduce a Christian girl, Justina, to no avail; she eventually converted him, and they were both martyred in the persecutions under Diocletian. Our historical information about Cyprian is pretty limited. There may well have been a pagan Cyprian at the root of it, because our earliest mentions of the story are fairly close to the time the events were supposed to have happened, but details are muddled because Cyprian of Antioch was early on confused with a more famous and more important Cyprian, St. Cyprian of Carthage.

In any case, it's a good day to read Pedro Calderón de la Barca's classic play, El Mágico prodigioso. It can be found in English translation at Project Gutenberg.

Sunday, September 25, 2011

Book Meme

A book meme, which I got from Miriam.

1. Favorite childhood book?
C. S. Lewis's The Magician's Nephew. But it's tough competition -- Wilson Rawls's Where the Red Fern Grows, Daniel Manus Pinkwater's Lizard Music, Caroline Rush's Tales of Mr. Pengachoosa, and a number of others are in the running.

2. What are you reading right now?
Tolkien's The Hobbit, Edith Stein's Potency and Act, Franz Werfel's The Song of Bernadette, and a few others.

3. What books do you have on request at the library?
None.

Reading large numbers of books at once.

5. What do you currently have checked out at the library?
None at present. I find more and more that I tend to read library books in the library unless I need them for research or they look interesting and I don't have the time to stop and read them at that moment.

6. Do you have an e-reader?
No.

7. Do you prefer to read one book at a time, or several at once?
Strictly speaking, I prefer reading one book at a time, but in practice I jump around among several books at once. I have found myself on occasion in the middle of more than a dozen books.

No, although I occasionally pick up reading recommendations from other blogs.

9. Least favorite book you read this year (so far?)
There was one by Charles Stross whose title I can't remember, about virtual robberies. Excellent premise, which Stross then spent three hundred fifty pages making as boring as possible. Having looked into several other Stross books, I think this is probably his usual writing method.

10. Favorite book you’ve read this year?
If by this we mean 'read for the first time', then probably either Michael Flynn's January Dancer or Diana Wynne Jones's Hexwood.

It varies a lot.

Science fiction and philosophy, I suppose.

13. Can you read on the bus?
Yes. Do to schedule constraints, I don't ride the bus all that much these days, but books that I have read entirely on the bus include Zane Grey's Nevada and Antonio Rosmini's Conscience.

Usually on the bed, although anywhere I can stretch out is quite nice. I used to read quite a bit on the floor, but my apartment is a little crowded for that at present.

15. What is your policy on book lending?
I do so a fair amount.

16. Do you ever dog-ear books?
No.

17. Do you ever write in the margins of your books?
Very, very rarely, and even then usually only if I have several copies of the same edition.

18. Not even with text books?
Not even with text books.

English. I like Spanish and French well enough, but as my reading pace is much, much slower in them, I find it a bit harder to attend to what I'm reading.

20. What makes you love a book?
I think loving books is like a lot of loves: you only really love a book if you love it for reasons unique to it, or at least unique to your reading of it.

21. What will inspire you to recommend a book?
Someone expressing interest in the topics relevant to the book; that's pretty much it.

22. Favorite genre?
Science fiction. Well, strictly speaking, fantasy, but I find I'm so picky about it that I have little patience for most works written in the genre.

23. Genre you rarely read (but wish you did?)
I like mysteries, but for some reason I just never get around to reading them.

24. Favorite biography?
I don't know that I have a favorite per se. I find that I tend not to like biographies, except, for some reason, biographies of poets, which I almost always find interesting. Juliet Barker's Wordsworth was pretty good.

25. Have you ever read a self-help book?
Several, but they tend not to be memorable.

26. Favorite cookbook?
My mom once gave me a cookbook titled Help, My Apartment Has a Kitchen, which probably is the one.

27. Most inspirational book you’ve read this year (fiction or non-fiction)?
I never know what people mean by 'inspirational' when it comes to books; sometimes it sounds like what you find in any decent book, and sometimes it sounds like something I've probably never experienced. I just honestly don't have a clear idea what people mean by it.

Dark chocolate. But I usually just drink tea.

I tend to find Hemingway's books well below what everyone says of them; I've never read a work by Hemingway that did not disappoint. I don't think that this is entirely Hemingway's fault. But it has nothing on The Catcher in the Rye, which is the sort of novel that could only appeal to the world's most narcissistic generation.

30. How often do you agree with critics about a book?
Not very often. Friends are better on books than critics, usually.

You can't be in philosophy if you're scared of giving negative reviews. But people have a bad habit of thinking that positive reviews are less valuable, or, even worse, that if you write a negative review that automatically means that you haven't written fluff. The writing of negative fluff is the single worst critical sin, being simultaneously an act of arrogance and stupidity. This goes for any sort of negative comments, by the way.

32. If you could read in a foreign language, which language would you chose?
There's part of me that sometimes resents the fact that I cannot read them all: so many beauties and brilliancies hidden away where I will likely never find them. The Tower of Babel is in many ways a more tragic story than the Garden of Eden. If I had to choose one, it would be Finnish, probably, although Classical Chinese would be cool. I do sometimes wish I could read Polish, because of the excellent philosophical work that's locked away in Polish.

33. Most intimidating book you’ve ever read?
Heavily mathematical works are always intimidating; often even if they are trying to be elementary. Lawvere and Schanuel's Conceptual Mathematics comes to mind (but I liked it, and intend at some point to read it again).

34. Most intimidating book you’re too nervous to begin?
I can't really think of anything.

35. Favorite Poet?
Probably Christina Rossetti.

36. How many books do you usually have checked out of the library at any given time?
When I have them checked out, usually no more than ten (and usually less than six).

37. How often have you returned book to the library unread?
Probably fewer times than I could count on both hands.

38. Favorite fictional character?
Fanny Price in Mansfield Park. You won't find many people saying that, I'm afraid, but she's not to be dismissed lightly.

39. Favorite fictional villain?
Tito Melema in George Eliot's Romola: the single best depiction of villainy I've read, I think, since he enters the book extraordinarily likable and, without changing at all, for all the reasons he's likable, turns out to be a villain. I'm tempted, though, by Miriam's answer of Becky Sharp in Vanity Fair; perhaps for broadly analogous reasons.

40. Books I’m most likely to bring on vacation?
Usually I bring philosophy on vacations, but in terms of fiction, I'll often bring a book by Diana Wynne Jones -- Fire and Hemlock has had several vacation readings.

41. The longest I’ve gone without reading.
Recently, probably not more than a day or two. When I was younger, though I was often without a book.

42. Name a book that you could/would not finish.
Pamela Kaufman's Shield of Three Lions. I actually have it, since I've inherited a number of works; and it apparently has a lot of fans, but near the beginning I was so sickened by the rape scene that, sampling later parts and finding nothing better, I've never picked it up again. I am very seriously inclined to say that anyone who likes this book is morally depraved.

43. What distracts you easily when you’re reading?
Not much.

44. Favorite film adaptation of a novel?
I don't know if I'd call it my favorite, but it's the one that strikes me most definitely offhand -- I really liked The Jane Austen Book Club; somewhat better than the book, actually (which I bought after watching the movie, because I liked the movie). But I think it's a very adaptable book.

I'm pretty generous with movies in general, and tend not to judge adaptations by the original books, but there are some that are just all around disappointing. The Herek The Three Musketeers, for instance. Dude, how can you turn Dumas into an awful movie? He has sword fights! Larger than life heroes with foibles! Creeping machinations and byzantine plots! Period clothes and breathtaking scenery!

But really, there are so many. Tip to Hollywood: there's a reason classics are classics. By all means adapt them, and change what needs to be changed in order to make them cinematic. But in absolutely everything you do -- respect them.

46. The most money I’ve ever spent in the bookstore at one time?
I actually don't buy much in bookstores at one time -- usually just a book here or there, although I'll often come out of Half Price Books with four or five. I did spend nearly four hundred dollars at Amazon.com once, though.

47. How often do you skim a book before reading it?
Sometimes. In general, though, I just read.

48. What would cause you to stop reading a book half-way through?
Not much. Barring external factors and interruptions, it's usually the rare case of my coming to the conclusion that reading the book is itself morally culpable. My reading tastes being very diverse and quite generous, this is a very rare thing; frivolousness about rape or something similar could very well put a book in this position, though.

49. Do you like to keep your books organized?
No; except for, in a broad way, keeping authors and series together, I genuinely prefer that there be no organization to my books.

50. Do you prefer to keep books or give them away once you’ve read them?
Keeping them.

51. Are there any books you’ve been avoiding?
No.

52. Name a book that made you angry.
There are a few; mostly philosophical works in which well-established philosophers consistently say extraordinarily stupid things. Naming names might get me in trouble.

I also, however, and somewhat curiously, get angry at logic textbooks; don't get me started on Copi's Introduction to Logic, which is useful only for beating in the heads of people who use it in undergraduate logic courses. I really do mean it: don't get me started on it. My ire at logical claims is one of my weird quirks; you can set me off by seriously insisting that most natural language conditionals are material conditionals, or that particular propositions necessarily have existential import, or that the predicate calculus is the One True Logic, all of which are starting to get me riled just by thinking of them. It's not just any logical claim that inspires this, and I have no clue where this feature of my personality comes from.

53. A book you didn’t expect to like but did?
Their titles aren't generally memorable and I wouldn't read them again, but I've on two or three occasions been stuck with only romance novels available for reading material. Many of them are stupid, but no more than in any other genre; and the conventions of the genre are often stupid (although more changeable than in many other genres) but this might also be said of many other genres. Not my cup of tea, but some are not bad.

54. A book that you expected to like but didn’t?
Alasdair MacIntyre, God, Philosophy, Universities. The first MacIntyre book I learned absolutely nothing from.