The Complexities of Syntax
R. Nefdt, C. Klippi and B. Karstens (eds.): Philosophy and Science of Language, Palgrave, 2020
Indicative conditionals in objective contexts.
Theoria, 86, 2020, 651-68
Workshop on information-based semantics and related frameworks
June 6
meeting room at the Institute of Philosophy, Jilská 1
13:30-14:20 Vít Punčochář: Information-based semantics and related frameworks
coffee break
14:30-15:20 Colin Zwanziger: Inquisitive logic from the perspective of category theory
June 7
Academic Conference Centre, Institute of Philosophy, Jilská 1
10:00-10:50 Fan Yang: Non-downward closed team-based propositional logics
coffee break
11:10-12:00 Davide Quadrellaro: On the model theory of team semantics
lunch
14:00-14:50 Johannes Korbmacher: The granularity of inquisitive and truthmaker content
coffee break
15:10-16:00 Antonio Piccolomini d'Aragona: Some results in non-monotonic proof-theoretic semantics
coffee break
16:20-17:10 Ivo Pezlar: An implication elimination-like variant of the generalized Kreisel-Putnam rule and its computational content
Rudolf Carnap's Inferentialism
R. Schuster (ed.): The Vienna Circle in Czechoslovakia, Springer, Cham, 2020, 97-109
A Relevant Logic of Questions
Journal of Philosophical Logic 49, 2020, 905-939
The Harmony of Identity
Journal of Philosophical Logic 48, 2019, pp. 867–884
Eta-Rules in Martin-Löf's Type Theory
Bulletin of Symbolic Logic 25, 2019, pp. 333-359
Logic and Sets
Logic and Logical Philosophy, online first
The Truth of Proof: A Hegelian Perspective on Constructivism
C. Weiss (ed.): Constructive Cemantics, Springer, Cham, 2019, 149-172
Substructural Inquisitive Logics
Review of Symbolic Logic 12, 2019, 296-330.
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
