LOGICA

EL METODO DE LAS CIENCIAS FORMALES
SURGIMIENTO HISTORICO
Los Filósofos de la ciencia contemporáneos aceptan (en general) la distinción ente Cs. fácticas (se refiere a aspectos de la realidad natural y social, las hipótesis se contrastan a través de la observación y experimentación, ej. la física, química, biología, sociología y psicología) y las ciencias formales (se refieren a entidadesabstractas como los números, figuras geométricas ideales, o estructuras de razonamientos. Los enunciados propios se justifican a través de consideraciones puramente lógicas. Son las Matemáticas y la Lógica)
El avance de los matemáticos griegos (5 o 6 siglos A.C) empieza a dar esta distinción e/formales y fácticas. Pero muchísimos siglos antes algunas culturas habían elaborado ciertos conocimientosmatemáticos útiles p/resolver problemas prácticos y cotidianos como confección de calendarios, construcción de edificios, mensura de terrenos, fijación de medidas comerciales, etc.
Por ej. Este vínculo entre la necesidad de resolver problemas prácticos y la producción de conocimientos matemáticos adecuados quedan bien ilustrados en la geometría en la organización agronómica del antiguo Egipto dondelas periódicas inundaciones del Nilo fertilizaban sus márgenes obligando a establecer las medidas de los terrenos y el cálculo de la superficie a efectos de fijar su valor impositivo, de esta tarea se ocupaban los medidores de tierras (geómetras) quienes desarrollaron grandes habilidades y establecieron fórmulas para medir parámetros y superficies. (A través de la observación y tanteos pudieronaveriguar las circunferencias y su radio expresada aprox. Por el nro. 3,16, podemos decir que el método usad es similar al que se aplica para obtener generalizaciones empíricas sobre los fenómenos naturales)
La sucesión de días y noches, el amanecer y el ocaso, las fases de la luna, llevaron a periodizaciones bastantes precisas para la época Ej. Los babilonios contaban con un calendario ayudadopor la luna obteniendo periodos (meses) que variaban entre 28 y 30 días. Transcurridos una cierta cantidad años agregaban días para mantener la correspondencia con el comportamiento de la luna (tal como hoy a febrero se le agrega un día en años bisiestos)
La matemática desarrollada de esta forma si bien alcanzo considerablemente amplitud y precisión se mantuvo dentro de los límites que podemosconsiderar empíricos. Los conceptos numéricos parecían ineludiblemente ligados al mundo empírico como si representaran ciertos aspectos de los objetos físicos), la matemática de la época era similar a la física de la época ambas estaban constituidas por generalizaciones surgidas a partir de observaciones por medio de la aplicación de razonamientos inductivos (premisas a una conclusión más general) oanalógicos (propiedades similares que tienden analógicamente a sacar conclusiones).
Los Griegos le dieron un vuelco importante a las matemáticas supieron aprovechar los conocimientos alcanzados por otras culturas, una característica principal era la preocupación de la cultura griega por conocer el mundo, entenderlo. Los griegos procuraron organizar el conocimiento matemático sobre basesestrictamente racionales. Platón: el mundo material goza o sufre de una realidad secundaria, solo resulta clara para los hombres porque tienen capacidad de contemplar entidades abstractas, separando de cierto modo los griegos los objetos matemáticos de los objetos físicos.
Los pitagonos como Tales y otros introdujeron las verdades matemáticas. No basta con corroborar miles de veces algo sino demostrarque necesariamente es así. Demostrar una proposición es encontrar un razonamiento que conduzca deductivamente a dicha proposición, encontrar premisas adecuadas que impliquen lógicamente la proposición que se intenta demostrar. Si ellos se logra esa conclusión pasa a ser un teorema, una verdad cuya garantía no corre el menor riesgo de verse refutada por ningún contraejemplo.
La función de los...