8 votos

Lógica como subconjunto de las matemáticas y las matemáticas como subconjunto de la lógica

¿Lógica de un subconjunto de la matemática o matemáticas un subconjunto de la lógica? Haber oído la opinión anterior, pero ¿existe algún argumento para este último?

9voto

Oli Puntos 89

Lógica matemática es una rama de las matemáticas. Pero la lógica matemática no es de lógica.

Ha habido intentos recurrentes, de Frege a través Russell/Whitehead y otros, para desarrollar las matemáticas dentro de lo pensaban de la lógica. Las tentativas fallaron, nos mudamos.

7voto

Drew Jolesch Puntos 11

[(lógica) $\cap$ (matemáticas) $\neq \varnothing$] $\;\land\;$ [(la lógica)$\setminus$(matemáticas) $\neq \varnothing$] $\;\land\;$ [(matemáticas)$\setminus$ (lógica) $\neq \varnothing$].

Es decir, la intersección de la lógica y de las matemáticas está claro que no es vacío, pero creo que es también el caso de que ni uno completamente abarca (contiene) el otro.

Tenga en cuenta también:
La Lógica matemática es una rama de las matemáticas, y es también de interés para los (algunos) de los filósofos.
Asimismo,
La filosofía de la Matemática es una rama de la Filosofía, que es también de interés para los (algunos) los matemáticos.

4voto

glebovg Puntos 5686

Es realmente al revés. La filosofía es la raíz de todas las Ciencias, incluyendo las matemáticas. Usted puede pensar las matemáticas como una aplicación de la lógica.

1voto

syneticon-dj Puntos 170

También, usted puede pensar las matemáticas y la lógica como subconjuntos de la filosofía de la prueba.

0voto

Tim B. Puntos 151

Yo no soy matemático, pero he aquí mis 2 centavos.

Cualquier matemático de la entidad deben estar en concordancia con la lógica. No hay ni un concepto de matemáticas como "ilógico" theoremes, pruebas, ecuaciones o lo que sea. Cualquier intento de pensar de lo que, digamos, un teorema, que podría parecer, no. Por lo tanto, es natural aceptar que toda la matemática se construye dentro del cuerpo de la lógica.

Sin embargo, no hay manera de definir la lógica sin las matemáticas. I. e. la única forma correcta para designar la lógica, es a través de las matemáticas.

Así, pasa a ser que la matemática es simplemente un tipo de lógica, y esa lógica puede ser utilizado para describir a sí mismo hasta cierto punto. Esto puede muy bien ser observado en gourps y teoría de conjuntos, donde las fronteras entre la lógica y las matemáticas son menos pronunciadas.

En este punto uno podría, naturalmente, llegar a la conclusión de que, a pesar de que el original parece ser una cuestión de sonido, uno tiene que definir qué es la matemática y la lógica.

Lo que podría servir mejor para eso, que un poco de histórico excourse?

Matemáticas surgió de la necesidad natural de los seres humanos. Originalmente fue hecho para mejorar la calidad de vida y la organización. Fue nuestra mente la predestinación de encontrar patrones en el mundo que los rodea, que jugaron un papel clave, y comenzamos a desarrollar. Así fue el producto de la interacción de la mente con el mundo. El producto que hemos convertido en una herramienta.

Finalmente, debido a la naturaleza de la percepción, el replanteamiento ocurrido y en lugar de encontrar patrones en el mundo que los rodea, empezamos a observar patrones en los patrones, a continuación, los patrones en los patrones de los patrones, y así sucesivamente.. matemáticas es el desarrollo y es, esencialmente, un producto de la interacción de la mente con sus anteriores productos de la interacción, con la misma.

La lógica nunca fue diferente. Sin embargo, el término "lógica" se utiliza para describir acciones humanas y de las percepciones, donde la cantidad es de menor valor. También está pensado más accesible para una persona promedio de las matemáticas. La capacidad de "lógico" pensar es una habilidad esencial de una mente sana. En otras palabras, la lógica se considera como "tierra" para el mundo de las cosas materiales y de la percepción cotidiana.

Todo lo que se dice, hay diferentes maneras de utilizar la palabra "lógica". Por ejemplo, hay la lógica Booleana que no tiene gran significado, lejos de las matemáticas. Y en realidad es un álgebra. Así que hay más de un juego de palabras que a una bien definida la diferencia entre las matemáticas y la lógica.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X