Intensionalisation of Logical Operators

0436789 - FLÚ 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Intensionalisation of Logical Operators.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 173-185. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: semantics * assertibility * intensionality * logical operators * natural deduction
Kód oboru RIV: AA - Filosofie a náboženství

This paper introduces and explores semantics for propositional language in which every logical operator is intensional in a specific sense: its meaning is not based on truth conditions but on assertibility conditions. Assertibility is a relation between contexts and formulas, and contexts are modeled as sets of possible worlds. In the semantics, the consequence relation preserves assertibility instead truth. A system of natural deduction for this semantics is formulated and completeness proved. At the end, the semantics is compared with two similar frameworks: Wansing's constructive connexive logic and inquisitive semantics.
Trvalý link: http://hdl.handle.net/11104/0240453