PARALELO COMPARATIVO: CIENCIAS FORMALES Las Ciencias formales se ocupan de inventar entes formales y establecer sus relaciones, Inventan/crean el objeto, este se le debe poder surtir contenido factico y empírico. un ejemplo de las ciencias formales son la lógica y la matemática, y un objeto: los números Nunca entra con conflicto con la realidad, porque hay distintas interpretaciones de los objetos formales. Se contentan con la lógica A las matemáticas y a la lógica también se consideran ciencias deductivas, pues sus enunciados tienen que tener un conjunto de ideas admitidas previamente. Las Ciencias formales demuestran o prueban. CIENCIAS FÁCTICAS Tienen como objeto a los hechos, procura un conocimiento objetivo, para confirmar sus conjeturas necesitan de la observación y/o experimento, y no se conforman con ideas admitidas previamente, no emplean Símbolos vacíos sino que emplean símbolos interpretados. Los enunciados deben ser verificables, por eso se dice que el conocimiento fáctico verificable es una ciencia empírica porque se requieren datos empíricos. Las Ciencias Fácticas verifican hipótesis que en su mayoría son provisionales. Fácticas: Esta ciencia se basa en los hechos en lo experimental y material estas no empeñan símbolos vacíos símbolos interpretados. Esta ciencia específicamente necesita de la observación y experimentación para poder adecuar sus hipótesis. Una segunda especificación de sus características es su racionalidad que se da con la coherencia que es necesaria pero insuficiente en el campo de los hechos. Las ciencias fácticas trabajan con objetos reales que ocupan un espacio y un tiempo. La palabra fáctica viene del latín factu que significa hecho, o que sea que trabajo con hechos. Se subdividen en: Naturales: Se preocupan por la naturaleza Sociales: se preocupan por el ámbito humano. La verdad de estas ciencias es fáctica porque depende de hechos y es provisoria porque las nuevas investigaciones pueden presentar elementos para su refutación. Formales: Esta ciencia abarca generalmente la lógica y la matemática y otros que estén relacionados con estos objetivos. Esta ciencia es racional, sistemática y verificable. A pesar de que su campo de estudio está dado solo en lo ideal está influida mucho por los objetos reales: un ejemplo de ellos son los números que
solo existen de la a coordinación del conjunto de objetos materiales que nos rodean tales como los dedos, palitos, piedritas, etc. La lógica y la matemática son ciencias formales por establecer relaciones entre ellas, su objeto no son las cosas ni los procesos sino son los de expresar un lenguaje pictórico en un sentido ilimitado de contenidos ya sean experimentales o de hechos. Trabajan con formas, es decir, con objetos ideales, que son creados por el hombre, que existen en su mente y son obtenidos por abstracción. Las ciencias formales son la lógica y la matemática. Les interesan las formas y no los contenidos, no les importa lo que se dice sino como se dice. La verdad de las ciencias formales es necesaria y formal. Esta división tiene en cuenta el objeto o tema de estas disciplinas, también da cuenta de la diferencia de especie entre los enunciados que establecen las ciencias formales las fácticas. Mientras los enunciados formales consisten en relaciones entre signos, los enunciados delas ciencias fácticas se refieren, mayoritariamente, a sucesos y procesos. Además esta división tiene en cuenta el método por el cual se ponen a prueba los enunciados verificables. Mientras que las ciencias formales se conforman con la lógica para comprobar sus teoremas, las ciencias fácticas recurren a la observación y al experimento. Las ciencias formales demuestran o prueba; las fácticas verifican (confirman o disconfirman) hipótesis que mayoritariamente son provisionales. La demostración es completa y final; la verificación es incompleta y temporaria. Características de las Ciencias Fácticas y Formales Las ciencias fácticas y las ciencias formales tienen ciertas características: La diferencia entre estas es. Que la ciencia fáctica verifica las hipótesis y las ciencias formales demuestran estas hipótesis y es por ello que no se le puede estudiar conjuntamente. Ciencias Fácticas Están basadas en buscar la coherencia entre los hechos y la representación mental de los mismos (Nos informan cosas de la realidad). Esta coherencia es necesaria pero no suficiente, porque además exige la observación y la experimentación. Nadie confiaría en un medicamento si no parte de la autoridad de la persona que lo receta y ambos en que el medicamento ha sido sometido a todas las pruebas necesarias de contrastación empírica. Por lo tanto, el objeto de estudio de la ciencia fáctica son los hechos.. su método la observación y experimentación y su criterio de verificación es aprobar el
examen, la llamada contrastación cuántica. Son las ciencias o disciplinas que tienen como objeto de estudios los hechos reales, como la historia, la sociología. Hay otro clasificación de ciencia y son las llamadas ciencias formales, como las matemáticas y físicas, pues la materia de su conocimiento son objetos y formas ideales, es decir números, nomenclaturas. La multiplicación más aceptada es la de ciencias fácticas y formales. El hombre es un ser natural, pero su mundo ya no es natural. La naturaleza se desenvuelve independientemente de la voluntad del hombre, en cambio, el mundo del hombre es creado por él. Las naturales son la biología, física, química, etc. Y las sociales son sociología, economía, psicología, etc. La verdad de estas ciencias es fáctica porque depende de hechos y es provisoria porque las nuevas investigaciones pueden presentar elementos para su refutación. Las ciencias fácticas trabajan con objetos reales que ocupan un espacio y un tiempo. La palabra "fáctica" viene del latín factum que significa "hecho", o sea que trabaja con hechos. Se subdividen en naturales y sociales. Las primeras se preocupan por la naturaleza, las segundas por el ámbito humano. Las ciencias Fácticas investigan hechos de la realidad y se basan en experiencias sensoriales que con el tiempo pueden llegar a esclarecer los hechos. Formales Son ciencias establecidas por el razonamiento lógico, y obtenidas por la abstracción de las formas, es decir, por objetos o entes ideales, creadas por el hombre. No obstante, están influidas por los objetos reales, pues se encargan de demostrar las hipótesis formuladas las ciencias fácticas, por ello es una ciencia, racional sistemática y verificable. Entre ellas están las Matemáticas y la Lógica. Las ciencias formales son aquellas ciencias que establecen el razonamiento lógico y trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su método de trabajo es el lógico inductivo, con todas sus variantes. La matemática es el estudio de las propiedades y las relaciones de entes abstractos (números, figuras geométricas) a partir de notaciones básicas exactas y a través del razonamiento lógico. La lógica es una ciencia formal y que por tanto, no tiene contenido, sino que simplemente estudia las formas de inferencia. Es el estudio de métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto. En las ciencias formales las proposiciones analíticas o contradictorias recogen los enunciados de las matemáticas y la lógica que en general constituyen las ciencias formales. El positivismo lógico considera a estas ciencias no empíricas.
Las ciencias formales están divididas de una forma radical, por un lado las ciencias reales y por otro lado las ciencias empíricas. Las empíricas deben satisfacer determinados requisitos lógicos en sus inferencias y deben adaptarse a las formalizaciones derivadas de la lógica matemática. Las expresiones y formulas de la lógica y de las matemáticas no deben verificarse por ser analíticas, pero el resto de los enunciados científicos deben ser comprobados en la realidad o por observación. La lógica y la matemática son ciencias formales, por ocuparse de inventar entes formales y establecer relaciones entre ellos. Estos objetos no son cosas ni procesos, sino formas en las que se puede verter un surtido ilimitado de contenidos, tanto facticos como empíricos. Se pueden establecer correspondencias entre estas formas u objetos formales relacionándolas con objetos o procesos pertenecientes a cualquier nivel de la realidad. Los teoremas formales solo deben ser probados apoyados en la lógica. Las ciencias formales no se refieren a nada que se encuentre en la realidad, por eso no pueden utilizar nuestros contactos con la realidad para convalidar sus fórmulas. Estas ciencias estudian conceptos abstractos, además de las leyes lógicas, es decir las leyes que permiten inferir proposiciones a partir de enunciados verdaderos. Su característica típica es que demuestran o prueban sus enunciados con base en principios lógicos o matemáticos, pero no los confirman experimentalmente. De esta forma las ciencias formales no dan información acerca de la naturaleza, conformándose con ser recursos o instrumentos meramente formales, que el científico necesariamente tendrá que manejar en la práctica de investigaciones, comprobaciones y verificaciones. La lógica. Como ciencia del razonamiento se ha visto modificada en varios aspectos a través de la historia, hasta tal punto que actualmente se habla de varias lógicas. Estas son, Las lógicas extendidas: se llaman así porque se consideran extensiones de la lógica clásica, como en el caso de la lógica modal.
Las lógicas divergentes: llevan este nombre puesto que no están de acuerdo en algunas tesis sustantivas de la lógica clásica, como en el caso de la lógica trivalente. La matemática. Consta de la teoría de conjuntos y las geometrías no euclidianas, instrumentos matemáticos descubiertos y formulados para auxiliar y entender los nuevos aspectos del universo que surgen a los ojos de las nuevas teorías físicas.