Este blog está creado para compartir, opinar, discutir sobre temas de lógica, lógicas no-clásicas, filosofía de la lógica, filosofía de las matemáticas.
martes, 23 de octubre de 2012
Logic and Pragmatics: linear logic for inferential practice Daniele Porello
Abstract. In this paper I disuss logic in the pragmatic apporach of (Brandom, 2008). I
consider differnt logical consequence relations (classical, intuitionistic and linear) and I will
argue that the formal treatment proposed by Brandom, even if I believe it provides powerful
intuions and an interesting framework on logic in general, doesn't allow to state properly the
relationship between differnt logics. I propose an alternative account of the elaboration of
logical vocabuilaries not based on incompatibility semantics, rather on a particular notion of
interaction, which I claim is implicit in the practice of giving and asking for reasons, which
allows to state the relationship between differnt logics in terms of differnt aspects of the
inferential practice.
danieleporello@gmail.com
Institute for Logic, Language & Computation (ILLC)
University of Amsterdam,
Plantage Muidergracht 24
1018 TV Amsterdam (NL)
No hay comentarios:
Publicar un comentario
Gracias por dejarme tu comentario