Filosofia

Enviado por Programa Chuletas y clasificado en Filosofía y ética

Escrito el en español con un tamaño de 2,2 KB

 
logica importante para la actualidad.inicios-impulsor leibniz siglo 17 y 18 grande aportaciones amistad cn newton es el primero k se pregunta x la logica el lenguaje ordinario era el causante de los malos resultados y de la falta de coincidencia en las disputas filosoficas preguntaba si se podia hacer una logica para lograr resultados seguros como las matematicas leibniz no pretendio construir un sistema de signos carentes de significados los signos cn los k operaba poseian significados no lo tenia en cuenta cuando operaba cn ello,la operacion es abstracta es pura simbolica,los simbolos no pertenecen a las mates sino al razonamiento.FREGE- gracias a el tenemos la logica simbolica.que es un lenguaje similar a las matematicas.Busco una demostracion logica exacta que pudiera someter a un examen critico las mismas demostraciones. La logica se concreta en la tarea de analizar los fundamentos de las matematicas. Frege era muy bueno en sus obras, el exito es cojer el gran exito de las matematicas aplicadas a la razon.No se puede hablar un idioma universal xk todos no pensamos =. Hizo un lenguaje valido para todo el mundo.


Simbolos de la logica simbolica: El termino simbolo pertenece a las muchas expresiones del lenguaje natural que se prestan a mal entendidos. Caracteristicas: 1- Es un signo de signos. 2-Pertenece al lenguaje artificial. 3-Designa un subempleo preferente para atender con otros signos de la misma clase.
Los signos de la logica simbolica que representan la forma logica proposiciones se llaman variables., mientras que los que representan las conjunciones se llaman constantes.
1 negador: delante de la proposicion. se lee no. ¬
2 conjuntor: se coloca entre 2 proposiciones. se lee y.
3 disyuntor: se coloca entre 2 proposiciones. se lee o.
4 implicador: se coloca entre 2 proposciones.se lee si..entonces
5 complicador: se lee si y solo si.. entonces..
Conjuntor: V-V--V// V-F--F.
Disyuntor: V-V--V// V-F--V//F-F--F.
Implicador: V-F--F// V-V--V// F-F--V.
Comimplicador: V-V--V// F-F--V// F-V--F.

Entradas relacionadas: