Events archive
| 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. |
| 4 November 2019 to 6 November 2019 | Workshop |
Reasoning about Evidence: Logical, Historical and Philosophical PerspectivesThis is the 10th workshop in the 'Logic, Reasoning and Rationality' series. |
| 19 June 2019 to 21 June 2019 | Conference |
Formal Ethics 2019More information on this event will follow. |