This is Greg Restall’s website, with news, writings, links, and bite sized updates. For background look below.

On Logics without Contraction

On Logics Without Contraction, Ph.D. Thesis, The University of Queensland, 1994.

My Ph.D. Thesis, completed in January 1994. I was supervised by Prof. Graham Priest, at the University of Queensland. The thesis is 292 pages of work on logics without the contraction rule.


Author: Greg Restall
Status: Online only

Local file: onlogics.pdf (1MB)

Subjects: contraction models non-classical logic proofs relevant logic


I’m Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. Email: greg at; Post: School of of Philosophy, Anthropology and Social Inquiry, University of Melbourne, Parkville 3010, Australia.

Start at the home page—a summary of the site. The left column is news, archived on the news archive page. The central column contains recent items from the writing page, which lists my publications. These are also categorised by topic. You can follow my links at my account on delicious and occasional short snarky remarks at @consequently on twitter.

Current CO2 concentration in the atmosphere

To subscribe to this site, either read the full feed  of everything, the feed of news items only , or the feed of writing items only , which is also great for podcasting pdfs automatically.

This site is handcoded: I write text in Textmate, and Webby files things in the right place and uploads them to the server. This page was last modified on 2009-01-03 at 11:00PM.


Philosophy aims at the logical clarification of thoughts. Philosophy is not a body of doctrine but an activity. A philosophical work consists essentially of elucidations. Philosophy does not result in ‘philosophical propositions’, but rather in the clarification of propositions. Without philosophy thoughts are, as it were, cloudy and indistinct: its task is to make them clear and to give them sharp boundaries.
— Ludwig Wittgenstein Tractatus Logico-Philosophicus.