Greetings all,
This coming Monday, 6 October there will be a current projects seminar. I know it is a public holiday, but it was the only day Greg Restall could make, and we just had a week of no seminars. We have keys to the building, so if everyone could meet just before 1.00 at the Jacaranda tree in the main quad, we'll let ourselves in an meander upstairs. If Greg isn't incentive enough, THERE WILL BE CAKE. Greg will talk to us about "What Philosophers need from Proof Theory and what Proof Theorists need from Philosophers". He gives nice clear papers, so I encourage people to come along regardless of Queens, or labour days, or whatever is the current excuse for a holiday. Abstract This talk is a precis of the large structure of my book-in-progress "Proof Theory and Philosophy." I aim to explain why philosophers should be interested in the branch of formal logic known as proof theory --- and in particular, why we should pay attention to insights from developments in proof theory in the late 20th century which have not yet been widely considered by the philosophical community. I aim also to explain why proof theorists should be interested in how philosophers apply proof-theoretical notions. There are benefits for each partner in the relationship between formal logician and philosopher. I'll illustrate this with an introduction to inferentialist semantics for modal notions, giving an example of the interplay between the design of a formal system and its applications. See you there... Dr. Kristie Miller Australian Research Council Post-doctoral Fellow School of Philosophical and Historical Inquiry and The Centre for Time The University of Sydney Sydney, Australia Room 411, A18 Email: [EMAIL PROTECTED] Email: [EMAIL PROTECTED] Ph: (work) 02 9036 9663 Ph: (mobile) 0432 275 286 http://homepage.mac.com/centre.for.time/KristieMiller/Kristie/Home%20Page.html _______________________________________________ SydPhil mailing list [email protected] List Info: http://lists.arts.usyd.edu.au/mailman/listinfo/sydphil NEW LIST ARCHIVE: http://www.mail-archive.com/[email protected]/
