Pensamientos de alfred tarski?

Pensamientos de alfred tarski

Teoría semantica de la verdad

logica teoria y modelos

sistema Axiomatico

Si quieres la definiciones de cada unas dime : ) , Saludos

Teoria Semantica : El iniciador de la teorías semántica , como sabes, fue Tarski.

Resumen de defiunición de verdad

La definición de "verdadero" de Tarski toma como concepto no definido el de "satisfacción" ; dado que "satisfacción" es un concepto semántico, la completa corrección formal exige una teoría semántica más amplia.

Esta definición se aplica a todos los lenguajes formalizados conocidos en la época de su formulación –como los de lógica de primer orden - .

Las oraciones abiertas –o funciones proposiciona

Logica y teoria de modelosJunto con Aristóteles, Gottlob Frege y Kurt Gödel, Tarski es considerado uno de los lógicos más grandes de todos los tiempos.

De los cuatro, Tarski es uno de los mejores matemáticos, el más prolífico y el que desarrollo una actividad educativa más intensa.

Entre sus muchos y relevantes discípulos se cuenta Julia Robinson.

En 1941 publicó en inglés uno de los manuales de lógica más acreditados, Introduction to Logic and to the Methodology of Deductive Sciences.

Tarski contribuyó a la madurez de la lógica estándar —de primer orden— fundando una metodología conjuntista de las teorías deductivas sobre dos bases : * la noción de teoría como conjunto de proposiciones cerrado bajo una noción de derivación mediante aplicación de reglas, y * el desarrollo de una semántica basada en las nociones de satisfacción, verdad y consecuencia lógica.

Sus métodos semánticos —que culminaron en la teoría de modelos desarrollada en los años 50 y 60 junto a sus discípulos de Berkeley— transformaron radicalmente la metamatemática, consolidándola como ciencia estricta.

La idea principal es reemplazar los símbolos de una cierta teoría por expresiones de otra teoría de forma que los axiomas de la primera se traduzcan en teoremas de la otra.

La teoría de modelos estudia las propiedades que se heredan de unas teorías a otras a lo largo de estas traducciones, y compara los alcances respectivos de teorías diversas.

Suya es una de las primeras demostraciones del teorema de deducción, con importantes aplicaciones tanto en lógica como en metalógica.

Sistema Axiomatico

Podemos decir que un sistema axiomatico es completo cuando las proposiciones se pueden expresar son deducibles de sus axiomas.

-

Tarski dijo lo siguiente :

".

Consideraríamos ideal una disciplina de esta clase si contuviese como teoremas todas las proposiciones ciertas del dominio propuesto y ni una sola falsa.

Cuando decimos 'proposiciones del dominio propuesto', pensamos en proposiciones formuladas exclusivamente con términos de lo disciplina considerada y de sus precedentes ; no se puede exigir, por ejemplo, que en la Aritmética puedan fundamentarse todas las proposiciones ciertas, incluso aquellas en que figuren conceptos de la Química a de la biología".

"Una disciplina deductiva no realiza nuestro ideal si no es al mismo tiempo falta de contradicción y completa (con lo cual no decimos en absoluto que toda disciplina completa y falta de contradicción realice dicho ideal ; esto es, que contenga todos los enunciados ciertos del dominio propuesto y sólo éstos)".

(TARSKY, 1951 : 147 / 148)

Un sistema axiomático es deducible cuando existe para él un procedimiento mecánico (algoritmo) que permita establecer si una expresión de dicho sistema es o no deducible de él.

-

Un sistema axiomatico es indeducible si existen fórmulas que pertenecen al sistema y de las cuales no pueda darse una prueba que nos diga si es un axioma o un teorema del sistema.

-.