Beruflich Dokumente
Kultur Dokumente
2.-
2
Prof. Errol Dennis
3
Prof. Errol Dennis
4
Prof. Errol Dennis
de Chomsky y
(b)
una de las estrofas del poema El galimatazo de Lewis Carroll son dos
ejemplos de cmo, a pesar de ser incomprensibles desde un punto de vista
semntico en el uso normal del castellano, sin embargo, son fbf de la lengua
espaola y correctas desde el punto de vista sintctico.
Como sabemos, los lgicos han construido sistemas de lenguaje mucho ms
sencillos y exactos que los lenguajes naturales. En lugar de utilizar palabras, emplean
smbolos similares a los matemticos. Tomemos, por ejemplo, el ms desarrollado de estos
lenguajes, el construido por Whitehead y Russell en su libro Principia Mathemtica 6. Dos de
las principales reglas de formacin de este lenguaje son como sigue: 1) una expresin que
conste de un predicado (es decir, una de las minsculas griegas , , etc.) y una o ms
variables de individuo (las minsculas latinas x, y, etc.) es una oracin; 2) una expresin
que conste de dos oraciones y una conectiva ( ,, , ) entre ambas es tambin
una oracin.
5
Prof. Errol Dennis
1.
6
Prof. Errol Dennis
2.1.2. Trminos-L.
7
Prof. Errol Dennis
(1) Para no generar confusin, reservaremos la nocin de vlido y contravlido para los sistemas teoricos
analizados en terminos de verdadero o falso dimensin semntica del lenguaje- y consistente e
inconsistente para el anlisis de su correccin o incorreccin sintctica. Cuando Carnap utiliza vlido y
contravlido en este contexto, debe interpretarse como consistente o inconsistente tal como lo utilizan
8
Prof. Errol Dennis
-p) ser contravlida. Refutar una oracin A consiste en mostrar que A tiene como
consecuencia tanto una oracin B como -B, la negacin de B. Ahora bien, de dos oraciones
mutuamente opuestas, como B y -B, se puede deducir cualquier oracin. De ah que, si B y
-B son consecuencia de A, cualquier oracin ser consecuencia de A, por lo que A ser
contravlida.
(i)
9
Prof. Errol Dennis
(1)
(2) -p
(3)
pvz
(4)
(5)
pv-z
(ID,1)
(6)
-z
(SHD, 2,5)
(7)
z-z
2.3
10
Prof. Errol Dennis
sintticas las oraciones indeterminadas y slo ellas (por ejemplo, aSb, a es hijo de b.
Si una oracin es vlida, aunque no analtica, la llamamos vlida-F. Si una oracin
es contravlida, aunque no contradictoria, la llamamos contravlida-F.
11
Prof. Errol Dennis
12
Prof. Errol Dennis
una objecin al argumento del postulado de significado. Lo que demuestra es que los
postulados de significado, en lenguaje riguroso, no definen implcitamente los trminos
tericos en cuestin. En cambio, se podran describir los postulados de significado
como definiciones parciales de los trminos tericos en el sentido en que la fijacin de
la extensin de los trminos observacionales slo limita o fija parcialmente la
extensin de los trminos tericos. El que tales trminos estn definidos slo parcialmente
parece un mrito de esta explicacin a todos aquellos que piensan que los Tt, estn siempre
parcialmente indeterminados en lo referente al significado".
13
Prof. Errol Dennis
14
Prof. Errol Dennis
Cierre deductivo.
El cierre deductivo est ligado a la propuesta popperiana del aumento
15
Prof. Errol Dennis
16
Prof. Errol Dennis
17
Prof. Errol Dennis
trminos (op.cit.p.221):
"Ti y T2 son respetables, si y slo si la secuencia de las diferencias absolutas de los
trminos correspondientes de la secuencia de razones R1 y R2 tiene un lmite y ese lmite es
insensible a la seleccin razonable de lugar en las secuencias de enunciados t 1 y t2. ... Los
frecuentistas postulan que, si para n grandes, las frecuencias relativas observadas en el
lanzamiento de una moneda parecen estabilizarse, entonces su disposicin se aproxima a la
de un colectivo, en el sentido en que el resultado observado es un segmento inicial de una
secuencia a partir de un colectivo y que la frecuencia relativa observada se aproxima a la
probabilidad que se da en el colectivo.
Anlogamente, sostendr que, si para n suficientemente grandes, la diferencia en las
razones correspondientes a R1 y R2 tiende a estabilizarse, debiramos afirmar que ese valor
representa una medida razonablemente aproximada de las diferencias de contenido entre las
dos teoras".
17
6
7
No debemos confundir los postulados bsicos con los enunciados protocolares, atmicos o de
observacin de los empiristas, ni con los enunciados bsicos popperianos. En Popper, Karl (1994,
p.460ss) Conjeturas y refutaciones. Espaa, Paids, ste afirma que los enunciados bsicos "expresan
(verdadera o falsamente) la existencia de hechos observables (sucesos) dentro de una regin
espaciotemporal suficientemente pequea" y "no tienen nada de 'bsicos' en el sentido de finales',
slo son 'bsicos' en el sentido de que pertenecen a la clase de enunciados que usamos para testar
nuestras teoras". En sntesis, son afirmaciones existenciales acerca de una regin espacio-temporal
definida, que desempean la funcin de ser falsificadores potenciales de la teora. No se caracterizan
epistemolgicamente, sino en trminos de su forma y funcin. Por ejemplo la teora de que "Todos los
cuervos son negros" es incompatible con el enunciado bsico "Mira un cuervo blanco".
8
Kant, Inmanuel (1984) Prolegmenos. Espaa, Sarpe. ..entre los juicios, cualquiera que sea su
origen o la forma lgica que adopten, hay, sin embargo, una diferencia segn su contenido,
gracias al cual, o son simplemente explicativos y con respecto al contenido nada aaden, o son
amplificativos y aumentan el conocimiento dado; los primeros podrn llamarse juicios analticos;
los segundos, juicios sintticos.
Los juicios analticos no dicen en el predicado otra cosa que lo que en la nocin del sujeto
era ya verdaderamente pensado, aunque no tan claro y con igual conciencia. Si yo digo: todos
los cuerpos son extensos, no he ampliado absolutamente nada mi concepto de cuerpo, sino que
lo he resuelto, porque la extensin de aquel concepto estaba ya antes del juicio realmente
pensado, aunque no declarada expresamente; el juicio es, pues, analtico. Por el contrario, la
frase: algunos cuerpos son pesados, contiene algo en el predicado que no estaba realmente
pensado en el concepto general de cuerpo; aumenta, pues, mi conocimiento, porque aade algo
a mi concepto y debe llamarse, por esto, un juicio sinttico. (p.44s).
10
Quine, Willard (2001, p.10s) Acerca del conocimiento cientfico y otros dogmas. Espaa, Paids. "La
distincin analtico-sinttico que rechaza Quine es la tradicional desde Leibniz, Hume y Kant, pero pasada por el
tamiz de los grandes recursos tcnicos de Frege, Russell y Carnap, y muy en especial la relevante para la filosofa
logicista de la matemtica, tendente a identificar matemtica y lgica. El planteamiento quineano es la distincin entre
dos tipos de verdades analticas: las verdades lgicas y las verdades analticas propiamente dichas. Las primeras (por
ej., Todos los solteros son solteros) lo son en virtud de su forma, esto es, en virtud de las partculas lgicas que
intervienen, por lo que siguen siendo verdaderas cuando sus trminos no lgicos se reemplazan por cualesquiera otros;
las segundas lo son en virtud del significado de los trminos no lgicos presentes (por ej., Todos los solteros son no
casados). Se supone que estas ltimas se pueden transformar en verdades lgicas sin ms que sustituir sinnimos
por sinnimos (no casado por soltero). El problema de dar cuenta de la analiticidad propiamente dicha es, por
tanto, el problema de dar cuenta de la sinonimia o identidad de significado.
Ah entra el aparato argumentativo de Quine... que concluye con estas dos afirmaciones bsicas:
a) todo intento de clarificar la nocin de analiticidad es intil, pues recurre a nociones an ms
obscuras, como las de significado o sinonimia, que no pueden resultar clarificadas sin argumentos
circulares;
b) el intento de introducir la nocin en los lenguajes artificiales fracasa tambin, pues las reglas
semnticas a especificar, ms que clarificar la analiticidad, la presuponen.
11
13
Lakatos, Imre (1983) La metodologa de los programas de investigacin cientfica. Espaa, Alianza
Daniel Bernoulli realiz un aporte importante al clculo de probabilidades cuando sistematiza el uso de los mtodos
infinitesimales. Con esta poderosa herramienta encontr, en forma ms sencilla que por los mtodos combinatorios clsicos,
soluciones asintticas a ciertos tipos de problemas con valores grandes de los parmetros.
14