Es bastante riguroso. Sin embargo, su utilidad depende de lo que estés estudiando. Lo tomé como parte de un curso de filosofía occidental, por lo que había una base bastante sólida en razón, argumentación y retórica antes de llegar al curso de lógica y lenguaje, que trataba sobre filosofía analítica más avanzada, que puede apoyarse en gran medida en la lógica formal para demostrar sus puntos sobre la estructura del lenguaje y el pensamiento humanos.
Me dicen que la lógica formal también es muy útil para la programación, pero no tengo ningún conocimiento sobre la programación, por lo que dar este consejo de segunda mano.
La lógica formal desarrollada en Europa occidental es un sistema codificado que representa algunas operaciones básicas, la mayoría de las cuales se consideran universales. La principal excepción es la instanciación existencial, que muchos consideran que refleja más la posesión del verbo “ser” de la lengua europea, que muchas lenguas no tienen. Dicho esto, realizar las transformaciones correctas en la mayoría de los sistemas aceptados de lógica formal produce oraciones que se reducen al uso de solo dos operadores, “no” y “y” (conocido como lógica “nand”). Estas son características bastante universales de cualquier lenguaje humano, lo que otorga a estas representaciones simplificadas de la estructura semántica del lenguaje grandes poderes de representación objetiva. También elimina las ambigüedades del lenguaje natural, lo que permite expresar funciones lógicas con mayor facilidad.
Tanta facilidad, de hecho, que puede usarse para representar axiomas matemáticos. Bertrand Russel usó la lógica formal para producir una prueba de que 1 + 1 = 2. Dado esto, puede ser un poco seco, pero parte de la filosofía que se apoya en axiomas lógicos puede conducir a observaciones maravillosamente profundas.
- ¿Son realmente importantes las calificaciones para lograr algo en la vida?
- ¿Cuáles son las habilidades más importantes que un estudiante universitario de pregrado puede desarrollar para prepararse para la escuela de posgrado?
- ¿Cómo se certifica para enseñar en una escuela Montessori y se requiere un certificado de enseñanza para seguir la capacitación Montessori?
- ¿Cómo debo prepararme para la entrevista RBI Grado B? Tengo experiencia laboral de 7,5 años de un PSB.
- Cómo completar mi plan de estudios de la clase 11 (PCM) en 6 meses
No es difícil si tienes un don para las matemáticas, y muy divertido si eres un poco nerd o pedante. Aparte de eso, es un gran acompañamiento para la lingüística, la filosofía, las matemáticas o la programación.