Incompatibility Semantics from Agreement
Philosophia 40 (1):99-119 (2012)
| Abstract | 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
|
| Through your library | Configure |
Yves Lafont (1996). The Undecidability of Second Order Linear Logic Without Exponentials. Journal of Symbolic Logic 61 (2):541-548.
Peter W. O'Hearn & David J. Pym (1999). The Logic of Bunched Implications. Bulletin of Symbolic Logic 5 (2):215-244.
Anna Bucalo (1994). Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. Journal of Logic, Language and Information 3 (3):211-232.
Samson Abramsky & Radha Jagadeesan (1994). Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 (2):543-574.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Thomas Ehrhard (2004). A Completeness Theorem for Symmetric Product Phase Spaces. Journal of Symbolic Logic 69 (2):340 - 370.
John MacFarlane (2010). Pragmatism and Inferentialism. In Bernhard Weiss & Jeremy Wanderer (eds.), Reading Brandom: On Making It Explici.
Benedikt Paul Göcke, Martin Pleitz & Hanno von Wulfen (2008). How to Kripke Brandom's Notion of Necessity. In Bernd Prien & David P. Schweikard (eds.), Robert Brandom. Analytic Pragmatist. ontos.
Monthly downloads |
Added to index2010-07-03Total downloads19 ( #65,278 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |

