Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Prefijo Meta
Que cosas podemos estudiar? Podemos estudiar los números sino existen?
El problema del conocimiento tiene que ver con la justificación. Como se justifica el
conocimiento? Una creencia para que sea conocimiento tiene que ser:
verdadera y estar justificada. esta es la definición tradicional del conocimiento de
los griegos.
Luego vamos a ver que esta forma de definir el conocimiento no alcanza, que hace
falta una 4ta condición.
Para conocer algo uno tiene que interactuar. Intercambio de información. Entonces
si la matemática estudia entidades abstractas, como interactúa?
El científico da por hecho que hay un mundo y ese mundo se puede conocer. Los
que se preguntan por el conocimiento son los epistemólogos, los filósofos, etc.
Dilema de benacerraf:
El texto muestra dos formas de ver el mundo y parece que lo otro es irracional.
¿en qué momento de la historia la matemática empieza a tener un papel predominante para
comprender el mundo?
Galileo decía que la naturaleza está escrita en códigos matemáticos. El método galileano
quería experimentar, Quería matematizar el mundo. Pero en vez de buscar fines, busca
leyes. Importa lo cuantitativo. Había interés, buscaba hacer cosas con lo que se conocía, lo
que quiere es dominar la naturaleza.
¿Qué es la naturaleza? Lo que no hizo el ser humano. De todas maneras son categorías
que ha inventado el ser humano, lo natural y lo artificial son categorías inventadas por el ser
humano.
Aristóteles trataba de captar ese fin, cuando dice el telos, el telos tiene un principio y un
final, algo que tiene un sentido. ¿Cuál es el sentido de la naturaleza? A Aristóteles le
importaba lo cualitativo, tratar de captar el sentido o la finalidad de la naturaleza y a parte el
sentido de la naturaleza era conocer por conocer, no estaban preocupados por la actividad
práctica del conocimiento.
Para el método de Galileo la naturaleza no es algo que tenga un sentido o una finalidad,
sino que a la naturaleza hay que explicarla hay que buscar las leyes hay que cuantificarlas
¿Cómo define la matemática Ana Rioja? La matemática es una ciencia formal que estudia
entes abstractos. ¿Qué es lo abstracto? Algo que no se puede ver ni tocar.
¿Qué relación existe entre las entidades abstractas que son los números y el mundo
natural?
ANNA ESTANY
Cuando habla de forma de conocimiento y producción cultural eso es propio del ser
humano. Toman el conocimiento para armar instrumentos para obtener más conocimiento.
¿Qué es lo que implica la forma de cultura ciencia y filosofía? Ahí hay una capacidad de
reflexionar del por qué ocurren las cosas, el mito p.e. La ciencia es una forma explicativa del
por qué ocurren los hechos.
Eje y: (crítico literario) comprender las disciplinas del eje x. estas disciplinas
reflexionan sobre cómo producen en conocimiento las otras.
La metafísica que podría ser una rama de la epistemología, es una ciencia empírica (física,
química, biología)
La epistemología hace una distinción entre disciplina que producen conocimiento en torno al
mundo natural o física o estructural como dice Anna Estany y disciplinas que están en el eje
x que se ocupan de reflexionar cómo estas disciplinas producen conocimiento en torno a
estos.
Gettier dice que hace falta una cuarta condición. Que es la condición es que tiene que haber
interacción causal o material o de intercambio de información entre el objeto y el sujeto.
Teoría de la fundamentación
Los dos teorías ofrecen fundamentos, razones para creer (se cree lo que tiene una
justificación)
Las dos son teorías fundamentalistas, las dos buscan fundamentos, buscan justificar, nada
mas que una es fundamentalista propiamente dicha y la otra coherentista.
Fundamentalista, dice que nace de una proporciones justificadas que son dos, las
intrínsecas y las derivadas. Las primeras se basan en los sentidos o en la razón. Dice que
es posible encontrar proposiciones que se pueden justificar. De estas proposiciones
justificadas se derivan otras que también están justificadas. La verdad se transfiere de una
verdad a la otra. . (Ej: los axiomas) Hay una jerarquía de proposiciones porque de una se
derivan otras.
Coherentista, dice que no hay una jerarquía de proposiciones sino que todas están al
mismo nivel, las proposiciones que están justificadas son por ser máximamente coherente.
Se justifican entre ellas. Una proposición está justificada si cae dentro de la justificación del
conjunto.
Hace falta una cuarta condición, la teoría causal y material del conocimiento. Esta teoría
causa problemas con los axiomas o las cosas intrínsecamente justificadas.
Una forma de interpretar la pregunta puede ser científica o metacientífica . Ejemplifica con
¿qué es la matemática?
Leon Olive plantea desde el punto de vista científico a la matemática como una exposición
de sus ideas de sus métodos. Está respondida desde dentro de la matemática.
Esta es la forma que tiene la epistemología de justificar por qué puede hablar de cosas en
las que no es especialista.
Estas dos visiones no son alternativas, sino que son complementarias, una complementa a
la otra.
Hay dos tipos de ciencias: las formales y las fácticas. Una ciencia fáctica es la física, las
ciencias fácticas que ocupa de las entidades pueden ser ubicadas en un determinado
tiempo y espacio, Las formales son
Klimovsky ubica a la matemática en las ciencias formales, porque las entidades que
estudian no pueden ser ubicadas en un determinado tiempo y lugar.
Entonces según Klimovsky, La matemática podría ser una ciencia o no, si es una ciencia no
es fáctica, debería ser formal por las entidades que estudia, si no es ciencia pasa a ser un
instrumento.
Klimovsky:
Existe aquello que nosotros podemos ubicar espacial y temporalmente, esos son
hechos.
Habla de los objetos, los objetos de la ciencias fácticas se pueden ubicar espacial y
temporalmente.
Habla de los objetos de la matemática en un sentido platónico, dice que son objetos
abstractos. No los percibes.
Olive:
Ubica en las ciencias formales, no dice nada sobre los objetos, forma de establecer
la verdad en la matemática es distinta a la ciencias empíricas (sintaxis del
enunciado, el significado de las palabras) distintos a las ciencias fácticas que los
objetos son los que percibimos con nuestros sentidos o con instrumentos) y la
verdad en estas ciencias se obtiene comparando como es el mundo
Lo que puede ser percibido a través de los sentidos o a través de instrumentos son
hechos.
Dos criterios:
Anna Estany clasifica a las ciencias: como las disciplinas que conocen una porción
del mundo y las disciplinas meta. Pero Ana Estani no dice dónde ubicaría a la
matemática.
Hay un polo ontológico y uno epistemológico desarrolle los mismos. Esto significa
desarrollar los argumentos de benacerraf para concluir lo que él concluye
Enuncie el dilema
Según los autores vistos en qué tipo de ciencia se podría ubicar a la matemática?
Benacerraf parte de una concepción de la verdad como referencia, significa que todo
enunciado para ser verdadero o que significa tiene que referir a algo que esta fuera de ese
enunciado. Esa es la teoría de la verdad como correspondencia. A mi enunciado le tiene
que corresponder algo fuera del lenguaje dentro de la realidad. A cada afirmación le
corresponde un referente en ese mundo. Si mi enunciado tiene un referente entonces es
posible establecer la verdad atraves de los sentidos (pe)
Tras el contraejemplo de Gettier, Benacerraf toma una de las salida, que es la teoría causal
o material del conocimiento. La cual dice que entre el sujeto que conoce y las entidades que
tiene que ser materiales físicas tiene que haber una conexión causal, es decir, un
intercambio de información para poder conocer esas entidades. Es decir, las únicas
entidades conocidas que se pueden conocer y que están ligadas por los sentidos son las
entidades físicas, materiales. Acá tenemos el dilema, porque por un lado se habla de
entidades abstractas y por otro lado la epostemologia dice que lo único que se puede
conocer son entidades materiales o físicas, entonces cual es el enunciado: lo que hace
posible la verdad matemática, que es lo que hace posible las verdad matemática, la
existencia de entidades abstractas, va a ser imposible su conocimiento, no vamos a poder
conocer esas entidades, porque las únicas entidades que podemos conocer son las físicas.
Y viceversa, lo que posible el conocimiento matemático, hace imposible establecer la
verdad matemática, porque hace posible es que las identidades tienen que ser físicas. Por
eso tiene que haber un intercambio de información entre el sujeto que conoce y el objeto a
ser conocido.
La única manera de responder esta pregunta es que estas entidades sean abstractas. Los
únicos referentes posibles para que las afirmaciones matemáticas sean verdaderas es que
las entidades que estudia sean abstractas.
¿Cuál es el estatus ontológico de las entidades abstractas? Para benacerraf las entidades
abstractas no emiten energía no emiten nada, son abstractas.
Benacerraf no está del lado de ningún polo, el plantea el dilema, las posibles salidas son o
negar el dilema, o relativizar algunos de los polos.
Entonces o las entidades son abstractas y o son materiales, si son abstractas no las
podemos conocer y si son materiales no pueden ser referentes de las afirmaciones, este es
el dilema.
MADDY
Si bien el concepto puede ser abstracto, ese concepto está conformado a partir de una
realidad concreta física, por eso es que los conjuntos existen. El concepto es abstracto pero
se conformó a partir de interacción con entidades físicas concretas, sin ellas no se podría
formar un concepto abstracto. Esa es la tesis de Maddy.
Maddy dice que la matemática se muestra como una disciplina del mismo tipo que la física,
la química y la biología, con sus procesos perceptivos y experimentales aunque sean
propios y distintos como lo son también los métodos experimentales de cada una de las
diferentes ciencias
Para Maddy todas las ciencias vienen a estudiar el mundo que presenta con independencia
el espíritu por eso el realismo, el mundo existe independientemente del sujeto que lo
conoce, pero el sujeto intenta conocer ese mundo.
En la página 58 dice Maddy todos los conjuntos tienen bases físicas, una localización en el
espacio temporal.
Salida de maddy