[SydPhil] Reminder: Ekaterina Koubychkina @ Thu 11 Sep 2014 15:00 - 16:30 (Current Projects)
calendar-notification at google.com
Fri Sep 5 14:59:49 AEST 2014
This is a reminder for:
Title: Ekaterina Koubychkina
Truth-functional approach to epistemic logic and Fitch's paradox.
The aim of my talk is to present a new truth-functional approach to analyse
the expressions of the form "agent knows x" or "agent does not know x" in a
formal way. The epistemic systems (such as K, T and others) propose to
formalize the mentioned expressions by an operator Kax ("the agent a knows
that x"). This is not the only way to formalize such kind of statements.
My idea is to use a many-valued logic where we introduce the fact of
knowing or not knowing something at the level of valuations. By this, we do
not need to use the K-operator at the syntax level, but we still have a
method to distinguish known and unknown statements. Founding on this
assumption, I introduce the logic (or better to say the family of logics,
as there are several systems based on the same semantic assumption), that I
call the logic of a rational agent. This logic can throw new light on
Fitch's paradox: if we accept the thesis that all truths are knowable, then
all truths are already known. In particular, I show that using the logic of
a rational agent, the paradox is no longer derivable (at least in its
When: Thu 11 Sep 2014 15:00 - 16:30 Eastern Time - Melbourne, Sydney
Calendar: Current Projects
* Kristie Miller- 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