On 7 April, Adriane Rini (Massey) gave a talk about Arthur Prior’s work before he discovered modern logic. There was a lot of interesting material in the talk. Rini mentioned two websites with resources on Prior that I thought should be shared. They are the Foundations of Temporal Logic and the Virtual Lab for Prior Studies. They have a lot of resources, including some unpublished manuscripts and correspondence. Rini said they are looking for volunteers to contribute transcription and commentary work.
Recently, the Melbourne Logic community has grown a bit. Dr. Cathy Legg, now at Deakin, joins us, and two new postgrads at UniMelb, Toby Dinh and Timo Eckhardt, will join us. Last semester, Dr. Ana Mamatelashvili, now at UniMelb, joined us. We have several visitors this semester as well.
There was a lot of logic activity in Melbourne this past year. Since we just had our final event of the year, I thought it’d be nice to sum things up.
We had 39 talks at the Logic Seminar and related Workshops, which does not include the 20 talks at the AAL, which happened in town. We had 3 reading group sessions. There were 9 Logic Seminars in Semester 1 and 16 in Semester 2. We had 4 Workshops over the course of the year.
Logic Seminar attendees had several papers accepted or published this year. There were 12 by my count. A few of these were presented at the Logic Seminar, and a few more that were presented are in the pipeline. And, Lloyd Humberstone’s modal logic book came out.
The coming year should be quite active as well. There are already 3 Logic Seminars scheduled for Semester 1, with a couple more tentatively planned. Plans are also firming up for a Workshop on substructural logics towards the start of the Semester. I expect that a lot of ideas will be colliding around here in 2017.
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!
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.
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.
- Greg Restall. “First Degree Entailment, Symmetry and Paradox,” article to appear in Logic and Logical Philosophy. doi:10.12775/LLP.2016.028
- Rohan French. “An Argument for the Ontological Innocence of Mereology,” Erkenntnis vol. 81(4), p. 683-704 (2016). doi: 10.1007/s10670-015-9762-x
- Tomasz Kowalski and Lloyd Humberstone. “An Abelian Rule for BCI–and Variations,” Forthcoming in Notre Dame J. Formal Logic (2016). doi: 10.1215/00294527-3679398.
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.
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.
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.
- Lloyd Humberstone, Philosophical Applications of Modal Logic. College Publications (2016).
- Rohan French, “Structural Reflexivity and the Paradoxes of Self-Reference,” Ergo vol. 3, no. 05 (2016). DOI: dx.doi.org/10.3998/ergo.12405314.0003.005
- Shawn Standefer, “Contraction and revision,” Australasian Journal of Logic vol 13, no 3 article 2 (2016).
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.
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.
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.
- Lloyd Humberstone, “Review of Modal Logic for Philosophers. Second Edition,” Studia Logica (2016). DOI: 10.1007/s11225-016-9666-z
- Anil Gupta and Shawn Standefer, “Conditionals in Theories of Truth,” Journal of Philosophical Logic (2016). DOI: 10.1007/s10992-015-9393-3 (preprint)
- Richard Booth and Jake Chandler, “The Irreducibility of Iterated to Single Revision,” to appear in Journal of Philosophical Logic. DOI: 10.1007/s10992-016-9404-z
- Jake Chandler, “Preservation, Commutativity and Modus Ponens: Two recent triviality results,” to appear in Mind.
- Greg Restall, “On Priest on Nonmonotonic and Inductive Logic,” Thought, Volume 5, Issue 2, pages 119–124, June (2016). DOI: 10.1002/tht3.201 (preprint)
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.
Number of posts found: 16