Tratado De Logica

TRATADO DE LÓGICA
Por Adolfo Ricardo Ybarra
LA LOGICA
En este breve tratado de Lógica entendemos por Lógica al estudio encaminado a cuando un razonamiento es válido y cuales son las formas más comunes de razonar, o sea realizar deducciones, dicho estudio consistirá en exponer en un lenguaje simplificado a las proposiciones como sujeto y a las operaciones lógicas entre proposiciones como núcleoverbal.
El RAZONAMIENTO
Un razonamiento es una serie de enunciados, afirmaciones o proposiciones (las tres cosas significan lo mismo pero el término "proposición" es el término técnico preferido y usado en la lógica) de tal forma que la verdad de muchos de esos enunciados se la evalúa en base a la corrección o validez con que fue hecho el razonamiento y la verdad de las otras proposiciones de lascuales dependía el resultado. La forma más común de razonar es con un encadenamiento lineal de afirmaciones efectuada a fin de probar la verdad o falsedad de una sóla afirmación denominada "conclusión".
LA PROPOSICIÓN
Una proposición es una afirmación, es decir, que es una cláusula (frase con sentido completo) de la cual se pueda decir que es verdadera, o que es falsa.
Ej:
"El océano Atlánticocubre más superficie que el mar Mediterráneo" es una afirmación de la que podemos decir que es o falsa o verdadera, en este caso sabemos que es una afirmación verdadera.
Pero si hacemos una pregunta "¿Es el océano Atlántico más grande que el Mediterráneo?", es una pregunta y no podemos decir si es verdadera o falsa, porque no es una afirmación. Lo mismo sucederá con una orden, no es una afirmación yno puede decirse que sea verdadera o falsa.
EL LENGUAJE DE LA LÓGICA - su limitado campo.
La lógica al analizar razonamientos utiliza un lenguaje especial, en este lenguaje no se habla más que de proposiciones, es decir que los sujetos de las oraciones y los objetos directos son solo afirmaciones o proposiciones, estas afirmaciones o proposiciones actuando como sujetos u objetos directos suelenrepresentarse con letras como "p" o "q", así tenemos la afirmación p y la afirmación q.
Además de solo hablar de proposiciones, nombradas con letras, la lógica también está limitada en lo que habla de esas proposiciones, las pocas cosas que dice de ellas son unas poquísimas operaciones o relaciones verbales que simbolizaremos con signos lógicos.
Así que la lógica es limitada en sus sujetos y objetosdirectos, solo habla de proposiciones, y es también limitada en las operaciones o relaciones entre proposiciones. Los verbos de la lógica son pocos, más aún, son SOLO DOS.
Ej:
Tengo dos afirmaciones, que llamaré "p" y "q", la lógica solo habla de proposiciones, así que se desé afirmar algo sobre esas proposiciones puede decir por ejemplo "p => q", donde el signo "=>" es un verbo que significa"implica", es decir que dicha afirmación lógica nos dice que el hecho afirmado por p implica al hecho afirmado por q, es decir que si p es verdadero q tendrá que ser verdadero, pero que si q es verdadero p no necesariamente lo es.
Si tengo las dos afirmaciones "p" y "q", y un análisis lógico afirmara "p <=> q", ahora el signo "<=>" es un verbo que significa que la implicación es doble, es decir quedicha afirmación lógica nos dice que el hecho afirmado por p implica al hecho afirmado por q, es decir que si p es verdadero q tendrá que ser verdadero, y en este caso si q es verdadero p también lo será.
Así que en los análisis lógicos, la lógica solo habla de proposiciones (una sola clase de sujetos y objetos directos), y lo único que dice sobre las proposiciones es si una implica la otra pero lasegunda no implica la primera (=>), o si ambas se implican entre si (<=>), solo usa dos verbos. Estos dos verbos son verbos de operación de RAZONAMIENTO.
El LENGUAJE DE LA LÓGICA - Algunos símbolos especiales.
Algunos signos lógicos no son ni para representar proposiciones y para representar verbos, son solo "palabras" auxiliares que sirven para presentar muchas afirmaciones juntas como si...