Leyes De La Logica Formal
Páginas: 19 (4572 palabras)
Publicado: 16 de junio de 2012
Leyes de la Lógica:
Las leyes lógicas, son proposiciones universales, necesarias, evidentes y verdaderas. Dichas leyes son cuatro, el principio de identidad, el de contradicción, el de tercero excluido y el de razón suficiente.
El principio de identidad nos dice que una cosa es idéntica a si misma, lo que es, es; lo que no es, no es:
A es A, o no A es no A
El principio decontradicción nos dice que es imposible afirmar y negar que una cosa es y no es al mismo tiempo y bajo la misma circunstancia.
A no es no A
O bien, también puede enunciarse que dos proposiciones contradictorias no pueden ser a la vez verdaderas
El principio de tercero excluso nos dice que una cosa es o no es, no cabe un término medio:
A es B, o A no es B.
O bien, también puede enunciarsecomo no hay medio entre dos proposiciones contradictorias
El principio de razón suficiente nos señala que todo ser tiene una razón de ser, es decir, una razón suficiente que lo explique:
A es la razón de B
Leyes de la Lógica
Las leyes lógicas, son proposiciones universales, necesarias, evidentes y verdaderas. Dichas leyes son cuatro, el principio de identidad, el de contradicción, elde tercero excluido y el de razón suficiente.
El principio de identidad nos dice que una cosa es idéntica a si misma, lo que es, es; lo que no es, no es:
A es A, o no A es no A
El principio de contradicción nos dice que es imposible afirmar y negar que una cosa es y no es al mismo tiempo y bajo la misma circunstancia.
A no es no A
O bien, también puede enunciarse que dosproposiciones contradictorias no pueden ser a la vez verdaderas
El principio de tercero excluso nos dice que una cosa es o no es, no cabe un término medio:
A es B, o A no es B.
O bien, también puede enunciarse como no hay medio entre dos proposiciones contradictorias
El principio de razón suficiente nos señala que todo ser tiene una razón de ser, es decir, una razón suficiente que lo explique:A es la razón de B
Silogismos o razonamientos
Silogismos: Es un razonamiento donde se deduce una conclusión partiendo de 2 juicios. Este está conformado por 3 partes y a su vez por 3 términos. Las tres partes son: Premisa mayor (la más universal), Premisa menor (menos universal) y la conclusión. Los tres términos que mencionamos son el término mayor y el término menor (Sujeto y Predicado dela conclusión: S es P), finalmente el término medio (letra M) que aparece en ambos juicios
Hay 4 formas válidas de silogismo, todas dependiendo de la variación del término medio y de su función en los juicios; listadas a continuación:
Figura 1 | Figura 2 | Figura 3 | Figura 4 |
M es P | P es M | M es P | P es M |
S es M | S es M | M es S | M es S |
S es P | S es P | S es P | S es P |* Forma A: Todo A es B. Para todo x, si x es A entonces es B.
* Forma E: Ningún A es B. Para todo x, si x es A entonces no es B.
* Forma I: Algún A es B. Existe al menos un x que es A y es B.
* Forma O: Algún A no es B. Existe al menos un x tal que es A y no es B.
A (universal afirmativa) contraria E (universal negativa)
I (particular afirmativa) contraria O (particular negativa)
Acontradictoria O
E contradictoria I
A subalterna I
E subalterna O
Representación gráfica de los modos como lógica de clases mediante diagramas de Venn
Convención para la representación gráfica del Juicio tipo A
Se pueden representar estos modos mediante diagramas de Venn con las siguientes convenciones:
* Cada término del silogismo está representado por S, P, M, por un círculoincoloro que representa a todos los miembros posibles de una clase.
* La conclusión aparece como resultado de la relación de los términos S y P en su relación con M.
* La inexistencia se muestra como zona rellena de color.
* La existencia individual se afirma mediante una X: Al menos uno, o algunos.
* La relación de los términos se constituye como pertenencia o no pertenencia a la...
Las leyes lógicas, son proposiciones universales, necesarias, evidentes y verdaderas. Dichas leyes son cuatro, el principio de identidad, el de contradicción, el de tercero excluido y el de razón suficiente.
El principio de identidad nos dice que una cosa es idéntica a si misma, lo que es, es; lo que no es, no es:
A es A, o no A es no A
El principio decontradicción nos dice que es imposible afirmar y negar que una cosa es y no es al mismo tiempo y bajo la misma circunstancia.
A no es no A
O bien, también puede enunciarse que dos proposiciones contradictorias no pueden ser a la vez verdaderas
El principio de tercero excluso nos dice que una cosa es o no es, no cabe un término medio:
A es B, o A no es B.
O bien, también puede enunciarsecomo no hay medio entre dos proposiciones contradictorias
El principio de razón suficiente nos señala que todo ser tiene una razón de ser, es decir, una razón suficiente que lo explique:
A es la razón de B
Leyes de la Lógica
Las leyes lógicas, son proposiciones universales, necesarias, evidentes y verdaderas. Dichas leyes son cuatro, el principio de identidad, el de contradicción, elde tercero excluido y el de razón suficiente.
El principio de identidad nos dice que una cosa es idéntica a si misma, lo que es, es; lo que no es, no es:
A es A, o no A es no A
El principio de contradicción nos dice que es imposible afirmar y negar que una cosa es y no es al mismo tiempo y bajo la misma circunstancia.
A no es no A
O bien, también puede enunciarse que dosproposiciones contradictorias no pueden ser a la vez verdaderas
El principio de tercero excluso nos dice que una cosa es o no es, no cabe un término medio:
A es B, o A no es B.
O bien, también puede enunciarse como no hay medio entre dos proposiciones contradictorias
El principio de razón suficiente nos señala que todo ser tiene una razón de ser, es decir, una razón suficiente que lo explique:A es la razón de B
Silogismos o razonamientos
Silogismos: Es un razonamiento donde se deduce una conclusión partiendo de 2 juicios. Este está conformado por 3 partes y a su vez por 3 términos. Las tres partes son: Premisa mayor (la más universal), Premisa menor (menos universal) y la conclusión. Los tres términos que mencionamos son el término mayor y el término menor (Sujeto y Predicado dela conclusión: S es P), finalmente el término medio (letra M) que aparece en ambos juicios
Hay 4 formas válidas de silogismo, todas dependiendo de la variación del término medio y de su función en los juicios; listadas a continuación:
Figura 1 | Figura 2 | Figura 3 | Figura 4 |
M es P | P es M | M es P | P es M |
S es M | S es M | M es S | M es S |
S es P | S es P | S es P | S es P |* Forma A: Todo A es B. Para todo x, si x es A entonces es B.
* Forma E: Ningún A es B. Para todo x, si x es A entonces no es B.
* Forma I: Algún A es B. Existe al menos un x que es A y es B.
* Forma O: Algún A no es B. Existe al menos un x tal que es A y no es B.
A (universal afirmativa) contraria E (universal negativa)
I (particular afirmativa) contraria O (particular negativa)
Acontradictoria O
E contradictoria I
A subalterna I
E subalterna O
Representación gráfica de los modos como lógica de clases mediante diagramas de Venn
Convención para la representación gráfica del Juicio tipo A
Se pueden representar estos modos mediante diagramas de Venn con las siguientes convenciones:
* Cada término del silogismo está representado por S, P, M, por un círculoincoloro que representa a todos los miembros posibles de una clase.
* La conclusión aparece como resultado de la relación de los términos S y P en su relación con M.
* La inexistencia se muestra como zona rellena de color.
* La existencia individual se afirma mediante una X: Al menos uno, o algunos.
* La relación de los términos se constituye como pertenencia o no pertenencia a la...
Leer documento completo
Regístrate para leer el documento completo.