Conceptos Fundamentales de Lógica y Filosofía

Ciencias Formales y Tipos de Verdad

Grupo de ciencias que estudian a seres que solo existen en nuestra mente por vía metódica racional: ciencias formales (ideales, mentales o deductivas).

Tipo de verdad que consiste en la concordancia de la mente con la realidad: verdad lógica.

Actitud de la mente frente a la verdad caracterizada por la emisión de un juicio, pero con temor de equivocarse: opinión.

Operación de la mente mediante la cual se afirma o niega algo de una idea respecto a otra: juicio psicológico.

Oposición y Relaciones entre Aseveraciones

Incompatibilidad de aseveraciones que tienen el mismo sujeto y el predicado difieren por razón de su cantidad o ambas cosas: oposición.

Aseveraciones que difieren solo por su cantidad, pero ambas son universales: contrarias.

“Algún alumno aprobó”, “Ningún alumno aprobó”. La relación de oposición anterior es una aseveración: contradictoria.

Tipo de relación entre dos aseveraciones según su nexo que se da cuando la veracidad de una de las aseveraciones se deriva de otra: implicación.

Conversión y Diagramas

Al intercambio del sujeto por el predicado, pero recurriendo a la extinción del sujeto y conservando su cualidad se le llama: conversión accidental.

“Todos los tiburones son elasmobranquios”, “Algunos elasmobranquios son tiburones” es una conversión: simple.

Colección de todas las cosas que no pertenecen a la clase original: diagrama de Venn-Euler.

Inferencia inmediata formada al cambiar la cualidad de una preposición y reemplazar el término predicado por su complemento: obversión.

La aseveración obversa de “Ningún árbitro es parcial” es: “Todos los árbitros son no imparciales”.

Representaciones gráficas a base de círculos: diagramas de Venn-Euler.

Lógica Cuantificacional y Tablas de Verdad

Parte de la lógica que estudia las formas en que se relacionan las aseveraciones: lógica cuantificacional.

Expresiones que sirven para formar preposiciones moleculares: tabla de verdad.

Tabla de verdad que es falsa solo si dos preposiciones son falsas: disyunción inclusiva.

Tabla de verdad que es verdadera solo si dos preposiciones son simultáneamente verdaderas o falsas: disyunción exclusiva.

Resultado de la tabla final de una tabla de verdad en la que todos los valores son verdaderos: tautológica.

Resultado final de una tabla de verdad en la que no hay tautología ni contingencia: contingente.

Funciones del Lenguaje

Menciona las principales funciones del lenguaje: función expresiva, función argumentativa, función informativa, función directiva.

Tipos de Definición

Menciona y conceptualiza los diferentes tipos de definición:

  • Estipulativa: otorga un nuevo significado para los propósitos de un argumento.
  • Lexicográfica: aporta el significado del término en el lenguaje común.
  • Explicativa: completa el significado de un término.
  • Teórica: aporta el significado de una palabra en los términos de las teorías de una disciplina determinada.
  • Persuasiva: busca construir un argumento a favor de una posición posible en oposición a una definición lexicográfica.

Tipos de División

Conceptualiza los diferentes tipos de división:

  • Clasificación: menciona las diferentes especies contenidas en un género.
  • División física: menciona las diferentes partes materiales que integran un todo.
  • División lógica: menciona los distintos elementos que contiene la comprensión de un concepto.

Extinción del Sujeto y del Predicado

¿Cómo se determina la extinción del sujeto y la del predicado en la aseveración?

La del sujeto la determina su cuantificador y la del predicado su nexo.

Ciencias Reales y Otros Conceptos

Grupo de ciencias que estudian entes que tienen existencia propia:

  • b) Ciencias reales
  • d) Certeza
  • d) Aseveración
  • e) Oposición
  • b) Subcontrarias
  • e) Contradicción
  • Conversión accidental
  • d)
  • c) Equivalencia
  • b) Subcontrarios
  • e) Contraposición
  • b)
  • a) Contradicción
  • b) Tabla de verdad
  • e) Conjunción
  • c) Disyunción exclusiva
  • b) Bicondicional
  • d) Tautología
  • c) Equivalentes