Resultados 1 al 9 de 9

Hilo: Sobre las leyes físicas y el lenguaje matemático

  1. #1
    Registro
    Nov 2014
    Posts
    172
    Nivel
    Sin estudios
    ¡Gracias!
    3 (3 msgs.)

    Predeterminado Sobre las leyes físicas y el lenguaje matemático

    ¿Consideráis que los lenguajes de primer orden son los adecuados para presentar las leyes científicas, quizá no haya una ley que necesite un metalenguaje por encima del lenguaje del primer orden para ser enunciada, y en qué lógica se basa el lenguaje natural?

  2. #2
    Registro
    Nov 2011
    Ubicación
    Barcelona
    Posts
    1 839
    Nivel
    Universidad (Matemáticas)
    Artículos de blog
    6
    ¡Gracias!
    996 (861 msgs.)

    Predeterminado Re: Sobre las leyes físicas y el lenguaje matemático

    Cita Escrito por Everett IV Ver mensaje
    ¿Consideráis que los lenguajes de primer orden son los adecuados para presentar las leyes científicas, quizá no haya una ley que necesite un metalenguaje por encima del lenguaje del primer orden para ser enunciada, y en qué lógica se basa el lenguaje natural?
    Hombre los lenguajes de primer orden se bastan para hacer física y la mayoría de matemáticas (análisis, geometría y álgebra que es lo que más usa la física). Si existe alguna ley que necesita otro lenguaje (que creo que es improbable, al menos yo no conozco ninguna) pues no creo que haya mucho problema en tratarla. Sobre la lógica del los lenguajes naturales realmente no se basan en ninguna. Piensa que hay una dificultad intrínseca a los lenguajes naturales y es que se pueden contradecir. Hay frases que se pueden formalizar y otras que no.
    Última edición por Weip; 02/10/2015 a las 11:33:08.
    \dst\oint_S \vec{E} \cdot \dd \vec{S}=\dst\frac{Q}{\epsilon_0}

  3. El siguiente usuario da las gracias a Weip por este mensaje tan útil:

    Everett IV (02/10/2015)

  4. #3
    Registro
    Nov 2014
    Posts
    172
    Nivel
    Sin estudios
    ¡Gracias!
    3 (3 msgs.)

    Predeterminado Re: Sobre las leyes físicas y el lenguaje matemático

    Se me ha encendido la bombilla, a ver si lo que digo os parece coherente: Creo que el lenguaje natural asocia frases a situaciones y objetos concretos, y así vamos aprendiendo el uso de las palabras. Y por eso podemos relacionar el lenguaje con la experiencia y es más rico que un lenguaje de primer orden precisamente por eso. Los numeros finitos metamatemáticamente (los números estándar), los aprendemos cuando aprendemos a contar, y el modelo estándar es el modelo mínimo de PA porque no necesitamos numeros metamatemáticamente infinitos (números no estándar) para poder hacer a cualquier número el añadirle uno. No creo que sean necesarias más lógicas que las de primer orden. El teorema de Gödel habla de lenguajes abstractos, a los cuales no les atribuimos significados, pero en el lenguaje natural , si podemos hacerlo, quizá sea eso la metamatemática
    Última edición por Everett IV; 02/10/2015 a las 14:56:28.

  5. #4
    Registro
    Nov 2011
    Ubicación
    Barcelona
    Posts
    1 839
    Nivel
    Universidad (Matemáticas)
    Artículos de blog
    6
    ¡Gracias!
    996 (861 msgs.)

    Predeterminado Re: Sobre las leyes físicas y el lenguaje matemático

    Cita Escrito por Everett IV Ver mensaje
    Y por eso podemos relacionar el lenguaje con la experiencia y es más rico que un lenguaje de primer orden precisamente por eso.
    Que tengamos ideas asociadas a la experiencia con un lenguaje natural no significa que sea más rico que un lenguaje formal de primer orden. Como ya te he dicho los lenguajes naturales son contradictorios y hay frases que se pueden formalizar en la teoría de conjuntos y otras que no. Desde este punto de vista un lenguaje natural en su conjunto es poco útil. Lo que resulta de desechar aquellas combinaciones indeseables es lo que usamos para argumentar en ciencia.

    Cita Escrito por Everett IV Ver mensaje
    El teorema de Gödel
    En este contexto hay muchos teoremas con el nombre de Gödel así que si no lo aclaras pues no sé a qué teorema te refieres.

    Cita Escrito por Everett IV Ver mensaje
    quizá sea eso la metamatemática
    Creo que es más corto y claro decir que la metamatemática se encarga de fundamentar las matemáticas.

    Espero haberte ayudado.
    \dst\oint_S \vec{E} \cdot \dd \vec{S}=\dst\frac{Q}{\epsilon_0}

  6. El siguiente usuario da las gracias a Weip por este mensaje tan útil:

    Everett IV (03/10/2015)

  7. #5
    Registro
    Nov 2014
    Posts
    172
    Nivel
    Sin estudios
    ¡Gracias!
    3 (3 msgs.)

    Predeterminado Re: Sobre las leyes físicas y el lenguaje matemático

    Me refería al teorema de completitud sobre el sistema deductivo de primer orden de Gödel

  8. #6
    Registro
    Feb 2014
    Posts
    63
    Nivel
    Secundaria
    ¡Gracias!
    4 (4 msgs.)

    Predeterminado Re: Sobre las leyes físicas y el lenguaje matemático

    La lógica de segundo orden resulta necesaria en ciertas situaciones, por ejemplo, para formular el quinto axioma de Peano.
    Las utopías del presente, serán la realidad del mañana.

  9. #7
    Registro
    Nov 2011
    Ubicación
    Barcelona
    Posts
    1 839
    Nivel
    Universidad (Matemáticas)
    Artículos de blog
    6
    ¡Gracias!
    996 (861 msgs.)

    Predeterminado Re: Sobre las leyes físicas y el lenguaje matemático

    Cita Escrito por FeynmanDLuis Ver mensaje
    La lógica de segundo orden resulta necesaria en ciertas situaciones, por ejemplo, para formular el quinto axioma de Peano.
    No la necesitas para ningún axioma de Peano. La Aritmética de Peano se puede estudiar en el marco de la lógica de segundo orden, pero también la puedes definir en la lógica de primer orden sin problema alguno. Con quinto axioma supongo que te refieres al principio de inducción. Las numeraciones cambian un poco dependiendo del texto, por eso pregunto. Si es a esto a lo que te refieres entonces se puede formular de la siguiente forma: \psi(0)\wedge \bigwedge x(\psi(x) \to \psi(x'))\to \bigwedge x\psi(x). Mientras no cuantifiques sobre relaciones y esas cosas pues no hay problema.

    Finalmente aclarar que yo estaba hablando en el contexto de la física. La lógica afecta de forma muy muy indirecta a las ciencias naturales pero bueno Everett IV lo ha preguntado.
    Última edición por Weip; 05/10/2015 a las 18:14:52.
    \dst\oint_S \vec{E} \cdot \dd \vec{S}=\dst\frac{Q}{\epsilon_0}

  10. El siguiente usuario da las gracias a Weip por este mensaje tan útil:

    Everett IV (06/10/2015)

  11. #8
    Registro
    Nov 2014
    Posts
    172
    Nivel
    Sin estudios
    ¡Gracias!
    3 (3 msgs.)

    Predeterminado Re: Sobre las leyes físicas y el lenguaje matemático

    Creo que las lógicas de orden mayor que uno se pueden sustituir (en el sentido metamatemático de isomorfismo) por una teoría de conjuntos, entendiendo una teoría de conjuntos como una teoría de primer orden con una relación de pertenencia con una relación de pertenencia\in a definir en los axiomas y una relación de igualdad = de que si a una colección de elementos pertenece a 2 conjuntos y ningún elemento más pertenece a ellos, entonces los conjuntos son iguales

  12. #9
    Registro
    Nov 2011
    Ubicación
    Barcelona
    Posts
    1 839
    Nivel
    Universidad (Matemáticas)
    Artículos de blog
    6
    ¡Gracias!
    996 (861 msgs.)

    Predeterminado Re: Sobre las leyes físicas y el lenguaje matemático

    Cita Escrito por Everett IV Ver mensaje
    Creo que las lógicas de orden mayor que uno se pueden sustituir (en el sentido metamatemático de isomorfismo) por una teoría de conjuntos, entendiendo una teoría de conjuntos como una teoría de primer orden con una relación de pertenencia con una relación de pertenencia\in a definir en los axiomas y una relación de igualdad = de que si a una colección de elementos pertenece a 2 conjuntos y ningún elemento más pertenece a ellos, entonces los conjuntos son iguales
    Tampoco es que sepa mucho de lógica pero creo que una equivalencia no la puedes lograr metamatemáticamente porque para definir una teoría de conjuntos necesitas definir antes el concepto de teoría axiomática en el contexto de la lógica. Si defines teoría axiomática dentro de la teoría de conjuntos (que es axiomática) tienes un pez que se muerde la cola. Además hay teorías de conjuntos no equivalentes entre sí y habrá algunas que no podrás definir en la que tu elijas. Por ejemplo en ZF no puedes definir NBG porque no tienes clases propias. En cambio en el marco de la lógica puedes definir las dos.
    Última edición por Weip; 06/10/2015 a las 18:11:46.
    \dst\oint_S \vec{E} \cdot \dd \vec{S}=\dst\frac{Q}{\epsilon_0}

Información del hilo

Usuarios viendo este hilo

Ahora hay 1 usuarios viendo este hilo. (0 miembros y 1 visitantes)

Hilos similares

  1. Divulgación Leyes físicas de un universo ficticio
    Por Soy un lego en foro Física avanzada
    Respuestas: 4
    Último mensaje: 02/12/2014, 08:34:33
  2. 1r ciclo Problema traducción lenguaje matemático
    Por Uranio en foro Cálculo
    Respuestas: 2
    Último mensaje: 27/03/2011, 17:40:14

Etiquetas para este hilo

Permisos de publicación

  • No puedes crear hilos
  • No puedes responder
  • No puedes adjuntar archivos
  • No puedes editar tus mensajes
  •