Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Por ello las obras matemticas eran firmadas como Charles L. Dodgson; mientras que las obras de imaginacin eran firmadas por Lewis Carroll.
Alicia y Al otro lado del espejo pueden ser considerados una especie de repertorios de los errores y perplejidades a los que el lenguaje puede llevarnos cuando no lo usamos con cuidado.
El juego de la lgica y Lgica simblica son libros destinados a mostrarnos los cuidados que deben procurarse en el lenguaje para evitar que ste nos vuelva locos.
Las Proposiciones
La palabra proposicin, tal y como se usa en una conversacin ordinaria, se puede aplicar a cualquier palabra o expresin que comunique cualquier informacin.
Para que una proposicin pueda ser usada en una argumentacin, sta debe estar en su forma normal.
Cuando una proposicin esta en su forma normal se compone de dos clases determinadas, a saber: Sujeto y Predicado. Una proposicin en forma normal consta de: Signo de cantidad: algunos o ninguno o todos (Esta palabra indica cuantos miembros del sujeto son parte del predicado) Nombre del sujeto El verbo son o es (A esto se le conoce como la Cpula) Nombre del predicado
Tipos de Proposiciones
Con respecto a su Signo de Cantidad: Una proposicin que empieza con algunos se dice que es Particular; una proposicin que empieza con Ninguno se dice que es Universal Negativa; una proposicin que empieza con Todos se dice que es Universal Afirmativa. *Una proposicin cuyo sujeto es un individuo es considerada una proposicin universal. La anterior divisin es slo con respecto al signo de cantidad de la proposicin, cada una de ellas corresponde a un tipo de juicio del Cuadro de Oposicin. En si las proposiciones son de dos tipos: Proposiciones de Existencia y Proposiciones de relacin
Proposiciones de Existencia
Una Proposicin de Existencia, cuando est en su forma normal, tiene como sujeto la clase cosas existentes; su Signo de Cantidad es algunos o ninguno . Se le llama proposicin de existencia porque mediante ella se afirma el carcter real o bien, imaginario de su predicado. Ejemplos de proposiciones de existencia con carcter Real: Existen algunos hombres honestos La clase hombres honestos existe Existen algunas criaturas voladoras La clase criaturas voladoras existe Ejemplos de proposiciones de existencia con carcter imaginario: No existen los hombres con alas La clase hombres alados no existe No hay hombre alguno que posea alas
Proposiciones de Relacin
Una proposicin de relacin tiene como trminos dos especies del mismo genero, de tal modo que cada uno de los nombres connota un atributo no connotado por el otro. Sus signos de cantidad son: algunos o ninguno o todos Ejemplo: Algunos viejos son excntricos *Siendo viejo y excntrico especies del genero hombre; cada uno de los nombres connota un atributo no connotado por el otro. Se le llama una proposicin de relacin porque con ella se afirma la existencia de una cierta relacin entre sus trminos. Una proposicin de relacin que empiece por todos afirma, que todos los miembros del sujeto son miembros del predicado. En esta proposicin est contenida, como parte de lo que no se dice, la proposicin subalterna algunos miembros del sujeto son miembros del predicado
El Diagrama Biliteral
xy
xy
xy
Las Fichas ayudan a representar dentro del diagrama las proposiciones. Las fichas Rojas indican que la casilla esta ocupada. Las fichas Grises indican que la casilla esta vaca.
Representacin
xy xy
Una ficha roja colocada en una celda, y una gris colocada en la celda opuesta (es decir ambas en la misma mitad) representan que toda cosa existente es tal. Ejemplo: Todo x es y
Una ficha roja en la divisoria de dos celdas representa que existe alguna cosa tal (dependiendo de en que mitad del diagrama se coloque) Ejemplo: Existe algn x. Dos fichas grises en cualquier mitad del diagrama representa que no existen ningunas cosas tales (dependiendo de en que mitad del diagrama se coloquen) Ejemplo: Ningn x existe.
xy
xy
Una ficha roja colocada en cualquier celda representa que existen algunas cosas tales (dependiendo de en que celda del diagrama se coloque) Ejemplo: Existen algunos xy.
Una ficha gris colocada en cualquier celda representa que no existen ningunas cosas tales. Ejemplo: No existe ningn xy.
El Diagrama Triliteral
xy m
El diagrama triliteral es semejante al diagrama biliteral; en este caso se traza un pequeo cuadro en el interior, dejando as ocho celdas: cuatro exteriores y cuatro interiores. Las celdas interiores corresponden a m; las celdas exteriores corresponden a m.
xy m
xy m
Representacin de Proposiciones
xy m
m m
xy m
Una ficha roja colocada en la divisoria de dos celdas internas, representa que existe algn m (dependiendo de en que mitad del diagrama se coloque). Ejemplo: Existe algn xm Dos fichas grises colocadas en cualquier mitad interna del diagrama, representan que ningn m existe (dependiendo de en que mitad del diagrama se coloque). Ejemplo: No existe ningn xm Una ficha roja colocada en la divisoria de dos celdas externas, representa que existe algn m (dependiendo de en que mitad del diagrama se coloque) . Ejemplo: Existe algn xm Dos fichas grises colocadas en cualquier mitad externa del diagrama, representan que ningn m existe (dependiendo de en que mitad del diagrama se coloque). Ejemplo: No existe ningn xm
xy m
xy m
xy m
m m
xy m
Una ficha roja colocada en la divisoria de dos celdas internas, y dos fichas grises colocadas en dos celdas externas (las tres fichas en una misma mitad) representan que todo tal (variable dependiente de la mitad en que se coloque la ficha roja) es tal (variable dependiente de en que parte se coloca la ficha roja). Ejemplo: Todos los x son m
xy m
xy m
Conclusin
La lgica simblica resulta ser una herramienta rigurosa para el anlisis y discernimiento de argumentos entre validos e invlidos. Al igual, vuelve ms factible la ejecucin de las actividades propias del razonamiento, como lo son las inferencias, realizadas a travs de un sistema simblico. La implementacin y uso de un lenguaje simblico propio, priva a los argumentos de toda vaguedad lingstica; siendo el lenguaje el medio por el cual se expresan los argumentos, un sistema simblico sirve para controlar y a la vez procurar el correcto uso del mismo. La lgica simblica de Carroll, ms que un sistema lgico-simblico, es en ultima instancia una recreacin mental; el propio autor nos dice: Dominar la maquinaria de la lgica simblica le proporcionar la claridad de pensamiento y la habilidad para encontrar el camino en medio de la confusin[]