Contido principal do artigo

John Corcoran
State University of New York
Estados Unidos
Gabriel Garduño-Soto
Universidad Nacional Autónoma de México
México
http://orcid.org/0000-0002-1235-862X
Biografía
Vol 39 No 1 (2020), Traducións
Recibido: 19-02-2019 Aceptado: 15-07-2019 Publicado: 09-12-2019
Copyright Como citar

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.

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.