Room P3.10, Mathematics Building

João Marcos, IFCH, Unicamp, Brazil

Logics for discussion

One compelling use for a multimodal logic is the situation in which agents are borne to bring together different views on the same matter. However, as what happens in any usual discussion, there might be opinions in disagreement and conflicting interests to be reconciled. If all agents begin on an equal footing, in the view of an impartial arbiter, there is no reason not to suppose that they should share a common language, thus flattening the many modalities in toto. Any such a situation gives rise to what is known as a discussive system. This talk will survey the work on discussive logics and their modal interpretations, since their origin in Jaskowski 1948, and show their relation to logics with society semantics. The metatheoretical notions of consistency and determinedness will be shown to be easily internalizable by such logics.