Four constructivist attitudes in Prawitzian semantics

0585478 - FLÚ 2025 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Piccolomini d’Aragona, Antonio
Four constructivist attitudes in Prawitzian semantics.
The Logica Yearbook 2022. London: College Publications, 2023 - (Sedlár, I.), s. 135-151. ISBN 978-1-84890-446-0.
[Logica 2022. Teplá (CZ), 11.09.2023-15.09.2023]
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: construsctivism * proof * monotonicity * schematicity
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/logica/?00036

The author argues that some well-known alternative ways for developing Prawitz-inspired semantics are not coincidental, but respond to two basic dualities. This stems from the fact that what one has to evaluate in Prawitz’s semantics is, not only the meaning of the components of one’s alphabet, but also the acceptability of generalised eliminations over meaning-determination. In turn, this depends on the fact that Prawitz’s semantics can be understood as a generalisation of Prawitz’s own normalisation theory. We thus have at least four pairwise “symmetric” Prawitzian semantics, each amounting to a potential attitude towards Prawitz’s constructivism. Thus, Prawitz’s semantics can be understood as a conceptual and formal grid where to articulate harmoniously proof-based semantics accounting for the interplay between meaning determination and justification of deduction.

Trvalý link: https://hdl.handle.net/11104/0353196