Otras aportaciones a la nueva cosmovisión.
Tycho Brahe, A pesar de ser contrario al heliocentrismo copernicano, sus observaciones astronómicas sirvieron para apoyar las tesis heliocéntricas. Descubríó una nueva estrella en la constelación de Casiopea, destruyendo la idea que el mundo supralunar esta libre de la generación y corrupccion, y preciso la orbita de las cometas lo que puso de manifiesto que estos debían de atravesar las esferas en que supuesta/ estaban incrustados los planetas.
Johannes Keepler, Ferviente defensor del heliocentrismo, formuló una serie de leyes que acabaron con la herencia aristotélica que el copernicanismo manténía. Keepler acabó de definir un heliocentrismo consistente al afirmar que las orbitas planetarias eran elípticas(en lugar de circulares) y que la velocidad a la que se desplazaban los planetas por esa orbita variaba según la distancia a la que se encontrase del sol. Estas leyes permitieron dar una explicación a la aparente retrogradación de los planetas y a los cambios en la intensidad de su brillo.
Galileo Galilei, Sus aportaciones consolidaron definitivamente el heliocentrismo. Fue el primero en utilizar un telescopio con fines científicos. Esto le permitió hacer descubrimientos como las manchas solares o los cráteres de la luna, que derribaban la creencia antigua en un cosmos perfecto e inmutable. Otro de sus descubrimientos fueron las lunas de Júpiter, que contradecía el prejuicio geocentrista según el cual todos los planetas giraban alrededor de la tierra.
Razonar, Proceso que nos permite obtener conocimientos nuevos a partir de otros.
Lógica, Disciplina filosófica que estudia la corrección o validez de los razonamientos.
Los razonamientos o inferencias, Son procesos mediante los cuales obtenemos información a partir de datos conocidos. La lógica se ocupa de los razonamientos expresados lingüísticamente. Así, toda inferencia consta de: – Premisas, conjunto de enunciados que expresan datos de partida. – Conclusión, enunciado final que expresa la nueva información obtenida a partir de las premisas.
Tipos de razonamientos, – La deducción consiste en pasar de premisas generales a una conclusión menos general. Cuando este tipo de inferencia es correcta, la conclusión se sigue necesariamente de las premisas: es imposible que siendo verdaderas, la conclusión sea falsa. – La inducción, Tipo de razonamiento en que se llega a una conclusión general a partir de informaciones menos generales que vienen dadas en las premisas. Aquí se habla de una cierta probabilidad, pues aunque las premisas sean verdaderas, esto no asegura que la conclusión también lo sea.
La validez de los razonamientos, Los razonamientos no pueden ser ni verdaderos ni falsos, pues no afirman ni niegan nada. Hablaremos de razonamientos correctos.
Las paradojas lógicas, «Este enunciado es falso» la paradoja del mentiroso
La lógica informal, Se ocupa de factores que no tienen que ver con la forma. Para determinar la validez de un razonamiento se fija en aspectos ajenos a su estructura
Falacias informales y falsos argumentos, Las falacias son razonamientos no validos que pueden parecerlo. Existen dos tipos: –
Falacias formales, estudia la lógica formal porque son consecuencia de incumplimiento de alguna ley de deducción. -Falacias informales, las estudia la lógica informal porque se deben a cuestiones relacionadas con el contenido, el significado, la cantidad de información.
–
Falacia ad verecundiam, defender la conclusión apelando a alguien o a algo que se considera una autoridad en la materia, pero sin dar razones que lo justifiquen.
–
Falacia ad hominem, pretender rebatir el razonamiento de otro o demostrar la falsedad dde la conclusión, desacreditando a quien lo defiende
–
Falacia ad populum, defender una conclusión sin justificarla, unicamente apelando a los sentimientos, emociones o prejuicios del auditorio.
–
Falacia ad ignorantiam, defender q algo es definitiva/ v o f porque no podemos demostrar lo contrario
–
Generalización indebida, inferir una conclusión general a partir de unos pocos casos que no son suficientes para justificarla. La consecuencia puede ser desmentida fácilmente con un contraejemplo.
–
Falsa causa, se da por correcta una causa insuficiente o simplemente equivocada. Se debe a que trata de concluir que una cosa es causada solo porque esta la procede.
–
Falacia semántica, se basa en que una palabra o expresión q se repite cambia de significado el curso de la inferencia, se usa un termino equívocamente.
–
Falacia circular, la conclusión se apoya en una premisa que para ser verdadera depende que la conclusión también lo sea
Lógica formal, se ocupa de la validez de los razonamientos y de las falacias pero centrándose en su aspecto formal. Así, la lógica determina cuando la inferencia está bien construida.
Tipos de lógica formal, 1.
La lógica de enunciados, estudia la validez formal de los razonamientos teniendo en cuenta unicamente el valor de verdad (v o f). Toma los enunciados como un todo y los analiza internamente en sujeto y predicado. Esto comporta algunas limitaciones, sobre todo en aquellos razonamientos cuya validez no puede averiguarse sin analizar los enunciados que lo componen. 2.
Lógica de predicados, alanliza la estructura interna de nos enunciados, pues los considera proposiciones en las que una una propiedad (predicado) se atribuye o predica al sujeto. 3
. Lógica de clases, es parecida a la anterior pero cambia de punto de vista y considera que los enunciados son proposiciones en los que se expresan lazos entre individuos y clases.
El lenguaje de la lógica, Elementos del lenguaje lógico, –
El vocabulario, el lenguaje lógico posee un conjunto de símbolos con letras y signos. –
Reglas de formación, Establecen que combinaciones de símbolos son frases bien formadas. –
Reglas de transformación, indica como podemos convertir una o mas formulas bien formada en otra formula también bien formada.
Sistemas formales de la lógica, Consistencia, No existe contradicción dentro del sistema, porque a partir de las reglas de transformación no es posible deducir una formula y su contraria.
Completitud, Todas las formulas correctas son deducibles a partir de as reglas de transformación que han sido definidas. –
Decidibilidad, El sistema posee algún procedimiento mecánico que nos permite decidir si una forma o razonamiento es correcto o no.
Lógica de enunciados, Los enunciados pueden ser de dos tipos, Simples o atómicos, Son los que no pueden descomponerse en otros enunciados. –
Complejos o moleculares,Se pueden descomponer en enunciados simples.
Símbolos de la lógica de enunciados, Símbolos no lógicos, -Variables(p,q,r,s,t) -Símbolos auxiliares,( ()[ )
Símbolos lógicos, ¬ Negador Conectivas, ^ conjunción=y , v disyundicion=o , -> condicional=entonces , <-> bicondicional=si y solamente si.
Conjunción, V V–
> V lo demás todo es falso.
Disyunción, V V–
> V / V F–
> V / F V–
> V / F F–
> F CONDICIONAL, V V–
> V / V F–
> F / F V–
> V / F F–
> V BICONDICIONAL, V V–
> V / V F–
> F / F V–
> F / F F–
> V