Tuesday, October 30, 2018

Anne Koedt, "The Myth of the Vaginal Orgasm"

Anne Koedt's essay "The Myth of the Vaginal Orgasm" (1970) is a classic of second wave feminism, an important example of the concern feminists of that era had with sexuality, but also an intellectual precursor of political lesbian and the divisive debates that surrounded that topic. One can find 'reprints' all over the web, and the essay was reprinted in a collection of essays, Radical Feminism, edited by Koedt that was published in 1973. But the version published in that book, and (from what I can tell) 'reprinted' elsewhere, is not quite the same as the original.

I know this because I was fortunate enough to find a copy of the original on abebooks.com. It was published by the New England Free Press (operating out of Boston) on two double-letter (8.5"x22") pages, printed both sides, and folded into a letter-sized (8.5"x11") pamphlet (with no staples, at least in mind). Cost: 10 cents, about 70 cents in 2018. It's the kind of thing one would have found in 'radical' bookstores back in those days.

Because of the historical importance of this work, it seems worth making a copy available online. So here's a DjVu and a PDF.

(If anyone should have good reason to object to my making this available, please let me know, and I'll be happy to remove it.)

Saturday, October 20, 2018

Corner Quotes in LaTeX

I'm posting this just because I had a hard time, today, finding the original source for a macro I've been using for a while in LaTeX. The macro in question typesets 'corner quotes', such as:
⌜A ∧ B⌝
The corners themselves are not hard to create, since LaTeX has \ulcorner and \urcorner macros. That will usually work fine, but there are issues involving the height and spacing of the corners that can arise in some cases. A macro due to Sam Buss solves these problems. (I discovered it here.) I've put the macro in a style file, godelnum.sty, which you can download here. Here's the contents:
\newbox\gnBoxA
\newdimen\gnCornerHgt
\setbox\gnBoxA=\hbox{$\ulcorner$}
\global\gnCornerHgt=\ht\gnBoxA
\newdimen\gnArgHgt


\def\Godelnum #1{%
       \setbox\gnBoxA=\hbox{$#1$}%
       \gnArgHgt=\ht\gnBoxA%
       \ifnum \gnArgHgt<\gnCornerHgt
               \gnArgHgt=0pt%
       \else
               \advance \gnArgHgt by -\gnCornerHgt%
       \fi
       \raise\gnArgHgt\hbox{$\ulcorner$} \box\gnBoxA %
               \raise\gnArgHgt\hbox{$\urcorner$}}
Usage is just: \Godelnum{A \wedge B}, and the like. Note that one can do this outside math, since the macro inserts $s around the argument. (Probably \ensuremath would be better.)

Friday, October 12, 2018

Newly Published: Logicism, Ontology, and the Epistemology of Second-Order Logic

In Ivette Fred and Jessica Leech, eds, Being Necessary: Themes of Ontology and Modality from the Work of Bob Hale (Oxford: Oxford University Press), pp. 140-69 (PDF here)

Abstract:
In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in terms of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms.
And from the acknowledgements:
It is the peculiar tradition of our tribe to express our respect for other members by highlighting our disagreements with them. So, in case it is not clear, let me just say explicitly how much I admire Bob Hale’s work. I learned a lot from him over the years—both in conversation and from his written work—and greatly enjoyed the time we were able to spend together. Bob’s enthusiastic support for me and my work, early in my career, was particularly important to me. So I am honored to be able to contribute to this volume and thank Ivette and Jessica for the invitation.
I'm particularly sad, for myself, that Bob passed before we had a chance to discuss these issues one more time....