Postal address:
3
Ludwig-Maximilians-University Munichg
Faculty of Philosophy, Philosophy of
Science and Study of Religion
Chair of Philosophy of Science/MCMP
Geschwister-Scholl-Platz 1
i
D-80539 Munich,Germany
j
Kristina Liefke
Curriculum Vitæ
Visitors’ address:
Ludwigstraße 31 (R 124, 2nd floor)
Í
i
i
T +49 157 3394 6621
B [email protected]
liefke.wix.com/kristinaliefke
Personal Information
nationality
date of birth
place of birth
children
German
April 20, 1983
Neumünster, Germany
Nathanael Matthias (∗ June 2015)
Research Interests
AOS Philosophy of language, Formal semantics, Philosophical logic.
AOC Philosophy of linguistics, Ontology, History of analytic philosophy.
Academic Positions
Oct. 2014– Postdoctoral fellow, Munich Center for Mathematical Philosophy (MCMP), Ludwig-Mapresent ximilians-University (LMU), Munich, Germany. [Maternity leave from May 2015 to June 2016].
May–Sept.’14 Visiting postdoctoral fellow, MCMP, Ludwig-Maximilians-University, Munich, Germany.
2012–2014 Doctoral fellow, MCMP, Ludwig-Maximilians-University, Munich, Germany.
2009–2012 PhD student, Tilburg Center for Logic and Philosophy of Science, Tilburg University, Tilburg, The Netherlands. [My supervisor, Stephan Hartmann, moved to LMU in summer 2012].
2006–2008, Research assistant, Department of English/Linguistics, Christiania Albertina University
2003–2005 (CAU), Kiel, Germany.
Education
April 2014 PhD (Philosophy), Tilburg University.
Dissertation title: A Single-Type Semantics for Natural Language.
Committee: Stephan Hartmann (supervisor) and Dietmar Zaefferer (both Munich), Jeroen Groenendijk (Amsterdam), Markus Werning (Bochum), Jan Sprenger and Filip Buekens (both Tilburg).
[N.B.: In the Netherlands, doctoral dissertations are not awarded a grade or Latin honor.]
Feb. 2009 1st State exam [Staatsexamen] (Philosophy and English linguistics), CAU, with distinction (grade 1.0).
Thesis title: Überlegungen zu einer Intensionalen Semantik für Fregeanische Prädikate
xxxxr[Engl.: Towards an Intensional Semantics for Fregean Predicates].
Committee: Dirk Westerkamp (supervisor; Philosophy) and Otmar Spinas (Mathematics/Logic).
Page 1 of 8
2005–2006 Visiting graduate student (Philosophy), University of California at Los Angeles (UCLA),
Los Angeles, USA (4.0 GPA).
Oct. 2005 Bachelor’s equivalent [Zwischenprüfung] (Philosophy and English linguistics), CAU,
with distinction (grade 1.0).
June 2002 Abitur, Klaus-Groth-Schule, Neumünster, Germany (grade 1.6 ; faculty prize).
Research Visits
Feb./Nov. ’14 Dept. of Information Science, Ochanomizu University, Tokyo, Japan. Host: D. Bekki.
Dec. 2013 Dept. of Linguistics, New York University, New York City, USA. Host: Anna Szabolcsi.
Nov. 2013 Center for the Study of Language and Information (CSLI), Stanford University,
Stanford, USA. Hosts: Chris Potts and Edward N. Zalta.
Nov. 2012 CSLI, Stanford University, Stanford, USA. Host: John Perry.
Feb. 2012/13, Department of Information Science, Ochanomizu University, Tokyo, Japan. Host:
Jan. 2011 Daisuke Bekki.
Nov./Dec. ’07 Dept. of Linguistics, Harvard University, Cambridge, USA. Superv.: Gennaro Chierchia.
Oct.–Nov. Department of Linguistics, University of Massachusetts at Amherst, Amherst, USA.
2007 Supervisor: Barbara Partee.
2005–2006 Department of Philosophy, UCLA, Los Angeles, USA. Supervisor: David Kaplan.
Grants and Awards
Larger Grants (total > ¤ 270,000)
Jan. 2016 LMUexcellent Junior Researcher Fund [seed funding] for the project Rich Situated
Natural Language Content (RiSiNC) (2016–2017; ¤ 50,000).
Aug. 2014 German Research Foundation (DFG) grant LI 2562/1-1 as PI of the project Unity and
Unification in Intensional Semantics (2015–2018; ¤ 167,000).
July 2014 Postdoctoral grant from the Bayerische Gleichstellungsförderung (¤ 12,000).
2005–2006 Graduate fellowship (for UCLA), University of California, Berkeley, USA ($ 43,000).
2005–2006 DAAD grant D/04/43015 for studies at the UCLA Department of Philosophy.
Smaller Grants
July 2013 Student travel award to the Association for Symbolic Logic (ASL) European Summer
Meeting (Logic Colloquium), Évora, Portugal.
Jan. 2013– Mentee of the LMU Mentoring program (the program supports highly qualified young
present female researchers in their academic career on the road to professorship. The program is
part of LMU Munich’s Institutional Strategy LMUexcellent within the framework of the
German Excellence Initiative).
spring 2011 Travel grants (by USC and the European Science Foundation) for the Formal Epistemology
Workshop at the University of Southern California (USC), Los Angeles, USA.
summer 2010 Elsevier Foundation travel grant for Computability in Europe (CiE), Ponta Delgada,
Azores, Portugal.
summer 2010, Student travel award to the Logic Colloquia in Paris, France; in Bern, Switzerland; and
2008, 2007 in Wrocław, Poland.
fall 2007 DAAD grant D/07/45595 for MA thesis-related research at the UMass, Amherst and the
Harvard Linguistics Departments.
Page 2 of 8
Declined Grants
2009–2014 Merit award for doctoral studies (under Scott Soames and James Higginbotham) at the
University of Southern California (USC) Department of Philosophy.
2009–2011 German Academic Exchange Service (DAAD) grant for doctoral studies (under Jeroen
Groenendijk) at the Institute for Logic, Language and Computation (ILLC), Amsterdam,
The Netherlands.
2009–2012 International grant for doctoral studies (under Henriette de Swart and Jan van Eijck) at
the Utrecht Institute of Linguistics, Utrecht, The Netherlands.
Nominations
2015 Nomination for the Wolfgang-Stegmüller-Award (the award is given for outstanding
work in the field of analytic philosophy whose author is younger than 40, does not have
a permanent academic position, and is German-speaking or works in a German-speaking
country).
Publications
Monograph
2014a A Single-Type Semantics for Natural Language,
Doctoral dissertation. Tilburg University: Tilburg Center for Logic and Philosophy of Science.
http://semanticsarchive.net/Archive/jBhZDViM/.
abstract In (Montague 1970a), Montague defines a formal theory of linguistic meaning which interprets a small fragment of English through the use of two basic types of objects: individuals and propositions. My dissertation develops a comparable semantics which only uses one
basic type of object (hence, single-type semantics). Such a semantics has been conjectured by Partee (2006) as a ‘minimality test’ for the Montagovian type system, which captures the lowest ontological requirements on any successful semantics for Montague’s fragment.
The development of this semantics answers a number of questions about the salience of
Montague’s type system, the robustness of semantic theories w.r.t. their basic-type choice,
and the classification of these theories according to their objects’ informational strength.
Publications in Peer-Reviewed Journals and Proceedings
forthcoming Single-type semantics: evidence from distributional DP/CP similarities, with Markus Werning,
in Proceedings of Sinn und Bedeutung 21, edited by R. Truswell, C. Cummins, N. Gisborne,
C. Heycock, H. Rohde, and M. Schouwstra, 18 p.
forthcoming Rich Situated Attitudes, with Mark Bowker,
in New Frontiers in Artificial Intelligence, edited by T. Murata, A. Butler, K. Mineshima,
and D. Bekki. Lecture Notes in Artificial Intelligence. Berlin and Heidelberg: Springer.
[This paper is an extended version of (Liefke and Bowker 2016)].
2016 Rich Situated Propositions: the ‘right’ objects for the content of propositional attitudes, with Mark Bowker,
in Proceedings of Logic and Engineering of Natural Language Semantics 13, edited by A.
Butler, E. McCready, D. Bekki, and K. Mineshima. Kanagawa: Keio University Press, 14 p.
2016 A Computable Solution to Partee’s Temperature Puzzle, with Sam Sanders,
in Logical Aspects of Computational Linguistics 2016, edited by M. Amblard, P. de Groote,
S. Pogodalla, and C. Retoré. Lecture Notes in Computer Science, vol. 10054. Berlin and
Heidelberg: Springer, 16p.
Page 3 of 8
2015a A Single-Type Logic for Natural Language,
in Journal of Logic and Computation 25 (4): 1111-1131.
2015b Codability and Robustness in Formal Natural Language Semantics,
in New Frontiers in Artificial Intelligence, ed. by T. Murata, K. Mineshima, and D. Bekki.
Lecture Notes in Artificial Intelligence, vol. 9067. Berlin and Heidelberg: Springer, 6–22.
2014b Solving Partee’s Temperature Puzzle in an EFL-Ontology,
in Joint Proceedings of the Second Workshop on Natural Language and Computer Science
(NLCS’14) and the First International Workshop on Natural Language Services for Reasoners (NLSR 2014), edited by V. de Paiva, W. Neuper, P. Quaresma, C. Retoré, and L.S.
Moss. Technical Report. University of Coimbra: Center for Informatics and Systems, 7–18.
2014c A Single-Type Semantics for the PTQ? -Fragment,
in Proceedings of Sinn und Bedeutung 18, edited by U. Etxeberria, A. Fălăuş, A. Irurtzun,
and B. Leferman. Semanticsarchive, 253–270.
http://semanticsarchive.net/sub2013/.
Publications with Peer-Reviewed Abstracts
2013 A Single-Type Ontology for Natural Language,
in Was dürfen wir glauben? Was sollen wir tun? Sektionsbeiträge des Achten Internationalen Kongresses der Gesellschaft für Analytische Philosophie e.V., edited by M. Hoeltje, T.
Spitzley, and W. Spohn, 70–84. Duisburg-Essen: DuE-Publico, ISBN: 978-3-00-042332-1.
http://duepublico.uni-duisburg-essen.de/servlets/DerivateServlet/
Derivate-33085/GAP8 Proceedings.pdf#page=71.
Submitted Publications, Publications in Revision
2016 Evidence for Single-Type Semantics – an alternative to e/t-based dual-type semantics, with Markus Werning,
revise and resubmit at the Journal of Semantics, 41 p.
2016 Montague Reduction, Confirmation, and the Syntax-Semantics Map, with Stephan
Hartmann,
submitted to the Journal of Logic, Language and Information, 28p. Available on the PhilSci Archive: http://philsci-archive.pitt.edu/11000/.
Work in Progress
Towards an account of rich situated interpretations.
Relating theories of formal semantics: established methods and surprising results.
Use in Courses
The paper A Single-Type Semantics for the PTQ? -Fragment (Liefke 2014c) has been
included in the syllabus of
spring 2014 NYU Seminar in Semantics/Topics in Metaphysics: Minimal entities (Lucas Champollion
and Kit Fine), New York University.
Selected Talks
Rich Situated Propositions: the ‘right’ objects for the content of propositional attitudes, with Mark Bowker.
11/15/2016 Logic and Engineering of Natural Language Semantics 13 (LENLS 13), Keio University,
Tokyo (refereed, main author; presented by Mark Bowker).
Page 4 of 8
Towards an Account of Rich Situated Semantic Content.
09/17/2016 Cognitive Structures: Linguistic, philosophical, and psychological perspectives (CoSt 16),
Heinrich-Heine-University, Düsseldorf (refereed).
A Computable Solution to Partee’s Temperature Puzzle, with Sam Sanders.
12/06/2016 Logical Aspects of Computational Linguistics (LACL 2016), Nancy (refereed).
07/10/2016 Natural Language and Computer Science (NLCS ’16), Columbia University, NYC (refereed).
Evidence for Single-Type Semantics – an alternative to e/t-based dual-type semantics, with Markus Werning.
09/04/2016 Sinn und Bedeutung 21, University of Edinburgh (refereed; poster presentation).
09/16/2015 GAP.9, Osnabrück (refereed; presented by Markus Werning during my maternity leave).
Codability and Robustness in Formal Natural Language Semantics.
01/15/2015 Logisch-Semantisches Kolloquium, J.W. Goethe University, Frankfurt/M. (invited).
11/24/2014 Logic and Engineering of Natural Language Semantics 11 (LENLS 11), Ochanomizu University and Keio University, Tokyo (refereed).
Intertheoretic Relations in Linguistics: Montague’s model of the syntax-semantics
relation.
11/21/2014 Tokyo Forum for Analytic Philosophy (TFAP), University of Tokyo (invited).
09/02/2014 Bridges 2014: Philosophical exchange on inter-theoretical relations, Deutsches Haus, New
York City (invited; tandem talk with Lucas Champollion, NYU).
A video recording of this talk can be found at
https://cast.itunes.uni-muenchen.de/vod/clips/1s4ltpIIXS/quicktime.mp4.
Solving Partee’s Temperature Puzzle in an EFL-Ontology.
07/17/2014 Second Workshop on Natural Language and Computer Science (NLCS’14), Vienna Summer of Logic, Vienna (refereed).
06/09/2014 Logic, Grammar, and Meaning: a conference on philosophy, logic, and linguistics, University of East Anglia, UK (refereed).
Reverse Formal Semantics.
02/17/2014 Department of Information Science, Ochanomizu University, Tokyo (invited).
A Single-Type Semantics for the PTQ-Fragment.
12/06/2013 NYU Semantics Group, New York University (invited).
09/12/2013 Sinn und Bedeutung 18, University of the Basque Country, Vitoria-Gasteiz (refereed).
A video recording of this talk can be found at: goo.gl/GkghsE.
02/25/2013 Semantics Research Group, National Institute of Informatics (NII) and Keio University,
Tokyo (invited).
Type-Logical Semantics: insights from language development.
02/12/2014; Center for the Advancement of Higher Education, Tohoku University, Sendai, JP (invited).
10/12/2013 Investigating Semantics: empirical and philosophical approaches, Bochum (refereed).
A Single-Type Logic for the PTQ-Fragment.
07/26/2013 European Logic Colloquium, University of Évora, Portugal (refereed).
A Single-Type Semantics for Natural Language (2).
05/16/2013 Research Colloquium: Philosophy meets cognitive science, Ruhr-Univ. Bochum (invited).
11/16/2012 Workshop in Semantics and Philosophy of Language, University of Chicago (invited).
Page 5 of 8
A Single-Type Ontology for Natural Language.
09/18/2012 GAP.8, University of Konstanz (refereed).
03/30/2012 Workshop: MCMP meets Linguistics, Ludwig-Maximilians-University, Munich (invited).
02/29/2012 Department of Information Science, Ochanomizu University, Japan (invited).
Types in Linguistics and Computer Science.
09/08/2011 ESF Workshop: philosophy of computer science and artificial intelligence, Ponta Delgada,
Azores (invited).
Integrative Reduction, Confirmation, and the Syntax-Semantics Map.
05/21/2011 Formal Epistemology Workshop (FEW), University of Southern California (refereed).
A Single-Type Semantics for Natural Language (1).
01/13/2011 Department of Information Science, Ochanomizu University, Tokyo (invited).
11/19/2010 The 6th International Symposium of Cognition, Logic and Communication: Formal Semantics and Pragmatics: discourse, context, and models, University of Latvia (refereed).
One Type to Rule Them All?.
07/02/2010 Computability in Europe (CiE), Ponta Delgada, Azores (refereed).
The Linguistic Challenge for Reduction.
04/16/2010 The Future of Philosophy of Science Conference, Tilburg University (refereed).
Why the Mock Turtle was Right: towards an intensional semantics for Fregean
predicates.
09/17/2009 GAP.7, Bremen (refereed).
05/07/2009 Linguistics Colloquium, University of Erfurt (invited).
03/31/2009 Lunch-Seminar Theoretische Filosofie, Utrecht University (invited).
Reference to Universals: topics in the syntax and semantics of abstract noun
phrases.
05/28/2009 Utrecht Institute of Linguistics, Utrecht University (interview talk; invited).
Teaching and Supervision
Full Responsibility
Seminar: Introduction to Analytic Ontology (Advanced BA and MA; in German).
fall 2014 Ludwig-Maximilians-University, Munich.
Lecture Course: Kripke’s Naming and Necessity (Advanced BA; in German).
spring 2014 Ludwig-Maximilians-University, Munich.
Teaching Assistant
Introduction to Philosophy of Science (First-year BA; in German).
spring 2014, Ludwig-Maximilians-University, Munich.
spring 2013 Ludwig-Maximilians-University, Munich.
Introduction to Mathematical Philosophy (General audience; in English).
summer 2013 Coursera (online).
Tutorials
Logical Approaches to Natural Language Semantics.
07/28/2014 1st Summer School on Mathematical Philosophy for Female Students, Ludwig-MaximiliansUniversity, Munich (invited).
Page 6 of 8
Supervision
Supervised Postdoctoral Fellows.
2016-2017 Mark Bowker (PhD St. Andrews and University of Stirling), Ludwig-Maximilians-University,
Munich.
Supervised BA Research Theses (individual studies).
spring 2014 Klára Lacková (Aberdeen), The Omniscience Problem in Montague’s Semantics, LudwigMaximilians-University, Munich.
Conference Organization
in preparation Workshop with Edward N. Zalta and Markus Werning, MCMP, Ludwig-Maximiliansfor May 2017 University, Munich.
in preparation Workshop: Situations, Information, and Semantic Content, MCMP, Ludwig-Maximifor Dec. 2016 lians-University, Munich (main organizer; with Mark Bowker and Markus Kneer)
The workshop website can be found at
http://www.situatedcontent2016.philosophie.uni-muenchen.de/index.html.
Aug. 2015 2nd Summer School on Mathematical Philosophy for Female Students, MCMP,
Ludwig-Maximilians-University, Munich (with Catherine Herfeld and Milena Ivanova).
Aug. 2014 1st Summer School on Mathematical Philosophy for Female Students, MCMP,
LMU, Munich (with Stephan Hartmann, Catherine Herfeld, and Hannes Leitgeb).
Dec. 2011 Conference on Computing Natural Reasoning (CoCoNat), TiLPS, Tilburg University
(with Dominik Klein, Reinhard Muskens, Eric Pacuit, and Sara Uckelman).
April 2010 The 3rd Sydney-Tilburg Conference: The Future of Philosophy of Science Conference, TiLPS, Tilburg University (with Stephan Hartmann, Chiara Lisciandra, and Jan
Sprenger).
Service to the Profession
Reviewer for the Australasian Journal of Philosophy, the Semantics of Theories conference
(Munich, June 2015), and the workshop Situations, Information, and Semantic Content.
spring 2014 Member of an MCMP postdoc selection committee, Ludwig-Maximilians-University.
spring 2014 Member of the MCMP visiting research fellowship committee, Ludwig-Maximilians-University, Munich.
Professional Memberships
2006–present Association for Symbolic Logic
2005–present Gesellschaft für Analytische Philosophie
Translations
2009 Europäische Integration: drei Lesarten des Problems der Beziehung, [orig. European Integration: three readings of the problem of relation], Hans Lindahl, trans. Kristina
Liefke, Philosophische Rundschau 56(3): 241–257.
2008 Rechtsontologie und Praktische Vernunft, [orig. Ontology of Law and Practical Reason], George Pavlakos, trans. Kristina Liefke, Wiesbaden: Nomos, 256 p.
2007 Philosophie und Kulturkritik, [orig. Philosophy and Critique of Culture], Sören Stenlund,
trans. Kristina Liefke, Zeitschrift für Kulturphilosophie 2007(2): 211–222.
Page 7 of 8
Languages
German native
English fluent
Dutch proficient (active)
French basic (passive)
Spanish basic (passive)
Latin reading (mittleres Latinum)
Computer Skills
Working knowledge of LATEX, AMS-TEX, and TikZ.
References
Prof. Dr. Stephan Hartmann
Lehrstuhl für Wissenschaftstheorie
Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft
Ludwig-Maximilians-Universität München
Prof. Dr. Markus Werning
Lehrstuhl für Philosophie der
Sprache und Kognition
Institut für Philosophie II
Ruhr-Universität Bochum
Geschwister-Scholl-Platz 1
D-80539 München
Germany
Universitätsstraße 150
Gebäude GA 04/43
D-44801 Bochum, Germany
Phone: + 49 (0)89 2180 3320
Email: [email protected]
Phone: + 49 (0)23 4322 4734
Email: [email protected]
Prof. Dr. Thomas Ede Zimmermann
Lehrstuhl für Germanistische Linguistik/
Formale Semantik
Institut für Linguistik
Johann Wolfgang Goethe-Universität
Prof. Dr. Daisuke Bekki
Graduate School of Humanities
and Sciences
Faculty of Science
Ochanomizu University
Norbert-Wollheim-Platz 1
Raum IG 4.314
D-60629 Frankfurt/M., Germany
2-1-1 Ohtsuka
Bunkyo-ku
Tokyo 112-8610, Japan
Phone: +49 (0)69 7983 2394
Email: T.E.Zimmermann@
lingua.uni-frankfurt.de
Phone: +81 (0)90 7212 6402
Email: [email protected]
Page 8 of 8