Examen

1. Cul es el definiendum y cul el definiens en el esquema

p es verdadera en L si, y solo si, p? Y cul de los dos
est en el nivel metalingstico?

Definiendum: p es verdadera en L ; definiens: p .

La que est en nivel metalingstico es el definiendum, en
donde p es el lenguaje objeto y lo dems de la oracin es el
metalenguaje.

2. Aplicando la metodologa de Tarski construya el esquema

para definir la verdad de cada uno de los axiomas del
sistema < Q,I,P >.

3. Dado el esquema p es verdadera sss p . Explique Cul es

el segmento del esquema anterior que carece de estructura
sintctica?

El definiens carece de estructura sintctica por ser una

variable. El definiendum tiene una estructura sintctica de
nivel formal (metalenguaje). De ser reemplazada la variable
por una oracin, sta slo en el definiens tendra estructura
sintctica pero como lenguaje natural.

4. Est segn Tarski el concepto de falsedad sujeto a las

mismas reglas de uso que el de verdad?
S, en el sentido de que Tarski toma como sinnimos a la
falsedad como no-verdad.

5. Cul es la peculiaridad de la paradoja lo impredicable es

predicable?
 Es una paradoja que atenta contra el principio de no
contradiccin y contra el principio de identidad (ya que si lo
impredicable es predicable significa que lo no-predicable es
predicable, es decir no S es S diciendo con esto que lo que
no es, es.)

6. Construya una paradoja distinta al ejemplo anterior y al

proporcionado por Tarski.

Slo estoy seguro de que de nada estoy seguro.

7. Existe, segn Tarski, un criterio general de verdad aplicable

a todas las teoras cientficas o a todos los lenguajes
cientficos?

Sera el del mtodo axiomtico utilizado luego del siglo XIX,

es decir la prueba formal

8. Las afirmaciones autorreferentes son siempre construibles

en los lenguajes formales o en los lenguajes universales?
por qu?

Son slo construibles en lenguajes universales, puesto que

en estos por ser ambiguos e infinitos permiten autorreferirse
a s mismos con la posibilidad de crear antinomias que
lenguajes formales, por tener lenguaje objeto y
metalenguajes, no permiten.

9. Es el lenguaje objeto A un subconjunto propio del

metalenguaje de A?

S, en tanto tal subconjunto sea de los nombres de A, no de la

semntica del lenguaje objeto A.
10. Cul es ms amplio, el concepto de verdad o el
concepto de prueba?

Ms amplio es el concepto de verdad, ya que los axiomas se

consideran verdaderos sin poder tener una prueba dentro de
la determinada ciencia de la cual son axiomas.