Corcoran's aristotelian syllogistic as a subsystem of first-order logic
La silogística aristotélica ha sido formalizada hace ya cierto tiempo por medio de un sistema de deducción natural, llamado D por John Corcoran. En un artículo clásico, Corcoran demuestra un teorema de completitud para dicho sistema. Su demostración involucra el uso de un sistema reducido, llamado R...
- Autores:
- Tipo de recurso:
- Fecha de publicación:
- 2007
- Institución:
- Universidad del Rosario
- Repositorio:
- Repositorio EdocUR - U. Rosario
- Idioma:
- eng
- OAI Identifier:
- oai:repository.urosario.edu.co:10336/24588
- Acceso en línea:
- https://repository.urosario.edu.co/handle/10336/24588
- Palabra clave:
- Silogística
Aristóteles
Corcoran
completitud
minimalidad
subsistemas de primer orden
Syllogistic
Aristotle
Corcoran
completeness
minimality
first-Order Subsystem
- Rights
- License
- Abierto (Texto Completo)
| id |
EDOCUR2_185968739e5ffafc69bef8a021c7ba70 |
|---|---|
| oai_identifier_str |
oai:repository.urosario.edu.co:10336/24588 |
| network_acronym_str |
EDOCUR2 |
| network_name_str |
Repositorio EdocUR - U. Rosario |
| repository_id_str |
|
| spelling |
79949900600915b7dc7-4783-4578-a193-2f370592767a2020-06-11T13:20:49Z2020-06-11T13:20:49Z2007La silogística aristotélica ha sido formalizada hace ya cierto tiempo por medio de un sistema de deducción natural, llamado D por John Corcoran. En un artículo clásico, Corcoran demuestra un teorema de completitud para dicho sistema. Su demostración involucra el uso de un sistema reducido, llamado RD, que es más fácil de manejar y resulta ser equivalente a D. El problema sigue siendo, sin embargo, si RD es de hecho el sistema más sencillo que es equivalente a D. En este artículo responderemos esta pregunta, pero crearemos otras más, al incrustar el sistema RD en la lógica de predicados de primer orden.Aristotelian syllogistic has been formalized for some time now by means of a natural deduction system, called D by John Corcoran. In a classical paper, Corcoran proves a completeness theorem for such a system. His proof involves the use of a reduced system, called RD, that is easier to handle and turns out to be equivalent to D. The question remains, however, whether RD is in fact the easiest such system that is equivalent to D. In this paper we answer this question, but raise some more, by embedding system RD in first-order predicate logic.application/pdfISSN: 0034-7426Revista Colombiana de Matemáaticashttps://repository.urosario.edu.co/handle/10336/24588engUniversidad Nacional de Colombia80No. 167Revista Colombiana de MatemáaticasVol. 41Revista Colombiana de Matemáticas, ISSN:0034-7426, Vol.41, No.1 (2007); pp. 67-80http://www.scielo.org.co/pdf/rcm/v41n1/v41n1a05.pdfhttps://dialnet.unirioja.es/servlet/articulo?codigo=3010710Abierto (Texto Completo)http://purl.org/coar/access_right/c_abf2instname:Universidad del Rosarioreponame:Repositorio Institucional EdocURSilogísticaAristótelesCorcorancompletitudminimalidadsubsistemas de primer ordenSyllogisticAristotleCorcorancompletenessminimalityfirst-Order SubsystemCorcoran's aristotelian syllogistic as a subsystem of first-order logicLa silogística aristotélica de Corcoran como un subsistema de la lógica de primer ordenarticleArtículohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_6501Andrade Lotero, Edgar JoséBECERRA, EDWARDORIGINALv41n1a05.pdfapplication/pdf235377https://repository.urosario.edu.co/bitstreams/a45f5383-2a16-40ac-9e3a-723535b07a3b/downloada99e369b953289aadc75454f158e5de6MD51TEXTv41n1a05.pdf.txtv41n1a05.pdf.txtExtracted texttext/plain31110https://repository.urosario.edu.co/bitstreams/a9f1687f-e987-4fc1-b478-a27cab725845/download14af41e29274fcf9a27ffbbe4c68d616MD52THUMBNAILv41n1a05.pdf.jpgv41n1a05.pdf.jpgGenerated Thumbnailimage/jpeg3031https://repository.urosario.edu.co/bitstreams/44493c2d-7ff5-4d88-b97b-a7436f9959d7/downloada9aaa26224d9146d237645bdd572ad93MD5310336/24588oai:repository.urosario.edu.co:10336/245882021-08-13 18:18:51.59https://repository.urosario.edu.coRepositorio institucional EdocURedocur@urosario.edu.co |
| dc.title.spa.fl_str_mv |
Corcoran's aristotelian syllogistic as a subsystem of first-order logic |
| dc.title.TranslatedTitle.spa.fl_str_mv |
La silogística aristotélica de Corcoran como un subsistema de la lógica de primer orden |
| title |
Corcoran's aristotelian syllogistic as a subsystem of first-order logic |
| spellingShingle |
Corcoran's aristotelian syllogistic as a subsystem of first-order logic Silogística Aristóteles Corcoran completitud minimalidad subsistemas de primer orden Syllogistic Aristotle Corcoran completeness minimality first-Order Subsystem |
| title_short |
Corcoran's aristotelian syllogistic as a subsystem of first-order logic |
| title_full |
Corcoran's aristotelian syllogistic as a subsystem of first-order logic |
| title_fullStr |
Corcoran's aristotelian syllogistic as a subsystem of first-order logic |
| title_full_unstemmed |
Corcoran's aristotelian syllogistic as a subsystem of first-order logic |
| title_sort |
Corcoran's aristotelian syllogistic as a subsystem of first-order logic |
| dc.subject.spa.fl_str_mv |
Silogística Aristóteles Corcoran completitud minimalidad subsistemas de primer orden |
| topic |
Silogística Aristóteles Corcoran completitud minimalidad subsistemas de primer orden Syllogistic Aristotle Corcoran completeness minimality first-Order Subsystem |
| dc.subject.keyword.spa.fl_str_mv |
Syllogistic Aristotle Corcoran completeness minimality first-Order Subsystem |
| description |
La silogística aristotélica ha sido formalizada hace ya cierto tiempo por medio de un sistema de deducción natural, llamado D por John Corcoran. En un artículo clásico, Corcoran demuestra un teorema de completitud para dicho sistema. Su demostración involucra el uso de un sistema reducido, llamado RD, que es más fácil de manejar y resulta ser equivalente a D. El problema sigue siendo, sin embargo, si RD es de hecho el sistema más sencillo que es equivalente a D. En este artículo responderemos esta pregunta, pero crearemos otras más, al incrustar el sistema RD en la lógica de predicados de primer orden. |
| publishDate |
2007 |
| dc.date.created.spa.fl_str_mv |
2007 |
| dc.date.accessioned.none.fl_str_mv |
2020-06-11T13:20:49Z |
| dc.date.available.none.fl_str_mv |
2020-06-11T13:20:49Z |
| dc.type.eng.fl_str_mv |
article |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.spa.spa.fl_str_mv |
Artículo |
| dc.identifier.issn.none.fl_str_mv |
ISSN: 0034-7426 Revista Colombiana de Matemáaticas |
| dc.identifier.uri.none.fl_str_mv |
https://repository.urosario.edu.co/handle/10336/24588 |
| identifier_str_mv |
ISSN: 0034-7426 Revista Colombiana de Matemáaticas |
| url |
https://repository.urosario.edu.co/handle/10336/24588 |
| dc.language.iso.none.fl_str_mv |
eng |
| language |
eng |
| dc.relation.citationEndPage.none.fl_str_mv |
80 |
| dc.relation.citationIssue.none.fl_str_mv |
No. 1 |
| dc.relation.citationStartPage.none.fl_str_mv |
67 |
| dc.relation.citationTitle.none.fl_str_mv |
Revista Colombiana de Matemáaticas |
| dc.relation.citationVolume.none.fl_str_mv |
Vol. 41 |
| dc.relation.ispartof.spa.fl_str_mv |
Revista Colombiana de Matemáticas, ISSN:0034-7426, Vol.41, No.1 (2007); pp. 67-80 |
| dc.relation.uri.none.fl_str_mv |
http://www.scielo.org.co/pdf/rcm/v41n1/v41n1a05.pdf https://dialnet.unirioja.es/servlet/articulo?codigo=3010710 |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.acceso.spa.fl_str_mv |
Abierto (Texto Completo) |
| rights_invalid_str_mv |
Abierto (Texto Completo) http://purl.org/coar/access_right/c_abf2 |
| dc.format.mimetype.none.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad Nacional de Colombia |
| institution |
Universidad del Rosario |
| dc.source.instname.spa.fl_str_mv |
instname:Universidad del Rosario |
| dc.source.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional EdocUR |
| bitstream.url.fl_str_mv |
https://repository.urosario.edu.co/bitstreams/a45f5383-2a16-40ac-9e3a-723535b07a3b/download https://repository.urosario.edu.co/bitstreams/a9f1687f-e987-4fc1-b478-a27cab725845/download https://repository.urosario.edu.co/bitstreams/44493c2d-7ff5-4d88-b97b-a7436f9959d7/download |
| bitstream.checksum.fl_str_mv |
a99e369b953289aadc75454f158e5de6 14af41e29274fcf9a27ffbbe4c68d616 a9aaa26224d9146d237645bdd572ad93 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio institucional EdocUR |
| repository.mail.fl_str_mv |
edocur@urosario.edu.co |
| _version_ |
1814167512336564224 |