¿Se considera a los lógicos matemáticos?

Una persona necesita conocer su historia para dar una respuesta precisa.

Tanto la lógica como las matemáticas utilizadas en la civilización occidental se han transmitido a través de la historia en los escritos de los griegos.

Posteriormente, se agregó otra fuente de material, pero principalmente, la base de Western Knowledge se deriva de varias fuentes.

# 1 Matemáticas griegas y geometría

Los # 2 escritos griegos sobre las tres leyes de la lógica y el silogismo categórico se combinaron con los escritos filosóficos griegos.

Ciertos escritos sobre la lógica aristotélica se introdujeron en los catastróficos católicos y, en el segundo cuarto del siglo XII, la totalidad de la “Organización” de Aristóteles estaba disponible para los teólogos cristianos. Los Altos Escolásticos comenzaron a usar la lógica para exponer sus doctrinas teológicas y, como resultado, la lógica aristotélica comenzó a encontrar su camino en el estudio de los fenómenos naturales. Esto fue referido como filosofía natural.

En 1832, cuando los pensadores seculares de Europa comenzaron a expandir sus conocimientos mediante un método disciplinado, lo que se llamó “Filosofía Natural” se separó de los conceptos teológicos y se adoptó la designación Ciencia . La ciencia y su método todavía estaban basados ​​en la lógica aristotélica, pero separados de las doctrinas cristianas.

La pregunta se puede responder de la siguiente manera:

PREGUNTA:

¿Se considera a los lógicos matemáticos?

RESPONDER:

No

Los lógicos solo son considerados como matemáticos cuando emplean la lógica formal para resolver problemas matemáticos.

Los lógicos en dominios distintos de las matemáticas son los filósofos más comúnmente.

Un lógico también puede ser un programador de computadoras.

Un lógico puede ser cualquier persona que tenga conocimiento de las Tres Leyes de la Lógica y cierta familiaridad con su operación en los argumentos.

Responder a la pregunta también depende del grado de precisión que una persona exige de su respuesta.

La conclusión principal es que sería un error concluir que los lógicos son matemáticos, porque muchos lógicos no son matemáticos.

También agregaría, con el propósito de ser útil para aquellos que tienen interés en la lógica, que la lógica formal y sus símbolos que usan los matemáticos, cuando se descubren, a veces son perseguidos por personas interesadas en la lógica, porque piensan que esto es así. Lo que deberían estudiar. Ese no es el caso. La lógica formal y sus símbolos no son necesarios para una persona que busca un conocimiento de la lógica.

Sin embargo, no desalentaría a nadie de examinar la lógica formal y sus símbolos. Un excelente libro sobre el tema es:

“Matemáticas en 10 lecciones; El Gran Tour ”

por Jerry P. King, Ph.D.

Recuerde: solo sería apropiado referirse a un lógico como un “matemático” si el lógico trabaja con problemas matemáticos.

Una vez conocí a un lógico con una cátedra en un departamento de informática, quien afirmó que gran parte de la comunidad de lógica matemática había pasado de los departamentos de matemáticas a los departamentos de informática. Creo que algunos lógicos podrían ser considerados científicos informáticos en lugar de matemáticos. También hay una disciplina conocida como “lógica filosófica”, por lo que sospecho que algunos lógicos serían considerados filósofos en lugar de matemáticos.

No lo sé con certeza, pero sospecharía que la oficina de estadísticas laborales clasificaría a estos lógicos académicos según sus departamentos en lugar de la naturaleza de su trabajo. (Y lo mismo ocurre con los “estadísticos”, por ejemplo). Supongo que habrían considerado al profesor del departamento de informática como un “informático” en ese momento, y habrían considerado a su esposa lógica como “matemática”. ”Porque enseñaba en el departamento de matemáticas.

Personalmente, cuento a los científicos informáticos teóricos que son lógicos como matemáticos que trabajan en lógica matemática, incluso si ese no es su título oficial de trabajo. Pero no creo que todos estén de acuerdo conmigo en eso. Creo que es bastante arbitrario donde se traza la línea entre el tipo de lógica matemática que se hace en los departamentos de matemáticas y el tipo que se hace en los departamentos de informática.

El tipo de lógica que se hace como filosofía y el tipo que se hace como matemáticas son tan diferentes que creo que no suele ser útil agruparlos. (Si vamos a definir el término “lógica”, probablemente deberíamos definirlo para cubrir ambos tipos, pero para la mayoría de los propósitos son diferentes). De vez en cuando uno ve una lógica matemática que es relativamente pesada en la motivación filosófica, pero incluso entonces sigue siendo muy diferente de la lógica filosófica, incluso de la lógica filosófica hecha por los filósofos de las matemáticas. Entonces, si alguien es un “lógico” en virtud de trabajar en lógica filosófica, solo dejarán de contar como un “matemático” porque están haciendo un tipo de trabajo bastante diferente al de un lógico matemático.

Una biblioteca universitaria me hizo tropezar de una manera divertida al tener su colección de matemáticas junto con su colección de “ciencia”, mientras que la lógica matemática se puso con “humanidades”. Realmente pertenecen juntos.

De manera inequívoca, sí. La lógica siempre ha sido parte de las matemáticas.

Clasificación de materias en matemáticas El MSC2010 enumera la lógica (03) como una de las ramas de las matemáticas y los lógicos suelen trabajar en los departamentos de matemáticas.

La Fundación de la División de Ciencias Matemáticas de la Ciencia Nacional enumera “Fundaciones” como uno de sus programas. Esto realmente significa lógica matemática, como muestra la descripción.

NSF – Fundación Nacional de Ciencia

Cuando era lógico, también era matemático, pero conozco a lógicos que son científicos de la computación y lógicos que son filósofos.

No hay una respuesta definitiva, porque la lógica cubre áreas de los tres temas. En general, las personas se identifican con el departamento en el que trabajan, pero esto no siempre es cierto. He conocido a matemáticos que trabajan en el departamento de CS, y viceversa.

La gran mayoría de la gente piensa que las matemáticas están haciendo aritmética, por lo que la respuesta es probablemente No.

Hmmm …

Vamos a ver la clasificación más reciente de Matemáticas, ¿de acuerdo?

http://www.ams.org/msc/pdfs/clas

Llamo su atención a la sección 03-xx. Espero que encuentres tu respuesta allí.