Definición del silogismo

Presentación del tema: "Definición del silogismo"— Transcripción de la presentación:

1 Definición del silogismo
Esto es un silogismo Premisa primera Conexiones de fundamentación o de consecuencia Segunda premisa Forma lógica Identificación de la conclusión Ningún actor inexperto es buen mentiroso, pero todos los buenos jugadores de truco son buenos mentirosos; por eso, ningún actor inexperto es buen jugador de trucos. Ningún actor inexperto es buen mentiroso todos los buenos jugadores de truco son buenos mentirosos por eso ningún actor inexperto es buen jugador de trucos. Todo P es M Todos los buenos jugadores de truco son buenos mentirosos Ningún S es M Ningún actor inexperto es buen mentiroso  ningún actor inexperto es buen jugador de trucos.  Ningún S es P

2 Estructura de un silogismo
Tres proposiciones categóricas, una de ellas conclusión P. Mayor: Todo P es M Tres predicados en dos de las tres proposiciones categóricas P. Menor: Ningún S es M  Ningún S es P Predicado Medio Predicado Menor Predicado Mayor

3 Estructura del silogismo que tomamos como ejemplo.
P. Mayor: Todos los buenos jugadores de truco son buenos mentirosos buenos mentirosos P. Menor: Ningún actor inexperto es buen mentiroso buen mentiroso  ningún actor inexperto es buen jugador de trucos. actor inexperto buen jugador de trucos Predicado Medio Predicado Mayor Predicado Menor

4 Forma lógica de un silogismo en el Lenguaje Leopardo Ampliado.
Forma lógica en Lógica Clásica Forma lógica en L. L. Ampliado P. Mayor: Todo P es M xPxMx P. Mayor: P. Menor: Ningún S es M P. Menor: xSxMx  Ningún S es P  xSxPx

5 Validación de un silogismo.
Dos vías de validación Validación por vía diagramática Validación por vía de los árboles semánticos Un silogismo es válido si representadas biunívocamente las premisas en un diagrama de Venn queda automáticamente representada la conclusión. representadas biunívocamente automáticamente representada Un silogismo es válido por los árboles semánticos si afirmadas las premisas y negada la conclusión y aplicado el árbol semántico este se cierra con todas sus ramas afirmando y negando las mismas proposiciones singulares. afirmadas las premisas y negada la conclusión afirmando y negando las mismas proposiciones singulares

6 El silogismo es válido por Diagramas de Venn Congruencia
Validación del silogismo presentado anteriormente por las tres vías: vía diagramática. P. Mayor: xPxMx Uni. Afir Vacuidad P = 1 y 4 P. Menor: xSx M x Uni. Nega Vacuidad SM =  xSxPx Rayar Representación biunívoca de las premisas 5 y 6 Diagrama de Venn Sentido del diagrama Personas ¿Queda representada la conclusión? Zona 1 P M S 1 2 3 4 5 6 7 8 P M S 1 2 4 5 6 7 8 3 1 3 4 5 6 7 8 2 P M S Personas que son P, no M ni S Zona 2 Personas que son P y M, pero no S Uni. Nega Vacuidad SP = 4 y 5 Zona 5 Personas que son P y M y S Zona 8 Personas que ni son P ni M ni S Están rayadas las zonas 4 y 5 Deben estar rayadas 4 y 5 El silogismo es válido por Diagramas de Venn Congruencia

7 7 El silogismo sometido al proceso de validación es válido por la vía diagramática porque al representar biunívocamente las premisas en el diagrama de al lado, ha quedado automáticamente representada la conclusión, pues al ser universal negativa, declara vacuidad en la clase de los S que son P, dicha clase está representada en el diagrama por las zonas 4 y 5, por lo que dichas zonas deben estar rayadas y efectivamente lo están. P. Mayor: xPxMx P. Menor: xSx M x  xSxPx Personas P M S 1 2 3 4 5 6 7 8 universal negativa vacuidad clase de los S que son P las zonas 4 y 5

8 xPxMx Premisa nº1 Determinar la validez de un silogismo por las reglas del árbol semántico Premisa nº2 xSx M x xSxPx Negación de la conclusión xSxPx El silogismo es válido pues hemos derivado de las premisas y de la negación de la conclusión un árbol semántico cuyas ramas se cierran en contradicciones. SaPa R.E.C.P Sa Pa R.C. PaMa R.E.C.U Sa M a R.E.C.U Pa Ma R.C. Pa R.R. Sa # Ma R.C. # R.R. Sa #