Fiche du document
14 janvier 2014
- ISIDORE Id: 10670/1.e9b93b...
- hal: hal-00930222
info:eu-repo/semantics/OpenAccess
Mots-clés
Typed vs. untyped proof-objects Proof theory Anti-realist theory of meaning Axioms Computational interpretation of proofs Typed vs. untyped proof-objects.Sujets proches
Service of process Service of papers Abuse of process Process Recreations Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive Language and languages--Syntax Syntax comptabilitéCiter ce document
Alberto Naibo et al., « On the Computational Meaning of Axioms », HAL SHS (Sciences de l’Homme et de la Société), ID : 10670/1.e9b93b...
Métriques
Partage / Export
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.
