Correctness of assertion and validity of inference.

This is a slightly edited transcript of a lecture given by Per Martin‐Löf on 26 October 2022 at the Rolf Schock Symposium in Stockholm. In 2020, the Rolf Schock Prize in Logic and Philosophy was awarded to Dag Prawitz and Per Martin‐Löf, and the symposium was organised in their honour. The transcrip...

Descripción completa

Detalles Bibliográficos
Publicado en:Theoria: A Swedish Journal of Philosophy Vol. 90; no. 5; pp. 528 - 534
Autor principal: Martin‐Löf, Per
Formato: Artículo
Publicado: Wiley-Blackwell Oct2024
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario:This is a slightly edited transcript of a lecture given by Per Martin‐Löf on 26 October 2022 at the Rolf Schock Symposium in Stockholm. In 2020, the Rolf Schock Prize in Logic and Philosophy was awarded to Dag Prawitz and Per Martin‐Löf, and the symposium was organised in their honour. The transcript was prepared by Ansten Klev and edited by the author.