APELLIDO: LUNA MIRANDA NOMBRE: GISELA MICHELLE

SEGUNDO SEMESTRE PARALELO: B 08/11/2016 L

EJERCICIO MENTAL: TABLAS LGICAS

HISTORIA

Los Mtodos Sintctico y Semntico en Lgica y Semntica

Geoffrey Hunter dice en la introduccin a su libro Metalogic (1971, 3), desde el

punto de vista de la metalgica, los mtodos sintcticos y semnticos de la lgica
formal son mtodos alternativos para detectar las verdades lgicas de un lenguaje.
Ambas parten del ideal de encontrar un mtodo formal es decir, uno que atienda
slo a la forma lgica de los enunciados, no a su contenido, y sea efectivo de
manera mecnica (y, por lo tanto, a-priori) para reconocer verdades lgicas. Sin
embargo, parten de intuiciones distintas. El mtodo de pruebas, fundado por Frege
en su Conceptografa (1879), parte de la intuicin de que el mtodo formal a-priori
por excelencia es la prueba matemtica y trata de extender la nocin de prueba
formal estricta de las matemticas a la lgica. El mtodo semntico, por su parte,
est fundado en el anlisis lgico-semntico de por tablas de verdad propuesto
por Ludwig Wittgenstein (1921) y Bertrand Russell (1918). Aunque dicho mtodo
de anlisis era ya conocido en la tradicin lgica-algebraica, y que Peirce (en
notas no publicadas, anteriores a 1910) y Post (1920) haban utilizado ya tablas de
verdad, fueron Russell y Wittgenstein los que divulgaron este mtodo como
instrumento de anlisis del significado de los enunciados en trminos de
condiciones de verdad (en contraste con Frege, quin identificaba al significado
contenido conceptual de los enunciados con su rol inferencial). Segn
Wittgenstein, el mtodo de tablas de verdad sirve para determinar las condiciones
de verdad de un enunciado, es decir, su significado, en funcin de las condiciones
de verdad de sus elementos atmicos. En otras palabras, la tabla de verdad nos
dice en qu situaciones el enunciado es verdadero y en cuales es falso. Esta idea
evolucion en la teora de descripciones de estado de Carnap (1946) y,
posteriormente, las teoras semnticas de mundos posibles de Prior (1956), S.
Kanger (1957), Hintikka (1957, 1961) y Kripke (1963) y de situaciones de Barwise
y Perry (1983) que siguen vigentes hasta la fecha. Cmo los mtodos de este tipo
surgieron originalmente como mtodo de anlisis semntico, se les conoce como
mtodos semnticos. En contraste, el mtodo de pruebas se conoce como
sintctico. Sin embargo, vale la pena mencionar que el mtodo de pruebas
tambin ha sido interpretado como un mtodo de anlisis semntico, pues hay
quienes piensan que las reglas de inferencia pueden verse tambin como
definiciones.

Fundamentalmente, en su seminal artculo de (1935) G. Gentzen propuso que las

reglas de inferencia del mtodo de deduccin natural se vieran como definiciones
de los conectivos lgicos. Aquellos que utilizan el mtodo de pruebas como
instrumento de anlisis semntico, como Gilbert Harman (1986, 1987) y Robert
Brandom (2000), entre otros, se llaman a s mismos inferencialistas , funcionalistas
o tericos del rol conceptual. Aquellos que prefieren teoras del significado ms
cercanas a la propuesta de Wittgenstein, son conocidos como
representacionalistas, pues los mtodos semnticos que usan pueden
interpretarse como involucrando algn elemento que representa al mundo. En el
mtodo de tablas de verdad, por ejemplo, los distintos renglones pueden verse
como representando diferentes maneras en que el mundo pudo haber sido. En
contraste, es claro que en el mtodo de pruebas formales no hay ningn elemento
que represente ningn aspecto del mundo o cosa parecida.

Los mtodos sintctico y semntico no slo son mtodos formales distintos, que
parten de intuiciones metodolgicas distintas, sino que tambin tratan de capturar
las nociones de consecuencia, validez y verdad lgicas de manera distinta. Desde
la perspectiva sintctica, por ejemplo, una proposicin p es lgicamente verdadera
sii es posible determinar la verdad de p sin apelar en lo absoluto al mundo;
mientras que desde la perspectiva semntica, p es lgicamente verdadera sii fuera
verdadera de cualquier manera como fuera el mundo, p sera verdadera (p es
verdadera en todo mundo posible). De esta manera, los modelos sintcticos
acentan el carcter a priori de la lgica y los mtodos semnticos, su necesidad.
Por eso, los mtodos semnticos como las tablas de verdad funciona a travs
de lo que se ha llamado el mtodo de variacin, en el cual es necesario contar con
un aparato para representar todas las maneras en que el mundo puede ser, y
verificar si en cada una de ellas, el enunciado es verdadero (por ejemplo, en
clculo proposicional, ver si en toda asignacin de valores de verdad a las
variables proposicionales, es decir, en todo rengln de la tabla de verdad, el
enunciado es verdadero).

CONTENIDO

Varios mtodos de prueba del clculo proposicional, entre ellos el de tablas de

verdad, se basan en una concepcin muy tradicional del anlisis lgico, segn la
cual el objetivo de ste es determinar las condiciones necesarias y suficientes de
la verdad de una proposicin o enunciado. Cada rengln de la tabla que hace
verdadero al enunciado en cuestin determina una condicin suficiente para su
verdad. En cada rengln, los valores asignados a cada variable proposicional
determinan una condicin necesaria del rengln.

OBJETIVO

Es de gran utilidad para resolver acertijos como problemas de la vida real, nos
sirve para la deduccin, procesamiento de informacin y orden de ideas.

COMO SE UTILIZA

La clave para resolver estos enigmas consiste en empezar extrayendo los datos
seguros de la informacin de que dispones. Despus, deduce el resto de los datos
a partir de los primeros. Se debe tomar en cuenta:

1. Leer con gran atencin los textos que refieren hechos o informaciones
2. Estar preparados para postergar cualquier afirmacin del enunciado hasta
que tengamos suficiente informacin para vaciarla en la tabla.
3. Conectar los hechos e informaciones que vamos recibiendo.
4. Leer las afirmaciones de manera secuencial, y cuando agotemos la tabla.
Volver a leerla desde el inicio enriquecindola con la informacin que
hayamos obtenido.