ANU Logic Summer School

There will be a Logic Summer School at ANU December 5-16. I will be co-teaching Introduction to Proof Theory with Agata Ciabattoni (Technische Universität Wien) in the second week. For my portion of the course, I will present a slightly condensed version of the material that Greg and I presented at NASSLLI. Agata will present additional material on sequent and hypersequent systems for non-classical logics. Should be fun!

Posted in Uncategorized | Leave a comment

More events in 2016

There are two more Logic Seminars lined up this year, but the logic fun doesn’t stop there. We will have two more events in December.

On Friday, December 9, we will have a Logic Day. There’ll be talks by Ross Brady (La Trobe), Greg Restall (Melbourne), Lloyd Humberstone (Monash), Tomasz Kowalski (La Trobe), and Hiroakira Ono (JAIST). Program details will be on the PhilEvents page.

On Monday, December 19, there will be a workshop on the work of Kit Fine. The currently confirmed speakers are Kit Fine (NYU), Rohan French, and Dan Marshall (Lingnan). Program details will be on the PhilEvents page.

Both events are free. There is no need to register.

Posted in Uncategorized | Leave a comment

Recent work by Melbourne logicians

This instalment of “Recent work” features articles by Greg Restall and Rohan French, as well as a joint paper by Lloyd Humberstone and Tomasz Kowalski.

Both Greg and Rohan’s articles are in open access journals, so their papers can be freely downloaded from the journal websites via the links above.

Posted in Uncategorized | Leave a comment

Proof Theory course at NASSLLI

Next week, Greg and I will be presenting an intensive course on proof theory at NASSLLI 2016. The course is Proof Theory: Logical and Philosophical Aspects. The slides are available online, as well as brief descriptions of each session’s content and the course proposal.

Posted in Uncategorized | Leave a comment

Recent work by Melbourne logicians

This instalment of “Recent work” features a book by Lloyd Humberstone and two articles on paradoxes by Rohan French and Shawn Standefer. The publisher’s page for Humberstone’s book includes a link to the table of contents, which looks exciting.

Both the articles are in open access journals, so anyone can download the published pdfs for free via the links above.

Several locals will also be presenting at the AAL next week.

 

Posted in Uncategorized | Leave a comment

Logic videos

A few weeks ago, Dan Murfet (Melbourne) gave a talk on linear logic and complexity, which was a follow up on his December talk. He has recently made a nice screencast of the talk. It gets into some work on subsystems of linear logic, particularly the work on stratifications of linear logic by Baillot and Mazza.

For the beginner in logic, Greg Restall has some short clips of logic lectures available on Vimeo: Intro Logic, Advanced Logic, and Modal and Non-Classical Logic.

 

Posted in Uncategorized | Leave a comment

Recent work by Melbourne logicians

This instalment of “Recent work” comprises work by Lloyd Humberstone (Monash), Shawn Standefer (Melbourne), Jake Chandler (La Trobe), and Greg Restall (Melbourne).  Some of these papers are not yet online, but preprints are available.

Details for Chandler’s articles will be added when they appear online. The links for those papers are to preprints.

Update: Restall’s paper is in print. The co-authored paper by Chandler is online now.

Posted in Uncategorized | Leave a comment

Recent work by Melbourne logicians

There are frequent logic talks in Melbourne. Melbourne logicians also publish a fair bit. We’ve got a record of talks, both by locals and visitors, but nothing about recent work by locals. To rectify this, I’m going to do a series of semi-regular posts to highlight newly published work by members of the Logic Seminar.

The first instalment comprises papers by Karen Green (Melbourne), Lloyd Humberstone (Monash), and Daniel Murfet (Melbourne).

Posted in Uncategorized | Leave a comment

Logic Workshop 2015

We’re closing out the year with a two-day Logic Workshop, running December 10-11. Talks will be in Old Quad G14 and will start at 11 each day. The tentative schedule is below. Everyone is welcome.  Continue reading

Posted in Uncategorized | Leave a comment

Intro to linear logic

Dr. Jen Davoren (Melbourne) wrote up a *really* nice set of notes on linear logic, and she has graciously said that we can put it online. So, enjoy A Lazy Logician’s Guide to Linear Logic (pdf, 6.9MB).

Posted in Uncategorized | Leave a comment