| [Visitante (112.0.*.*)]respuestas [Chino ] | Tiempo :2022-07-13 |  (1) Desde Aristóteles en adelante, hasta que Leibniz concibió el establecimiento de un "lenguaje universal" (es decir, el lenguaje formal), que más tarde fue completado por Frege. El estudio de la lógica durante este período estuvo dominado por el lenguaje semi-formal.
(2) Los estudios posteriores de Frege sobre la lógica utilizan lenguajes formales. De esto se deduce que el desarrollo de la lógica puede considerarse en gran medida una actualización y extensión del lenguaje lógico.
(3) Antes del comienzo del siglo 20, China no había sido capaz de usar letras para representar variables, ni podían las letras para representar conceptos. Esto no solo obstaculizó el desarrollo de las matemáticas en China, sino que también obstaculizó el surgimiento de la lógica en China. Entonces, antes de principios del siglo 20, China no tenía lógica. La lógica aquí se refiere tanto a la lógica en el sentido de Aristóteles como a la lógica en el sentido de Leibniz.
(4) El lenguaje lógico establecido anteriormente se considera uno de los dos pilares del estudio de la lógica, y el desarrollo de la lógica se considera en gran medida como una extensión del lenguaje utilizado en la lógica. Y este lenguaje lógico en constante expansión proporciona una herramienta más poderosa para el pensamiento y el razonamiento de las personas. Por lo tanto, desde el punto de vista del desarrollo del lenguaje, el desarrollo de la lógica en el siglo 21 todavía depende del desarrollo del lenguaje lógico. Es decir, para que la lógica se desarrolle en el siglo 21, en primer lugar, el lenguaje utilizado en la lógica debe ser estudiado. Sin embargo, si este desarrollo todavía se basa en los lenguajes formales existentes es una pregunta importante que debe ser estudiada más a fondo por los investigadores de lógica..Por ejemplo, si el significado de "formalización" en el futuro sigue siendo el contenido de la tercera parte de nuestro artículo, etc., estas preguntas deben ser estudiadas profundamente por los trabajadores de la lógica en el siglo 21... |
|
