Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cuestionario #2 Mario Guillermo Mencia Andino
Cuestionario #2 Mario Guillermo Mencia Andino
º 2
No. de Cuenta Mario Guillermo Mencia Andino
20182001922
1. ¿A quién se debe la sistematización de la lógica?
R/ La sistematización de la lógica se debe a los trabajos de Aristóteles s (384-322 a. C.)
2. ¿Quiénes pueden ser considerados como los precursores de la actual lógica proposicional?
R/ Pueden ser consideraros como los precursores de la actual lógica proposicional a los lógicos
estoicos y los megáricos.
Leibniz fue el primero que sostuvo con claridad que el procedimiento para convertir la teoría de la
deducción lógica en una ciencia estricta e infalible era convertirla en un cálculo mediante el uso de
procedimientos matemáticos.
7. ¿En qué radica la importancia de la tarea desarrollada por George Boole y Augustus de Morgan?
R/ Ambos son los creadores del moderno lenguaje formalizado de la lógica lo que les permitió,
entre otras cosas, descubrir una cantidad asombrosa de nuevos tipos de deducción o inferencia.
10. ¿Qué tarea llevan a cabo en la época contemporánea Bertrand Russell y N. Whitehead?
R/ Russell y Whitehead intentan evitar la paradoja en el sistema de Frege (la de las clases que no
son miembros de sí mismas), llevando a cabo la tarea de mostrar que es posible derivar toda la
matemática de la lógica.