Prueba de comprensin y aplicacin del artculo de Tarski titulado

VERDAD Y PRUEBA

Apellido y nombres ___________________________________________

Fecha ______________
1.

Cul de las siguientes afirmaciones es de construccin incorrecta segn la definicin

del concepto de verdad de Aristteles?
a.
Toda afirmacin lgica es verdadera, falsa o indecidible
b.
De acuerdo a Tarski al cientfico le interesan los hechos falsos
c.
verdad es aplicable slo a oraciones descriptivas
d.
Premisas falsas pueden tener consecuencias verdaderas
e.
La redondez de la tierra no es verdadera ni falsa

2.
a.
b.
c.
d.
e.

Tarski pone en evidencia que la afirmacin Yo miento

est lgicamente bien construida
pertenece al lenguaje objeto que uso cuando la formulo
es construible si se distingue entre lenguaje objeto y metalenguaje
afirma disimuladamente su propia verdad
no es construible si se distingue entre lenguaje objeto y metalenguaje

a.
b.
c.
d.
e.

Segn Tarski, la mayor virtud de la definicin aristotlica del concepto de verdad es:
que posibilita la construccin solamente de contradicciones
que, en general, impide la construccin de paradojas como la del mentiroso
aportar el enfoque semntico del uso de la verdad de lo que ocurre
aportar el enfoque semntico del uso del trmino verdad
es un aporte a la sintaxis lgica del lenguaje

a.
b.
c.
d.
e.

En el esquema de definicin p es verdadera en L si, y slo si p

La expresinp es una oracin con estructura sintctica
p es un nombre con estructura sintctica en el metalenguaje
la letra p es la abreviacin de una oracin con estructura sintctica
p es un nombre abreviado construible en el lenguaje objeto
p es un nombre metalingstico por aparecer en el definiens

3.

4.

5.

El ejemplo de Tarski
La nieve es blanca es verdadera si, y slo si la nieve es
blanca:
a.
convierte la aceptacin de la blancura de la nieve en un asunto lgico
b.
propone un criterio general para decidir siempre la blancura de la nieve
c.
asume que es lgicamente legtimo asignar nombres a las oraciones
d.
asume que lgicamente slo los objetos son nombrables
e.
puede dar lugar a la paradoja de la blancura y no-blancura de la nieve

6.

El hecho de que el trmino falsedad est sujeto a las mismas reglas de

uso que el trmino verdad tiene como fundamento que:
a. la falsedad es una propiedad sintctica de las proposiciones
b. las paradojas lgicas no son verdaderas ni falsas sino circulares
c. hay proposiciones verdaderas que no son deducibles de manera consistente como
teoremas
d. la lgica se propone la retrotransmisin de la falsedad
e. el trmino falso no es construible de manera consistente en el lenguaje objeto.

7. Segn Tarski, la caracterstica lgica ms importante que debe tenerse en cuenta para evitar,
en lo posible, el uso cientfico de los lenguajes naturales es:
a. que conducen a la construccin de paradojas del tipo de la del mentiroso
b. la inconsistencia de algunos de ellos
c. su exagerada amplitud y riqueza
d. que contienen a los lenguajes objetos
e. que contienen un metalenguaje separable.
8. La definicin El teorema de Pitgoras es verdadero en Geometra si, y slo si la suma de los
cuadrados de los catetos es igual al cuadrado de la hipotenusa, es aplicando la tesis de Tarski:
a. una prueba lgica de que su verdad es evidente por s misma
b. un uso incorrecto de su esquema de definicin por no distinguir entre metalenguaje y
lenguaje-objeto
c. incorrecta porque el definiens es muy diferente del definiendum
d. una equivalencia que hace innecesaria la prueba geomtrica del teorema
e. una equivalencia que distingue correctamente entre una proposicin y su nombre.
9. El enunciado Si p es verdadera, entonces p es falsa
a. configura completamente una paradoja
b. para completar la paradoja debe aadrsele p es verdadera
c. equivale a la contradiccinp es verdadera y p es falsa
d. puede interpretarse como media paradoja
e. equivale a p es falsa si, y slo si p es verdadera
10. La introduccin de metalenguajes ha permitido evitar las paradojas, del tipo de las del
mentiroso, debido a que sus reglas impiden la construccin de afirmaciones tales como:
a. Todas mis afirmaciones son falsas.
b. Todo nmero entero tiene uno mayor que l.
c. Un ateniense dice: Todos los cretenses son mentirosos.
d. Aristteles dijo: Todos los hombres son mortales.
e. Juanito dice: Todos los hombres son falibles, incluido el Papa.
11. Cul de las siguientes afirmaciones, segn Tarski, es falsa en la Aritmtica de Peano?
a. Toda verdad aritmtica tiene un nmero de Gdel en el metalenguaje.
b.
Cada frmula y cada teorema tiene un nmero de Gdel.
c.
Hay ms pruebas que proposiciones verdaderas en el lenguaje objeto.
d.
Hay ms proposiciones verdaderas que pruebas en el lenguaje objeto.
e.
Hay tantas proposiciones verdaderas como pruebas en el lenguaje objeto.
12. Segn Tarski el concepto de verdad establece una relacin semntica entre:
a. las oraciones descriptivas y lo descrito.
b. slo las oraciones y los objetos percibibles que expresan.
c. los nombres y la realidad a la que corresponden.
d. las oraciones y los hechos que las prueban lgicamente.
e. los predicados y las propiedades de lo que es.
13. Segn Tarski un metalenguaje se convierte automticamente en inconsistente si:
a.
contiene la definicin de verdad de todos los teoremas del lenguaje objeto
b.
califica como verdadera a una frmula no deducible
c.
es totalmente traducible al lenguaje objeto
d.
contiene al lenguaje objeto como subconjunto propio
e.
admite que premisas falsas pueden implicar consecuencias verdaderas
14. Un resultado fundamental para la ciencia y la filosofa del trabajo de Tarski consiste en que:

a.
b.
c.
d.
e.

la aplicacin de la gdelizacin garantiza la codificacin completa y el

apareamiento de las oraciones verdaderas y de los teoremas.
podemos contar con una buena definicin de verdad y automticamente con
un criterio adecuado de verdad.
contamos con una herramienta potente para evitar todo tipo de paradoja
posible.
se ha aportado un criterio de verdad aplicable a la ciencia en general y
especialmente a la lgica y a la matemtica.
la definicin de verdad no garantiza la existencia de criterio de verdad.

15. El resultado revolucionario que comunica Tarski en el artculo ledo es que en toda teora
cientfica que contenga a la aritmtica necesariamente se cumplir que:
a.
el conjunto de los nmeros verdaderos contiene como una parte propia al de
los nmeros demostrables.
b.
toda afirmacin verdadera es necesariamente un teorema expresable o
construible en el lenguaje objeto.
c.
no toda afirmacin verdadera es expresable en el metalenguaje de la teora.
d.
la intuicin garantizar la verdad de los axiomas.
e.
el conjunto de los nmeros demostrables puede ser igual al de los nmeros
verdaderos si se usan axiomas adicionales
16. La construccin de la antinomia del mentiroso est expresada mejor por la frmula:
a. (p no p ) (no p p)
b. (no p q) (p no q)
c. (no q p) q no p
d. p (p no p) (q no p) p
17. Un sistema lgico prohbe
a. transmitir la falsedad
b. transmitir la verdad
c. obtener la verdad desde la falsedad
d. obtener la falsedad desde la verdad
e. retrotransmitir la falsedad
18. La antinomia del mentiroso es principalmente desde el punto de vista lgico:
a. cualquier contradiccin
b. una contradiccin entre dos proposiciones distintas
c. una contradiccin circular
d. una implicacin como el Modus Tollens
e. una oracin autorreferente
19. Segn Tarski, los resultados de Gdel en su famoso teorema:
a. discrepan con los suyos
b. son semejantes a los suyos
c. son idnticos
d. usan incorrectamente la gdelizacin
e. son insuficientes
20. Una propiedad del Definiendum y del Definiens que Tarski asume es:
a. la completitud
b. el Definiens pertenece al lenguaje objeto
c. que deben estar en metalenguajes distintos
d. que deben estar en el mismo lenguaje
e. la no-intercambiabilidad