000 | 01297nab a22001454a 4500 | ||
---|---|---|---|
008 | 171005|2017|||||||||||||||||||00|0|spa|d | ||
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
100 | 1 | _aCastro Manzano, J. Martín. | |
245 | 1 | 0 |
_aRe(dis)covering Leibniz"s diagrammatic logic / _c J. Martín Castro Manzano |
520 | _aEn este artículo recuperamos la lógica diagramática lineal de Leibniz para la silogística y descubrimos sus propiedades lógicas y computacionales a través de una aproximación formal en términos metalógicos, lo cual es algo que, hasta donde sabemos, a{ldbltil}n falta por hacerse. Así, en esta contribución buscamos, respectivamente, dos metas, una histórica y una lógica: i) prestar más atención a los aspectos algorítmicos del sistema diagramático lineal de Leibniz para la silogística, de los cuales creemos que han sido desdeñados por un prejuicio general en contra del razonamiento diagramático; y ii) probar propiedades metalógicas del sistema para argumentar que es un sistema lógico bona fide. | ||
580 | _aEn: Tópicos : Revista de Filosofía. - No. 52 (Ene /Jun 2017), p. 89-116. | ||
590 | _aPara consulta en Hemeroteca de la Biblioteca Universitaria "Raúl Rangel Frías". | ||
773 | 0 |
_7unas _tTópicos : revista de filosofía |
|
942 | _c13 | ||
999 |
_c423425 _d423425 |