1. La lógica y su objeto; Definición

La palabra lógica se refiere a algo que se considera natural o de sentido común. El lenguaje cumple una función distinta y aún puede tener alguna más. La función representativa es una de las principales: nos permite enunciar y afirmar cosas sobre el mundo y describirlo. Este proceso que nos permite obtener conocimientos nuevos a partir de otros se llama razonar.

^{La lógica es la disciplina filosófica que estudia la corrección o validez de los razonamientos.}

1. Los razonamientos o inferencias

Los razonamientos son procesos mediante los cuales obtenemos información a partir de datos conocidos. Toda la inferencia consta de:

• Premisas:

  
  Conjunto de enunciados que expresan los datos de partida.

Conclusión:

Enunciado final que expresa la nueva información obtenida a partir de las premisas.

1. Tipos de razonamientos

^{Los razonamientos pueden ser de dos tipos: deductivos e inductivos.}

• Deducción:

  
  Consiste en pasar de premisas generales a una conclusión menos general.

• Inducción:

  
  Es un tipo de razonamiento en que se llega a una conclusión general a partir de informaciones menos generales que vienen dadas en las premisas.

En la deducción se sigue necesariamente de las premisas. Si la deducción es correcta, es imposible que la deducción sea falsa: En la inducción sólo puede hablarse de cierta probabilidad.

1. La validez de los razonamientos

Las premisas y la conclusión son enunciados que afirman o niegan algo y pueden ser verdaderos o falsos. Pero los razonamientos no pueden ser verdaderos o falsos, pues no afirman ni niegan nada.

1. Las paradojas lógicas

Se trata de una oración que afirma algo. Sin embargo a poco que lo analices, te darás cuentas de que atribuirle verdad o falsedad genera un círculo vicioso de contradicciones, las cuales atacan nuestro sentido común.

1. Lógica formal e informal

La lógica formal se centra exclusivamente en los razonamientos están bien construidos o no. Analiza las relaciones que mantienen las premisas y la conclusión; analiza la estructura que tiene el razonamiento.

La lógica informal se ocupa de factores que no tienen nada que ver con la forma. Para determinar la validez de un razonamiento, se fija en aspectos lejanos a su estructura.

1. Lógica formal e informal

La lógica formal se centra exclusivamente en los razonamientos están bien construidos o no. Analiza las relaciones que mantienen las premisas y la conclusión; analiza la estructura que tiene el razonamiento.

La lógica informal se ocupa de factores que no tienen nada que ver con la forma. Para determinar la validez de un razonamiento, se fija en aspectos lejanos a su estructura.

1. Tipos de falacias informales

• Falacia ad ignoratium:

  
  Defender que algo es definitivamente verdadero o falso, porque no podemos demostrar lo contrario.
  

  Ej. Puesto que no hemos demostrado la existencia de extraterrestres estos no existen

• Falacia ad baculum:

  
  Cuando amenazamos a alguien en vez de dar razones.
  

  Ej. Dame el dinero sino me voy a enfadar

• Falacia ad populum:

  
  Defender una conclusión sin justificarla apelando a los sentimientos del público.
  

  Ej. Matemos a todos los negros y gitanos, porque solo roban y matan

1. Lógica simbólica y tradicional

Los filósofos estoicos continuaron en la Grecia Antigua los estudios de lógica: Ellos fueron los que iniciaron la actualmente llamada lógica de preposiciones. Hasta prácticamente el Siglo XIX, la lógica se limitó a desarrollar las aportaciones aristotélicas y estoicas, este es la llamada lógica tradicional.

Con la lógica simbólica esto cambia: no sólo se sustituyen los términos y los enunciados, sino también los elementos que señalán las relaciones entre símbolos.

1. Los enunciados

La principal carácterística de las preposiciones es que pueden ser verdaderas o falsas. Esto no sucede con cualquier expresión. La diferencia está en que sólo  las oraciones que dicen como pueden ser las cosas pueden ser verdaderas o falsas, y ser consideradas enunciados:

• Enunciados simples o atómicos: Juan estudia Filosofía

• Enunciados complejos o moleculares: Juan estudia Filosofía e Inglés

1. Símbolos lógicos

• Negador:

  
  Sirve para negar cualquier enunciado.

• Conjunción  (Ú):

  
  Equivale a la conjunción y.
  

• Disyunción (Ú):

  
  Equivale a la disyunción o.
  

• Condicional (®):

  
  Equivale al condicional si…, entonces…
  

• Bicondicional («):

  
  Equivale a si y solamente si.
  

  1. Tautología, indeterminada y contradictoria

• Tautología:

  
  Todos los valores de verdad sean verdaderos.

• Contingencia:

  
  Que los valores de verdad se alternen entre V y F.

• Contradicción:

  
  Que todos los valores de verdad sean falsos.