Rasmus Blanck
Om Rasmus Blanck
Fil. dr i logik. Universitetslektor i logik och teoretisk filosofi.
Undervisning
Vårterminen 2021 är jag kursansvarig för Logik: Formella språk, som samläses med fortsättningskursen i teoretisk filosofi och filosofilärarutbildningen. Jag är också ansvarig för Models of Computation - ett av momenten på Specialization in logic 1 inom masterprogrammet i logik. Jag har dessutom hand om logikmomentet på Introduktion till teoretisk filosofi, håller seminarier på fortsättningskursen i lingvistik, leder en läskurs i teoretisk filosofi och är involverad i fyra kurser på lärarutbildningen.
Tidigare har jag undervisat på en lång rad kurser inom grundutbildningarna i filosofi och logik, 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 aritmetiserad metamatematik, matematikfilosofi, formell semantik och probabilistisk semantik för naturligt språk.
-
Hierarchical incompleteness results for arithmetically definable extensions of fragments of
arithmetic
Rasmus Blanck
The Review of Symbolic Logic - 2021-01-01 -
A logic with measurable spaces for natural language
semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
Applied Mathematics, Informatics And Mechanics - 2020-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
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-01-01 -
Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and
Flexibility
Rasmus Blanck
- 2017-01-01 -
Marginalia on a theorem of
Woodin
Rasmus Blanck, Ali Enayat
Journal of Symbolic Logic - 2017-01-01 -
Flexibility in Fragments of Peano
Arithmetic
Rasmus Blanck
Studies in Weak Arithmetics, Volume 3/ eds. Patrick Cégielski, Ali Enayat, Roman Kossak - 2016-01-01 -
A characterisation of Π₁-conservativity over
IΣ₁
Rasmus Blanck
Journées sur les Arithmétiques Faibles 35, 6/6-7/6 2016, Lisbon, Portugal - 2016-01-01 -
Flexible formulae and partial
conservativity
Rasmus Blanck
Logic Colloquium 2015, 3-8 August 2015, Helsinki, Finland - 2015-01-01 -
Flexibility and
Π₁-conservativity
Rasmus Blanck
Bristol-Gothenburg-Oxford Logic and Set Theory Postgraduate Student Day, 22 April 2015, Bristol. - 2015-01-01 -
Two consequences of Kripke's
lemma
Rasmus Blanck
Idées Fixes (ed. Martin Kaså) - 2014-01-01 -
Flexible formulae of
arithmetic
Rasmus Blanck
Journées sur les Arithmétiques Faibles 33, 16/6-18/6 2014, Göteborg - 2014-01-01 -
Metamathematical fixed
points
Rasmus Blanck
- 2011-01-01 -
Fixpunktsmängder
Rasmus Blanck
Filosofidagarna 2011, Göteborg - 2011-01-01 -
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-01-01