consequently.org | news archive
Time Flies · Live from Hejnice · Rumfitt on Multiple Conclusions, Part 2 · Rumfitt on Multiple Conclusions, Part 1 · Problems for Naïve Property Theories · Bob Meyer · More on Words · Types, Tokens and Names · Quiz for today · Spandrels of Truth · Back in the saddle · Holiday, in progress · Holiday! · Little Snippets of News ·
Merry Christmas, all · Always More… · New Paper: Assertion, Denial and Non-Classical Theories · New Paper: Truth Values and Proof Theory · Back! Then off, then back again! · Off to Guangzhou · Tartu Pluralism Days #3 and #4 · Tartu Pluralism Day #2 · Tartu Pluralism Day #1 · Tartu · Amsterdam! · Bag packed, let’s go! · Pain, stress, redundancies, another day at the office · Random interesting fact (one in an intermittent series) · Logical Pluralism, in Tartu · Informal Logic: now open access · We’re in the news… · Sorry… ·
Melbourne Philosophy Undergraduate Workshop · Talk on the Philosopher’s Zone · … and we’re back · … arrived! · Heading off… · Not ‘gargoyle’ but ‘finial’ · Logic Job at Auckland · Logica 2007 is coming up · Book Launch! Inside Lawyers’ Ethics · In Banff: Monday, Tuesday, Wednesday, Thursday… · My talk in Banff · In Banff: Delia Graff Fara · In Banff: Branden Fitelson on Formal Epistemology · In Banff ·
Off to India… · Scenes from an afternoon · Horn tooting · A Philosophical Poll: on a priori knowledge of possibilities · Party on Tuesday · Masses of Formal Philosophy: Question 2 · An idea… · Visits · Ten Questions about Books · On the Interview · On Politics · Interviewed again · Assorted Observations · Back home · Here in Nancy, Day 2 · Here in Nancy, Day 1 · Off to France · Teaching in Semester 2, 2006 · Key Ideas in the theory of proofs #1: The Duality of Proofs and Counterexamples · This football game is pretty tense… · Interviewed · End of Semester · On Regret and Slingshots · On the Cable Guy Paradox · Masses of Formal Philosophy: Question 1 · Happy 5 day! · Well, that was easy… · The Shifty Salesman · Enclosures · 2006 redesign in progress · AJL Papers · Spooky coincidence? I think not · Oh, and there’s another paper, too · Being a logician means sometimes having to say that you’re sorry. Or at least, that you’re wrong. · Dame Edna at the Commonwealth Games Closing Ceremony · Last Night at the MCG · Marathon Effort · Greg Hjorth coming back to Melbourne · Masses of Formal Philosophy · Degrees of Truth, Degrees of Falsity · Fun with Playlists: Squeezing your music library onto a 2GB iPod · Phase Change · Assorted crosscultural observations, upon visiting the supermarket · Teaching in Semester 1, 2006 · Happy 2006 ·
About to leave Oxford · Survived so far… · Time flies when… · Week 1 · Cut elimination generalised · Reflections on Iona, part 2 · Reflections on Iona, part 1 · … Iona, Glasgow, Oxford. · Denmark, Oxford, Edinburgh … · Logic Colloquium 2005 Day 4 · Logic Colloquium 2005 Day 3 · Logic Colloquium 2005 Day 2 · Logic Colloquium 2005 Day 1 · Legroom · Off to Athens… · Keep up with our travels: the map · In Århus · Up, up and away · Loud · AJL · On applescript and php, and an archive page · Logic Colloquium 2005 and ESSLLI 2005 · Rearranging · The Flight of the Balloon · Teaching in Semester 2 · Skype · We’re off in almost a month: I’ve got to get ready! · Searching in Mac OS X Tiger · Seminars at Otago · Logic Books at print.google.com · University Library Proxy Bookmarklet · Please Help Us #1: On Self-Saucing Pudding · Comments on Weblogs · Get your kicks on Route 55 · Wikis are fun · I’ve been writing · Happiness is… · Darren Blogging for Tsunami Relief · Matt and Nick talk Dialetheism · Work, work, work, work… · Back to work tomorrow · Teaching in Semester 1 · 2005 Redesign ·
What’s going on around here · Take these shoes… · Sheet Music · Travel Plans 2005 · Headphones · Well, that didn’t go as I’d hoped · In case you were wondering · October 9 Election · Itchy to redesign (a bit) · What’s been happening around here · Parent/Teacher Interview · I’m so not here · Off North · GMail · Organising Academic Papers · Slow Period · Musical Taste · No writing implements? · The Twelve Apostles · Assertion, Denial, Paradox… · The Geometry of Non-Distributive Logics · Ancestors · Tree Totaller · Grading · Who are Boole, Fitch and Tarski? · Inference & Meaning · What He Said · Knowability 4 · Haskell and Logic · NAD C521BEE · Knowability 3 · Great Moments in Logic · Winter Stylesheet · Max Cresswell at the AJL · Knowability 2 · The AJL is on the Register · Help Wanted · Busy/Quiet Period 2, and email · Knowability · Funding Changes at the University of Melbourne · Technical ‘Support’ · Hedge · Shootings · Research Project · What the universe looks like from the inside · Busy/Quiet Period · Brandom on Philosophy and the University · Research Quantification · Zachary with a chocolate moustache · Monday comments · Kai on Book Publishing · Zachary Scribbling · Publishing a Book · The Wind is Blowing · Revisiting the past · Study Window · Are God’s Hands Tied By Logic? · AJL Volume 2 · Black Mountain Tower · Teaching, teaching, teaching · Zachary at Hanging Rock · Reboot ·
Happy Birthday #2! · Learning Negation · Clouds of War · “Tantrum” · Nor W arf Numb E · Spots · February Pictures · Thoughts · Zachary and Straw · 2003 Brunswick Music Festival · News Feed · 2003 Redesign · Meteorologist · Don Burrows and Nina Ferro · A Crackpot Index · Beables and Changeables ·
Brett Lee in Action · Yellow and Blue · Solaris 2.0 · His Dark Materials and Third Way · The High Court of Australia · I hate marking · Richard Jeffrey Dies · Cricket Writing · Grade Inflation? · Apposite Text · No photos for a while · Flower Boy · Monash Shooting · Graph Theory · What colour is that? · Logic Seminars · A Smile · GNU Prolog · The Zoo · Wireless Network · Instant Messaging · Zero to Three · Settling In · Primes is in P · ‘I Guess I Get A Little Emotional Sometimes’ · New Archbishop of Canterbury · Busy, busy, busy · Sanity about the ABC · Email Address · Eat and drink your way down Sydney road · Brunswick · Arrival · Trouble in Lygon Street · Stranger Building · Strange Building · Zachary’s Car · Don on God · Househunting Results · Househunting by remote · What does biography (of philosophers) have to do with philosophy · God Music · Ups & downs · Geography · Self-Annihilating Sentences · lowercase audio · Spain in August 2003! · RSPAS International Relations Publications · epitonic.com · Back to the… · boat-people.org · Stephen Jay Gould · Two changes · A preliminary move · Seagull at Manly · Budget · Job at Auckland · Ratbots · About The Internet · How to Mark a Book · ‘Aussie Chardonnay’? · Peru and Free Software · ASIO Bill · Blue Mountains · Microsoft · Now in three flavours · Firefly Press · Higher Education Rumblings · Sydney Aquarium · Play with combinators · The Politics of Science · Cataclysme politique en France · One more mystery solved · Fisticuffs in real estate · The Golden Grove Ferry · Sic Transit Gloria · Is that God singing? · Down through the ages… · You are here & Brouwer · Go to Australia · Pascal’s Wagering · Happy Birthday! · New Design · Object Permanence · Philosophical Reading on Race · No Sugar · SF for social change · The Russian Avant-Garde Book · Bembo’s Zoo · Font style and book design · Zack enjoys sitting in my chair · Kind Words ·

Me, Heinrich Wansing, and a plant, Dresden, June 15, 2009.

Z pensive, Brunswick, May 16, 2009.

Mortensen, and Priest gesticulating, Adelaide, May 9, 2009.

Mortensen and Hazen gesticulating, Adelaide, May 9, 2009.

Mark LeCras taking a mark, MCG, September 2, 2006.

A spectator checking the video replay at the MCG, September 2, 2006.
, Birrarung Marr, September 2, 2006.jpg)
Federation Bells (and the MCG in the background), Birrarung Marr, September 2, 2006.

Let them Land, Let them Stay, Tampa memorial Action, August 26, 2006.
“What are we to accept, and what are we to reject, when saving truth from paradox?” Philosophical Studies 147:3 (2010) 433–443. [Page | PDF
232KB]
Greg Restall and Tony Roy “On Permutation in Simplified Semantics,” Journal of Philosophical Logic, 38:3 (2009) 333–341. [Page | PDF
230KB]
“Anti-Realist Classical Logic and Realist Mathematics,” to appear in a volume on anti-realism and realism. [Page | PDF
392KB]
“Assertion, Denial and Non-Classical Theories,” to appear in the proceedings of the Fourth World Congress of Paraconsistency, Melbourne July 2008. [Page | PDF
301KB]
“A Priori Truths,” pages 37-50 in Central Issues in Philosophy, edited by John Shand, Blackwell, 2009. [Page | PDF
191KB]
“Truth Values and Proof Theory,” to appear in Studia Logica. [Page | PDF
288KB]
Sam Butchart, Toby Handfield and Greg Restall, “Using Peer Instruction to Teach Philosophy, Logic and Critical Thinking” Teaching Philosophy, 32:1 (2009) 1–40. [Page | PDF
449KB]
(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, 2009. [Page]
“Models for Liars in Bradwardine’s Theory of Truth,” pages 135-147 in Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox edited by Shahid Rahman, Tero Tulenheimo and Emmanuel Genot, Springer, 2008. [Page | PDF
240KB]
“Truth Tellers in Bradwardine’s Theory of Truth,” submitted to Modern Views of Medieval Logic, the Proceedings of the First GPMR Workshop on Logic & Semantics. [Page | PDF
221KB]
More can be found at the writing archive.
I’m Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. Email: greg at consequently.org; 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 is for photos, archived on the occasional photos page. The right 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.
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-05-25 at 10:11AM.
I think part of the appeal of mathematical logic is that the formulas look mysterious — You write backward Es!
— Hilary Putnam The Philosophers’ Magazine, Summer 2001.