AAL 2009

The annual conference of the Australasian Association for Logic

July 11 and 12, 2009

The 2009 AAL Conference will be held from the morning of Saturday July 11 to the afternoon on Sunday July 12, 2009 in the Old Quad at The School of Philosophy, Anthropology and Social Inquiry at the University of Melbourne.

Talks

The program includes papers from Allen Hazen (President, Melbourne), Conrad Asmus (Melbourne), Jc Beall (Connecticut), Ross Brady (La Trobe), Martin Bunder (Wollongong), Patrick Girard (Auckland), Rod Girle (Auckland), Lloyd Humberstone (Monash), Ray Jennings and Yue Chen (Simon Fraser), Toby Meadows (Melbourne), Chris Mortensen (Adelaide), Greg Restall (Melbourne), Su Rogerson and Sam Butchart (Monash), Andrew Withy (Auckland), Ed Zalta (Stanford).

Registration

No registration fee will be charged, but a modest donation will be accepted to help fund drinks, morning and afternoon teas.

Accommodation

Hotel accommodation is available nearby at the following hotels near to the conference site.

Each hotel website contains details of facilities, address, and booking options.

Program of Events

Saturday

8:30am: Registration, Donations for Morning and Afternoon Teas & Drinks.
9:00am–10:00am: Allen Hazen (Presidential Address) — The Present Situation of the Philosophy of Mathematics
10:05am–11:05am: Ed Zalta — A Defense of Logicism
Morning Tea
11:25am–12:25pm: Lloyd Humberstone — A Conservative Extension Argument of Dana Scott
Lunch
1:40pm–2:20pm: Chris Mortensen — The Stairs
2:25pm–3:05pm: Martin Bunder — Uniqueness of Normal Proof Criteria
3:10pm–3:50pm: Ross Brady — The Consistency and Completeness of Arithmetic, Based on a Logic of Meaning Containment
Afternoon Tea
4:10pm–4:50pm: Conrad Asmus — Laws that Lie: Physics and Logic
5:45pm: AAL AGM; Tributes to Bob Meyer and Len Goddard; Drinks
7:30pm: AAL Conference Dinner

Sunday

9:00am–9:40am: Rod Girle — Creating Distinctions – Do they Matter?
9:45am–10:25am: Hartley Slater — Ontological Discriminations
Morning Tea
10:45am–11:45am: Graham Priest — Is the Ternary R Depraved?
11:50am–12:30pm: Andrew Withy — Concision Begets Relevance
Lunch
1:45pm–2:45pm: Jc Beall — Truth, Necessity and Abnormal Worlds
2:50pm–3:30pm Greg Restall — Bradwardine Sequents3:35pm–4:15pm: Toby Meadows — Groundwork for a Cumulative Semantic Hierarchy

Afternoon Tea

4:35pm–5:15pm: Patrick Girard — Ceteris Paribus and Infinitary Modal Logics

5:20pm–6pm: Su Rogerson and Sam Butchart — TBA

View Larger Map

July 2009 • Greg Restall, on behalf of Ross Brady, the Local Organiser.