Skip to Main content Skip to Navigation
New interface
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
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


  • HAL Id : halshs-00000055, version 1


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



Record views


Files downloads