En el presente trabajo analizaremos los procedimientos metodológicos implementados por Aristóteles en el fragmento 16 de Sobre la filosofía, en los que postula cierta entidad que caracteriza como divina y eterna. Para dar cuenta de esa entidad, Aristóteles se vale de un argumento factible de dividirse en tres momentos: en el primero, presenta el razonamiento por el cual se debe aceptar su eternidad; en el segundo, establece la identificación entre lo divino y lo óptimo y se focaliza en las posibles (...) causas por las cuales algo cambia, y, finalmente, sobre la base de este último resultado, en el tercer momento, se centra en demostrar que lo divino es inmutable. Para hacer esto, se vale de lo que suele llamar “silogismos a partir de hipótesis”. Nuestro objetivo es examinar el uso dialéctico de este tipo de silogismos, que en la primera parte del fragmento son equiparables con lo que en la terminología de la lógica actual conocemos como modus ponens y, hacia el final del fragmento, adquieren la forma de una reducción a lo imposible. (shrink)

ResumoO texto aqui apresentado pretende dar uma pequena contribuição à discussão sobre a relação entre lógicae ontologia na filosofia kantiana. Seu objetivo é mostrar como Kant segue a lógica dos wolffianos, mantendosua abordagem geral, não sem introduzir algumas mudanças importantes. Ao contrário dos filósofosdogmáticos, Kant, como se sabe, enfatiza a neutralidade ontológica e epistemológica da lógica geral, diferenciando-a da lógica transcendental, que apresenta as condições universais necessárias apenas com basenas quais se pode falar de conhecimento objetivo. Leibniz, Wolff e seus (...) seguidores teriam negligenciadoessa distinção e dado à lógica geral um significado ontológico e heurístico, que absolutamente não lhepertence. Este artigo examina até que ponto essa versão da lógica dogmática, tão bem construída por Kante geralmente aceita pelos estudiosos, é confiável; tenta também mostrar que Kant flerta aqui e ali comasserções ontológicas e, ao fazê-lo, sua lógica também funciona como uma heurística. Os juízos categóricoe hipotético, bem como seus respectivos silogismos, serão aqui examinados em sua relação recíproca comocasos emblemáticos desse uso menos neutro da lógica formal por Kant. Além disso, espera-se que esteexame revele alguns dos procedimentos metódicos seguidos pelo filósofo em sua investigação conceitual,modo de proceder que, embora respeitando estritamente as regras lógicas estabelecidas, introduz modulaçõesdentro dessas mesmas regras, para enfrentar os desafios do pensamento crítico.Palavras-chave: Kant, lógica, ontologiaAbstractThe text presented here intends to make a small contribution to the discussion on the relationship betweenlogic and ontology in Kantian philosophy. Its purpose is to show how Kant follows the logic of theWolffians, maintaining their general approach, not without introducing some important changes. Unlikedogmatic philosophers, Kant, as is well known, lays stress on the ontological and epistemological neutralityof general logic, differentiating it from transcendental logic, which presents the necessary universal conditionsonly on the basis of which one can speak of objective knowledge. Leibniz, Wolff and his followerswould have neglected this distinction and given general logic an ontological and heuristic meaning, whichabsolutely does not belong to it. This article examines to what extent this version of dogmatic logic, so wellconstructed by Kant and generally accepted by the scholars, is reliable; it also tries to show that Kant flirtshere and there with ontological assertions and, in doing so, his logic also functions as a heuristic. The categoricaland the hypothetical judgments, as well as their respective syllogisms, will be examined here in theirreciprocal relationship as emblematic cases of this less neutral use of formal logic by Kant. Furthermore, thisexamination will hopefully reveal some of the methodical procedures followed by the philosopher in hisconceptual investigation, a way of proceeding that, although strictly respecting the established logical rules,introduces modulations within these same rules, to face the challenges of the critical thought. (shrink)

Este artigo investiga a possibilidade de questões morais possuírem a mesma natureza de ocorrências no mais das vezes (ὡς ἐπὶ τὸ πολύ) discutidas na Física, Metafísica e nos Analíticos, em contraste com as categorias de necessário sem mais e de acaso/acidente. Tal categoria (ὡς ἐπὶ τὸ πολύ) ora é aproximada daquilo que é necessário (necessidade sem mais), quando Aristóteles realça a exclusão do acaso/acidente da ciência, ora é afastada do necessário sem mais, quando busca especificar as diferenças entre essas categorias (...) em termos das conclusões passíveis de serem obtidas em silogismos de ambos os tipos. O que parece é que as ações decorrentes de um caráter formado são ὡς ἐπὶ τὸ πολύ, podendo ser compreendidas no registro de um necessário hipotético, dado que o caráter é como uma “segunda natureza” do agente. Se tal hipótese for correta, ações decorrentes de um caráter formado não possuiriam estatuto de abertura aos contrários. (shrink)

El silogismo práctico o razonamiento de la acción (EN VI, 12, 1144ª 31, “oigar sillogismoi tvn praktvn”) es presentado por muchos estudiososde la obra aristotélica como un esquema de explicación, que intenta darcuenta del movimiento que realiza el alma humana desde el apetito o deseopuro hasta la acción concreta. El punto de vista que aquí se argumentapuede ser presentado en dos tesis articuladas: 1) el razonamiento prácticono es un silogismo, comprende muchos más aspectos que son irreductiblesa la estructura (...) formal de un silogismo perfecto; 2) el silogismo práctico sebasa sobre todo en razonamientos retórico-dialécticos, bien sea un entimema,un paradigma, o un epiquerema; es un proceso discursivo de deliberacióncon silogismos imperfectos o cadenas de silogismos probables que orientanla deliberación a manera de sorites e inducciones retóricas. No se trata deuna demostración sobre cosas que son necesariamente y no pueden ser deotra forma, sino que se trata de lo posible y contingente, aquello que puedeo no puede ser, puesto que sólo se delibera sobre lo posible y esto se hacecon opiniones probables. Corresponde entonces a la retórica y la dialécticarazonar con este tipo de premisas. La regla de conducta en un silogismo práctico utiliza como premisa una opinión generalmente aceptada (a manerade hipótesis o conjetura), cuya aplicación al caso particular es contingente ysu resultado, la acción, también lo es, ya que puede ser o no realizada. Laacción como consecuencia del razonamiento desborda el marco lógico formaldel silogismo. (shrink)

No início do século XIV, Raimundo Lúlio, contrapondo-se aos mestres em Artes por ele identificados como averroistae , desenvolveria não menos que dois métodos resolutivos de inconsistência, a fim de refutar aquelas teses filosóficas que divergem da fé cristã. Um deles serve-se de silogismos contraditórios capazes de expressar a estrutura de um argumento ad hominem , ao passo que o outro nada mais é do que uma reductio ad impossibile elaborada com base em suposições contraditórias.

En el antiguo comentario a la lógica aristotélica, el término griego συζυγία (syzygía) se refiere a la combinación de dos proposiciones que tienen uno o ambos términos relacionados. El término resulta ser el género desde donde se especifican las tres reglas deductivas de la lógica aristotélica: conversión (si ambos términos son comunes, pero cambian su orden), oposición (si ambos términos son comunes, pero no cambian su posición) y silogismo (si un solo término es común). Tal enseñanza no es explícita (...) en Aristóteles, pero ya es conocida por su principal comentarista Alejandro de Afrodisias junto con otros autores de su tiempo y posteriores. Este trabajo muestra que Alejandro introduce este término junto con un modelo dialéctico que identifica al silogismo con la prueba que resuelve un problema, que a su vez se define como aquello que no tiene una prueba. Este énfasis cambia la perspectiva del comentario hacia la tarea de encontrar las combinaciones de premisas que resuelven un problema. El artículo sugiere que este modelo dialéctico se deriva de la noción de combinación y proviene de autores anteriores, ya que el uso del término está atestiguado en Cicerón e incluso el propio Aristóteles lo usa en los Tópicos. El artículo sugiere la importancia de Teofrasto en el desarrollo de este término. (shrink)

En este trabajo hago una comparación sistemática entre las dos teorías de la confirmación más populares en la actualidad: el método hipotético-deductivo y el bayesianismo. En primer lugar, enumero los cinco problemas fundamentales de la teoría hipotético-deductivista. Estos son el problema de las hipótesis estadísticas, el del grado de confirmación, el de la conjunción irrelevante, el del holismo epistemológico y el de las hipótesis alternativas. Luego, hago una presentación general de la epistemología bayesiana y muestro de qué manera (...) estos problemas resultan tratables en el marco bayesiano. Finalmente, concluyo que los tres primeros admiten una solución satisfactoria, sobre la base de algunos supuestos razonables. Los dos últimos, en cambio, todavía son problemas abiertos para la teoría bayesiana de la confirmación. Bayesians often affirm they have produced the best available theory of confirmation. In particular, they claim to have superseded the venerable hypothetico-deductive method. In this paper I intend to assess that claim by making a systematic comparison between both theories of confirmation. I begin by listing the main problems of hypothetico-deductive confirmation. I then show that this conception is incompatible with Hempel's conditions of adequacy for qualitative confirmation. I expound the Bayesian theory of confirmation with some detail in order to show that this theory is able to solve three out of the five fundamental problems of hypothetico-deductive confirmation. largue that the remaining two problems are still open questions for the Bayesians. (shrink)

This chapter argues in favour of three interrelated points. First, I argue that demonstration (as expression of scientific knowledge) is fundamentally defined as knowledge of the appropriate cause for a given explanandum: to have scientific knowledge of the explanandum is to explain it through its fully appropriate cause. Secondly, I stress that Aristotle’s notion of cause has a “triadic” structure, which fundamentally depends on the predicative formulation (or “regimentation”) of the explanandum. Thirdly, I argue that what has motivated Aristotle to (...) choose the syllogism as a demonstrative tool was precisely the fact that syllogisms are apt to express causal relations in their triadic structure. Instead of complaining against Aristotle’s preference for the syllogisms as demonstrative tools, I argue that Aristotle was fully aware of the advantages of regimenting the explanandum into a predication. One of these advantages is to abandon a purely extensional standpoint and to highlight the importance of the notion of relevancy in explanation. (shrink)

En este artículo se discute la relación entre silogismo y demostración con respecto al concepto aristotélico del conocimiento científico formulado en los Analíticos segundos. La argumentación sigue tres líneas principales: (i) se ofrecen razones para rechazar la relegación de la sistematización silogística a la instancia postrera de justificación y exposición didáctica del conocimiento previamente adquirido. Como respuesta alternativa, (ii) se muestra que una explicación aristotélica necesita la silogística en virtud del papel que desempeña la causa como término medio silogístico. (...) En consecuencia, debería estar en condiciones de (iii) sostener que no resulta factible establecer firmemente los principios propios como premisas explicativas sin construir silogismos. This article focuses on the relation between syllogism and demonstration, as related to Aristotle's concept of scientific knowledge in his Posterior Analytics. Three main lines of argumentation are followed: (i) reasons are given to reject that syllogistic systematization plays a unique role as a skill for justification and didactic proof of a body of knowledge previously acquired. Alternatively, (ii) it is showed that an Aristotelian explanation requires syllogistic as to the role of cause as middle syllogistic term. Thus, it should be feasible (iii) to sustain that it is not possible to firmly establish proper principles as explanative premises without constructing syllogisms. (shrink)

Publicado originalmente em 1974, este breve artigo de John Corcoran analisa algumas passagens da obra de Jan Lukasiewicz dedicada à silogística de Aristóteles, refutando a tese do lógico polonês de que os silogismos aristotélicos seriam condicionais universalizados.

Resumen: En la actualidad uno de los libros más usados para dar lógica elemental es el de Irving Copi y Carl Cohen (Introducción a la lógica, 2001), allí se presentan unas reglas para decidir la validez de los silogismos categóricos de forma estándar. Pero en tal texto ni en ninguno que nosotros conozcamos se ofrece una fundamentación de las mismas. Es decir, una demostración de que ellas son realmente una condición necesaria y suficiente de la validez de un silogismo (...) categórico de forma estándar, lo único que hemos leído es su motivación como condición necesaria. El objetivo de este trabajo es ofrecer una fundamentación de las mismas usando la noción de conjunto (o clase) y la técnica de diagramas de Venn, un concepto y una técnica que están expuestos en los principales textos de lógica elemental, incluyendo el referido anteriormente. -/- Abstract: Currently, one of the most widely used textbooks in elementary logic is the one by Irving Copi and Carl Cohen (Introduction to Logic, 2001). They offer rules for deciding the validity of standard categorical syllogisms. But neither that textbook, nor any other we know of, provides the foundations of these rules; that is to say, the demonstration that they are a necessary and sufficient condition for the validity of a standard categorical syllogism. We have only found motivations for the necessary condition. The main goal of this work is to provide a foundation of these rules using the notion of set as well as Venn diagrams, a concept and a technique exposed in the main textbooks of logic, including the aforementioned. (shrink)

Neste artigo é defendida a tese de que a noção aristotélica de perfeição silogística não é completamente arbitrária e reflete características lógicas, apesar de alguns aspectos não lógicos. Em consonância com a sugestão de alguns intérpretes de que a validade dos silogismos em primeira figura se fundamenta no dictum de omni et nullo, será apontado como essa fundamentação se desdobra em procedimentos dedutivos encontrados nos textos de Aristóteles. Tomando definições ou explicitações das proposições categóricas como parâmetro, a perfeição ou imperfeição (...) de um silogismo, independentemente das relações de prova que se adote entre as figuras silogísticas, não se mostra arbitrária. (shrink)

Los textos compilados en este libro hablan fundamentalmente de "Leibniz en diálogo", es decir, de Leibniz en su lectura de la tradición, en su confrontación con la filosofía y la ciencia de sus coetáneos; pero también hablan de la recepción y transformación de sus ideas por parte de las corrientes de pensamiento que le siguieron y de este modo se nutrieron de su espíritu intelectual. No pretende esta ser una edición exhaustiva, pero no por ello deja de significar la presente (...) una amplia selección de estudios de ámbito internacional sobre el significado filosófico de Leibniz como pensador abierto, plural y conciliador. Son aquí objeto de estudio las diferentes vías de comunicación entabladas por Leibniz con la tradición, con su época o con la filosofía posterior. Este volumen pretende ser una contribución a la difusión del pensamiento leibniziano entre los profesores y estudiantes de filosofía, a la promoción del debate entre los especialistas y a la mayor consolidación de la comunidad internacional de investigadores sobre Leibniz. (shrink)

Para melhor compreensão do Quadrado Lógico (QL) das oposições, bem como para os Silogismos (SL), é comum a apresentação de fórmulas do Cálculo Quantificacional Clássico de 1ª Ordem (CQC). Contudo, a formalização tradicional, amplamente divulgada, não nos permite a demonstração de todos os valores conhecidos ao QL; também não nos permite a correta demonstração do status semântico de alguns SL; e, por conseguinte, não traduz (formaliza) adequadamente verbos tais como “ser”, “igualar”, “identificar”, “equivaler” e outros do tipo à linguagem do (...) CQC. Esso acontece não por deficiência ou limitação do cálculo, mas pela inobservância tanto da sintaxe atribuída àquele sistema formal quanto dos procedimentos do método de demonstração aqui utilizado: os Tableaux Sémantiques. Admitindo as fórmulas tradicionais (Fórmulas “T”: A = Ɐx (Sx → Px); E = Ɐx (Sx → ¬Px); I = Ǝx (Sx ˄ Px); O = Ǝx (Sx ˄ ¬Px)), o objetivo deste artigo é apresentar, pelo CQC, via Tableaux Sémantiques, os casos problemáticos resultantes da aplicação de tais fórmulas tanto ao QL quanto ao SL. Rejeita-se aqui a relação tradicional entre “Ɐ” e “→”, bem como entre “Ǝ” e “˄”, como modos adequados de formalização dos verbos supracitados, sugerindo uma regra de formalização àqueles vocábulos. Além disso, é sugerido novo conjunto de fórmulas (Fórmulas “G”: A = Ɐx (Sx ↔ Px); E = Ɐx (Sx ↔ ¬Px); I = Ǝx (Sx ↔ Px); O = Ǝx (Sx ↔ ¬Px)) por meio do qual todas as valorações do QL e status semântico dos SL são adequadamente demonstrados. (shrink)

Few elements of Aristotle’s practical philosophy have been more discussed than the so-called “practical syllogism”. But there are also few as suggestive to the commentators as this one. In this article I intend to define what the theory of practical syllogism would consist in, as a separated element within the Aristotelian ethical theory (or, more precise-ly, within his theory of action). It is not properly a demonstration of the existence of such a theory, but rather of the possibility that it (...) can take its place, even a necessary one, into the Stagirite’s general theory of action, in spite of some difficulties that I try to solve. This conclusion is reached through an analysis of the main elements of this theory. (shrink)

Con el fin de mostrar la importancia de la consideración de la "verdad práctica" como un concepto clave a la hora de dar cuenta de la teoría aristotélica de la acción, se procederá a dilucidar el sentido y alcance de este concepto mediante un análisis de la conexión estructural existente entre la parte racional e irracional del alma (razón y deseo) en la psicología moral de Aristóteles. Luego se pasará a examinar el breve pasaje de Ética Nicomaquea VI 2, en (...) el que Aristóteles señala los requerimientos para que se dé la "verdad práctica", lo cual quedará mucho más claro si se lo revisa a la luz del análisis de la estructura formal de la acción que Aristóteles elabora en el llamado "silogismo práctico". En este artículo se abordará principalmente el problema del sentido de la sintética declaración de Aristóteles de que, para que haya "verdad práctica", "el lógos debe ser verdadero". Esto se encuentra vinculado al problema del papel de la prudencia para determinar los medios conducentes al fin de la acción, pero también para establecer su fin mismo. (shrink)

This article researches the historical and systematic background of Kant’s reflecting power of judgment theory based on a historical study of the concept of wit [ingenium, Witz]. Although the Notes from Lessons on Anthropology even expound the meaning of this concept in the context of Baumgarten’s empirical psychology, this material helps us interpret the concept of wit as one of the most important precedents of the reflecting power of judgment theory presented in Kant’s Critique of the Power of Judgment. The (...) exposition of wit furthermore highlights the systematic and historic connection between the third Critique and the theory of the hypothetical use of reason found in the Appendix of the Transcendental Dialectic of the Critique of Pure Reason. (shrink)

El objetivo de este artículo es mostrar los fundamentos de la investigación en la cual se ha desarrollado Silogismos, un autómata que realiza la inferencia, identifica figura y modo de los silogismos, reconoce y diferencia entimemas y sofismas; éste fue desarrollado en Prolog -una plataforma de Inteligencia Artificial (IA)- como parte de un proyecto de investigación tendiente a representar computacionalmente la mente tal y como la concibió Aristóteles, para el caso de la lógica en el Órganon, para el caso de (...) la persuasión en la Retórica, etcétera. En el §1 se presenta el contexto de esta investigación; en el §2. de manera particular, se caracteriza el aporte de la silogística a la IA y a la filosofía de la mente, en el §3 se establecen las limitaciones de la lógica aristotélica para su automatización; en el §4 se estudia la perspectiva de investigación abierta con los proyectos de automatización. (shrink)

: I give two interpretations of the supreme rules of all syllogisms provided by Kant in his pre-critical essay “The False Subtlety of the Four Syllogistic Figures”. One interpretation understands literally, i.e., grammatically, the expressions ‘positive syllogism’ and ‘negative syllogism’; the other interprets them non-literally, i.e., it interprets them logically.

La relación entre máxima lógica y principio sintético de la razón pura ocupa un lugar fundamental en la "Dialéctica trascendental". Esto se nota en la formulación de los problemas que la Dialéctica se propone abordar, pues hace una referencia explícita al pasaje de la máxima al principio mencionado ; sin embargo, Kant no explica cómo se haría tal pasaje. Aquí se propone una explicación de dicho pasaje a través de un estudio pormenorizado de la premisa mayor del silogismo cosmológico, (...) donde éste ocupa un lugar fundamental. se sostendrá que tal pasaje sólo es comprensible suponiendo una máxima lógica restringida que permita deducir legítimamente, para el caso de la lógica general, lo incondicionado dado a partir de lo condicionado dado. El principio trascendente será una pretendida extensión de esta máxima a las cosas en sí. The relationship between the logical maxim and the synthetic principle of pure reason plays an important role in the "Transcendental Dialectic". This is apparent by noting that the formulation of the problems treated in the Dialectic has an explicit reference to the transition from the maxim to the principle . Nevertheless, Kant doesn't explain how this transition is made. I intend to explain this transition through a detailed study of the major premise of the cosmological syllogism, where it has an important role. I claim that this passage is understandable only by assuming a restricted logical maxim that allows inferring legitimately the unconditioned given from the conditioned given. The transcendental principle will be an extension of this maxim to things in self. (shrink)

Siguiendo la propuesta de aquellos intérpretes que se ocupan de señalar continuidades en la metodología empleada por Platón a lo largo de su obra, en este trabajo consideraremos al diálogo Sofista como un punto de confluencia de la refutación de cuño socrático y el método hipotético expuesto en República. Específicamente, intentaremos identificar en aquella obra tardía el punto culminante de dicho método, i.e. el principio no hipotético aludido por Sócrates. Asimismo, esa tarea nos conducirá a pensar, por un (...) lado, en la relación entre Platón y su maestro y, por el otro, en el lugar que le cabe al diálogo Sofista y a su interlocutor principal, el Extranjero de Elea, en el proyecto filosófico de Platón. (shrink)

This paper provides, from a systematic point of view, some remarks about the identity and difference of theoretical and practical syllogism. While stressing the structural analogy of bolh forms of inference, it draws attention to important differences, such as the possibility of deriving contradictories conclusions from a single set of premises in practical syllogism.

Johann Gottfried Herder, like his contemporaries, reflected on language and in 1772 published the Treatise on the Origin of Language, which in the previous year had earned the distinction of the Berlin Academy for best essay. However, even today, much of his thought is unknown, ignoring the fact that some of the modern approaches of contemporary philosophy, philosophical anthropology or even sociobiology are already stated there, namely in the narratives resulting from the enunciation of the four natural laws. More than (...) justifying the origin of language, the philosopher’s essay also allows us to understand human nature, inserting its genesis at the heart of philosophical anthropology and contradicting, if not even confronting in this way, the divine tradition of this attribution. Thus, at first, a generic analysis of the work will be carried out, highlighting the fundamental theses that will allow the establishment of a dialogue with some of the contemporary philosophical approaches. Then, admitting the possibility of a scenario of technological singularity, as stated by Irving John Good, Vernor Vinge or Ray Kurzweil, to verify the plausibility and validity of Herder’s theses regarding the scope of language and human nature and how this could constitute a frontier of resistance. (shrink)

There is a disagreement among contemporary commentators about Avicena's view of the theoretical intellect in "Kitāb alnafs". Is its activity performed by an internal sense helped by the intellect, or is it a activity proper of the intellect independently of material forms? Some passages of V.5 and V.6 suggest that both elements are necessary to the knowledge: unifying the multiplicity and multiplying the unity; in others words, it is not enough that the intellect conceptualizes the minor and major terms of (...) the syllogism, it also needs to intuit the middle term. (shrink)