Events archive
| 12 June 2025 | Lecture |
Modal Semantics without Possible WorldsWe introduce a modular non-deterministic semantic framework that captures all the modal logics within the classical modal cube, without recourse to possible-worlds semantics. Utilizing eight-valued non-deterministic matrices and level-based valuations, our approach offers a... |
| 12 June 2025 | Lecture |
Suszko-Style RNmatrix Reductions: Truth-Functionality LostIn this talk, based on joint work with Thomas Ferguson and Paweł Pawłowski, we develop a formal framework for what we call Suszko-style reductions, drawing on the theory of restricted non-deterministic matrices (RNmatrices). Originally introduced by Coniglio and Toledo—but... |
| 23 May 2025 | Lecture |
The basics of adaptive logicsThe aim of this presentation is to give a concise introduction to the adaptive logics programme. After presenting (i) the standard format for adaptive logics, (ii) their dynamic proof theory and (iii) their semantics, we will address the question whether adaptive logics are... |
| 9 May 2025 | Lecture |
On formal systems proving their own consistencyOver the years, exploring the boundaries of G"odel's second incompleteness theorem has been a somewhat exotic topic in mathematical logic. Nevertheless, the interest towards these questions never died out. We will discuss some recent examples to this effect, that... |
| 2 July 2022 to 4 July 2022 | Conference |
Society for Philosophy of Science in Practice (SPSP): Ninth Biennial ConferenceThe SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices, neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting... |
| 25 May 2022 | Lecture |
Situation semantics and the frame-based model theory of relevant logicsTwo families of relational semantics for relevant logics, the ternary relation and the Fine-style, or operational-relational, semantics are compared on point of interpretation. Following Punčochář, it’s noted that the former kind tend to be given ontic or realist styles of... |
| 25 May 2022 | Lecture |
Exactly modalized verification and empty truthmakingIn this talk I introduce the notions of exactly modalized verification (and falsification). In Kit Fine’s approach to exact truthmaker semantics, sentences have what I call categorical exact verifiers, determined purely by the exact verifiers of their subsentences. This... |
| 25 March 2022 | Lecture |
Situation semantics and the frame-based model theory of relevant logics [CANCELED]THE LECTURE HAS BEEN CANCELED. Two families of relational semantics for relevant logics, the ternary relation and the Fine-style, or operational-relational, semantics are compared on point of interpretation. Following Punčochář, it’s noted that the former kind tend to be... |
| 8 December 2021 to 10 December 2021 | Workshop |
Mathematics as/in ScienceMore information on this event will follow. |
| 28 May 2020 to 29 May 2020 | Workshop |
Logical and Methodological Analysis of Scientific Reasoning Processes IIMore information on this event will follow. |