Puedes pensar en 2 tipos de lógica: la rama formal de las matemáticas muy estrechamente relacionada con la teoría de conjuntos y la “lógica filosófica”, que consiste en formar buenos argumentos y cómo asegurarte de que tus conclusiones se deduzcan de lo que dices.
Ambos son de gran ayuda. Es posible que no necesite aprenderlos formalmente, pero contar con un conocimiento básico ayudará.
Algunos ejemplos de alguien que estudió en la universidad y luego se convirtió en desarrollador profesional / CTO:
- ¿Cuáles son los pasos (para un estudiante indio) para escribir un trabajo de investigación en ciencias de la computación sin la ayuda de profesores universitarios?
- ¿Cómo debe prepararse un estudiante de ingeniería de segundo año de CS recién ascendido para una pasantía de investigación en Microsoft?
- He oído afirmar que la financiación de la investigación en informática solo está disponible para la investigación aplicada ahora. ¿Es este el caso, y si no, hay ejemplos de áreas de investigación "pura" que se están financiando?
- ¿El aprendizaje profundo realmente funciona? ¿Es solo promocionado por los investigadores que es impulsado por los fabricantes de GPU?
- Cómo hacer investigación en informática si vivo en un país donde la investigación es lo último que hace la universidad
- La lógica requiere que pienses en la denotación, es decir, a qué te refieres, con mucho cuidado. ¿Es un grupo, una sola cosa o una clase extensible basada en una definición?
- La lógica le enseña a pensar qué declaraciones puede hacer sobre las cosas que denota, y cómo mostrar que son verdaderas o falsas (y para algunas lógicas, puntos intermedios)
- La lógica te enseña a distinguir entre el marco que usas para decir si una declaración es verdadera y la declaración misma.
- La lógica te presenta una gran cantidad de estructuras de argumentos para mostrar cómo una declaración se sigue de otra, así que si una es verdadera, también lo es la otra, y tienes un argumento 🙂
Estas habilidades son el núcleo de herramientas de un desarrollador de software (y un científico de la computación), en mi opinión.
Raramente se enseñan explícitamente en ninguna otra disciplina y, sin embargo, las sustentan a todas. La lógica filosófica en particular, el estudio de argumentos sólidos en lenguaje ordinario, es invaluable en todas partes.