Colloquium Logicae (CLE-UNICAMP) @ Logic Supergroup

[Walter Alexandre Carnielli]

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.