La legitimidad del cultivo de la lógica aristotélica fue cuestionado en el siglo XX. Como resultado, actualmente la pregunta de si debe ser sustituida o restituida permanece sin respuesta, a pesar de que al mismo tiempo ha habido nuevos resultados que manifiestan que se trata de una teoría con perspectiva de desarrollo interno, con independencia de lo que establece la lógica matemática. En este artículo restauramos su unidad interna, perspectivas de desarrollo e independencia, a través del uso de tres axiomas (...) o reglas que permiten incorporar términos indefinidos en la silogística clásica, categórica e hipotética, lo cual le otorga una expresividad comparable a la lógica de primer orden de predicado monádico. (shrink)

With this volume of the series Logic, Epistemology, and the Unity of Science edited by S. Rahman et al. a challenging dialogue is being continued. The series’ first volume argued that one way to recover the connections between logic, philosophy of sciences, and sciences is to acknowledge the host of alternative logics which are currently being developed. The present volume focuses on four key themes. First of all, several chapters unpack the connection between knowledge and epistemology with particular focus on (...) the notion of knowledge as resulting from interaction. Secondly, new epistemological perspectives on linguistics, the foundations of mathematics and logic, physics, biology and law are a subject of analysis. Thirdly, several chapters are dedicated to a discussion of Constructive Type Theory and more generally of the proof-theoretical notion of meaning.Finally, the book brings together studies on the epistemic role of abduction and argumentation theory, both linked to non-monotonic approaches to the dynamics of knowledge. (shrink)

This paper presents a restructured set of axioms for categorical logic. In virtue of it, the syllogistic with indefinite terms is deduced and proved, within the categorical logic boundaries. As a result, the number of all the conclusive syllogisms is deduced through a simple and axiomatic methodology. Moreover, the distinction between immediate and mediate inferences disappears, which reinstitutes the unity of Aristotelian logic.