Radical anti-realism and substructural logics - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2002

Radical anti-realism and substructural logics

(1) , (2)
1
2

Abstract

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.
Fichier principal
Vignette du fichier
krakow.pdf (136.11 Ko) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : halshs-00000055 , version 1

Cite

Jacques Dubucs, Mathieu Marion. Radical anti-realism and substructural logics. 2002. ⟨halshs-00000055⟩
173 View
289 Download

Share

Gmail Facebook Twitter LinkedIn More