On the computational meaning of axioms - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Chapitre D'ouvrage Année : 2016

On the computational meaning of axioms

Résumé

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.

Dates et versions

halshs-01313400 , version 1 (09-05-2016)

Identifiants

Citer

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⟩
130 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More