Number of the records: 1
Four constructivist attitudes in Prawitzian semantics
- 1.
SYSNO ASEP 0585478 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Four constructivist attitudes in Prawitzian semantics Author(s) Piccolomini d’Aragona, Antonio (FLU-F) ORCID, SAI, RID Source Title The Logica Yearbook 2022. - London : College Publications, 2023 / Sedlár I. - ISBN 978-1-84890-446-0 Pages s. 135-151 Number of pages 17 s. Publication form Print - P Action Logica 2022 Event date 11.09.2023 - 15.09.2023 VEvent location Teplá Country CZ - Czech Republic Event type WRD Language eng - English Country GB - United Kingdom Keywords construsctivism ; proof ; monotonicity ; schematicity Subject RIV AA - Philosophy ; Religion OECD category Philosophy, History and Philosophy of science and technology Institutional support FLU-F - RVO:67985955 Annotation 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.
Workplace Institute of Philosophy Contact Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Year of Publishing 2025
Number of the records: 1