Więckowski, Bartosz
PERSONEN
- Backhaus, Eva
- Barz, Wolfgang
- Bianchi, Sarah
- Blöser, Claudia
- Bovisi, Karin
- Buddensiek, Friedemann
- Eckl, Andreas
- Egío García, José Luis
- Esmi, Ali
- Essler, Wilhelm K.
- Färber, Corina
- Fuhrmann, André
- Gava, Gabriele
- Gurisch, Simon
- Heller, Jonas
- Honneth, Axel
- Kasperski, Christina
- Kauss, Dominik
- Köhler, Frauke
- Krebs, Jakob
- Krüger, Ursula
- Kuch, Hannes
- Labude, Joachim
- Lepold, Kristina
- Liptow, Jasper
- Loick, Daniel
- Lutz-Bachmann, Matthias
- Martinez Mateo, Marina
- Menke, Christoph
- Merker, Barbara
- Moellendorf, Darrel
- Müller, Andreas
- Nicolosi, Maria
- Odzuck, Sebastian
- Oechsner, Katrin
- Raimondi, Francesca
- Reh, Sabine
- Reuter, Gerson
- Ruda, Frank
- Russo, Maria
- Saar, Martin
- Schink, Philipp
- Schuff, Jochen
- Schweighöfer, Stefan
- Seel, Martin
- Seitz, Fabian
- Setton, Dirk
- Steinl, Gerhard
- Vendrell Ferran, Ingrid
- Vesper, Achim
- Wagner, Andreas
- Więckowski, Bartosz
- Willaschek, Marcus
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)