Verano Velásquez, Iván Camilo - Hacia una concepción estructural de la formalidad en lógica - Towards a structural account of formality in logic - 438329.2010Report as inadecuate




Verano Velásquez, Iván Camilo - Hacia una concepción estructural de la formalidad en lógica - Towards a structural account of formality in logic - 438329.2010 - Download this document for free, or read online. Document in PDF available to download.

Verano Velásquez, Iván Camilo - Hacia una concepción estructural de la formalidad en lógica - Towards a structural account of formality in logic - 438329.2010 - 16 Lógica - Logic


Teaser



Hacia una Concepci´ on Estructural de la Formalidad en L´ ogica Iv´an Camilo Verano Vel´asquez Universidad Nacional de Colombia Departamento de Filosof´ıa Entregado en cumplimiento parcial de los requisitos para el grado de Mag´ıster en Filosof´ıa 4 de agosto de 2010 Gonzalo Serrano Doctor en Filosof´ıa, Universidad Nacional de Colombia Director Tom´as Barrero Doctor en Filosof´ıa, Universidad Nacional de Colombia Jurado Ra´ ul Mel´endez Doctor en Filosof´ıa, Universidad Nacional de Colombia Jurado Abstract Towards a Structural Account of Formality in Logic Most logicians and philosophers nowadays would agree with the characterization of logic as formal.
But most of them would disagree when explaining what logic’s formality consists in.
Making clear the concept of formality in logic is no easy task, and serious attempts have been made recently in that direction (MacFarlane 2000, Sher 1991).
The aim of this dissertation is to present a concept of logical formality alternative to those commonly found in the literature, i.e.
the structural concept of formality.
This structural account is based on the exposition of a structuralist theory of logic due to Arnold Koslow (1992).
We aim to demonstrate how the structural account avoids standard objections to the traditional concepts of logical formality and how it may be used to propose a principled demarcation of logic.
Some other consequences are a shift towards intuitionism in the philosophy of mathematics and logic and an expansion of the bounds of logic, accommodating certain concepts that are commonly regarded as extra-logical but that under the structural account count as properly logical.
Among the more polemic results we find a weakening of the link between logic, truth, language and rationality.
An historical upshot of the structural approach consists in freeing logic from the traditional logicist and foundational role commonly ascribed to it. Keywords: logic, formality, structuralism, ...





Related documents