Colloquium Logicae (CLE-UNICAMP) Speaker: Ekaterina Kubyshkina (CLE-UNICAMP)
Title: Ignorance: A Truth-Functional Perspective Time and Date: Wednesday, July 1, 2 pm GMT-3 Moderator: Walter Carnielli Link: https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae Abstract: I will present a family of four-valued logics, dubbed logics of rational agents, where the epistemic state of an agent is represented truth-functionally. In particular, these logics permit one to formalize the fact of being ignorant of or knowing some truth at the level of valuations, without the explicit use of epistemic operators. On the basis of this semantics several sound and complete systems will be provided. Moreover, these systems, extended by alethic modalities of necessity and possibility, will be applied to the analysis of an epistemological problem known as knowability paradox, or Church-Fitch paradox. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcZ7JN9A_JTqnNkexNYGcMskULo70C2FVLsFm0kG26Knw%40mail.gmail.com.
