Więckowski, Bartosz

PERSONEN

Dr. Bartosz Więckowski

DFG Stelle

Sprechstunde:

  
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é.
[http://www.collegepublications.co.uk/journals/ifcolog/?00011]

Subatomic natural deduction for a naturalistic first-order language with non-primitive identity, Journal of Logic, Language and Information 25(2): 215-268, 2016.
[https://link.springer.com/article/10.1007%2Fs10849-016-9238-7]

Refinements of subatomic natural deduction, Journal of Logic and Computation 26 (5): 1567-1616, 2016.
[https://doi.org/10.1093/logcom/exu046]

Constructive belief reports, Synthese 192(3): 603-633, 2015. Special section on Hyperintensionality edited by Marie Duží and Bjørn Jespersen.
[https://link.springer.com/article/10.1007%2Fs11229-014-0540-0]

(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.
[https://link.springer.com/article/10.1007%2Fs11225-012-9431-x]

Rules for subatomic derivation, The Review of Symbolic Logic, 4(2): 219-236, 2011.
[https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/rules-for-subatomic-derivation/76B06B2991B883A6BC0A949396A78C83]

Associative substitutional semantics and quantified modal logic, Studia Logica 94(1): 105-138, 2010.
[https://link.springer.com/article/10.1007%2Fs11225-010-9222-1]

  • 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)