Browsing the archives for the Linguistics category

All of my children are mass murderers

Formal logic and English conversational logic are quite different things; everybody knows that when the waitress asks whether you want ’soup or salad’, ‘both’ is not a valid answer. But even when they have different rules, they can still come to the same conclusion. Consider the statement ‘not all of my children are mass murderers’. Is it true for me, given that I do not actually have any children? According to the usual rules of conversational English’s logical quantifiers (‘all’ and ‘there is’ and their various rephrasings), the answer is no: ‘not all of my children are mass murderers’ implicates that I have at least one child, and furthermore entails that that child is not a mass murderer. But what about if we interpret the statement in formal logic? The answer is still no, but for a completely different reason: it is the negation of the statement ‘all of my children are mass murderers’, and that statement is true.

The reason that I can state truthfully in formal logic ‘all of my children are mass murderers’ without actually having any children is for the same reason that the sum of an empty set is zero and the product of an empty set is one: if it were any other way, then several useful properties of those operations would not hold. For sum, we would lose the fact that the sum of the two sets A and B is the sum of the set A plus the sum of the set B, and similarly for products. These are true because 0 and 1 are identities of addition and multiplication, respectively. For the case of ‘for all’, we can think of it as first applying the predicate to the set, and then taking the logical and of the result; we then must have that \forall_{x \in S}p(x) is true when S is empty, or else we would lose the theorem that \forall_{x \in A}p(x) \wedge \forall_{x \in B}p(x) \Leftrightarrow \forall_{x \in A \cup B}p(x). While it could certainly be special-cased to take into account the cases where A or B is the empty set, it would detract from its simplicity, and would require proofs involving it to first show that neither of the two is empty (which can be a challenge, and might even require additional axioms if dealing with infinite sets, choice functions, etc.)

One of the interesting things that this implies is that for any predicate p, \forall_{x \in \emptyset}p(x), even when p is false for all x, much like how \prod_{x \in \emptyset}0=1. But returning to the linguistics theme, it seems rather odd; this is because the quantifier ‘all’ has an implication that the entities that are being talked about exist; in other words, the statement ‘all x are y’ implies that at least one x exists. If this is known to be false by the speaker, it sounds odd, much like the statement ‘John has two children’ sounds odd if the listener knows that John actually has exactly four children; the statement ‘John has two children’ implicates that he has exactly two.

0 Comments

Opti-Fucking-Mality Theory, Part 2

In my previous post, I gave a basic explanation of optimality theory as it relates to the phenomenon of expletive infixation. At the end, I mentioned that the word laser is not infixable; I know of no speakers who would accept *la-fucking-ser. While we can state that ‘there are these rules that must be satisfied in order for infixation to be possible’, it’s better to continue to work within the optimality theory-based framework. So to do this, we introduce another rule, Infix, which corresponds to ‘there is an actual infix presented in the word.’ Right away, we see that the existence of pre-fucking-view implies that Infix is more important than Clash; in the notation of optimality theory, this is written as Infix >> Clash. Further, since we cannot have *pre-fucking-view, IP >> Clash.

But this doesn’t address the central problem: *la-fucking-ser, despite not violating any of these rules, is unattested. This, as it turns out, is because Clash is fundamentally the wrong rule. An even better illustration, that Clash cannot be the rule we’re looking for, lies in the word-pair unbelievable and irresponsible. They both have identical stress patters (a trochee followed by a dactyl). However, they don’t have the same infix patterns: un-fucking-believable, but not *ir-fucking-responsible. No rule based only on stress patterns can account for this difference. It helps to gather a table of prefixed words:

Admits infix Doesn’t admit infix
unbelievable irresponsible
antebellum irreconcilable
cryogenics florist
overdrive malodour

The fundamental common characteristic is that in the infixable words, the syllable boundary between the prefix and the root word is ’strong’ in some sense; it’s easy to state that the boundary in unbe- is between the /n/ and the /b/. On the other hand, in irre-, there’s confusion: is the boundary between the two /r/s? Is it between the second /r/ and the /e/? In more formal terms, the /ən.bə/ syllable juncture is considered strong, whereas the /ɪr.rə/ juncture is weak. This same pattern extends to all the other words, and so we delete Clash and create a new rule, Strong, which states that the infix must fall at a strong syllable juncture. So we see that the table for irreducible predicts infixation between /rə/ and /’duː/:

IP RP Strong Infix
irre-fucking-sponsible
irresponsible *!
ir-fucking-responsible *!

By contrast, for unbelievable, we have:

IP RP Strong Infix
un-fucking-believable
unbe-fucking-lievable
unbelievable *

Much like the intuitive explanations for IP and RP, we can come up with an intuitive explanation for Strong: an infix inside a weak syllable boundary would be more like an infix inside a syllable, which is invalid; we can even see that Clash falls out as a special case when dominated by RP; a stressed-unstressed syllable juncture (as in /leɪ.sər/ vs. /leɪs.ər/) is typically a weak juncture; an infixation into stressed-stressed syllable junctures would violate Clash, but unstressing the former syllable would violate RP.

There is, however, one phenomenon we can’t account for: despite the fact that I pronounce undo undo, I only have un-fucking-do, not *un-fucking-do. There are two explanations for this, but one of them also predicts extraneous forms; giving the two explanations, as well as showing why one is wrong, will be the subject of the final part.

Opti-Fucking-Mality Theory, Part 1

Expletive infixation (meaning the process by which you get words like ‘un-fucking-believable’, ‘irre-fucking-futable’, and yes, ‘opti-fucking-mality’) is traditionally explained based on a rule which involves the prosody (i.e., the lyrical structure) of the word. But the usual theory, which was first given by John McCarthy in his “Prosodic Structure and Expletive Infixation” is rather inadequate. It’s consistent with all of the data it provides, but it fails to give an explanation of one key phenomenon: when the word ‘destroy’ is infixed as ‘de-fucking-stroy’, the ‘de-’ becomes stressed, and the vowel lengthens from ‘deh’ into ‘dee’. Since the prosodic hypothesis states that the structure, so to speak, of the root word isn’t modified by the infix, this is hard to explain, especially since the change from ‘ih’ to ‘ee’, or [ɪ] to [iː] (see here for a chart of IPA tables) isn’t necessarily produced by stress. So another alternative is desirable.

Enter optimality theory. According to optimality theory (or OT), we can come up with a certain set of rules and a ranking for them; the valid infixation (or infixations) whose first rule violation is lower-ranked than any other infixed forms. Since some words, such as laser,cannot be infixed, the statement that ‘there must be an infixed word’ must also be a rule in and of itself, which can be violated. So let’s set up a few base rules:

  • IP: The pronunciation of the infix word is preserved.
  • RP: The pronunciation of the root word is preserved.
  • Clash: There are no two adjacent stressed syllables.

I left out the Infix rule; we’ll come back to it later. Let’s take a look at a sample word, kindergarten (using bold for stress).

IP RP Clash
kinder-fucking-garten
kin-fucking-dergarten *!
kin-fucking-dergarten *!

What this means is that only the first form, kinder-fucking-garten has no violatins of any rules. The other two violate one rule each; the ! indicates that each violation is the ‘first’, or highest-priority one. The two light-gray cells in the bottom row indicate that, for purposes of comparing fitness, those cells are irrelevant; in optimality theory, only the first violation is relevant.

Of course, this isn’t terribly useful for figuring out the actual rankings of constraints, and rankings are relevant; moreover, there are a few rules that haven’t been introduced yet that cannot be violated: as an example, *la-fucking-ser, despite not violating any of these rules, is not considered acceptable by the majority of English speakers. So what do we do?

"A black": bigotry through bad grammar

I recently read a forum post that asked about “poor Japanese”. For some reason, this struck me as both bad grammar (using an adjective, ‘Japanese’, as a noun) and offensive. I noticed that similar phrases, substituting words such as ‘gay’ or ‘black’ for ‘Japanese’, also struck me as offensive. But phrases like ‘an American’, ‘a lesbian’, or ‘a Hispanic’ don’t have the same offensive capability.

The common thread seems to be that when X can function both as an adjective and as a noun, violating grammar by referring to someone as ‘a/an X’ is offensive, whereas it isn’t if X can also function as a noun. I’m not sure why a simple grammatical error can sound so grating to the ear. Perhaps it has to do with the brain filling it in as ‘a gay man’, for example, and by omitting the word ‘man’ the speaker is subtly denying the subject’s humanity. Or maybe, by using an adjective as a noun, the speaker implies that the subject is solely identifiable by that adjective and conforms to all the associated stereotypes.

Regardless of the explanation, the phenomenon is likely rooted in the listener taking offense against prejudice and stereotype, as when a non-stereotyped adjective, such as ‘tall’ or ‘brown-eyed’, is substituted for X, the phrase ‘a/an X’ ceases to be offensive, merely ungrammatical.

0 Comments