Hipótesis, conclusión

La hipótesis es la solución a un problema, estableciendo una relación entre los hechos y lo ocurrido. Para demostrarlo hay que plantearse un problema del que mediante argumentos hay que buscar la solución, y así hallar la conclusión de la hipótesis.

Ejemplos:

1.Hipótesis: Un cuadrilátero es un rectángulo.

1.Conclusión: Tiene cuatro ejes de simetría.

2.Hipótesis: Dos ángulos son congruentes.

2.Conclusión: Tienen la misma medida.

Fuentes:

Principio de identidad

El principio de identidad es un axioma clásico de la lógica y la filosofía, en el que cualquier sujeto es idéntico a si mismo. Un ejemplo muy claro para explicar este principio clásico puede ser el siguiente, Kant es idéntico a sí mismo o mi vecino es idéntico a sí mismo, es decir, X=X. Este principio es una de las reglas clásicas del pensamiento.

Argumento ad baculum.

Un argumento ad baculum es una falacia que implica sostener la validez de un argumento basándose en la fuerza, en la amenaza o en el abuso de la posición propia.

En otras palabras: « La fuerza hace el derecho »

EJEMPLOS:

  • Si no usas tu cinturón de seguridad, la policía te multará. Por lo tanto, si ves un policía cerca, utiliza tu cinturón de seguridad para evitar ser multado
  • Si el partido x gana las elecciones millones de personas perderán su trabajo
  • ¡O dejas de discutir y te callas de una vez, o te castigo!
  • Lo tienes que hacer porque aquí se hace lo que yo diga.

FUENTES:

https://es.m.wikipedia.org/wiki/Argumento_ad_baculum

Argumento ad nauseam

¨¡Una mentira repetida mil veces no se convierte en verdad!¨

Un argumento ad nauseam es una falacia que consiste en la repetición de un enunciado como forma de argumentación hasta convertirla en una verdad incontestable. En general se utiliza para reforzar leyendas urbanas aunque también puede ser utilizada para otras finalidades.

EJEMPLOS:

Repetir constantemente que los inmigrantes quitan los puestos de trabajo a los nativos hasta que la gente se lo termina creyendo.

Repetir constantemente que la filosofía es inútil hasta que la gente se lo termina creyendo.

Repetir constantemente que para poder tener éxito en la vida se necesita dinero hasta que la gente se lo termina creyendo.

FUENTES:

https://es.wikipedia.org/wiki/Argumento_ad_nauseam

Modus Ponendo Ponens (MPP)

El modus ponendo ponens es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional. Se puede resumir como “si P implica Q; y si P es verdad; entonces Q también es verdad.

El nombre modus ponendo ponens se puede explicar de la siguiente manera: esta regla de inferencia es el método (modus), que afirma (ponens) el consecuente, afirmando (ponendo) el antecedente.

En modo general significa: Modo que afirmando afirma.

Consideremos algunos ejemplos del uso de esta regla en la deducción de conclusiones a partir de premisas.

Ejemplo:

Sea,

Premisa 1: La biología estudia la vida, entonces, estudia las células de todos los seres vivos.

Premisa 2: La biología estudia la vida.

Conclusión: La biología estudia las células de los seres vivos.

Simbólicamente este primer ejemplo se expresa así:

Modus Ponendo Ponens

Otro ejemplo de un argumento que se ajuste a la forma modus ponens:

Si hoy es miércoles, entonces Laura se irá a trabajar.

Hoy es miércoles.

Por lo tanto, Laura irá a trabajar.

Este argumento es válido, pero esto no nos dice nada sobre si las premisas requeridas por el argumento son verdaderas. Para que modus ponens sea un argumento sólido además de válido las premisas deberán ser verdaderas. Un argumento válido pero sin solidez podría ser o no falso. El argumento del ejemplo solo es sólido los miércoles y cuando en efecto, se sabe que Laura realmente va a trabajar los miércoles.

Fuentes:

http://ri.uaemex.mx/bitstream/handle/20.500.11799/32525/secme-28839.pdf?sequence=1&isAllowed=y

https://es.linkfang.org/wiki/Modus_ponendo_ponens

https://es.wikipedia.org/wiki/Modus_ponendo_ponens#:~:text=donde%20la%20regla%20es%20cuando,v%C3%A1lidamente%20en%20una%20l%C3%ADnea%20subsiguiente.&text=El%20modus%20ponendo%20ponens%20est%C3%A1,valida%2C%20el%20modus%20tollendo%20tollens.

Lógica de primer orden

 La lógica de primer orden es el sistema lógico más fuerte que cumple con el teorema de compacidad y el teorema descendente de Löwenheim-Skolem. Esto significa que el cumplimiento de esos dos teoremas caracteriza a la lógica de primer orden.

*Teorema de Löwenheim-Skolem: es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.​

*Teorema de compacidad: si de un conjunto de proposiciones se sigue una consecuencia entonces existe un subconjunto finito de proposiciones de las cuales se sigue la misma conclusión.