UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality

Kürbis, N; (2015) Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality. Journal of Philosophical Logic , 44 (6) pp. 713-727. 10.1007/s10992-013-9310-6. Green open access

[img]
Preview
Text
KurbisPTS.pdf - Accepted version

Download (138kB) | Preview

Abstract

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of modal operators in terms of rules of inference.

Type: Article
Title: Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/s10992-013-9310-6
Publisher version: https://doi.org/10.1007/s10992-013-9310-6
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.
Keywords: Proof-Theoretic semantics, Harmony, Stability, Negation, Modality
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/10071969
Downloads since deposit
3Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item