Dr. Bartosz Więckowski

DFG Stelle


Nach Absprache per E-Mail


E-Mail: wieckowski[at]em.uni-frankfurt.de
Raum:  IG 2.417
Telefon:  798-32805
Fax:  798-32792
Anschrift:  Institut für Philosophie
Norbert-Wollheim-Platz 1
60629 Frankfurt am Main

  • Biography:

Dr. phil., Tübingen, 2007. I specialize in logic and philosophy of language. I did research and taught at the universities of Rostock, Tübingen, Greifswald, and Frankfurt am Main. I have been a visiting scholar at New York University (Philosophy Department) and a visitor to the Technion-Israel Institute of Technology (Computer Science Department). I received research grants from the German Academic Exchange Service (DAAD) and the German Research Foundation (DFG). Currently, I am the principal investigator of a DFG-founded research project on the proof-theoretic foundations of intensional semantics.

  • Selected publications:

(with Nissim Francez) A proof theory for first-order logic with definiteness, The IfCoLog Journal of Logics and their Applications 4(2): 313-331, 2017. Special issue on Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics edited by Stergios Chatzikyriakidis, Fabio Pasquali and Christian Retoré.

Subatomic natural deduction for a naturalistic first-order language with non-primitive identity, Journal of Logic, Language and Information 25(2): 215-268, 2016.

Refinements of subatomic natural deduction, Journal of Logic and Computation 26 (5): 1567-1616, 2016.

Constructive belief reports, Synthese 192(3): 603-633, 2015. Special section on Hyperintensionality edited by Marie Duží and Bjørn Jespersen.

(with Nissim Francez) A proof-theoretic semantics for contextual definiteness. In Enrico Moriconi and Laura Tesconi (eds.), Second Pisa Colloquium in Logic, Language and Epistemology, pp. 182-214, Pisa: Edizioni ETS, 2014.

A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions, Studia Logica 100(4): 815-853, 2012. Special issue on Logic and Natural Language edited by Nissim Francez and Ian Pratt-Hartmann.

Rules for subatomic derivation, The Review of Symbolic Logic, 4(2): 219-236, 2011.

Associative substitutional semantics and quantified modal logic, Studia Logica 94(1): 105-138, 2010.

  • Recent teaching:

Gödel's incompleteness theorems (Frankfurt, summer term 2016; in German)

Philosophy of language - selected topics in pragmatics (Frankfurt, winter term 2015/16; in German)