Ensayo teoria conjuntos prolog

Solo disponible en BuenasTareas
  • Páginas : 9 (2053 palabras )
  • Descarga(s) : 0
  • Publicado : 18 de noviembre de 2011
Leer documento completo
Vista previa del texto
Teoría de Conjuntos, Lógicas y Gottlob Frege, Kurt Gödel

Resumen: Este documento hace un recuento de los enunciados de grandes científicos y genios como Frege y Peirce, el teorema de Godel también como de su vida dedicada a la comunidad científica en pro de lograr avances en el campo de la física, matemática y filosofía creando y estableciendo enunciados de carácter importante que serán deaplicación progresiva en las ciencias de la computación, el rasgo más característico en los dos autores mencionados al inicio de este escrito es su manera de abordar el estudio de los signos a través de un esquema triádico en el que la presencia de tres elementos: signo, objeto e interpretante en Peirce, y signo, objeto y sentido en Frege, articulan las dos relaciones semánticas básicas: la relacióndel signo con su objeto, y la relación del signo con su significado. Los desarrollos de este modelo por Frege y Peirce muestran interesantes diferencias. Sin embargo, en el análisis de estos elementos y sus mutuas relaciones, se encuentra una controvertida afirmación de Peirce —sujeta a muy variadas interpretaciones— que puede conectarse perfectamente con otra de Frege, dando lugar estavinculación a interesantes consecuencias. Se trata, en definitiva del fundamento del signo, en Peirce; y de la noción de la manera de darse en Frege. Estas dos nociones parecen poder interpretarse como aquello que garantiza la no convencionalidad del signo, y que permiten que el signo nos proporcione conocimiento acerca de todo aquello que nos rodea.

Términos — Cuantificacional, Principios matemáticos,tríadico.

Logicismo,
I. INTRODUCCION

G ottlob Frege nacido en 1848 en Alemania inició sus
estudios en la universidad de Jena en el año de 1869 licenciándose de matemáticas en 1873, y en el año de 1879 publicó una obra llamada “Conceptografía” (Ver Figura 1) en donde ahondaba en los conceptos de la lógica matemática moderna llegando a imponer una nueva sintáxis para las expresiones, posteriora esto expresó la caracterización formal de las leyes lógicas de su contenido semántico. Frege fue un férreo defensor de los principios que rigen el logicismo, este principio habla de que las matemáticas son reducibles a la lógica, en el sentido de que las verdades de la matemática son deducibles de las verdades de la lógica. Sin embargo su defensa del logicismo era de alcance limitado,aplicándola sólo a la aritmética. Su obra titulada Leyes básicas de la aritmética fue un intento de llevar a cabo el proyecto logicista. En 1902, con las pruebas corregidas del segundo volumen ya en la imprenta, recibió una carta de Bertrand Russell en la que le advertía acerca de una grave inconsistencia en su sistema lógico, conocida más adelante como la paradoja de Russell.

Russell lo dio a conocer, yaque habiendo llegado a los mismos resultados que Frege de manera independiente estaba en la capacidad de entenderle y fue el primer pensador de importancia en apreciar el gran valor de su obra. Pese a que el descubrimiento de la paradoja de Russell arruinó el proyecto logicista de Frege, éste continuó trabajando y llegó a publicar una serie de importantes artículos, entre los cuales destaca Elpensamiento: una investigación lógica, en donde básicamente se examina el contenido de las proposiciones, aquella parte objetiva que es transmisible a todo hablante en un enunciado declarativo. En los años sesenta el filósofo de Oxford Michael Dummett publicó una serie de importantes libros sobre la filosofía de Frege que revivieron el interés por su obra y lo reincorporaron al debate filosófico.II Filosofía del lenguaje
Para Frege, la lógica era la teoría más básica o fundamental, irreductible a otra, siendo sus principios verdades irrefutables e indudables; no habría saber anterior a la lógica, ninguno de sus principios reposa o es deducible de principios de otras ciencias, al contrario, es sobre la base que que proporciona la lógica de donde toda teoría se constituye Algunos de...
tracking img