U.T. 3 -LOGICA, ARGUMENTOS Y FALACIAS

–

-Lógica formal: estudia la estructura de los argumentos prescindiendo de los contenidos a los que se refiere, atiende sobre todo a las dimensiones sintácticas de nuestro razonamiento.

-Lógica informal: estudia los modos correctos de argumentar atendiendo a los contenidos del dialogo, se centra especialmente en las dimensiones pragmáticas de los razonamientos.

  -LOGICA FORMAL:Contenido y forma, validez, verdad:

la verdad de la conclusión  y la validez del razonamiento son bastante distintos ya que la verdad   depende del contenido y la validez depende de la estructura abstracta del razonamiento

 Lógica tradicional y moderna:

en la edad moderna sistematizaron la lógica aristotélica y estoica saliendo la llamada lógica tradicional que permaneció hasta mediados del siglo XIX, esta lógica utilizaba los algunos símbolos para simbolizar las partes importantes de un esquema

Lógica moderna: tiene el modo de simbolizar las partes constantes de un esquema para ello han diseñado nuevos signos similares a los d las matemáticas se caracteriza por una mayor simbolización de las expresiones.

 Partes de l lógica moderna:

La parte mas básica es la lógica proposicional es la parte que tiene mayor numero de aplicaciones,

en esta se distinguen 2 tipos de proposiciones: las simples: que se compone en 2 proposiciones y la compuesta en la que intervienen mas de 2 proposiciones.

También hay proposiciones q expresan negación son las llamadas proposiciones negativas el símbolo negativo es este: ¬

 Relación entre proposiciones:

Las proposiciones quedan unidas mediante coactivas como la conjunción(^),la disyunción(V),

el condicional(→), bicondicional(↔), estas junto con la negación son las 5 conectivas principales.

2 enunciados unidos forman una proposición también llamada conjunción.

El conjuntor: una conjunción es verdadera siempre y cuando las 2 proposiciones sean verdaderas.

El disyuntor: lo que representa es que siempre y cuando una de las 2 proposiciones sea verdadera la conjunción va a ser verdadera.

El implicador: lo usamos para decri que una conjuncion es condicional, un condicional se considera falso cuando el antecedente es verdadero y el consecuente falso.

El bicondicional: expresa una condicion de mutua dependencia, es verdadero si ambas son verdaderas o falsas a la vez.

 Comprobación de validez de esquemas argumentativos:

para demostrar si un determinado razonamiento es valido lo podems comprobar mediante una tabla de verdad, la teutologia: si resulta ser verdaderos todos los resultados, si

    Paradoja, aporías y antonimias

         Paradoja: enunciados que platean problemas muy serios para decidir si es verdadero o falso, la paradoja más famosa es la paradoja del mentiroso. 

Aporías: es un tipo de paradoja en la cual no tiene resultado ya que nunca se ha encontrado solución un de estas paradojas es la de Zenón de Elea con sus demostraciones de movimiento.

         Antonimia: al principio se uso como la aplicación a un conlicto entre dos leyes, pero se suele usar para designar un problema planteado por 2 enunciados contradictorios entre si aunque pueden tomarse como verdaderos los 2 mediante argumentos, Kant encontro 4 antonimias.