Philosophia 40 (1):99-119 (2012)
In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which allow to refine Brandom’s concept of defeasible inference and to account for those non-monotonic and relevant inferences that are expressible in linear logic. Moreover, I will suggest an interpretation of discursive practices based on an abstract notion of agreement on what counts as a reason which is deeply connected with linear logic semantics
|Keywords||Dialogues Linear logic Analytical pragmatism Actions that count as reasons|
|Categories||categorize this paper)|
References found in this work BETA
Between Saying and Doing: Towards an Analytic Pragmatism.Robert Brandom - 2008 - Oxford University Press.
A Game Semantics for Linear Logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.
Quantales and (Noncommutative) Linear Logic.David N. Yetter - 1990 - Journal of Symbolic Logic 55 (1):41-64.
Citations of this work BETA
No citations found.
Similar books and articles
The Undecidability of Second Order Linear Logic Without Exponentials.Yves Lafont - 1996 - Journal of Symbolic Logic 61 (2):541-548.
The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.
An Analysis of Gödel's Dialectica Interpretation Via Linear Logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
A Completeness Theorem for Symmetric Product Phase Spaces.Thomas Ehrhard - 2004 - Journal of Symbolic Logic 69 (2):340 - 370.
Pragmatism and Inferentialism.John MacFarlane - 2010 - In Bernhard Weiss & Jeremy Wanderer (eds.), Reading Brandom: On Making It Explici. Routledge. pp. 81--95.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57:161-184.
Added to index2010-07-03
Total downloads45 ( #114,842 of 2,163,870 )
Recent downloads (6 months)1 ( #348,100 of 2,163,870 )
How can I increase my downloads?