The Development of Modern Logic Online

Leila Haapaaranta’s collection The Development of Modern Logic came out earlier this year. It’s a handy one-volume compendium to the history of logic in the modern era (full disclosure: I have an article in it). The price tag might still be a bit steep: $150, although that buys you over 1,000 pages of scholarship in an attractive hardback volume! But if you have access to Oxford Scholarship Online, you can now also read the book over the intertubes.

Also online now: JC Beall’s Spandrels of Truth.

Videos from Foundational Adventures Conference

Last May, Ohio State had a conference in honor of Harvey Friedman’s 60th birthday. Videos of the talks are now available (via Neil Tennant). These include talks by Friedman himself, as well as John Burgess, Sam Buss, Mic Detlefsen, Sol Feferman, Hartry Field, Rohit Parikh, Grisha Mints, Wilfried Sieg, Ted Slaman, Patrick Suppes, and many others.

Per Lindström, 1936-2009

From the ASL Newsletter, I just learned that Per Lindström died two months ago:

Per (Pelle) Lindström, the Swedish logician, died in Gothenburg, Sweden, on August 21, 2009, after a short period of illness. He was born on April 9, 1936, and spent most of his academic life at the Department of Philosophy, University of Gothenburg, where he was employed first as a lecturer (‘docent’) and, from 1991 until his retirement in 2001, as a Professor of Logic. Lindström is most famous for his work in model theory. In 1964 he made his first major contribution, the so-called Lindström’s test for model completeness (c.f., Chang & Keisler, Model Theory, 3rd ed., Thm. 3.5.9: if a countable set of first-order sentences has only infinite models, is categorical in some infinite power, and is such that the set of its models is closed under unions of chains, then it is model complete). In 1966 he proved the undefinability of well-order in Lω1ω (obtained independently and in more generality by Lopez-Escobar), an early example of the use of recursion theory to obtain model-theoretic results. The same year he also introduced the concept of a Lindström quantifier, which has now become standard in model theory, theoretical computer science, and formal semantics. The paper also contains a characterization of elementary logic among logics with generalized quantifiers, generalizing a result by Mostowski. The proof uses Lindström’s version of what is now known as Ehrenfeucht-Fraissé (EF) games, a concept he came up with independently. Another paper from 1966 (“On relations between structures”) gives a powerful and extremely general formulation of a preservation/interpolation theorem, again based on EF games. These results were published in the Swedish philosophical journal Theoria and written in an extremely terse style, which had the effect that they escaped the notice of most of the logic community for a while. It was his 1969 paper “On extensions of elementary logic” (also in Theoria), where he presented his famous characterizations of first-order logic—Lindström’s Theorem—in terms of properties such as compactness, completeness, and Löwenheim-Skolem properties, that was first recognized as a major contribution to logic. It laid the foundation of what has become known as abstract model theory (c.f., Barwise & Feferman (eds.), Model-Theoretic Logics, 1975). The proof was based on EF games and on a new proof of interpolation, following the line of argument in the papers on relations between structures and Lindström quantifiers. Several other characterizations of first-order logic followed in later papers. Beginning at the end of the 1970’s, Lindström turned his attention to the study of formal arithmetic and interpretability. He started a truly systematic investigation of this topic, which had been somewhat dormant since Feferman’s pioneering contributions in the late 1950’s. In doing so he invented novel technically advanced tools, for example, the so-called Lindström fixed point construction, a far-reaching application of Gödel’s diagonalization lemma to define arithmetical formulas with specific properties. His approach to interpretability was based on the study of related lattices, such as the lattice of interpretability types over a fixed extension of Peano Arithmetic (PA), or the lattices of Σn– and Πn -sentences over PA, for some fixed n, and he established many interesting structural properties of these. Other memorable results include the Lindström-Solovay theorem that the interpretability relation between sentences over PA is Π20-complete and the characterization of faithful interpretability over PA as a combination of Π1– and Σ1-conservativity. In the 1990’s, he also contributed to the area of provability logic: he gave a simplified proof of the de Jongh-Sambin fixed point theorem and characterized the bimodal logic of PA and PA augmented by the reflection rule: infer a sentence φ from ‘φ is provable’.

Pelle Lindström had an exceptionally clear and concise style in writing mathematical logic. His 1997 book, Aspects of Incompleteness, remains a perfect example: it provides a systematic introduction to his work in arithmetic and interpretability. The book is short but rich in material; it also contains some results one cannot find in journal publications, for example, his solution to one of the 102 problems formulated by Harvey Friedman.

Throughout his life, Pelle Lindström also took an active interest in philosophy. He participated in the debate following Roger Penrose’s new version of the argument that Gödel’s Incompleteness Theorems show that the human mind is not mechanical. He presented his own philosophy of mathematics, which he called ‘quasi-realism’, in a paper in The Monist in 2000. It is based on the idea that the ‘visualizable’ parts of mathematics are beyond doubt (and that classical logic holds for them). He counted as visualizable not only the ω-sequence of natural numbers but also arbitrary sets of numbers, the latter visualizable as branches in the infinite binary tree, whereas nothing similar can be said for sets of sets of numbers, for example. Moreover, he made numerous contributions over the years to the Swedish popular philosophy journal Filosofisk Tidskrift—one of these will be published posthumously—on subjects as diverse as the freedom of will, the mind-body problem, utilitarianism, and counterfactuals.

Pelle Lindström will be remembered by the logic community as a great logician, and by his family, friends and colleagues as a remarkable human being.

Reforming Graduate Education

New book out from Princeton UP on the Graduate Education Initiative of the Andrew W. Mellon Foundation, discussed on Inside Higher Ed. Not sure if any philosophy departments participated. In light of previous discussion on differential attrition rates for women in the pipeline, this should be interesting:

Chapter 7 addresses a matter of continuing concern among students, their professors, and administrators. Do marriage and childbearing affect the chances men and women have of completing their degrees and of doing so promptly? Although these questions are not at issue in the GEI, they are important. As a result, we made sure the student survey would yield data on students’ marital status when they entered graduate school and whether they had children at the time. In light of the increasing numbers of women earning PhDs in all fields and their very significant representation in the humanities, having an understanding of the relationships linking gender, marital status, and parenthood and the collective impact of all three on completion and TTD is likely to become increasingly important in the years ahead. Gender differences on average favor men, but we find these differences are due solely to the fact that married men do better than single men and single women. Marriage benefits men but does not do the same for women.

Women in the Academic Pipeline II

Following up on my previous post, Women in the Academic Pipeline, where I compared rates at which women earned BAs and PhDs in various fields in the US: what does it look like in the faculty ranks? Not surprisingly, the percentages in general go down as you go higher, but there are some interesting (and disturbing) things to notice. First, the data:

Teaching field BA PhD Lecturer/
Instructor/
Other
Assistant Associate Full
Biological sciences 62.2% 46.5% 47.7% ±7.5% 37.9% ±7.3% 25.9% ±5.9% 20.4% ±5.4%
Computer and information sciences 25.1% 22.0% 31.9% ±4.9% 27.1% ±11.6% 31.6% ±12.5% 26.8% ±14.3%
Engineering 18.8% 17.7% 11.3% ±5.0% 10.2% ±7.1% 9.2% ±4.3% 4.3% ±2.8%
english 68.9% 60.3% 67.3% ±4.2% 60.4% ±12.1% 56.5% ±12.1% 41.7% ±9.0%
Mathematics and statistics 46.0% 28.1% 42.3% ±5.9% 32.9% ±13.2% 24.5% ±11.7% 17.8% ±7.2%
Philosophy 29.2% 31.4% 23.8% ±12.3% 14.0% ±12.3% 29.3% ±21.8% 12.6% ±12.9%
physical sciences 41.7% 27.8% 31.6% ±6.9% 29.3% ±10.4% 19.1% ±7.8% 8.9% ±4.4%
Social sciences 50.9% 42.6% 33.1% ±5.4% 36.2% ±8.7% 32.6% ±7.2% 19.7% ±4.5%

This data comes from the U.S. Department of Education, National Center for Education Statistics, 2004 National Study of Postsecondary Faculty (NSOPF:04) and was generated from a table generated using their convenient QuickStats feature. The BA and PhD percentages come from the previous post, for 2003-04 graduates.

The representations of women among Assistant Professors in philosophy (14%) is much lower than expected, and among Associate Professors (24%) much higher than expected. Why? Are the women getting stuck at the Associate Professor rank? In most fields women are better represented in the instructor ranks than in the PhD pool, except in engineering, the physical sciences, and philosophy. And in computer science, the line goes up and not down. Sign something they did in the 90s to increase women representation among faculty worked?

UPDATE: Prompted by Kenny’s comment, I computed the errors on those figures, and since they are rather large for some data points (especially pfor philosophy), take these with a grain of salt! And ignore the last paragraph.

Leitgeb’s “Untimely Review” of Carnap’s Aufbau

Topoi has a series of “untimely reviews”, where classic works of philosophy are reviewed as if they had just been published. Hannes Leitgeb did one on Carnap’s Aufbau, where he not only pretends that it was just published, but also pretends (as I guess you’d have to if you take the premise seriously) that it wasn’t published 80 years ago (philosophy would have looked very different). I would write more and link to it, but I discovered that Chris Pincock blogged this already three months ago (and I missed it/forgot about it), so I’ll just send you over to his great blog. Also, read Chris’s Philosophy Compass paper on the Aufbau! And: Hannes’s serious, substantial, long-awaited paper “New life for Carnap’s Aufbau?” is out in Synthese online first (free preprint in the philsci archive). Here many of the things he hints at in the review are spelled out.

Women in the Academic Pipeline

Catarina’s comment on the previous post prompted me to find out what the pipeline looks like in philosophy, and so I went to the tables from the Digest of Education Statistics (of the US, tables of Bachelor’s, master’s, and doctor’s degrees conferred by degree-granting institutions, by sex of student and field of study) and made a handy table plus graph:

Biological sciences BA Biological sciences PhD Computer sciences BA Computer sciences PhD Engineering BA Engineering PhD English BA English PhD Mathematics BA Mathematics PhD Philosophy BA Philosophy PhD Physical sciences BA Physical sciences PhD Social sciences BA Social sciences PhD
2006-07 60.1% 49.3% 18.6% 20.6% 16.9% 20.9% 68.3% 59.4% 44.1% 29.8% 31.2% 25.3% 40.9% 31.6% 49.8% 45.1%
2005-06 61.5% 49.2% 20.6% 21.7% 17.9% 20.2% 68.6% 59.3% 45.1% 29.5% 30.9% 26.8% 41.8% 30.0% 50.0% 43.3%
2004-05 61.9% 49.0% 22.2% 19.1% 18.3% 18.7% 68.5% 59.2% 44.7% 28.5% 29.7% 23.9% 42.2% 27.9% 50.5% 42.8%
2003-04 62.2% 46.5% 25.1% 22.0% 18.8% 17.7% 68.9% 60.3% 46.0% 28.1% 29.2% 31.4% 41.7% 27.8% 50.9% 42.6%
2002-03 61.9% 45.8% 27.0% 20.6% 18.7% 17.2% 68.8% 60.5% 45.8% 27.1% 32.2% 26.8% 41.2% 27.6% 51.5% 43.0%
2001-02 60.8% 44.3% 27.6% 22.8% 18.9% 17.3% 68.6% 58.5% 46.7% 29.0% 33.0% 23.6% 42.2% 28.0% 51.7% 43.1%
2000-01 59.5% 44.1% 27.7% 17.7% 18.2% 16.5% 68.4% 60.3% 47.7% 28.8% 31.4% 25.3% 41.2% 26.8% 51.8% 41.4%
1999-01 58.3% 44.1% 28.1% 16.9% 18.5% 15.5% 67.9% 58.8% 47.1% 25.0% 31.5% 30.1% 40.3% 25.5% 51.2% 41.2%
1998-99 56.5% 42.2% 27.1% 18.9% 17.7% 14.3% 67.4% 60.3% 47.8% 26.2% 30.3% 24.5% 39.9% 24.2% 50.5% 41.1%
1997-98 55.1% 42.5% 26.7% 16.3% 16.9% 12.2% 66.9% 59.1% 46.5% 25.7% 31.3% 28.0% 38.4% 25.2% 49.2% 40.8%

Click on the image to see a larger version.
The zig-zaggyness of the philosophy PhD line (dashed red) is probably just caused by the fact that there are relatively few philosophy PhDs awarded each year–under 400 versus between 1,100 and 8,000 for the other fields. Discuss.

NOTE: Evelyn Brister has collected these data for several years on the Knowledge and Experience blog. Be sure to check over there (click on the links on the left side) for additional info and discussion.

UPDATE: More pipeline data, now with faculty by rank!

Women in Philosophy

I’m glad to see some more discussion of the gender situation in philosophy discussed more widely. It started with an article in The Philosopher’s Magazine, “Where are all the women?” which was then picked up in “A dearth of women philosophers” in the NYT. There are some interesting responses on Feminist Philosophers blog (first, second, third post), on Edge of the American West, on Knowledge and Experience, and mentioned on Leiter’s blog.

For background data (not in philosophy, but in science and engineering) on research on gender differences in aptitude, patters and mechanisms of discrimination, trends, etc., I can only recommend again the definitive report of the National Academies’ Committee on Maximizing the Potential of Women in Academic Science and Engineering from 2007:

Beyond Bias and Barriers: Fulfilling the Potential of Women in Academic Science and Engineering

as well as a new report (2009):

Gender Differences at Critical Transitions in the Careers of Science, Engineering, and Mathematics Faculty

It’s instructive to compare philosophy to mathematics: roughly the same numbers, but in mathematics it has been improving (31% women math PhDs in 2008 vs 24% 10 years earlier) while in philosophy the numbers have remained around 28% for a while.

New Natural Deduction Software for Mac

Deductions is a program that is designed to help understand and construct proofs in natural deduction (in the Logic Book style). It runs only on Macs, so I couldn’t try it out, but the videos look interesting.