¿Qué tan matemática es la lógica matemática?
Fuente:
Redalyc
Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Universidad Nacional Autónoma de México
2003
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1876475561952411648 |
|---|---|
| author | AXEL A. BARCELÓ ASPEITIA |
| author_facet | AXEL A. BARCELÓ ASPEITIA |
| contents | ¿Qué tan matemática es la lógica matemática? AXEL A. BARCELÓ ASPEITIA Filosofía Formal análisis lógica formal lógica simbólica La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea —tanto en su simbolismo como en su cálculo— se crearon originalmente para el desarrollo algebraico de la geometría, y luego fueron adaptadas al resto de las matemáticas y la lógica. A estas herramientas se les llama formales, pues permiten el cálculo con formas generales. 2003 artículo científico 0185-2450 https://www.redalyc.org/articulo.oa?id=58405101 es http://www.redalyc.org/revista.oa?id=584 Diánoia application/pdf Universidad Nacional Autónoma de México Diánoia (México) Num.51 Vol.XLVIII |
| format | Artículo científico |
| id | redalyc_58405101 |
| institution | Redalyc |
| language | es |
| publishDate | 2003 |
| publisher | Universidad Nacional Autónoma de México |
| spellingShingle | ¿Qué tan matemática es la lógica matemática? AXEL A. BARCELÓ ASPEITIA Filosofía Formal análisis lógica formal lógica simbólica ¿Qué tan matemática es la lógica matemática? AXEL A. BARCELÓ ASPEITIA Filosofía Formal análisis lógica formal lógica simbólica La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea —tanto en su simbolismo como en su cálculo— se crearon originalmente para el desarrollo algebraico de la geometría, y luego fueron adaptadas al resto de las matemáticas y la lógica. A estas herramientas se les llama formales, pues permiten el cálculo con formas generales. 2003 artículo científico 0185-2450 https://www.redalyc.org/articulo.oa?id=58405101 es http://www.redalyc.org/revista.oa?id=584 Diánoia application/pdf Universidad Nacional Autónoma de México Diánoia (México) Num.51 Vol.XLVIII |
| title | ¿Qué tan matemática es la lógica matemática? |
| topic | Filosofía Formal análisis lógica formal lógica simbólica |
| url | https://www.redalyc.org/articulo.oa?id=58405101 |