[SydPhil] Reminder: Moritz Cordes @ Mon 11 Mar 2013 13:00 - 14:30 (Current Projects)

[Google Calendar]

This is a reminder for:

Title: Moritz Cordes
Logic: The Study of Inference in ONE Language"

f one adopts the view that Logic is (also) the science of resoning or  
inference and furthermore accepts that not only reasoning in formal but  
also in natural language belongs to the scope of Logic, the question arises  
how to adequately represent natural reasoning in formal systems. The most  
likely candidate systems for that task seem to be linear calculi of natural  
deduction. I would like to take a look at some such calculi and try to show  
how certain important features of natural reasoning are not carried over  
into the formal derivations. Instead the formal systems considered add  
features that can't be found in natural reasoning, and which are at the  
same time problematic from a technical point of view. Finally, I would like  
to discuss a technically harmless way out of this discrepancy between  
natural reasoning and its formal representation.
When: Mon 11 Mar 2013 13:00 – 14:30 Eastern Time - Melbourne, Sydney
Where: Univerity of Sydney, philosophy common room
Calendar: Current Projects
Who:
     * kristiemiller4 at gmail.com- creator

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=XzY5MmoyZHBvODUxM2ViOW02Y3NqYWI5azZnc2plYjlwNm9xajhiOW04OTEzNmdxMjY0cjNjaGExOGMgZmV2MWxkcjRsa2h2MDM2b2U0aW4yanR0ZGdAZw

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this email at the account sydphil at arts.usyd.edu.au  
because you are subscribed for reminders on calendar Current Projects.

To stop receiving these notifications, please log in to  
https://www.google.com/calendar/ and change your notification settings for  
this calendar.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.sydney.edu.au/pipermail/sydphil/attachments/20130310/103977cd/attachment-0002.html>