Aritmética Semántica: un prefacio
Contido principal do artigo
Resumo
La teoría de números, o la aritmética pura, concierne a los números naturales mismos, no a la notación usada, y en particular no a los numerales. La teoría de ristras, o la sintaxis pura, concierne a los numerales como ristras de caracteres «no-interpretados», al margen de los números que puedan denotar cuando son usados. La teoría de los números es puramente aritmética, la teoría de ristras es puramente sintáctica… en tanto se considere el universo del discurso solo. La aritmética semántica es un amplio tema que se inicia cuando se menciona a los numerales (y no solamente sean usados) y éstos se mencionan como nombres de números (no tan sólo como objetos sintácticos). La aritmética semántica da lugar a muchos fascinantes y sorprendentes algoritmos y procesos de decisión; revela en forma vívida el importe experiencial de las proposiciones matemáticas y el poder predictivo del conocimiento matemático; aporta una interesante perspectiva para los estudios filosóficos, históricos y pedagógicos, acerca del crecimiento del conocimiento científico y del papel del discurso metalingüístico en el pensamiento científico.
Palabras chave
Detalles do artigo
Citas
Carnap, Rudolf (1937): The Logical Syntax of Language, London.
Cohen, Morris y Nagel, Ernest (1993): Introduction to Logic, Indianapolis.
Corcoran, John et al. (1974): «String Theory», Journal of Symbolic Logic 39: 625-637. https://doi.org/10.2307/2272846
Corcoran, John (1980): «Categoricity», History and Philosophy of Logic 1: 187-207. https://doi.org/10.1080/01445348008837010
Ore, Oystein (1948): Number Theory and Its History, New York.
Tarski, Alfred (1935): «The Concept of Truth in Formalized Languages», en Tarski 1983.
Tarski, Alfred (1983): Logic, Semantics, Metamathematics, second edition, Indianapolis.