El objetivo principal de este trabajo es presentar el sistema lógico que resulta de extender, de una manera natural, a la Silogística con la Lógica proposicional, y demostrar que tal extensión se puede caracterizar como un sistema axiomático. Los axiomas que se utilizan son los de Jan Łukasiewicz , y la completitud de tal sistema de axiomas se prueba utilizando un método análogo al método del conjunto maximal consistente con testigos de Henkin, siguiendo algunas ideas que utiliza John Corcoran (...) para probar que su sistema de reglas de inferencia para la Silogística es completo. (shrink)

In La Silogística de Aristóteles, Antonio Benítez (i) offers a critical analysis of two contemporary interpretations of Aristotle's syllogistic of assertoric propositions (Corcoran and Łukasiewicz), and (ii) proposes to demonstrate the benefits of a mereological interpretation of the non-modal Aristotelian syllogistic.

The work of this dissertation, in a broad sense, seeks to rescue what may be in the original project or nucleus of philosophy, from its Socratic arising: the idea of elucidative rationality. This rationality is aimed at expressing our practices in a way that can be confronted with objections and alternatives. The notion of expression is central to this rationality. This centrality is elucidated by the contemporary philosopher Brandom (1994, 2000, 2008a, 2013), from his view of the semantic inferentialism. With (...) this view, this dissertation, in a strict sense, investigates evidences that leads to the distinction of the inferentially expressivist tradition of syllogistic. In this semantic inferentialism, logic is the “organ of semantic self-consciousness”. In this sense, logic does not define the rational, in the most basic sense, but allows us to be aware, through inferential articulation, of the conceptual contents, which govern all our thoughts. Evidences presented in the work of this dissertation seek to show that the syllogism is marked by the logical-elucidative character of this semantic self-consciousness, because of its expressive role as inseparable from the notion of inference. In the first part of this dissertation, then, the tradition of syllogistics is examined, in which the expression is the main notion. This study is based on the tradition of syllogistics, composed of the Aristotelian school of Campinas, organized by Angioni (2014a), the logical economist Keynes (1906), and the “formalist” schools, represented mainly by the logician Łukasiewicz (1957, 1929/1963) and by Corcoran (1972, 1974, 2009, 2015). The main claims of the Campinas school are analyzed: the non-epistemological, but explanatory, exposition of (scientific) knowledge, in the syllogism, the secondary role of the notion of truth, the priority of the predicative structure, and the suggestion of approaching of the syllogistic to the relevant system of logic. In this analysis, we add the discussion about the reasoning of the epagogic type, important to the practical understanding of the “first principles”. The key points of Keynes are also discussed: the semantic priority of propositional judgment and the explanatory role of deductive inference. The second part of this dissertation discusses the relation between expression, inference and the expressive role of logic, based on the semantic inferentialism of Brandom. In order to discuss this relationship, propaedeutic questions are raised, related to the semantic role of sentences and subsentences (terms and predicates) in language, to different conceptions of logical validity, beyond the truth-functional aspect, to the logical demarcation of symbolic rules, to demarcation of logic, the idea of “formal logic”, and the removal of formal semantics from natural language concern. Next, the theoretical framework of Brandom's semantic inferentialism is presented. In this framework, the idea of philosophical semantics, pragmatisms of the semantic and conceptual type, expressivisms of the rationalist, logical and propositional conceptual type, and the semantically primitive notion of incompatibility come into play. Thus, to those who are interested in the correspondence between ancient logic and modern logic, the work of this dissertation offers a useful contribution, especially to projects of formalization of the syllogistics, which need not appeal against or in favor of a strictly formal approach to logic. (shrink)

El presente artículo busca responder las siguientes preguntas: ¿Cómo fue que la idea del pensamiento infinito llegó a constituirse en el motivo central de la filosofía de Hegel?, y ¿cuál fue el derrotero que recorrió su pensamiento hasta alcanzar aquella concepción lógico-silogística de la filosofía, según la cual la Idea de esta Ciencia llega a ser la última determinación del Espíritu absoluto, y a su vez, este Espíritu absoluto se convierte en la unidad definitiva de la Ciencia enciclopédica? Una (...) vía plausible para responder a estas interrogantes consiste en poder caracterizar las configuraciones más importantes de aquella concepción de la filosofía, ocurridas al interior de la fase de pensamiento enciclopédico, a partir del seguimiento de sus conceptos culminantes –la Idea y el Espíritu absoluto. (shrink)

En este artículo sostengo que los tres filósofos/pedagogos cubanos del siglo XIX, Félix Varela y Morales, José de la Luz y Caballero y Enrique José Varona, fueron responsables de superar la enseñanza de la escolástica tardía en la Real y Pontificia Universidad de San Jerónimo de La Habana. Contra los filósofos y pedagogos escolásticos tardíos que preferían la lógica silogística y la autoridad de la tradición sobre la inducción, argumentaron a favor de esta última sobre la primera. Puesto que (...) defendían las ideas liberales y republicanas, también argumentaban en contra de aquellos que apelan a la autoridad de la tradición en lugar de a nuestras experiencias cotidianas. Su espíritu liberal desafió no sólo al régimen tiránico impuesto por España, sino a cualquier otro régimen cuya autoridad dependiera de la fuerza más que de la libre voluntad del pueblo a escoger sus gobernantes. (shrink)

Este libro alberga tres motivos entrelazados -uno estético, uno práctico y uno teórico-. El motivo estético consistió en llegar a exponer tres niveles de análisis en el interior de una sola gran historia. El motivo práctico gravitó en la reducción lógica del argumento, para poder darle "musculatura" al texto, y mostrar así su concepto de la manera más clara y directa posible. Ambos motivos quedaron relativamente bien resueltos. El problema teórico residió ante todo en poder hacer de la unidad un (...) movimiento de la libertad, cuestión que requirió primero elevar la unidad a su forma suprema. A partir de ese dilema apareció además la necesidad de responder a la pregunta ¿por qué Hegel? Dicho en pocas palabras, porque a partir de su filosofía es posible pensar la unidad como autodeterminación múltiple. De ahí que el objeto de este libro no sea tanto defender la "diferencia" y la "multitud", cuanto más bien se trata de mostrar que la unidad puede ser en sí misma libre y diferente. La realización de esta unidad negativa e infinita debe entonces conjugar con lo otro, razonar lo heredado, asumirse como la totalidad de las diferencias y considerar a aquella diferencia como su verdad. Pero estas formas de unidad desarrolladas -unidades masivas, relativas y plenas; unidades concomitantes, constituyentes y soberanas; unidades singulares, particulares y universales, o unidades silogísticas- tienen lugar únicamente cuando ha sido forjado un bastidor de tejidos programáticos, o un juego metódico de conceptos. En ellos se realiza entonces y al fin la circulación efectiva entre las esferas disyuntivas que despliegan la vitalidad creadora del "espíritu de un pueblo". Este problema, en cambio, aún no está resuelto, y es más bien una tarea por hacer. (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)

No tratado intitulado Segundos Analíticos, Aristóteles desenvolve uma teoria da demonstração científica e da ciência demonstrativa. Ali, o conhecimento científico é descrito pelo filósofo como envolvendo uma certa "necessidade". Alguns intérpretes associam esta noção de necessidade à necessidade modal, pertinente à silogística modal de Aristóteles. Esta interpretação, todavia, tornaria o modelo de ciência proposto nos Analíticos incompatível com os explananda das ciências da natureza, cuja cientificidade o próprio Aristóteles reiteradamente defendeu. A fim de evitar este inconveniente, abordamos e reconstruímos (...) a mencionada interpretação, reconhecemos suas falhas e propomos, seguindo outra tendência da literatura secundária, uma leitura alternativa da noção de necessidade como adequação explanatória, a qual garantiria a cientificidade dos fenômenos naturais. (shrink)

Nos Segundos Analíticos I. 14, 79a16-21 Aristóteles afirma que as demonstrações matemáticas são expressas em silogismos de primeira figura. Apresento uma leitura da teoria da demonstração científica exposta nos Segundos Analíticos I (com maior ênfase nos capítulo 2-6) que seja consistente com o texto aristotélico e explique exemplos de demonstrações geométricas presentes no Corpus. Em termos gerais, defendo que a demonstração aristotélica é um procedimento de análise que explica um dado explanandum por meio da conversão de uma proposição previamente estabelecida. (...) Em uma estrutura silogística, a proposição previamente estabelecida é a premissa maior e o termo mediador deve ser comensurado ao explanandum. O conjunto da premissa maior e da premissa menor (o explanans) é coextensivo ao explanandum, mas há uma assimetria intensional entre o explanans e o explanandum, de modo que apenas o primeiro explique o último. Por fim, defendo que o elemento identificado no termo mediador deve ser o mais apropriado para explicar precisamente o que certo explanandum é. (shrink)

De acordo com Aristóteles, conhecemos algo cientificamente quando apreendemos a causa pela qual essa coisa é e apreendemos, também, certa relação necessária entre aquilo que pretendemos conhecer e o que descobrimos ser a causa adequada que explica por que tal fato é o caso. Além disso, o filósofo identifica o conhecimento científico com a posse de um silogismo científico ou demonstração. Neste trabalho, analisamos a relação entre a teoria demonstrativa que Aristóteles desenvolve, principalmente, no livro I dos Segundos Analíticos e (...) sua teoria silogística dos Primeiros Analíticos I e tentamos responder por que o conhecimento científico deve ser via silogismo. Também procuramos explicitar como as noções de causa e de necessidade, pelas quais Aristóteles define o conhecimento científico, são contempladas pela exigência de que as proposições de uma demonstração sejam per se. Finalmente, discutiremos como essas noções de per se, necessidade e causa se encaixam na estrutura silogística, uma vez que conhecer algo cientificamente é possuir um silogismo científico. (shrink)

Nos Segundos Analíticos II.8-10, Aristóteles apresenta um modelo investigativo de descoberta da essência pela causa a partir de uma estrutura triádica: a demonstração silogística. Esse modelo explanatório-causal é colocado em prática em casos de processos naturais (e.g. eclipse, trovão) e, apesar de mencionadas, as substâncias sensíveis (e.g. homem) não são concretamente analisadas – algo que só se consolida nos livros centrais da Metafísica (mais especificamente, em Z.17) a partir da análise hilemórfica. Além disso, em Segundos Analíticos II.9, Aristóteles apresenta (...) uma restrição quanto ao domínio de aplicação do modelo: apenas os itens que possuem “causa diferente” (ἕτερον αἴτιον) são passíveis de análise nesses termos. Se, por um lado, o capítulo parece ser uma restrição ao caso específico das substâncias, não são explicitados quais itens possuem e quais não possuem “causa diferente”. Desse modo, é suscitada a questão: teria Aristóteles previsto a aplicação do modelo explanatório-causal às substâncias hilemórficas quando da elaboração dos Segundos Analíticos, ou sua utilização na Metafísica representaria uma reformulação posterior? Neste cenário, temos pelo menos duas hipóteses interpretativas: (i) uma leitura restritiva (ou desenvolvimentista), em que as substâncias não teriam sido previstas; (ii) uma leitura não-restritiva, que se opõe à primeira ao defender que as substâncias já estariam previstas na elaboração dos Segundos Analíticos, e sua omissão se daria por economia argumentativa. O objetivo do presente trabalho é apresentar a hipótese não-restritiva como uma solução para o problema do ἕτερον αἴτιον, defendendo uma aproximação entre a Metafísica e os Segundos Analíticos. (shrink)

Filosofia limbajului are legătură cu studiul modului în care limbajul nostru se implică și interacționează cu gândirea noastră. Studierea logicii și relația dintre logică și vorbirea obișnuită poate ajuta o persoană să își structureze mai bine propriile argumente și să critice argumentele celorlalți. Înțelesul este modul în care pot fi considerate în mod corespunzător cuvinte, simboluri, idei și convingeri, definiția sa depinzând de teoria abordată, precum teoria corespondenței, teoria coerenței, teoria constructivistă, teoria consensului sau teoria pragmatică. Există mai multe explicații (...) distince despre ceea ce înseamnă un „sens” lingvistic, în funcție de diverse teorii (ideologice, adevăr-condiționale, de utilizare a limbajului, constructiviste, de referință, verificaționiste, pragmatice, etc.) Investigațiile privind modul în care limbajul interacționează cu lumea sunt numite teorii de referință. Sensul unei propoziții este gândul pe care îl exprimă. Un astfel de gând este abstract, universal și obiectiv. Sensurile determină referința și sunt, de asemenea, modurile de prezentare a obiectelor la care se referă expresiile. Referințele sunt obiectele din lume despre care vorbesc cuvintele. Filosofia limbajului explorează relația dintre limbă și realitate, în special filosofia problemelor de studiu lingvistic care nu pot fi abordate de alte domenii. Logica filozofică se ocupă de descrieri formale ale limbajului obișnuit, nespecializat („natural”). -/- CUPRINS: -/- 1. Filosofia limbajului - 1.1 Istorie - - Filosofia antică - - Filosofia medievală - - Filosofia modernă - - Filosofia contemporană - 1.2 Subiecte și sub-domenii majore - - Compoziție și părți - - Natura sensului - - Referinţă - - Mintea și limba - - - Înnăscut și învățat - - - Limba și gândul - - Interacțiunea socială și limba - 1.3 Limbajul și filozofia continentală - 1.4 Probleme în filosofia limbajului - - Imprecizia - - Problema universalului și a compoziției - - Natura limbajului - - Abordări formale versus informale - - Traducere și interpretare - 1.5 Nominalism - - Istorie - - - Filozofia greacă veche - - - Filozofia medievală - - - Filosofia modernă și contemporană - - Problema universalelor - - Tipuri - - - Filosofie analitică și matematică - - Critica originilor istorice ale termenului 2. Înțeles - 2.1 Adevăr și înțeles - - Teorii majore ale înțelesului - - - Teoria corespondenței - - - Teoria coerenței - - - Teoria constructivistă - - - Teoria consensului - - - Teoria pragmatică - - Teorii și comentarii asociate - - - Logica și limbajul - - - Gottlob Frege - - - Bertrand Russell - - - Alte teorii ale adevărului - - - Saul Kripke - - - Criticile teoriilor de adevăr ale înțelesului - 2.2 Bertrand Russell, Despre denotare - - "Fraza care denotă" - - - Concepția lui Russell despre o frază care denotă - - - Referința la ceva care nu există - - - Epistemologie - - Teoria descrierilor - - - Descrierea matematică - - - Ilustrare - - - Meinong - - Rezolvarea problemei existențialelor negative - - - Declarații despre concepte în care obiectul nu există - - - Ambiguitate - - - Nume fictive - - Critici - 2.3 Sens și referință - - Precursori - - - Antistene - - - John Stuart Mill - 2.3.1 Sens - - Sens și descriere - - Traducerea Bedeutung - - Natura sensului - 2.3.2 Referinţă - 2.4 Nume proprii - - Problema - 2.4.1 Teorii - - Teoria lui Mill - - Teoria bazată pe sensul numelor - - Teoria descriptivă - - Teoria cauzală a numelor - - Teorii de referință directă - - Filosofia continentală - 2.5 Gottlob Frege, Despre sens și referință - 2.6 Teorii cauzale ale referinței - - Motivaţie - - Variații - 2.6.1 Teoria cauzală a referinței a lui Saul Kripke - 2.6.2 Teoria cauzală a referinței a lui Gareth Evans - 2.6.3 Teoria cauzală a referinței a lui Michael Devitt - 2.6.4 Blockchain și arborele cauzal al referinței - 2.6.5 Perspective - 2.7 Saul Kripke, Numire și necesitate - 2.7.1 Prelegerea I - 2.7.2 Prelegerea II - 2.7.3 Prelegerea III - 2.7.4 Concluzii - 2.8 Kit Fine, Relaționismul semantic - - A. Antinomia variabilei - - B. Abordarea tarskiană - - C. Respingerea rolului semantic - - D. Abordarea instanțială - - E. Abordarea algebrică - - F. Abordarea relațională - - G. Semantica relațională pentru logica de primul ordin 3. Logica - Concepte - - Forma logică - - Semantică - - Inferență - - Sisteme logice - - Logică și raționalitate - - Concepte rivale - Tipuri - - Logica silogistică - - Logica propozițională - - Logica predicatelor - - Logica modală - - Raționament informal și dialectică - - Logica matematică - - Logica filozofică - - Logica computațională - - Logica non-clasică - Controverse - - "Este logica empirică?" - - Implicare: Strictă sau materială - - Tolerarea imposibilului - - Respingerea adevărului logic - 3.1 Filosofia logicii - - Adevăr - - - Purtătorii de adevăr - - - Adevăruri analitice, adevăr logic, valabilitate, consecință logică și implicare - 3.2 Logica propozițională - - Explicaţie - - Istorie - - Terminologie - - Noțiuni de bază - - - Închiderea sub operații - - - Argument - 3.3 Logica predicatelor - - Introducere - - Sintaxa - - - Alfabetul - - - - Simboluri logice - - - - Simboluri non-logice - - - Regulile formării - - - - Termeni - - - - Formule - - - - Convenții notaționale - - - Variabile libere și legate - - Semantica - - - Structuri de prim ordin - - - Evaluarea valorilor de adevăr - - - Valabilitate, satisfabilitate și consecință logică - - - Algebrizare - - - Teorii, modele și clase elementare de prim ordin - - - Domenii goale - 3.4 Logica modală - - Dezvoltarea logicii modale - - Semantica - - - Teoria modelului - - - Sisteme axiomatice - - - Teoria dovezilor structurale - - - Metode de decizie - - Tipuri de logici modale - - - Logica aletică - - - Logica epistemică - - - Logica temporală - - - Logica deontică - - - Logica doxastică - - - Alte logici modale - - Ontologia posibilității - - Controverse - 3.5 Declarații - - Declarația ca o entitate abstractă - 3.6 Dileme - - Utilizarea dilemei în logică - 3.7 Argumente - - Formal și informal - - Tipuri standard - - - Argumente deductive - - - Argumente inductive - 3.8 Actualism - - Exemplu - - Puncte de vedere filosofice - - Analiza indexicală a actualității - 3.9 Lumi posibile - - Posibilitate, necesitate și contingență - - Semantica formală a logicii modale - - De la logica modală la instrumentul filosofic - - Teoria lumii posibile în studiile literare - 3.9.1 Lumi reale, ne-reale dar posibile, și imposibile - - Lumi posibile logic - - Constituienții lumilor posibile - 3.10 Saul Kripke - - Wittgenstein - - Adevăr - 3.10.1 Logica modală - - Modele canonice - - Modele Carlson - 3.10.2 Logica intuiționistă - - Logica intuiționistă de ordinul întâi - 3.10.3 Nume și Necesitate - - "Un puzzle despre credință" Referințe Despre autor - Nicolae Sfetcu - - De același autor - - Contact Editura - MultiMedia Publishing . (shrink)