consequently.org/news

About

I'm Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. [Email: greg at consequently.org; Skype: greg_restall; Post: Department of Philosophy, University of Melbourne, Parkville 3010, Australia.]

Writing

These are the three last modified entries on my writing page.

“Truthmakers, Entailment and Necessity 2008,” an addendum to “Truthmakers, Entailment and Necessity,” to appear in Truth and Truth-making, edited by E. J. Lowe and A. Rami, Acumen, 2008. →
[with Rebecca Kukla and Mark Lance] Appendix to Rebecca Kukla and Mark Lance ‘Yo!’ and ‘Lo!’: the pragmatic topography of the space of reasons, Harvard University Press, to appear. →
“Curry’s Revenge: the costs of non-classical solutions to the paradoxes of self-reference,” in The Revenge of the Liar, ed. JC Beall, Oxford University Press, pages 262–271, 2008. →
“Anti-Realist Classical Logic and Realist Mathematics,” under revision. →
“Proof Theory and Meaning: on second order logic,” to appear in the Logica 2007 Yearbook, Filosofia. →

Classes

In Semester 2, which starts on July 31, I’ll be teaching an honours seminar 161-438 Logic and Philosophy, in which we cover proof theory and its applications to semantics.

Events

AAL2007: the annual conference of the Australasian Association for Logic, University of Melbourne November 9 to 11, 2007.

Recent Past

University of Melbourne Philosophy Undergraduate Workshop, University of Melbourne September 21 to 23, 2007.

Logic Colloquium 2007, Wrocław, Poland, July 14-19, 2007.

1st GPMR Workshop on Logic & Semantics on Medieval Logic and Modern Applied Logic, Rheinische Friedrich-Wilhelms-Universität Bonn, Germany, on June 28-30, 2007.

Logica 2007, Hejnice Monastery, Czech Republic, 18-22 June 2007.

Heart of Philosophy Café talk and discussion on “What Marx, Freud and Nietzsche have taught me about belief in God”. Tuesday May 8, 7--9pm in the Merrick's General Store.

Masses of Formal Philosophy: Question 1

As I mentioned before, I’ve been thinking about Vincent Hendricks and John Symons’ five questions about Formal Philosophy. This seems like as good a place as any to answer them. So, today, I’ll have a crack at the most autobiographical of the questions:

Why were you initially drawn to formal methods?

I suppose the natural way to interpret this question is something like “why do formal methods rather than anything else in philosophy” but in my case I’d rather answer the related question “why, given that you’re interested in formal methods, apply them in philosophy rather than elsewhere.” I started off my academic life as an undergraduate student in mathematics, because I was good at mathematics and studying it more seemed like a good idea at the time.

I enjoyed mathematics a great deal. At the University of Queensland, where I was studying, there was a special cohort of “Honours” students right from the first year. You were taught more research-oriented and rigourous subjects than were provided for the “Pass” students. This meant that we had a small cohort of students, who knew each other pretty well, studied together and learned a lot. I could see myself making an academic career in mathematics. (I surely couldn’t see myself doing anything other than an academic career. Being around the university was too much fun.)

However, there was a fly in the ointment. I was doing well in my studies, but I was losing the feel for a great deal of the mathematics I was doing. Applied mathematics went first, and analysis soon after. I could do the work, but I didn’t understand it. I wrote assignments by matching patterns from what I had written in my lecture notes, or what was in the text with what we were asked. In exams, I just bashed away at the problem, sometimes when asked in an exam to prove that A = B, I’d work at A from the top of a page and keep manipulating it until I’d got stuck. Then I’d work backwards from B, hoping to meet at somewhere rather like where I’d got stuck. If I was honest, I’d write “I don’t know how to get from here to there”. If I was dishonest, I’d just leave the transition unexplained. Knowing what I know now about marking assignments, it doesn’t suprise me that I did very well…

The areas where intuition and understanding lasted the longest (and which were most fun) were topology, probability theory, combinatorics, set theory and logic. There were so few honours subjects I really wanted to do that in my last year I struck a deal with the mathematics department that I could do a reading course in logic with the newly arrived professor in the Philosophy Department. The professor was Graham Priest, and the reading course was my introduction to philosophical logic.

At the very same time as I was wondering how to continue with academic life, I was very involved in Christian student things: in the little group I was in, I ran study groups, I organised meetings, I wrote publicity material, and I did a bucketload of reading. In particular, while trying to figure out what I believed about things (about a lot of things), I read a lot of philosophy of religion and other philosophy written by Christians. I found the philosophy more interesting, more rigourous and more accessible than a great deal of the theology I had been reading. This piqued my interest in doing more philosophy for myself. I hadn’t done much philosophy as an undergraduate (just two subjects), but I started trying to figure out how to do a major in Philosophy quickly, so that I could go on to postgraduate work in that field, rather than in mathematics.

It turned out that my work with Graham Priest went so well that I didn’t need to do more undergraduate study in Philosophy to start postgraduate work. (That semester course resulted in this paper, my first genuine academic publication.) I was offered a place in the Ph.D. program on the strength of my background in mathematics. I was free to pursue my interest in philosophy, and logic was the bridge. This meant that I could use the formal, mathematical skills that I had learned, on topics that interested me, and that I understood. The mathematics was simple and manageable, it was applied to interesting issues, and I got to hang around with philosophers, who are interesting people.

Posted 01:08 AM on April 19, 2006

Comments

Hey (Dr.?) Greg, I’m in your first year logic class! Very interesting post, especially this bit: “Knowing what I know now about marking assignments, it doesn’t suprise me that I did very well” Care to elaborate? :)

On a more serious note, I actually think Logic has done the opposite for me. It’s made me fear maths less (at school I was petrified of it to the extent that I dropped it completely) and I’m now planning to take only Logic subjects so I can do something mathematical - economics - in post-grad.

A bit optimistic perhaps…

Sukrit Sabhlok , May 1, 2006 09:03 PM

Hi, Sukrit!

On the point on marking assignments, I’m now aware of the speed that most lecturers do it. When you have a pile of 50 exams or assignments to mark, a week to do it in, and a heap of other things to that week (grant applications, or committee meetings, or research, or marking things from your other course, reading postgraduate students’ materials, refereeing papers for journals, etc.) then you just don’t give each assignment an hour of your time! (Do the mathematics, and see what you do — most assignments or exams get 10 to 20 minutes, I find.) I had this mental image of my examiners poring over each of my words, spotting my every error. It’s not like that!

I’m glad that doing logic has made mathematics subjects less daunting for you. That’s wonderful! I wish you well in your future, wherever this takes you…

Greg Restall , May 1, 2006 09:10 PM