Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

"Aportaciones a la lógica de Frege"

No description
by

Lupita suarez Barcenas

on 18 October 2013

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of "Aportaciones a la lógica de Frege"

"Aportaciones a la lógica de Frege"
Objetivo:
Investigar cuales fueron las principales aportaciones a la lógica de Gottlob Frege, además de agregar algunos de sus ejemplos y poder hacer una buena presentación en prezi.
¿Quien fue Gottlob Frege?
Fue un matemático, lógico y filosofo alemán, padre de la lógica matemática y la filosofía analítica. Frege es ampliamente reconocido como el mayor lógico desde Aristoteles.
Sus aportaciones:
Lógica simbólica.
Lógica matemática.
Enunciados de la identidad.
Referencia de concepto y objeto.
El sentido y la referencia.
Lógica simbólica
La lógica simbólica es un sistema formal que analiza los signos y lo que designan.El positivismo lógico entiende que el significado es la relación que existe entre las palabras y las cosas, y su estudio tiene un fundamento empírico: puesto que ellenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan con cosas y hechos.
La lógica matemática es el intento de dar una “forma universal” al pensamiento, expresándolo por un sistema unívoco de signos (estos quiere decir, un sistema en el que cada signo tenga un solo significado en un mismo contexto),

LÓGICA matemática
OBJETO DE LA LÓGICA MATEMÁTICA.
Al estudiar la lógica clásica, hemos constatado el hecho de que la relación fundamental que se estudia es la del verbo ser.

Eso es así porque la lógica clásica es una lógica que parte del “análisis de las proposiciones en sus términos”


METODO DE LA LÓGICA MATEMÁTICA.
PARTICULAS FACTICAS Y LOGICAS DEL LENGUAJE.
Las partículas fácticas (del latín “factum” que quiere decir “hecho”) son aquellas partículas variables que pueden tener referencia a un objeto o acontecimiento.
Enunciados de identidad
Mas conocidos como el principio de identidad, el principio de no contradicción, el principio del tercer excluido y el principio de todo ser tiene una razón de ser.
Una pequeña explicación
Frege fue un defensor del logicismo, la tesis 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.
Logicismo
La teoría del significado de Frege se enfrenta a la tradición psicologista que asigna contenidos mentales a las palabras como sus significados.Por su parte, en su artículo titulado Sobre el sentido y la referencia,Frege comienza preguntándose por los enunciados de identidad, de los cuales distingue dos tipos:
a = a
a = b
Filosofía del lenguaje
SOBRE LA LÓGICA MATEMÁTICA
Considera la lógica matemática como punto de partida las relaciones de “inclusión” (producto lógico) y de “exclusión” (suma lógica).
Otra aportación...
Además...
La lógica matemática pretende hacer que todas las relaciones reales se vuelvan formales; pretende reducirlas a una “expresión matemática” que pueda ser calculada como en las matemáticas.
Por esa razón es que se le llama también “álgebra de la lógica”.
También
Las partículas lógicas son aquellas partículas que determinan a las partículas fácticas ya sea limitándolas (cuantificadores) o bien relacionándolas (funciones).
GRACIAS
componentes: considerar sólo una relación o reducir las demás relaciones a una sola simplifica el asunto y posibilita la construcción formal de la lógica clásica.
A partir de esas relaciones se puede establecer un sistema de simbolización como el del álgebra en el cual pueda expresarse toda proposición del lenguaje y de la ciencia
Full transcript