Rasmus Blanck
Universitetslektor, biträdande
Avdelningen för lingvistik ochOm Rasmus Blanck
Fil. dr i logik. Biträdande universitetslektor i datalingvistik.
Koordinator för Logik, masterprogram.
Koordinator för Språkteknologi, masterprogram (delat med Staffan Larsson).
Undervisning
Vårterminen 2023 är jag kursansvarig för Models of Computation inom masterprogrammet i logik. Jag är involverad i Dialogsystem och Komputationell syntax på masterprogrammet i språkteknologi. Jag ger semantikdelen av lingvistikkursen Semantik och pragmatik, en enstaka föreläsning på kursen Språkteknologi, samt leder läskurser i matematikfilosofi och bevisbarhetslogik.
Tidigare har jag undervisat på en lång rad kurser inom grundutbildningarna i filosofi, logik och lingvistik, masterprogrammet i logik, kandidatprogrammet Liberal Arts och lärarutbildningen.
Forskning
Mina forskningsintressen ligger nära logik, filosofi och lingvistik. Speciellt har jag ägnat mig åt formell semantik, probabilistisk semantik för naturligt språk, aritmetikens metamatematik och matematikfilosofi.
-
Never trust an unsound
theory
Christian Bennet, Rasmus Blanck
Theoria - 2022 -
Hierarchical incompleteness results for arithmetically definable extensions of fragments of
arithmetic
Rasmus Blanck
The Review of Symbolic Logic - 2021 -
A logic with measurable spaces for natural language
semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
Applied Mathematics, Informatics And Mechanics - 2020 -
From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial
Grammars
Rasmus Blanck, Aleksandre Maskharashvili
Loukanova R. (eds) Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018). Studies in Computational Intelligence, vol 860. - 2020 -
Bayesian Inference Semantics: A Modelling System and A Test
Suite
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM), 6-7 June 2019, Minneapolis, Minnesota, USA / Rada Mihalcea, Ekaterina Shutova, Lun-Wei Ku, Kilian Evang, Soujanya Poria (Editors) - 2019 -
Predicates as Boxes in Bayesian Semantics for Natural
Language
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili
Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa 2019), 30 September-2 October, 2019, Turku, Finland / Mareike Hartmann, Barbara Plank (Editors) - 2019 -
A Logic with Measurable Spaces for Natural Language
Semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation,16-20 September 2019. - 2019 -
From TAG to HOL Representations of AMRs via
ACGs
Rasmus Blanck, Aleksandre Maskharashvili
Proceedings of the Symposium on Logic and Algorithms in Computational Linguistics 2018. Stockholm, 28–31 August 2018 / Krasimir Angelov, Kristina Liefke, Roussanka Loukanova, Michael Moortgat, Satoshi Tojo (eds.) - 2018 -
A Compositional Bayesian Semantics for Natural
Language
Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin
Proceedings of the First International Workshop on Language Cognition and Computational Models, COLING 2018, August 20, 2018 Santa Fe, New Mexico, USA - 2018 -
Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and
Flexibility
Rasmus Blanck
2017 -
Marginalia on a theorem of
Woodin
Rasmus Blanck, Ali Enayat
Journal of Symbolic Logic - 2017 -
Flexibility in Fragments of Peano
Arithmetic
Rasmus Blanck
Studies in Weak Arithmetics, Volume 3/ eds. Patrick Cégielski, Ali Enayat, Roman Kossak - 2016 -
A characterisation of Π₁-conservativity over
IΣ₁
Rasmus Blanck
Journées sur les Arithmétiques Faibles 35, 6/6-7/6 2016, Lisbon, Portugal - 2016 -
Flexible formulae and partial
conservativity
Rasmus Blanck
Logic Colloquium 2015, 3-8 August 2015, Helsinki, Finland - 2015 -
Flexibility and
Π₁-conservativity
Rasmus Blanck
Bristol-Gothenburg-Oxford Logic and Set Theory Postgraduate Student Day, 22 April 2015, Bristol. - 2015 -
Two consequences of Kripke's
lemma
Rasmus Blanck
Idées Fixes (ed. Martin Kaså) - 2014 -
Flexible formulae of
arithmetic
Rasmus Blanck
Journées sur les Arithmétiques Faibles 33, 16/6-18/6 2014, Göteborg - 2014 -
Metamathematical fixed
points
Rasmus Blanck
2011 -
Fixpunktsmängder
Rasmus Blanck
Filosofidagarna 2011, Göteborg - 2011 -
Sets of fixed
points
Rasmus Blanck
Sino-European Winter School in Logic, Language and Computation, Sun Yat-Sen University, Guangzhou, China, Dec. 3-18, 2010 - 2010