Un refinamiento del concepto de sistema axiomático
Fuente:
Redalyc
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artículo científico |
| Lingua: | es |
| Pubblicazione: |
Universidad Autónoma Metropolitana
2004
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1876483408973004800 |
|---|---|
| author | José Alfredo Amor |
| author_facet | José Alfredo Amor |
| contents | Un refinamiento del concepto de sistema axiomático José Alfredo Amor Filosofía AXIOMA SINTAXIS SEMÁNTICA DERIVACIÓN FORMAL REGLA DE INFERENCIA El objetivo de este artículo es presentar una concepción y formulación particular de losconceptos de derivación formal y de sistema axiomático, que no son ortodoxos, sin embargo,pertenecen a la lógica clásica. En particular, propongo que la definición de derivación formal incluyala posibilidad de establecer restricciones a la aplicación de las reglas de inferencia y que dichadefinición modificada de derivación formal, forme parte de la definición misma de sistema axiomático.Esta nueva formulación mejora la noción sintáctica de derivación formal en sistemas axiomáticos,en el sentido de lograr mejor su adecuación con la noción semántica de consecuencia lógica. 2004 artículo científico 1665-1324 https://www.redalyc.org/articulo.oa?id=34301106 es http://www.redalyc.org/revista.oa?id=343 Signos Filosóficos application/pdf Universidad Autónoma Metropolitana Signos Filosóficos (México) Num.11 Vol.VI |
| format | Artículo científico |
| id | redalyc_34301106 |
| institution | Redalyc |
| language | es |
| publishDate | 2004 |
| publisher | Universidad Autónoma Metropolitana |
| spellingShingle | Un refinamiento del concepto de sistema axiomático José Alfredo Amor Filosofía AXIOMA SINTAXIS SEMÁNTICA DERIVACIÓN FORMAL REGLA DE INFERENCIA Un refinamiento del concepto de sistema axiomático José Alfredo Amor Filosofía AXIOMA SINTAXIS SEMÁNTICA DERIVACIÓN FORMAL REGLA DE INFERENCIA El objetivo de este artículo es presentar una concepción y formulación particular de losconceptos de derivación formal y de sistema axiomático, que no son ortodoxos, sin embargo,pertenecen a la lógica clásica. En particular, propongo que la definición de derivación formal incluyala posibilidad de establecer restricciones a la aplicación de las reglas de inferencia y que dichadefinición modificada de derivación formal, forme parte de la definición misma de sistema axiomático.Esta nueva formulación mejora la noción sintáctica de derivación formal en sistemas axiomáticos,en el sentido de lograr mejor su adecuación con la noción semántica de consecuencia lógica. 2004 artículo científico 1665-1324 https://www.redalyc.org/articulo.oa?id=34301106 es http://www.redalyc.org/revista.oa?id=343 Signos Filosóficos application/pdf Universidad Autónoma Metropolitana Signos Filosóficos (México) Num.11 Vol.VI |
| title | Un refinamiento del concepto de sistema axiomático |
| topic | Filosofía AXIOMA SINTAXIS SEMÁNTICA DERIVACIÓN FORMAL REGLA DE INFERENCIA |
| url | https://www.redalyc.org/articulo.oa?id=34301106 |