On the Computational Meaning of Axioms - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2014

On the Computational Meaning of Axioms

Résumé

An anti-realist theory of meaning suitable for both logical and proper axioms is investigated. As opposed to other anti-realist accounts, like Dummett-Prawitz verificationism, the standard framework of classical logic is not called into question. In particular, semantical features are not limited solely to inferential ones, but also computational aspects play an essential role in the process of determination of meaning. In order to deal with such computational aspects, a relaxation of syntax is shown to be 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 have been replaced by geometrical configurations.
Fichier principal
Vignette du fichier
On_the_computational_meaning_of_axioms.pdf (276.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00930222 , version 1 (14-01-2014)

Identifiants

  • HAL Id : hal-00930222 , version 1

Citer

Alberto Naibo, Mattia Petrolo, Thomas Seiller. On the Computational Meaning of Axioms. 2014. ⟨hal-00930222⟩
411 Consultations
872 Téléchargements

Partager

Gmail Facebook X LinkedIn More