Los principales propósitos del lenguaje simbólico para la lógica son:
- estudiar la lógica como disciplina (como lo han hecho Chrysippus, De Morgan, Boole, Frege y otros),
- enseñar la lógica para explicar qué es la lógica,
- como una ayuda en el diseño de circuitos lógicos de computadora, y
- Para uso en programación lógica para computadoras.
La única vez que he visto la lógica simbólica utilizada en las pruebas es por los lógicos. Me pareció muy difícil de leer. Los matemáticos lo usan ocasionalmente para enfatizar la estructura lógica de las afirmaciones, pero sus pruebas son menos formales y usan un lenguaje ordinario para expresar las conexiones lógicas en las pruebas.
Si quisiera que una computadora verificara que una prueba estuviera completa, o que buscara una prueba, eso requeriría traducir las declaraciones a un lenguaje formal que un programa de computadora ingresaría.
En su mayor parte, los humanos tienen una comprensión innata de la lógica, pero a veces se confunden con el lenguaje y, en ocasiones, aplican incorrectamente los principios lógicos. Aprender algo de lógica simbólica puede aclarar confusiones y clarificar principios lógicos.
- Cómo comercializar una nueva idea filosófica.
- ¿Cómo justificó exactamente John Locke su argumento de que los humanos nacen inherentemente con derechos naturales establecidos?
- ¿Puede un libro ser ético?
- ¿Carreras que fomenten el conocimiento y / o la tecnología humana?
- ¿Cuáles son los beneficios personales y los riesgos personales asociados con estudiar filosofía?