Fecha actual 28 Mar 2024 20:26




Responder al tema  [ 2 mensajes ] 
 53. Definir La Verdad 
Autor Mensaje
Almirante Especialista
Almirante Especialista
Avatar de Usuario

Registrado: 29 Ago 2007 18:44
Mensajes: 3513
Ubicación: Contemplando la playa de San Lorenzo desde su casa de Cimadevilla
Nuevo mensaje 53. Definir La Verdad
.
TARSKI
(1902-1983)

Imagen

Lógico, matemático y filósofo polaco, Alfred Tarski nació el 14 de enero de 1902 en la ciudad de Varsovia, Polonia y murió el 26 de octubre de 1983 en Berkeley, California, Estados Unidos.

De origen judío acomodado, adoptó su apellido definitivo al convertirse en 1923 a la religión mayoritaria en Polonia, el catolicismo.

Formó parte de la importante escuela polaca de lógica y filosofía hasta 1939, en que se estableció en Estados Unidos de América; la emigración le salvó de la suerte de la mayor parte de su familia, que pereció bajo la ocupación nazi de Polonia.

Desde Estados Unidos, donde viviría y enseñaría hasta su muerte, influyó en toda la investigación lógica posterior a la Segunda Guerra Mundial.

Hizo aportaciones destacadas en teoría de conjuntos, lógica polivalente, niveles de lenguaje y metalenguaje y conceptos semánticos.

Fue el autor de Introducción a la lógica y a la metodología de las ciencias deductivas en el año 1941 y La concepción semántica de la verdad y los fundamentos de la semántica en 1944.

Junto con Aristóteles, Gottlob Frege y Kurt Goedel, Tarski es considerado uno de los lógicos más grandes de todos los tiempos.

Defendió que la conclusión de un argumento se sigue lógicamente de sus premisas si y solo si cada interpretación de las expresiones no lógicas que hace verdaderas a las premisas hace verdadera a la conclusión.

Por tanto, la explicación de la consecuencia lógica depende de la teoría semántica de la verdad. Para que la definición se aplique a todos los casos basta con admitir como constantes lógicas, según Tarski, las siguientes: El cuantificador universal de primer orden, el condicional, la negación, los paréntesis y la identidad.

En los años 40 Tarski comenzó a desarrollar junto a sus discípulos el álgebra de relaciones, en la que pueden expresarse tanto la teoría axiomática de conjuntos como la aritmética de Peano.

También desarrolló junto a sus discípulos las álgebras cilíndricas, que son a la lógica de primer orden lo que el álgebra booleana a la lógica proposicional.

Sus métodos semánticos 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 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.

_________________
2º Secretario General del Foro.
Insignia en el navío: Resurrección R. O. del 27 de abril de 2008.
"Todo lo hemos perdido, mi querido Lord:
Estado, honor, patria, existencia..."

(De la carta de Gaspar Melchor de Jovellanos a Lord Holland, 2 de febrero de 1810).


27 Mar 2009 18:10
Perfil
Brigadier
Brigadier

Registrado: 22 Oct 2008 05:35
Mensajes: 1299
Ubicación: Valladolid
Nuevo mensaje Re: 53. Definir La Verdad
Jovellanos escribió:
.
Defendió que la conclusión de un argumento se sigue lógicamente de sus premisas si y solo si cada interpretación de las expresiones no lógicas que hace verdaderas a las premisas hace verdadera a la conclusión.



Resumiendo: NO ERA POLÍTICO

_________________
Director del: Real Observatorio de Marina de San Fernando. R. O. del 30 de diciembre de 2011.


29 Mar 2009 20:54
Perfil Email
Mostrar mensajes previos:  Ordenar por  
Responder al tema   [ 2 mensajes ] 

¿Quién está conectado?

Usuarios navegando por este Foro: No hay usuarios registrados visitando el Foro y 3 invitados


No puede abrir nuevos temas en este Foro
No puede responder a temas en este Foro
No puede editar sus mensajes en este Foro
No puede borrar sus mensajes en este Foro
No puede enviar adjuntos en este Foro

Saltar a:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group.
Designed by STSoftware for PTF.
Licencia de Creative Commons
foro.todoavante.es by Todoavante is licensed under a Creative Commons Reconocimiento-NoComercial 3.0 Unported License.
Based on a work at foro.todoavante.es.
Permissions beyond the scope of this license may be available at creativecommons.org.

Traducción al español por Huan Manwë para phpbb-es.com