NACH OBEN

Institut für Philosophie I

Universitätsstraße 150

D-44780 Bochum

Deutschland

GA 3/156

Tel.: 0234 32 -
28365

ORC-ID: 0000-0002-3651-5458

E-Mail: nils.kuerbis@ruhr-uni-bochum.de

Mehr

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.

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.

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

__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