HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://halshs.archives-ouvertes.fr/halshs-00000055
Contributor : Alexei Grinbaum Connect in order to contact the contributor
Submitted on : Friday, November 15, 2002 - 2:57:07 PM
Last modification on : Friday, April 29, 2022 - 10:12:17 AM
Long-term archiving on: : Monday, March 29, 2010 - 2:41:15 PM

Identifiers

  • HAL Id : halshs-00000055, version 1

Citation

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

Share

Metrics

Record views

166

Files downloads

278