Hay varias preguntas aquí, pero tal vez yo pueda responder a las descritas en el párrafo anterior. Diferentes ocupaciones uso de la lógica en diferentes cantidades.
Probablemente matemáticos, lógicos, el uso de la mayoría, otros matemáticos, algo menos, y algunos otros profesionales, tales como abogados de usar incluso menos, pero todavía más que la persona promedio. Aquí estoy hablando informal razonamiento lógico, que es un modo de pensamiento que ayuda con muchas cosas en la vida.
La lógica matemática y de la lógica formal, por el contrario, son los temas académicos (aunque, por supuesto, tienen alguna relación con el lector lego en la noción de la lógica.)
Ser un matemático lógico es bastante diferente de practicar el pensamiento lógico. La lógica matemática es un gran campo de las matemáticas que incluye la teoría de conjuntos, el modelo de la teoría, la teoría de la recursividad, y la prueba de la teoría. La lógica Formal subyace en todos estos campos, pero una vez que se aprende, se puede proceder a la razón de manera informal casi todo el tiempo como usted puede en otras áreas de las matemáticas.
En resumen, la lógica no es sólo acerca de razonamiento lógico, así como la matemática no es sólo sobre el cálculo numérico. Probablemente la única manera de saber si te gusta la lógica matemática es que se le presentó a algunos de su materia (tal vez alguien va a responder con algunas sugerencias de lectura para usted.)