Radical anti-realism and substructural logics - HAL-SHS - Sciences de l'Homme et de la Société Access content directly
Preprints, Working Papers, ... Year : 2002

Radical anti-realism and substructural logics

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.

Domains

History
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⟩
185 View
337 Download

Share

Gmail Facebook X LinkedIn More