@inbook{203d6badd48d4ad7977f76f36cc35416,
title = "Paradoxes, Intuitionism, and Proof-Theoretic Semantics",
abstract = "In this note, we review paradoxes like Russell{\textquoteright}s, the Liar, and Curry{\textquoteright}s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister{\textquoteright}s definitional freedom.",
keywords = "Definitional freedom, Intuitionism, Liar, Paradoxes, Proof-theoretic semantics",
author = "Reinhard Kahle and Santos, {Paulo Guilherme}",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2024.",
year = "2024",
month = feb,
doi = "10.1007/978-3-031-50981-0_12",
language = "English",
isbn = "978-3-031-50983-4",
series = "Outstanding Contributions to Logic",
publisher = "Springer",
pages = "363--374",
editor = "Piecha, {Thomas } and Wehmeier, {Kai F.}",
booktitle = "Peter Schroeder-Heister on Proof-Theoretic Semantics",
address = "Netherlands",
}