Radical anti-realism and substructural logics - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2002

Radical anti-realism and substructural logics

Résumé

We first provide the outline of an argument in favour of a radical form of anti-realism premised on the need to comply with two principles, implicitness and immanence, when trying to frame assertability-conditions. It follows from the first principle that one ought to avoid explicit bounding of the length of computations, as is the case for some strict finitists, and look for structural weakening instead. In order to comply with the principle of immanence, one ought to take into account the difference between being able to recognize a proof when presented with one and being able to produce one and thus avoid the idealization of our cognitive capacities that arise within Hilbert-style calculi. We then explore the possibility of weakening structural rules in order to comply with radical anti-realist strictures.

Domaines

Histoire
Fichier principal
Vignette du fichier
krakow.pdf (136.11 Ko) Télécharger le fichier

Dates et versions

halshs-00000055 , version 1 (15-11-2002)

Identifiants

  • HAL Id : halshs-00000055 , version 1

Citer

Jacques Dubucs, Mathieu Marion. Radical anti-realism and substructural logics. 2002. ⟨halshs-00000055⟩
188 Consultations
340 Téléchargements

Partager

Gmail Facebook X LinkedIn More