OFR - Theoretical Philosophy

Activities

Activities per year 2009 2015 2016 2017 2018 2019 2021 2025

• 238 Invited talk
• 66 Poster/paper presentation
• 52 Conference
• 37 Workshop, seminar, course
• 56 More
  • 15 Editorial activity
  • 7 Membership of board
  • 7 Membership of committee
  • 6 Member of an PhD examination committee
  • 4 Publication peer-review
  • 4 Other
  • 4 Schools engagement
  • 3 Hosting an academic visitor
  • 3 Membership of network
  • 2 Visiting an external academic institution
  • 1 Types of External academic engagement - Research and Teaching at External Organisation

Activities per year

Search results

• New Work in Logical Philosophy

  Caret, C. (Speaker)

  30 Aug 2024

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Completeness Proof of Strict Finitistic Predicate Logic

  Yamada, T. (Speaker)

  14 Jul 2023

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A Classical Reconstruction of Wright's Strict Finitistic First-Order Logic

  Yamada, T. (Speaker)

  22 Jun 2023

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Natural Deduction Derived from Truth Tables

  van der Giessen, I. (Speaker)

  12 Nov 2022

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Natural Deduction Derived from Truth Tables: Intuitionistic logic

  van der Giessen, I. (Speaker)

  28 Sept 2022

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A Formalisation of Wright's Strict Finitistic Logic: The Propositional Case

  Yamada, T. (Speaker)

  1 Jul 2022

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Rules that Reason About Rules

  van der Giessen, I. (Speaker)

  8 Jun 2022

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A Reconstruction of Crispin Wright's Strict Finitistic Logic: With the Existence Predicate

  Yamada, T. (Speaker)

  11 Nov 2022

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Conventionalist Routes to Logical Pluralism

  Stei, E. (Invited speaker)

  1 Jun 2022

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Admissible Rules in Intuitionistic Modal Logics

  van der Giessen, I. (Speaker)

  30 Sept 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Rules in Intuitionistic Modal Logics

  van der Giessen, I. (Speaker)

  27 Jun 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Uniform Interpolation via Nested Sequents

  van der Giessen, I. (Speaker)

  5 Oct 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A Reconstruction of Strict Finitistic First-Order Logic

  Yamada, T. (Speaker)

  3 Dec 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

  File

• A Walk through the Landscape of Intuitionistic Modal Logic

  van der Giessen, I. (Speaker)

  10 Sept 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Proving Uniform Interpolation via Nested Sequents

  van der Giessen, I. (Speaker)

  16 Jun 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Lax Logic and its Admissible Rules

  van der Giessen, I. (Speaker)

  25 Jun 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• The Admissible Rules of Lax Logic

  van der Giessen, I. (Speaker)

  28 Apr 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A Monist Guide to Logical Pluralism

  Stei, E. (Speaker)

  7 Sept 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• On the Admissible Rules in Lax Logic

  van der Giessen, I. (Speaker)

  21 Mar 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Proof Theory for the Admissible Rules in Lax Logic

  van der Giessen, I. (Speaker)

  3 Dec 2021

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Absolute Idealist Powers

  Mulder, J. (Invited speaker) & Ometto, D. (Invited speaker)

  4 Jun 2020

  Activity: Talk or presentation › Poster/paper presentation › Academic

• One Step to Admissibility in Intuitionistic Gödel-Löb Logic

  van der Giessen, I. (Speaker)

  19 Feb 2020

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Uniform Interpolation in Intuitionistic Modal Logic

  van der Giessen, I. (Speaker)

  30 Jun 2020

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A monist guide to logical pluralism

  Stei, E. (Speaker)

  24 Aug 2020 → 28 Aug 2020

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A Classical Reconstruction of Strict Finitism

  Yamada, T. (Speaker)

  11 Dec 2020

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Towards Admissibility in Intuitionistic Gödel-Löb Logic

  van der Giessen, I. (Speaker)

  11 Mar 2020

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Admissibility in some Intuitionistic Provability Logics

  van der Giessen, I. (Invited speaker)

  10 Nov 2020

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Predicative Implications: A Topological Approach

  Akbartabatabai, S. (Invited speaker)

  21 Jun 2019

  Activity: Talk or presentation › Poster/paper presentation › Academic

  File

• Witnessing Games in Generalized Bounded Arithmetic

  Akbartabatabai, S. (Invited speaker)

  8 Jul 2019

  Activity: Talk or presentation › Poster/paper presentation › Academic

  File

• Cut-elimination for Intuitionistic Gödel-Löb Logic

  van der Giessen, I. (Speaker)

  26 Apr 2019

  Activity: Talk or presentation › Poster/paper presentation › Academic

• On the (In)dispensability of Action Types

  Kuncová, A. (Presenter)

  16 Apr 2019

  Activity: Talk or presentation › Poster/paper presentation › Academic

• On the Unity of (Group) Action

  Mulder, J. (Invited speaker) & van Miltenburg, N. (Invited speaker)

  12 Feb 2019

  Activity: Talk or presentation › Poster/paper presentation › Academic

• The BHK Interpretation: Looking through Gödel’s Classical Lens

  Akbartabatabai, S. (Invited speaker)

  16 Aug 2019

  Activity: Talk or presentation › Poster/paper presentation › Academic

  File

• Ability and Knowledge

  Kuncová, A. (Presenter)

  26 Apr 2019

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Intuitionistic Gödel-Löb Logic

  van der Giessen, I. (Speaker)

  16 Aug 2019

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Evolution and the Perceived Objectivity of Moral Judgments

  Hopster, J. (Invited speaker)

  20 Jul 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Elusive Knowledge Hyperintensionalized

  van Lith, J. (Speaker) & Korbmacher, J. (Speaker)

  10 Nov 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• On the (In)dispensability of Action Types

  Kuncová, A. (Speaker)

  22 Nov 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Responsibility in equilibrium

  Duijf, H. (Invited speaker)

  23 Aug 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Logics, Norms, and Reasoning

  Stei, E. (Speaker) & Ferrari, F. (Speaker)

  19 Sept 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Formalizing Mental Causation

  Beckers, S. (Invited speaker)

  9 Nov 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Causal Models and the Principle of Alternative Possibilities

  Beckers, S. (Invited speaker)

  16 Aug 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Elusive Knowledge Hyperintensionalized

  van Lith, J. (Speaker) & Korbmacher, J. (Speaker)

  20 Sept 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• How to adopt a logic

  Cohnitz, D. (Speaker) & Nicolai, C. (Speaker)

  19 Sept 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A Historical Challenge for Moral Realism

  Hopster, J. (Invited speaker)

  10 Nov 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A formal impossibility result for methodological individualism

  Duijf, H. (Invited speaker)

  9 Nov 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A Puzzle About Higher-Order Theories of Consciousness

  Mulder, J. (Invited speaker)

  21 Nov 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• Multiple Models, One Explanation

  Korbmacher, J. (Speaker) & Lisciandra, C. (Speaker)

  3 Oct 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

  File

• The Complexity of Infinitary Decision Problems

  Rin, B. (Invited speaker)

  6 Mar 2018

  Activity: Talk or presentation › Poster/paper presentation › Academic

• A Wittgensteinian Response to Moral Error Theory

  Hermann, J. (Invited speaker) & Kalf, W. F. (Invited speaker)

  10 Nov 2017

  Activity: Talk or presentation › Poster/paper presentation › Academic