Basicos De Logica

Básicos del Método Demostrativo (1era parte)
I. La forma del discurso
1) “1 + 1 = 2 y el cielo es azul”
2) “1 + 1 = 2 o el cielo es azul”
3) “Si 1 + 1 = 2, entonces el cielo es azul”
¿En qué difieren las declaraciones 1, 2 y 3?
No difieren en cuanto a los objetos a que se refieren. Todas hablan de cierta igualdad y sobre cierta
propiedad del cielo.
Considera ahora:
4) “Si la tierra esplana, entonces la luna es de queso”
Esta declaración habla de hechos distintos de los considerados en 1, 2 y 3, sin embargo, si quisieras
encontrar cierta similitud entre ésta y alguna de ella, sin duda señalarías la 3.
Lo que se declara semánticamente en 3 y 4 es diferente; en cambio, el modo en que se conecta lo
declarado por medio de la expresión “si… entonces…” es el mismo. La expresión“si… entonces…” no se
refiere a ningún objeto ni acontecimiento, sino que sirve de nexo entre estas expresiones que sí se
refieren a hechos o acontecimientos. A estas expresiones cuya función consiste en servir de nexo
diferentes expresiones, se les conoce como “partículas lógicas o conectivos lógicos”. Y a todas las
expresiones que informan algo sobre el mundo se les llama “partículas fácticas”. Portanto, las
partículas fácticas se refieren al aspecto semántico del lenguaje, las partículas lógicas constituyen el
aspecto sintáctico del lenguaje. En los ejemplos anteriores “… y…”, “… o…”, “si… entonces…” son
conectivos lógicos que están uniendo las partículas fácticas.
La forma lógica de una proposición muestra la manera en que se disponen los términos. La forma lógica
de un razonamientoes la manera en que se disponen sus proposiciones; es su esqueleto, su estructura.
La forma lógica de una proposición o la de un razonamiento se desentiende del contenido informativo.
Para hallar la forma lógica debemos vaciar de contenido informativo ya sea a una proposición o a un
razonamiento. El proceso por el cual hallamos la forma lógica se denomina simbolización o abstracción
(traducirde lenguaje natural a lenguaje formal).
En Lógica existen ciertos símbolos que permiten representar cualquier proposición o cualquier
razonamiento, considerando su estructura. Las letras minúsculas representan proposiciones y se
denominan variables proposicionales. Generalmente se usan las letras p, q, r, s, t. Por ejemplo
podemos simbolizar la proposición “Pedro juega futbol” por la letra“q”. Cuando simbolizamos un
razonamiento, siempre que se repite una misma proposición, debemos reemplazarla por la misma letra.
Las simbolizaciones no son verdaderas ni falsas porque carecen de significado.
La Lógica se interesa por las formas lógicas de los razonamientos, porque su objetivo es hallar métodos
que permitan determinar si un razonamiento es válido o si no lo es, y la validez o lainvalidez de un
razonamiento depende exclusivamente de su forma lógica. A la Lógica no le interesa el contenido de un
razonamiento, sino sólo su forma lógica; de ahí que sea una disciplina formal, de aquí la formalización.
Verdad y falsedad son propiedades que se predican de las proposiciones, pero no de los razonamientos.
Cuando, dada una proposición o un razonamiento formulado en lenguajecotidiano (lenguaje natural),
queremos hallar su forma lógica, debemos realizar un proceso de abstracción o simbolización

(traducción a lenguaje formal, formalización), en el que pasamos del lenguaje ordinario al simbólico,
representando los términos o proposiciones con letras. El procedimiento inverso (pasar del lenguaje
formal al natural) se llama interpretación o ejemplificación.
Cadaproposición y cada razonamiento poseen una única forma lógica específica que los simboliza, pero
cada forma lógica puede ejemplificarse con un número infinito de proposiciones o razonamientos.
Cuando, dada una forma lógica de una proposición reemplazamos las letras (variables) por términos con
significado, obtenemos un ejemplo de sustitución de dicha forma lógica.
Proposición
“Todos los...