logica formal





LÓGICA FORMAL


APORTE – TRABAJO COLABORATIVO 1



GLORIA NIETOCÓDIGO 1056994178





TUTOR
CÉSAR OSWALDO IBARRA








UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA- UNAD CERES BOAVITA2012
QUÉ ES LÓGICA

Es una rama de la filosofía que se encarga del estudio de las formas válidas o correctas delrazonamiento.
Del griego “Logiké” (relativo a la razón, al discurso racional) se considera a la lógica una disciplina formal que tiene por objeto el estudio de las condiciones en las que un razonamientopuede considerarse válido.
Aunque se le atribuye su origen a Zenón de Elea, el verdadero impulsor y sistematizador fue Aristóteles, llamado el padre de la lógica.
La lógica es una disciplina quebusca la validez de un razonamiento, busca que un tal razonamiento esté elaborado siguiendo algunas reglas.
A la lógica no le importa la VERDAD, sino la VALIDEZ o corrección de una proposición. Laverdad o falsedad no se resuelve en la lógica, sino en las otras disciplinas científicas.





FRIEDRICH LUDWING GOTTLOB FREGE

(1848-1925) Matemático, lógico y filósofo alemán, padre de lalógica matemática y la filosofía analítica. Frege es reconocido como el mayor lógico desde Aristóteles. Frege considera válida la derivación de la lógica formal a la proposicional y la simbólica omatemática.

















LOS LÍMITES DE LA LEY DE LA IDENTIDAD

Es sorprendente que las leyes básicas de la lógica formal, elaboradas por
Aristóteles, se hayan mantenidoesencialmente inmutables durante más de dos mil años. En ese período hemos presenciado un proceso continuo de cambio en todas las esferas de la ciencia, la tecnología y el pensamiento. Y, sin embargo, los...