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 porque además exige la observación y la experimentación. Esta coherencia es necesaria pero no suficiente. los enunciados delas ciencias fácticas se refieren. Las ciencias formales son la lógica y la matemática. Les interesan las formas y no los contenidos. 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. mayoritariamente. Esta división tiene en cuenta el objeto o tema de estas disciplinas. 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. es decir. el objeto de estudio de la ciencia fáctica son los hechos. 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. La demostración es completa y final. etc. que existen en su mente y son obtenidos por abstracción. la verificación es incompleta y temporaria. La verdad de las ciencias formales es necesaria y formal. Por lo tanto. Trabajan con formas. La lógica y la matemática son ciencias formales por establecer relaciones entre ellas. palitos. no les importa lo que se dice sino como se dice. que son creados por el hombre. piedritas. a sucesos y procesos.solo existen de la a coordinación del conjunto de objetos materiales que nos rodean tales como los dedos. las fácticas verifican (confirman o disconfirman) hipótesis que mayoritariamente son provisionales. 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). Mientras que las ciencias formales se conforman con la lógica para comprobar sus teoremas. Además esta división tiene en cuenta el método por el cual se ponen a prueba los enunciados verificables. Las ciencias formales demuestran o prueba. 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. con objetos ideales.. también da cuenta de la diferencia de especie entre los enunciados que establecen las ciencias formales las fácticas. su método la observación y experimentación y su criterio de verificación es aprobar el . Mientras los enunciados formales consisten en relaciones entre signos. las ciencias fácticas recurren a la observación y al experimento. y obtenidas por la abstracción de las formas. psicología. su método de trabajo es el lógico inductivo. Hay otro clasificación de ciencia y son las llamadas ciencias formales. sino que simplemente estudia las formas de inferencia. la sociología. racional sistemática y verificable.examen. 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. La palabra "fáctica" viene del latín factum que significa "hecho". Y las sociales son sociología. Esta crea su propio objeto de estudio. las segundas por el ámbito humano. el mundo del hombre es creado por él. La lógica es una ciencia formal y que por tanto. en cambio. como la historia. La naturaleza se desenvuelve independientemente de la voluntad del hombre. pero su mundo ya no es natural. La multiplicación más aceptada es la de ciencias fácticas y formales. economía. como las matemáticas y físicas. Las primeras se preocupan por la naturaleza. Es el estudio de métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto. La matemática es el estudio de las propiedades y las relaciones de entes abstractos (números. El hombre es un ser natural. con todas sus variantes. la llamada contrastación cuántica. es decir. pues la materia de su conocimiento son objetos y formas ideales. El positivismo lógico considera a estas ciencias no empíricas. no tiene contenido. están influidas por los objetos reales. Se subdividen en naturales y sociales. por objetos o entes ideales. etc. figuras geométricas) a partir de notaciones básicas exactas y a través del razonamiento lógico. Formales Son ciencias establecidas por el razonamiento lógico. pues se encargan de demostrar las hipótesis formuladas las ciencias fácticas. es decir números. física. 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. creadas por el hombre. Las ciencias formales son aquellas ciencias que establecen el razonamiento lógico y trabajan con ideas creadas por la mente. Las ciencias fácticas trabajan con objetos reales que ocupan un espacio y un tiempo. etc. por ello es una ciencia. nomenclaturas. No obstante. Entre ellas están las Matemáticas y la Lógica. . química. Son las ciencias o disciplinas que tienen como objeto de estudios los hechos reales. o sea que trabaja con hechos. Las naturales son la biología. 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. además de las leyes lógicas. Estas son. conformándose con ser recursos o instrumentos meramente formales. que el científico necesariamente tendrá que manejar en la práctica de investigaciones. Los teoremas formales solo deben ser probados apoyados en la lógica. La lógica. por un lado las ciencias reales y por otro lado las ciencias empíricas. por ocuparse de inventar entes formales y establecer relaciones entre ellos. Las lógicas extendidas: se llaman así porque se consideran extensiones de la lógica clásica. De esta forma las ciencias formales no dan información acerca de la naturaleza. es decir las leyes que permiten inferir proposiciones a partir de enunciados verdaderos. Se pueden establecer correspondencias entre estas formas u objetos formales relacionándolas con objetos o procesos pertenecientes a cualquier nivel de la realidad. como en el caso de la lógica modal. Las expresiones y formulas de la lógica y de las matemáticas no deben verificarse por ser analíticas. Su característica típica es que demuestran o prueban sus enunciados con base en principios lógicos o matemáticos. Como ciencia del razonamiento se ha visto modificada en varios aspectos a través de la historia. La lógica y la matemática son ciencias formales. tanto facticos como empíricos. comprobaciones y verificaciones. .Las ciencias formales están divididas de una forma radical. hasta tal punto que actualmente se habla de varias lógicas. pero el resto de los enunciados científicos deben ser comprobados en la realidad o por observación. 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. Estos objetos no son cosas ni procesos. Las ciencias formales no se refieren a nada que se encuentre en la realidad. Estas ciencias estudian conceptos abstractos. pero no los confirman experimentalmente. sino formas en las que se puede verter un surtido ilimitado de contenidos. por eso no pueden utilizar nuestros contactos con la realidad para convalidar sus fórmulas. Las lógicas divergentes: llevan este nombre puesto que no están de acuerdo en algunas tesis sustantivas de la lógica clásica. . 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. Consta de la teoría de conjuntos y las geometrías no euclidianas. La matemática. como en el caso de la lógica trivalente.