Following Quine [] and others we take deductions to produce knowledge of implications: a person gains knowledge that a given premise-set implies a given conclusion by deducing—producing a deduction of—the conclusion from those premises. How does this happen? How does a person recognize their desire for that knowledge of a certain implication, or that they lack it? How do they produce a suitable deduction? And most importantly, how does their production of that deduction provide them with knowledge of the implication. (...) What experienceable sign reveals to the reasoner that they achieved the desired knowledge? If a deduction is an array of inscriptions constructed by following syntactical—mechanical, machine-performable—rules as suggested by Tarski, Carnap, Church, and others, the epistemic question becomes even more pressing and more challenging. Moreover, deduction, the ability to produce deductions and to recognize them when produced, is operational knowledge that presupposes other component operations such as recognizing characters, making assumptions, inferring conclusions from premises, chaining inferences [AL]. (shrink)

Proceeding of the work in trivalent logic developped under the direction of the professor Hugo Padilla Chacón at the 90's at the National Autonome University of México. Program in RLisp.

Proceeding on the Automatic Deduction System developped at the Philosophy Faculty of the UNAM at Mexico City. (Deduktor Mexican Group of Logics work under the direction of the professor Hugo Padilla Chacón). Conference presented at the mexican City of Guadalajara at the Universidad de Guadalajara, Jalisco, by invitation of the latinoamerican association of philosophy SOPHIA. Early stage of the deductional systems at 2-valued logic. This work embodies the implementation of the first whole and standalone arithmetization of bivalent Logic, the theoretical (...) framework of Hugo Padilla Chacón published in 1984. (shrink)

Proceeding of the first public presentation of the work of the mexican logical group "Deduktor" under the direction of the mexican professor Hugo Padilla Chacón. This work was in fact the first whole and stand alone arithmetization of logics.

Resumen El presente trabajo aborda el entramado de condiciones en virtud de las cuales Kant muestra la posibilidad del conocimiento objetivo; esto es, la posibilidad de la ciencia, en tanto estructura trascendental cuya articulación, referida a la apercepción, convierte a ésta última en clave para descifrar(describir) los límites del entendimiento. En este sentido, se muestra el significado de la apercepción trascendental para interpretar la filosofía de Kant en términos de una filosofía de la posibilidad, en la que el tema de (...) lo ente es desbordado en el ámbito de lo trascendental. -/- Abstract The present work addresses the network of conditions through which Kant weighs up the possibility of the objective knowledge; i.e., the possibility of science considered as a transcendental structure (whose referred articulation to apperception turns it onto a key for deciphering the limits of understanding). According to this, the meaning of the transcendental apperception for understanding Kant’s philosophy of possibility is shown, while the issue of entity is overwhelmed at the realm of the transcendental. (shrink)

La lógica es para Husserl una ciencia de la ciencia, una ciencia de lo que todas las ciencias tienen en común respecto de sus modos de validación. De este modo, la lógica trata por un lado con leyes universales relacionadas con la verdad, la deducción, la verificación y la falsación; y, por otro lado, con leyes relacionadas con la teoría como tal, y con lo que produce la unidad teorética. Ambos tipos de leyes se refieren por una parte a (...) las proposiciones de una teoría y por otra parte al dominio de objetos al que esas proposiciones se refieren. Este ensayo presenta una perspectiva sistemática del punto de vista husserliano sobre estos temas tal como él lo expone en sus Investigaciones Lógicas. Se muestra la manera en que su teoría de los significados lingüísticos en tanto especies de actos mentales, su ontología formal de la parte, el todo y la dependencia, su teoría de las categorías significativas, y su teoría de la intuición categorial combinada con su teoría de la ciencia conforman un todo singular. Finalmente, este trabajo explora la forma en que las ideas de Husserl sobre estos temas pueden ser reactivadas para resolver problemas en la filosofía del lenguaje, la lógica y la matemática de un modo que haga justicia al rol de la actividad mental en cada uno de estos dominios, evitando al mismo tiempo caer en los problemas del psicologismo. (shrink)

El método axiomático estilo Hilbert es reconocido por la mayoría de los lógicos como un cálculo de gran dificultad, de aquí que uno de los primeros objetivos que se plantean es dar una prueba del teorema de la deducción para facilitar las derivaciones consecuentes, sin embargo, esto modifica la estructura de las derivaciones naturalizándolas. En el presente trabajo se brindarán definiciones de "axioma" y "corolario" con el fin de simplificar las derivaciones y aprehender el funcionamiento del cálculo sin modificar (...) la estructura de la prueba. Palabras clave: Método axiomático - Esquema - Axioma – Corolario – Teoría de la prueba. (shrink)

La respuesta que demos a la problemática del nominalismo en la obra de Baruch Spinoza determina en forma decisiva las posibilidades de responder satisfactoriamente a la pregunta por la naturaleza humana. Dictaminar (junto con numerosos intérpretes contemporáneos) que el spinozismo se construye sin concesiones sobre principios nominalistas, implica sustraer todo fundamento ontológico a las consideraciones acerca de la natura humana, piedra de toque de la deducción spinozista de los afectos y de las estrategias terapéuticas que señalan el camino hacia (...) la beatitudo. Nuestra intención, por el contrario, consistirá en señalar el componente necesariamente universal que subyace bajo la psicología spinozista, para lo cual habremos de señalar ciertos aspectos centrales en cuanto a la problemática de los géneros de conocimiento, así como respecto de la teoría spinozista de la definición. (shrink)

El punto de partida del calculus universalis leibniziano es la teoría aristotélica del silogismo, pero Leibniz se independiza de las ideas de Aristóteles para desarrollar su propio sistema lógico, mucho más general, aplicando el instrumento combinatorio a la silogística. Lo que propone es una importante modificación del modelo demostrativo axiomático, mediante la creación de cálculos lógico-simbólicos que no se limitan a los ámbitos tradicionales de la deducción, sino que admiten procedimientos discursivos más complejos que los de la lógica clásica, (...) ampliando con ello la noción de racionalidad. (shrink)

Resumen: En este trabajo examino la concepción hegeliana del límite intentando clarificar sus principales características.Comienzo ubicando la filosofía hegeliana en el contexto filosófico más general del idealismo alemán, entendiendoeste movimiento como aquel comprometido en el proyecto de proporcionar una deducción trascendental de loabsoluto. Dado este contexto, procedo a examinar las críticas de Hegel a a la filosofía de Kant, principalmente en la“introducción a la Fenomenología del espíritu . El artículo concluye evaluando la adecuación de la elucidación deltratamiento hegeliano del (...) problema del límite mostrando como esta noción funciona en la interpretación del tratamiento hegeliano de la certeza sensorial en la fenomenología. -/- The problem of limit according to Hegel. In this paper I focus Hegelian conception of limit trying to clarify its main features. I begin locating Hegel’s philosophy in the broader philosophical context of German Idealism, understanding it as the intellectual movementconcerned with the project of providing a transcendental deduction of the Absolute. Having this as a background, Iexamine Hegelian critique of Kantian philosophy, mainly in the “Introduction” of Phenomenology of Spirit, and I conclude the paper testing the way I elucidated the problem of limit in this paper showing how this notion can beused to interpret the treatment of “sense certainty” in Hegel’s Phenomenology of Spirit. (shrink)

El artículo tiene como objetivo describir las competencias informacionales a desarrollar durante la formación profesional. Se presenta los referentes teóricos a partir del empleo de un enfoque de sistema que supone el análisis y la síntesis, la inducción y la deducción como métodos de investigación, con el propósito de dar conocer los hitos en las universidades y organizaciones internacionales relacionadas. La modelación fue empleada para la construcción de un nuevo proyecto de desarrollo de competencias informacionales desde la perspectiva de (...) la formación profesional universitaria ajustada a las necesidades de la educación superior en Cuba. El nuevo proyecto se configura en tres unidades básicas (acceso, procesamiento y comunicación), con sus respectivos elementos de competencia, saberes esenciales e indicadores para la evaluación del desempeño. El artículo fundamenta la tesis de que el desarrollo de competencias informacionales debe ser sistemáticamente estructurado, planificado y ejecutado como parte integral de la formación curricular en interacción con los contenidos de las disciplinas docentes, bajo la dirección del profesor y la participación protagónica de los profesionales en formación. -/- ABSTRACT -/- The article aims at describing the competence to be developed during professional training. It presents the theoretical referents by means of an approach system that includes synthesis and analysis, induction and deduction as research methods in order to reveal the milestones of information skills development in universities and related international organizations. Modeling was used for the construction of a new skills development project from the perspective of university professional training according to the needs of Higher Education in Cuba. The new project is composed of three basic units (access, processing and communication), with their respective competence elements, essential knowledge and indicators for the evaluation of the performance. The article supports the theory that information development skills must be systematically structured, planned and implemented as an integral part of the curricular training in interaction with the contents of subjects, under the teacher´s guidance and the active participation of profesionals in training. -/- . (shrink)

El desarrollo de las ciencias sociales enfrenta retos complejos que incluyen elegir la metodología y desarrollo teórico adecuados para abordar sus objetos de estudio. Para contribuir a enfrentar estos retos, se toma como punto de partida el amplio reconocimiento de que un criterio para la aceptación o rechazo de teorías consiste en tomar en cuenta su capacidad para dar cuenta de los fenómenos sociales. Este trabajo se propone mostrar que el desarrollo de teorías que nos permitan comprender los fenómenos sociales (...) requiere de la incorporación de métodos deductivos. La incorporación de tales métodos permitirá fortalecer las teorías en las ciencias sociales y aportará herramientas para resolver algunos de sus problemas más apremiantes. Para ello, se muestra cómo incorporar derivaciones deductivas puede contribuir a solventar la crisis de la falta de desarrollo teórico en ciencias sociales. A continuación, se presentan argumentos desde la filosofía de la ciencia que muestran cómo la incorporación de métodos y relaciones deductivas en las teorías contribuye a su fortalecimiento. Reconociendo la necesidad de complementar estos métodos con enfoques epistemológicos pluralistas, se responde a varias críticas dirigidas al uso de métodos deductivos en las ciencias empíricas en general y en las ciencias sociales en particular. (shrink)