La respuesta de Daniil Kozhemiachenko (Даниил Кожемяченко) proporciona una orientación conceptual confiable. De hecho, es poco probable que encuentre un programa de pregrado que ofrezca una especialización o incluso una menor en lógica per se . Sin embargo, existen programas de estudio de posgrado con concentraciones en todos los aspectos de la lógica formal. Como él dice, las matemáticas pueden ser un aspecto esencial de la lógica formal, pero principalmente desde la perspectiva de la lógica aplicada , como en la lógica matemática como la teoría de la prueba y sus variantes se relacionan con la física teórica, por ejemplo.
La lógica formal además de las matemáticas también se puede aplicar en otras áreas donde la sintaxis formal, la semántica y la pragmática (o heurística) son bastante relevantes y efectivas para la lingüística computacional, el aprendizaje automático y la cognición, y otros aspectos de la IA.
Hay mucho más por explorar sobre el estudio de la lógica y sus aplicaciones, por supuesto. Pero si su pregunta también es preguntar cómo es vivir la vida desde la perspectiva de un lógico capacitado académicamente, ese es otro asunto. Los lógicos y los matemáticos probablemente experimentan un desafío similar, a saber, la capacidad de pensar analíticamente a niveles bastante más allá de lo que la mayoría de la gente puede alcanzar normalmente.
Después de completar una doble licenciatura en matemáticas y filosofía, y tomar tanta lógica como pude en esos estudios, luego completar una maestría en filosofía de la ciencia y la lógica, seguido de un plan de estudios completo en filosofía e inteligencia artificial, haciendo hincapié en la programación en lógica , es justo decir que sé cómo es eso. Es una historia demasiado larga para contarla en detalle aquí, pero aquí está la moraleja de esa historia: los estudios de matemática y el título condujeron a una larga carrera en TI (con IBM, Oracle y otros); Los estudios de filosofía y lógica y el título me mantuvieron cuerdo y en paz conmigo mismo en el camino.
- ¿Por qué los deportes son más importantes en la vida humana?
- Si crees que no deberíamos legislar la moralidad, ¿cómo haces excepciones?
- ¿Alguien ha definido con éxito el tiempo?
- Si hay un dios que interactúa con el mundo físico, ¿podríamos esperar razonablemente que los físicos lo detecten de alguna manera?
- ¿Por qué nacieron cuatro religiones principales en la India?
Actualmente estoy cursando el Programa de Doctorado en Ministerio de Ministerio de Semiótica y Estudios Futuros en el Seminario Evangélico George Fox En Portland y en línea. Supongo que si tuviera un ‘cambio’ en mi carrera académica, lo perseguiría todo desde la perspectiva de la semiótica, con énfasis en las teorías de los dos fundadores, la semiología de Ferdinand de Saussure y la semiótica de CS Peirce . Resulta que, en mi opinión, ese es el mejor marco conceptual y teórico para perseguir no solo la lógica y la lingüística, sino también la filosofía en general. Se proporciona más información sobre esto en las Preguntas frecuentes de Quora sobre el tema Semiótica.