Entradas

Quineanos y Aristotélicos en Filosofía Analítica

Condiciones Necesarias y Condiciones de Posibilidad

Imagen
Si pensamos que analizar un concepto involucra determinar qué otros conceptos contiene como condiciones necesarias y que, por lo tanto, en toda inferencia analítica la conclusión está contenida en las premisas, explicaríamos que podemos inferir analíticamente de que algo es rojo que no es verde, porque el concepto “rojo” contiene la negación del concepto “verde.” Si hiciéramos un análisis conceptual del concepto “rojo”, encontraríamos entre sus condiciones necesarias el ser coloreado, extenso, material, etc., pero también el no ser verde, negro, azul u otro color. Por lo menos desde Wittgenstein, varios filósofos no estamos satisfechos con esta explicación, entre otras razones, porque no hace distinciones útiles entre diferentes maneras que un concepto o proposición puede ser condición necesaria de otro.Desde un punto de vista tradicional, el ser azul contiene el ser coloreado de la misma manera que contiene el no ser café. En su lugar, varios filósofos hemos propuesto distinguir (por…

¿Qué tiene de visual el razonamiento diagramático 
en Geometría Euclideana?

Imagen
Según Kant, nuestro conocimiento geométrico, a diferencia del conocimiento aritmético y analítico, está basado en nuestra intuición espacial. Esta hipótesis puede ponerse a prueba desde diferentes perspectivas, como la histórico-filosófica. Desde esta perspectiva, la idea es que si nuestro conocimiento matemático efectivamente está basado en intuiciones espaciales debe haber algo en la manera como de hecho hacemos geometría en la que debe manifestarse cómo, de hecho, apelamos a dicha intuición espacial. Tradicionalmente se ha pensado que el lugar donde más claramente puede verse esto es en los diagramas de la geometría Euclideana. Si, de hecho, la manera en que apelamos a los diagramas en pruebas geométricas Euclideanas involucra intuición espacial, entonces es cierto que nuestro conocimiento geométrico está basado en ella.

En años recientes, han aparecido muchas trabajos recientes en esta dirección (principalmente por parte de Kenneth Manders, Marco Panza y Danielle Macbeth) y el cons…

Apuntes del II Congreso de Lógica y Epistemología Contemporanea

Imagen
Obsrvaciones filosóficas derivadas del II Congreso de Lógica y Epistemología Contemporanea organizado por el CILEC en Colombia:
Hay mas interés de pedagogos y sociólogos por la filosofía que vice versa, y  esto es evidencia de que algo no está bien. Sería bueno ser qué.Pese a miles y miles de textos y ponencias sobre la distinción entre sentido y referencia, aún no es completamente claro para qué se supone que la introdujo Frege.¿El sentido es un rasgo objetivo de los referentes, es decir, el poderse presentar de cierta manera es una propiedad que los objetos tienen independientemente del ser referidos lingüísticamente? Si así fuera, los sentidos serían entidades no-lingüísticas. Creo que esta manera de entender los sentidos es la que sugiere Evans. Evans trata de Russelear a Frege, lo que es bueno; pero Dummett sigue teniendo razón de que eso haría que Frege heredara los problemas del Russeleanismo (por ejemplo, ya no podríamos apelar a la noción de sentido para explicar la significac…

Representar es mas que producir representaciones

Imagen
Para su trabajo de doctorado, si mal no la entienda, Mónica Livier defiende que una razón importante para afirmar que los modelos científicos no son meras representaciones es para resaltar el hecho de que la actividad de modelar no es un mero medio para producir modelos, donde lo valioso epistémicamente son los modelos y la actividad de modelar sólo tiene un valor instrumental y derivado. En realidad, el modelar no es una actividad dirigida a la producción de modelos, sino una práctica relativamente autónoma en la que los modelos son entidades cuya función epistémica, por lo menos en parte, consiste en su papel en la actividad de modelación. En otras palabras, aun si en algún momento del proceso de modelización el modelo desapareciera, ésto no invalidaría los efectos epistémicos del proceso. Esto no significa que el modelo, qua representación, no tenga valor epistémico independientemente del proceso de modelización, sino que también vice versa, el proceso de modelación también tiene v…

Símbolos y Notación Lógica

Tradicionalmente, en lógica solemos distinguir, por lo menos informalmente, entre un sistema formal y sus notaciones. Se dice, por ejemplo, que el cálculo proposicional polaco  y el de Hilbert-Ackerman son sólo variantes notacionales del mismo cálculo, mientras que el cálculo proposicional clásico y el intuicionista no lo son, aun cuando puedan usar la misma notación. Sin embargo, durante mis reuniones con José Dehilario, hemos visto que dicha distinción es mucho más problemática.

Según Woleński 2015, la escuela de Varsovia señalaba que no debemos confundir la noción de símbolo en la definición estándar de sistema formal con la de carácter en nuestra notación. Idealmente, ha señalado también Goodman, a cada carácter le debería corresponder un símbolo y viceversa. Sin embargo, tradicionalmente no es así. Por ejemplo, en la caracterización que hace Mendelson de su sistema de cálculo proposicional L, él incluye a los paréntesis como símbolos independientes de los operadores. En otras pala…

¿Para qué sirve la notación lógica?

Imagen
Parte de lo que aprendí ayer sobre la importancia de la notación en lógica con José Dehilario:


Supongamos que queremos una notación para un sistema de cálculo proposicional en el cual haremos muchos Modus Ponens ¿Cuáles son las cualidades mínimas que tendría que tener un sistema notacional para permitirnos hacer Modus Ponens? A nivel de fórmulas, tiene que permitirnos distinguir condicionales y cuales son sus antecedentes y consecuentesA nivel de derivaciones, tiene que permitirnos distinguir premisas de conclusiónPero, una buena notación podría hacer más que esto. Nótese que la condición de permitirnos hacer algo es muy, muy débil. Habrá notaciones en las cuales, por ejemplo, será posible determinar si una fórmula es un condicional, pero muy difícil. Una buena notación debe, no sólo permitirnos hacer estas distinciones, sino facilitarnos hacerlas. Por ejemplo, tanto en la notación polaca como en la tradicional podemos determinar cuál es la conectiva principal, pero en notación polaca es …