[SydPhil] Reminder: Moritz Cordes @ Mon 11 Mar 2013 13:00 - 14:30 (Current Projects)
calendar-notification at google.com
Tue Mar 5 12:59:55 AEDT 2013
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
* kristiemiller4 at gmail.com- creator
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the SydPhil