Bienvenidos !!!

Este blog no tiene ninguna otra finalidad que compartir y ayudar a reflexionar sobre lógica y filosofía de la lógica, filosofía de las matemáticas, de la ciencia etc.
El blog es absolutamente gratuito. Mando los artículos a quienes lo soliciten y me envíen su mail . Es importante difundir nuestras reflexiones, discusiones, investigaciones y logros en el campo de las disciplinas que nos apasionan .

Gracias por seguir el blog !!!

Claudio Conforti

jueves, 11 de diciembre de 2014

The Different Ways in which Logic is (said to be) Formal Catarina Dutilh Novaes

What does it mean to say that logic is formal? The short answer is: it means (or can mean) several different things.
In this paper, I argue that there are (at least) eight main variations of the notion of the formal that are relevant for current discussions in philosophy and logic, and that they are structured in two main clusters, namely the formal as pertaining to forms, and the formal as pertaining to rules. To the first cluster belong the formal as schematic;
the formal as indifference to particulars; the formal as topic-neutrality; the formal as abstraction from intentional content; the formal as de-semantification. To the second cluster belong the formal as computable; the formal as pertaining to regulative rules; the formal as pertaining to constitutive rules. I analyze each of these eight variations, providing their historical background and raising related philosophical questions. The significance of this work of ‘conceptual archeology’ is that it may enhance clarity in debates where the notion of the formal plays a prominent role (such as debates where it is expected to play a demarcating role), but where it is oftentimes used equivocally and/or imprecisely.

http://www.tandfonline.com/doi/pdf/10.1080/01445340.2011.555505

2 comentarios:

  1. Agradezco al Dr. Jesús Jasso por compartirme este artículo. Obviamente lo tengo entero en PDF, para quien le interese.

    ResponderEliminar
  2. Very interesting!!! It seem to me that the notion of "structure" is at the basis of any interpretation of the formal character of the logic. Not only because the structure of "something" does not include extra-linguistic information and because it constitutes from regulated relations between pieces, but because it is precisely the interpretation not extra-linguistic and the rules that organize are the conditions to the logicality of any standard system.

    ResponderEliminar

Gracias por dejarme tu comentario