Kürbis, N;
(2020)
A Sketch of a Proof-Theoretic Semantics for Necessity.
In: Negri, S and Olivetti, N and Verbrugge, R, (eds.)
Short Papers: Advances in Modal Logic, AiML 2020.
(pp. pp. 37-43).
Helsinki University: Helsinki, Finland.
Preview |
Text
KurbisAiML20.pdf - Published Version Download (108kB) | Preview |
Abstract
This paper considers proof-theoretic semantics for necessity within Dummett’s and Prawitz’s framework. Inspired by a system of Pfenning’s and Davies’s, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.
| Type: | Proceedings paper |
|---|---|
| Title: | A Sketch of a Proof-Theoretic Semantics for Necessity |
| Event: | Advances in Modal Logic, AiML 2020 |
| Location: | Helsinki |
| ISBN-13: | 978-1-84890-341-8 |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | https://researchportal.helsinki.fi/en/publications... |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL SLASH UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Philosophy |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10116390 |
Archive Staff Only
 |
View Item |
