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.

“Molinism and the Thin Red Line,” paper in progress. Presented at the Molinism: The Contemporary Debate conference hosted by Ken Perszyk and Ed Mares at Victoria University of Wellington. →
“Modal Models for Bradwardine’s Theory of Truth,” Review of Symbolic Logic 1 (2008), 225-240. Special issue on Mathematical Methods in Philosophy, edited by Richard Zach, Alasdair Urquhart and Aldo Antonelli →
“Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence),” Studies in Logic 1 (2008), 26-36. →
[with Tony Roy] “On Permutation in Simplified Semantics,” to appear in the Journal of Philosophical Logic. →
“Proof Theory and Meaning: on second order logic,” pp 157-170 in Logica 2007 Yearbook, edited by Michal Pelis, Filosofia, 2008. →

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.

Talk on the Philosopher’s Zone

I gave a talk on Logic in Australia at Monash University’s Arts in Action festival in early June. (This was a part of a long-running project on a History of Australasian Philosophy. The talk is now appearing, in two parts, on the (wonderful) ABC Radio National program, The Philosopher’s Zone. The first part was broadcast this weekend, but the audio can be downloaded from their website for the next four weeks. That was the first half of the talk, on possible worlds. The second half, on paraconsistency, will be broadcast next week.

In the talk, I made heavy use of digital projection. I think you can follow the talk without it, but if you want to see the pretty pictures and diagrams, you can download the slides of the talk here:

Logic in Australia.mov 22.5MB Quicktime file. (Navigate it by clicking or by using the arrow keys.)
Logic in Australia.pdf 3.3MB PDF file. (This does not have all of the fancy transitions in the quicktime file.)
Logic in Australia.key.zip 3.8MB compressed keynote file. (This has all the fancy transitions, and is the original document, but it requires Apple’s Keynote presentation program to view.)

Posted 05:26 PM on August 5, 2007

Comments

Hi Greg

I enjoyed your talk on the “Philosopher’s Zone” about logic that is not consistant. Our researches have introduced us to another form of logic in which the reverse of “3d accepted logic” applies.

Cheers

Malai

Malai , August 11, 2007 04:23 PM