Events archive

2025
12 June 2025 Lecture

Modal Semantics without Possible Worlds

We 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...

Read more

12 June 2025 Lecture

Suszko-Style RNmatrix Reductions: Truth-Functionality Lost

In 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...

Read more

23 May 2025 Lecture

The basics of adaptive logics

The 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...

Read more

9 May 2025 Lecture

On formal systems proving their own consistency

Over 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...

Read more

2022
2 July 2022 to 4 July 2022 Conference

Society for Philosophy of Science in Practice (SPSP): Ninth Biennial Conference

The 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...

Read more

25 May 2022 Lecture

Situation semantics and the frame-based model theory of relevant logics

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 given ontic or realist styles of...

Read more

25 May 2022 Lecture

Exactly modalized verification and empty truthmaking

In 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...

Read more

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...

Read more

2021
8 December 2021 to 10 December 2021 Workshop

Mathematics as/in Science

More information on this event will follow.
2020
28 May 2020 to 29 May 2020 Workshop

Logical and Methodological Analysis of Scientific Reasoning Processes II

More information on this event will follow.

Pages