Pragmatic and dialogic interpretations of bi-intuitionism. Part 1

Logic and Logical Philosophy 23 (4):449-480 (2014)
  Copy   BIBTEX

Abstract

We consider a “polarized” version of bi-intuitionistic logic [5, 2, 6, 4] as a logic of assertions and hypotheses and show that it supports a “rich proof theory” and an interesting categorical interpretation, unlike the standard approach of C. Rauszer’s Heyting-Brouwer logic [28, 29], whose categorical models are all partial orders by Crolard’s theorem [8]. We show that P.A. Melliès notion of chirality [21, 22] appears as the right mathematical representation of the mirror symmetry between the intuitionistic and co-intuitionistc sides of polarized bi-intuitionism. Philosophically, we extend Dalla Pozza and Garola’s pragmatic interpretation of intuitionism as a logic of assertions [10] to bi-intuitionism as a logic of assertions and hypotheses. We focus on the logical role of illocutionary forces and justification conditions in order to provide “intended interpretations” of logical systems that classify inferential uses in natural language and remain acceptable from an intuitionistic point of view. Although Dalla Pozza and Garola originally provide a constructive interpretation of intuitionism in a classical setting, we claim that some conceptual refinements suffice to make their “pragmatic interpretation” a bona fide representation of intuitionism. We sketch a meaning-asuse interpretation of co-intuitionism that seems to fulfil the requirements of Dummett and Prawitz’s justificationist approach. We extend the Brouwer-Heyting-Kolmogorov interpretation to bi-intuitionism by regarding co-intuitionistic formulas as types of the evidence for them: if conclusive evidence is needed to justify assertions, only a scintilla of evidence suffices to justify hypotheses.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,442

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Dummett's Views on Intuitionism Logic.Xiao-Ming Ren & Biao Gu - 2007 - Nankai University (Philosophy and Social Sciences) 4:46-51.
Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.
Renewing Moral Intuitionism.Elizabeth Tropman - 2009 - Journal of Moral Philosophy 6 (4):440-463.
Intuitionism, Meaning Theory and Cognition.Richard Tieszen - 2000 - History and Philosophy of Logic 21 (3):179-194.
Against Against Intuitionism.Dirk Schlimm - 2005 - Synthese 147 (1):171-188.
Brouwerian intuitionism.Michael Detlefsen - 1990 - Mind 99 (396):501-534.
Varieties of Moral Intuitionism.Elizabeth Tropman - 2014 - Journal of Value Inquiry 48 (2):177-194.
Intuitionism.David Kaspar - 2012 - Continuum.

Analytics

Added to PP
2018-02-06

Downloads
19 (#590,037)

6 months
1 (#454,876)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Massimiliano Carrara
University of Padua
Daniele Chiffi
Politecnico di Milano

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references