Skip to Main content Skip to Navigation
Book sections

On the computational meaning of axioms

Abstract : This paper investigates an anti-realist theory of meaning suitable for both logical and proper axioms. Unlike other anti-realist accounts such as Dummett–Prawitz verificationism, the standard framework of classical logic is not called into question. This account also admits semantic features beyond the inferential ones: computational aspects play an essential role in the determination of meaning. To deal with these computational aspects, a relaxation of syntax is necessary. This leads to a general kind of proof theory, where the objects of study are not typed objects like deductions, but rather untyped ones, in which formulas are replaced by geometrical configurations.
Document type :
Book sections
Complete list of metadata

https://halshs.archives-ouvertes.fr/halshs-01313400
Contributor : Alberto Naibo Connect in order to contact the contributor
Submitted on : Monday, May 9, 2016 - 11:01:08 PM
Last modification on : Friday, April 29, 2022 - 10:12:29 AM

Links full text

Identifiers

Citation

Alberto Naibo, Mattia Petrolo, Thomas Seiller. On the computational meaning of axioms. Epistemology, Knowledge and the Impact of Interaction, 38, Springer, pp. 141-184, 2016, Logic, Epistemology, and the Unity of Science, 978-3-319-26504-9. ⟨10.1007/978-3-319-26506-3_5⟩. ⟨halshs-01313400⟩

Share

Metrics

Record views

95