¿Cómo es ser lógico o estudiar lógica?

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.

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.

A2A

En primer lugar, la lógica es más que las cosas que mencionaste. Segundo, es esencialmente matemática. Tercero, no conozco ningún programa de licenciatura en el que solo puedas estudiar lógica. La lógica (matemática) generalmente se estudia (lo suficientemente exhaustiva como para permitirle escribir su tesis / papel de BA / Sc. Y luego su tesis de maestría / maestría) en departamentos de filosofía o matemáticos.


Ahora, a tu pregunta.

Depende de dónde estudies lógica.

Estudio lógica en un departamento de filosofía de MSU (Moscú, Rusia, no Massachusetts) y, francamente, es uno de los mejores programas en Europa: estudiamos teoría de la prueba, lógica clásica y modal (no sé por qué es un curso distinto), así como la historia de la lógica y la lógica no clásica, la semántica (en realidad, los fundamentos filosóficos de la lógica con un poco de análisis de habilidades expresivas) y cada curso dura un año. También tenemos un curso básico de lógica de año y medio para todos los estudiantes. Sin embargo, hay algunos problemas: después de estudiar un año o dos, apenas comprenderá otros cursos (que no tienen nada que ver con la lógica, porque son filosóficos). Otro problema es que tengo que estudiar todas las matemáticas que necesito (principalmente la teoría de conjuntos y el álgebra) por mi cuenta, lo que no es tan efectivo. Otra forma de resolver el problema es visitar las conferencias en el departamento de matemáticas, lo cual es un poco complicado ya que en su mayoría son al mismo tiempo cuando tenemos algunas clases.

Por otro lado, toda la facultad está bajo la impresión (incorrecta) de que realmente nos esforzamos mucho (bueno, a veces es cierto, pero es bastante subjetivo, y siempre me ha sido más fácil probar un teorema que comprender qué habitus es) para que no nos molesten tanto como a los estudiantes que estudian algo como historia de la filosofía o la estética. Y, por supuesto, estudiar lógica en un departamento de filosofía te permite ser condescendiente con tus compañeros de estudios, por ejemplo, de ética, porque estudias algo “científico” que no entienden en absoluto.

En cuanto a los trabajos del curso, uno es absolutamente libre en su tema, desde la historia o los fundamentos filosóficos hasta la lógica cuántica y algebraica (incluso hubo un tipo que escribió su proyecto de diploma sobre lógica difusa en sistemas expertos). Así que realmente puedes estudiar lo que quieras, aunque necesitas mucho tiempo porque no lo tienes en tus conferencias (recuerda, obtendré una licenciatura en filosofía).


Como tenía un período en el extranjero, me di cuenta de que es realmente más fácil estudiar lógica en un departamento de matemáticas: no necesitará estudiar matemáticas usted mismo y no tendrá clases de filosofía tontas que no ayudan en absoluto.

Sin embargo, casi no hay posibilidad de que estudies algo excepto la lógica matemática (que, por supuesto, es un tema bastante amplio). Es casi seguro que no leerás Quine, Carnap o Frege (porque sus obras son filosóficas más que matemáticas). Las posibilidades de que estudies algo de lógica no clásica (excepto, tal vez una intuitiva) antes de la graduación tampoco son tan altas.


Asi que. ¿Vale la pena estudiar lógica? Sí. Si tiene éxito, será una persona muy completa con un título en artes liberales y un conocimiento profundo de algunas ramas de las matemáticas o matemático que conoce muy bien la lógica.

Buena suerte. Espero que ayude.

Quizás esto sea lo mismo en muchos campos, pero el estudio de alto nivel y la investigación en lógica a menudo son muy diferentes del tipo de cosas que uno aprende en los cursos introductorios o incluso en la mayoría de los cursos de lógica de pregrado.

Gran parte de lo que aprende como estudiante universitario gira en torno a trabajar dentro de sistemas lógicos, es decir, usar un sistema lógico como la lógica proposicional o la lógica de primer orden para mostrar cómo uno se mueve de un conjunto de fórmulas a (por ejemplo) conclusiones válidas. Las derivaciones formales como esta son interesantes e incluso divertidas, pero la investigación real en lógica rara vez involucra este tipo de trabajo.

En cambio, los lógicos profesionales suelen estar interesados ​​en las propiedades de los propios sistemas y en explorar el uso de estos sistemas para modelar otros fenómenos. Ahora, especialmente cuando se prueban metateoremas (pruebas sobre sistemas lógicos), muchas de las primeras herramientas aprendidas son esenciales, pero las cosas a menudo pueden ser mucho más complejas e incluso menos claras o ciertas.

Dicho todo esto, esto hace que el estudio de la lógica sea aún más interesante y aún más divertido. Desde mi propia experiencia en el lado filosófico de la disciplina, puedo decir que el estudio de la lógica ha sido inmensamente gratificante y no estoy seguro de que en más de 20 años de conocer y discutir la lógica con otros investigadores, realmente haya conocido a un infeliz o lógico no cumplido. Ciertamente, para aquellos que obtienen puestos académicos, nadie desearía haber hecho otra cosa.

Por supuesto, hay una gran advertencia para todo esto … No todos obtienen trabajos y no todos continúan en la disciplina. Es mucho trabajo y, como cualquier programa de posgrado, implica años de sacrificio, relativo aislamiento y bajos salarios. Si bien la práctica de los lógicos puede ser un grupo alegre, los estudiantes de posgrado (en cualquier campo) suelen ser otra historia. Y las cosas se ven continuamente peor para el mercado laboral.

El mejor consejo que podría darle a una persona realmente interesada en estudiar lógica como un enfoque de pregrado (matemática / filosofía) o como un estudiante graduado es NO poner todas tus esperanzas en conseguir un trabajo de investigación en una universidad importante. Puede suceder, pero probablemente no lo hará. Es posible que nunca obtenga un trabajo de enseñanza en absoluto. Pero la lógica es un gran campo para mantenerse diverso y mantener abiertas las opciones. Como lógico, debería estar aprendiendo lenguajes de programación de todos modos, e incluso si es la persona con una mentalidad más filosófica, estudiar lógica debería permitirle adquirir habilidades que podrían ser útiles en TI, desarrollo de software o cualquier otra cosa. . Incluso si nunca vas más allá de la licenciatura, esto sigue siendo cierto.

Comencé un curso de lógica, pero lo dejé cerca del final porque tenía que ir y hacer otras cosas en ese momento, como finalmente me di cuenta. Tuve que establecer un negocio en línea, de hecho. Anteriormente había tomado cursos individuales sobre lógica (¡creo que probablemente!) Como parte del estudio de la ciencia en general.

La lógica en general es realmente divertida, pero puede volverse impenetrable a menos que se enseñe realmente bien. Tal vez eso sea cierto para todo. La lógica proposicional está bien; Los teoremas de Gödel son fascinantes. La teoría de conjuntos es una rama de la lógica que también estudié, y también es fascinante. Tienes la sensación con estas cosas de que estás estudiando las cosas más fundamentales posibles, fuera de la física.

El álgebra abstracta también es un tema conectado y muy interesante, aunque admito que me perdí un poco en ese curso, teniendo otras cosas en mente y nunca antes haber estado expuesto a él.

Luego está el tema de cómo nuestras ideas ordinarias se traducen en lógica, que ha sido estudiado por Quine y muchos otros. Esto se vuelve un poco más “lanoso”, pero el problema tiene más que ver con que nadie sepa completamente las respuestas correctas en lugar de ser inherentemente lanoso.

Si obtuvieras un título completo en lógica, creo que estarías expuesto a un conjunto rico, variado e interesante de ideas, con muchos usos prácticos en informática e inteligencia artificial, y con un trasfondo histórico bastante fascinante.

Seguramente debe ser la máxima ambición secreta de cualquier físico teórico dividir la física en lógica, establecer teoría y álgebra abstracta, pero si alguien lo hará o no es otra cuestión …

Es gratificante y agradable. La lógica es fundamental para todas las disciplinas, ya sea que se formulen explícitamente o no. Es útil en académicos formales y razonamiento cotidiano. Estudiar la lógica primero como sujeto y luego ver su sensibilidad todo el tiempo es muy prometedor. Te hace sentir estable y confiable dentro del razonamiento. La lógica robusta utilizada para adquirir conocimiento es muy valiosa, ya que gradualmente acumula hechos y explicaciones, que son todos consistentes. La lógica superior es la base para un excelente conocimiento.