Nils Kürbis

About Me

Nils Kürbis is akademischer Oberrat in the Department of Philosophy I of Ruhr Universität Bochum. Before taking up this post, he was an Alexander von Humboldt Research Fellow in the same department, hosted by Heinrich Wansing, and associate professor in the Department of Logic and Methodology of Science of the University of Lodz, with which he keeps a research affiliation, and where he is a team member of Andrzej Indrzejczak's ERC Project ExtenDD. Even before that he lectured in London, Sheffield and again London, where he is an honorary research associate in the Department of Philosophy of University College, and read for his PhD at King’s College. His book Proof and Falsity. A Logical Investigation was published in 2019 by Cambridge University Press. He has published articles on formal and philosophical logic in leading journals in the field. His interests lie in negation, denial and falsity, proof theoretic semantics, the theory of definite descriptions, modality and questions of philosophical logic arising in Plato’s dialogues.

Research Interests

Negation, denial and falsity, definite descriptions, modality, proof theory (of all of the former), the problem of false judgement in ancient philosophy and its later reincarnations.

Teaching

I teach courses in formal and philosophical logic, philosophy of mathematics, epistemology and metaphysics, often with historical elements, in particular footnotes to Plato. 

Selected Publications

Book

Proof and Falsity. A Logical Investigation (Cambridge University Press: May 2019)

Edited Volume

Knowledge, Number and Reality: Encounters with the Work of Keith Hossack (London: Bloomsbury Academic 2022), co-editors Bahram Assadian and Jonathan Nassim, with contri- butions by Dorothy Edgington, Keith Hossack, Øystein Linnebo, MM McCabe, Mark Sains- bury, Peter Simons, Scott Sturgeon, Mark Textor, Tamsin de Waal, Bernhard Weiss.

Some Recent Articles

On a Definition of Logical Consequence, Thought 11/2 (2022): 64-71

A Binary Quantifier for Definite Descriptions for Cut Free Free Logics. Studia Logica 110/1 (2022): 219-239

Generality, in Knowledge, Number and Reality: Encounters with the Work of Keith Hossack, edd. N. Kürbis, B. Assadian and J. Nassim (London: Bloomsbury Academic 2022), pp.161-176

Normalisation and Subformula Property for a System of Classical Logic with Tarski’s Rule. Archive for Mathematical Logic 61 (2022): 105-129

Normalisation and Subformula Property for a System of Intuitionistic Logic with General Introduction and Elimination Rules. Synthese 199/5-6 (2021): 14223-14248

Normalisation for Bilateral Classical Logic with some Philosophical Remarks. The Journal of Applied Logics 8/2 (2021): 531-556

Proof-Theory and Semantics for a Theory of Definite Descriptions, in Automated Reasoning with Analytic Tableaux and Related Methods, edd. A. Das and S. Negri, Lecture Notes in Artificial Intelligence 12842 (Berlin: Springer 2021), pp.95-111

An Argument for Minimal Logic. Dialectica 73/1-2 (2019): 31-62

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. The Bulletin of the Section of Logic 48/2 (2019): 81-97

The Importance of Being Erroneous. Australasian Philosophical Review 3/2 (2019): 155-166

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic. The Bulletin of the Section of Logic 48/4 (2019): 299-317