LOGICAL THEORY AND HUMAN PRACTICES. SOME REMARKS ON THE METAPHYSICAL PRESUPPOSITIONS AND USE OF FORMAL LOGIC

Abstract

This paper’s aim is to help winnow out some ideas about the role of formal logic in human doings at large. I start by discussing some metaphysical presuppositions of logical theory; specifically, I attempt to work towards a clearer understanding of the role of modalities, together with the notions of meaning and truth, in mainstream logical theory. I then appeal to a modalformal semantics (Brandom, 2007a) in order to outline the cognitive role of logical constants in general. From these discussions I conclude that any view of formal logic, and its core concepts, which does not involve a grasp of whatwe do with them will be found to be distorted.

Resumen: El objetivo de este trabajo es ayudar a discernir algunas ideas respecto del papel de la lógica formal en las prácticas humanas en general. Comienzo considerando algunas presuposiciones metafísicas de la teoría lógica; en particular, intento presentar una comprensión más clara del papel de las modalidades,así como de las nociones de significado y verdad, en la teoría lógica moderna. Recurro entonces a una semántica formal de tipo modal (Brandom, 2007a) para perfilar el papel cognoscitivo de las constantes lógicas en general.A partir de estas discusiones, concluyo que cualquier concepción de la teoría lógica y sus conceptos fundamentales que no involucre lo que hacemos con ellos será en definitiva distorsionada.