Aristotelian Logic

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic article from his (...) Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in-retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

This book serves as an introduction to mathematical logic for STEM (Science, Technology, Engineering, and Mathematics) students, written for undergraduates (in particular, 1st and 2nd year undergraduates). A focus on this book is on logical thinking, not simply rote memorization, with a focus on examples and analogies relevant to students aimed at becoming technical leaders and problem solvers. This book includes propositional logic, set theory, functions and relations, and more, with coding examples provided in the Python programming language.

هل يمكن إذن أن أكون أنا لست أنا بانطباعات الزمان على جسدي وفكري؟ أليس لي جوهرٌ ثابتٌ تتبدل عليه الأعراض من حين إلى آخر، ومن ثم لا أفقد هويتي الحقيقية؟ لقد وُلدت منذ سنوات خلت، وتعلمت وعلمت أنني هو أنا، ويعلم المحيطون بي أنني هو أنا، بل يستطيع العلم المعاصر أن يُثبت أن لي تركيبًا جينيًا وراثيًا يميزني عن غيري، وأن لي بصمات أصابع وبصمة صوت لا تتطابق مع بصمات غيري، وسيحاسبني ربي يوم العرض عليه بوصفي شخصًا واحدًا هو أنا؛ (...) والشجرة التي تظلل باب منزلي هي ذات الشجرة التي أراها منذ سنوات، حقًا لقد تغيرت أعراضها، لكن جوهرها بالضرورة ثابت؛ وكوكب الزهرة المضيء مساءً وصباحًا هو ذات الكوكب الذي أراه كل يوم، قد تعتريه تغييرات عرضية، لكن جوهره قطعًا ثابت. ألسنا جميعًا نشترك في معرفة أن هذه الأشياء هي هي مهما تغيرت أعراضها؟. (shrink)

In the 17th century, Hobbes stated that we reason by addition and subtraction. Historians of logic note that Hobbes thought of reasoning as “a ‘species of computation’” but point out that “his writing contains in fact no attempt to work out such a project.” Though Leibniz mentions the plus/minus character of the positive and negative copulas, neither he nor Hobbes say anything about a plus/minus character of other common logical words that drive our deductive judgments, words like ‘some’, ‘all’, ‘if’, (...) and ‘and’, each of which actually turns out to have an oppositive, character that allows us, “in our silent reasoning,” to ignore its literal meaning and to reckon with it as one reckons with a plus or a minus operator in elementary algebra or arithmetic. These ‘logical constants’ of natural language figure crucially in our everyday reasoning. Because Hobbes and Leibniz did not identify them as the plus and minus words we reason with, their insight into what goes on in ‘ratiocination’ did not provide a guide for a research program that could develop a +/- logic that actually describes how we reason deductively. I will argue that such a +/- logic provides a way back from modern predicate logic—the logic of quantifiers and bound variables that is now ‘standard logic’—to an Aristotelian term logic of natural language that had been the millennial standard logic. (shrink)

This mainly historical paper provides a comprehensive discussion of the (heretoforth neglected) evidence of Peripatetic syllogistic in Sextus Empiricus. The paper sets out to show that it is likely that in Sextus (and Apuleius) there is valuable evidence of a transitional period in later ancient logic that is marked out as such by a number of characteristics, which include the following: (i) A Peripatetic term ‘categorical syllogism’ is newly in use, but no term ‘hypothetical syllogism’ has been established yet. (ii) (...) Stoic and Peripatetic logic are treated as complementing each other. (iii) The reversion of quantified propositions from predicate-subject to subject-predicate formulation is still fairly new. (iv) The so-called crocodile example is used to show that induction lacks the feature of concluding by necessity that is a defining mark of Aristotelian syllogisms. (v) The use of the expression katholikê protasis for categorical universal premise-propositions is distinctive of the period. (vi) The argument forms displayed by Sextus’ three examples appear to be indirectly related to the soon-to-appear Platonist hypothetical syllogistic. (vii) There are parallels that suggest that Sextus’ source belongs to the same historical period of logic as Apuleius’ source and as some probably recent source of Alexander of Aphrodisias’ Prior Analytics commentary (that is presented along with some later views and arguments, which may include Alexander’s own). Small differences between the three authors show that Sextus did not draw from the Greek handbook that was Apuleius’ source. (shrink)

The thesis of this paper is that Information, Cognition and a Principle of Existence are intrinsically structured in the quantum model of reality. We reach such evidence by using the Clifford algebra. We analyze quantization in some traditional cases of quantum mechanics and, in particular in quantum harmonic oscillator, orbital angular momentum and hydrogen atom.

It is universally acknowledged that, for St. Thomas, there is a distinction between human persons or supposits and their natures or essences. But it is usually thought that there is no parallel distinction between the angelic person or supposit and its nature. Yet, as this paper argues, Aquinas consistently puts forward just such a distinction. This paper surveys Aquinas’s arguments for the unique identity of God with his essence and the corresponding distinctions between created persons and their essences, showing in (...) the process how the distinction found in angels differs from that found in material substances. It is important to recognize the distinction between supposit and nature in angels not only for its own sake as it touches on his understanding of created persons—human or angelic—but also insofar as it sheds light on Aquinas’s understanding of divine simplicity and of other act-potency compositions in creatures. (shrink)

Leibniz developed several arithmetical interpretations of the assertoric syllogistic in a series of drafts from April 1679. In this article, I present what I take to be one of his most mature articulations of the arithmetical semantics from that series. I show that the assertoric syllogistic can be characterized exactly not only in the full divisibility lattice, as Leibniz implicitly suggests, but in a certain four-element sublattice thereof. This refinement is also shown to be optimal in the sense that the (...) assertoric syllogistic is not complete with respect to any smaller sublattice using Leibniz’s truth conditions. (shrink)

Some of the more prominent contributions to the last fifty years of scholarship on Aristotle’s syllogistic suggest a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning, only if it is not a theory, a system concerned with ontology or general facts. I argue that this a misleading interpretative framework. I begin by noting that the syllogistic exhibits one mark of contemporary logics: syllogisms are inferences and not implications. The debate on this question has focused (...) on the interpretation of indirect proof. But I argue that this evidence is neutral on the question. Instead, I offer new considerations in favour of the interpretation of syllogisms as inferences. I next note that the syllogistic exhibits one mark of theories: it employs a distinct underlying logic so to derive derivative structures from primitive structures. So the syllogistic is something sui generis: by our lights, it is arguably neither clearly a logic, nor clearly a theory, but rather exhibits certain characteristic marks of logics and certain characteristic marks of theories. I conclude with a few remarks on the status of Aristotle as a founder of logic, and the use of modern systems to represent historical logics. (shrink)

Discussion of the Aristotelian syllogistic over the last sixty years has arguably centered on the question whether syllogisms are inferences or implications. But the significance of this debate at times has been taken to concern whether the syllogistic is a logic or a theory, and how it ought to be represented by modern systems. Largely missing from this discussion has been a study of the few passages in the Prior Analytics where Aristotle provides explicit guidance on how to individuate syllogisms. (...) I argue that syllogisms are individuated by unordered premise pairs and so may be fruitfully thought of as multiple-succedent sequents. I conclude by drawing a few consequences for the representation of the syllogistic. (shrink)

Heart disease remains one of the leading causes of mortality worldwide. Early prediction and diagnosis are critical in preventing severe outcomes and improving the quality of life for patients. This project focuses on developing a robust heart disease prediction system using machine learning techniques. By analyzing a comprehensive dataset consisting of various patient attributes such as age, sex, blood pressure, cholesterol levels, and other medical parameters, the system aims to predict the likelihood of a patient having heart disease. The project (...) employs various machine learning algorithms such as Logistic Regression, Decision Trees, Support Vector Machines (SVM), and Random Forests to classify the data and provide an accurate prediction. The system's performance is evaluated using metrics like accuracy, precision, recall, and F1-score, ensuring that it can offer reliable results in real-world applications. Furthermore, feature selection techniques are applied to identify the most significant factors contributing to heart disease, thus improving the model's interpretability. The proposed solution is intended to aid healthcare professionals by providing early alerts and recommendations, ultimately facilitating timely interventions. (shrink)

Fraudulent activities in insurance claims have become a significant challenge for the insurance industry, leading to substantial financial losses annually. This project, titled "Fraud Detection and Analysis for Insurance Claim using Machine Learning" aims to develop a robust and an efficient system to identify and analyze fraudulent claims. The system leverages machine learning techniques to analyze patterns, anomalies, and inconsistencies in claim data, enabling early detection of potentially fraudulent activities.

The project titled "Efficient Machine Learning Algorithm for Future Gold Price Prediction" focuses on the development of a machine learning model that can accurately predict future gold prices using historical data and various economic indicators. Gold has long been regarded as a safe-haven asset, and its price is influenced by multiple factors, including global economic conditions, inflation rates, interest rates, and geopolitical events. This research aims to design and implement a robust machine learning model that can analyze complex patterns and (...) trends in gold prices to generate reliable predictions. The project employs a range of machine learning techniques such as Linear Regression, Random Forest, and Support Vector Machines (SVM) to build the prediction model. It utilizes key features like historical price data, currency exchange rates, commodity prices, and stock market trends as input variables. The performance of the model is evaluated using standard metrics such as accuracy, precision, recall, and RMSE (Root Mean Squared Error). The final model is optimized for accuracy and efficiency, making it a useful tool for investors and financial analysts who seek to forecast gold prices and make informed investment decisions. (shrink)

With the increasing popularity of social networking websites, the problem of fake profiles has become a significant concern. Fake profiles, often created by malicious actors for fraudulent purposes, pose threats to user privacy, security, and trustworthiness of online platforms. This project proposes a machine learning-based approach to detect fake profiles on social networking websites. By analyzing various features such as user activity patterns, profile attributes, and network connections, the model identifies potential fake profiles with high accuracy. The system employs a (...) variety of machine learning algorithms, including decision trees, support vector machines (SVM), and random forests, to classify profiles as either genuine or fake. Data preprocessing techniques such as feature extraction, normalization, and outlier detection are applied to enhance the model's performance. The proposed approach is evaluated on a dataset of social network profiles, and its effectiveness is compared to existing methods in terms of precision, recall, and F1-score. The results demonstrate the ability of the machine learning model to detect fake profiles accurately, providing a valuable tool for social networking platforms to protect users from potential threats and improve the overall user experience. This solution can also help in the automated detection of fraudsters and reduce the manual effort required for profile validation. (shrink)

When Aristotle introduces the perfect moods, he refers back to the dictum de omni et nullo, a semantic condition for universal affirmations and negations. There recently has been renewed interest in the question whether the dictum validates the assertoric syllogistic. I rehearse evidence that Aristotle provides a mereological semantics for universal affirmations and negations, and note that this semantics entails a nonstandard reading of the dictum, under which the dictum, in the presence of a minimal logical apparatus, indeed validates the (...) assertoric syllogistic. I argue that this mereological validation offers advantages over recent discussions in Morison, Malink, Ebert and Vlasits. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal conception (...) of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

The literary culture of late antiquity established a list of questions to be answered before studying an author or a text. Among other types of introductory sets, we find the six didascalica used by Boethius in his commentaries on Aristotle’s Organon. Twelfth-century commentaries inherited these requirenda, although each master felt free to modify and rearrange traditional elements. Within the logical commentaries, the Abelardian commentaries Logica ingredientibus and Logica nostrorum petitioni sociorum show some peculiarities, such as the modus tractandi; this feature (...) is interestingly similar to the Notae Dunelmenses. With regard to Alberic and his school, we have, on the one hand, the information preserved in the H17 commentary and, on the other, the commentaries on the Categories of the Mont Sainte-Geneviève school. The authors of these commentaries were not mere executors of the master’s will, but their texts show an internal coherence in the presentation of the elements causa/utilitas/finis; moreover, they inherited Abelard’s modus tractandi. The most widespread element of all twelfth-century logical commentaries, however, is the entry materia; its origin is not rooted in Boethius’s commentaries, but it is typical of the literary tradition of the accessus. (shrink)

According to some critics, Aristotle’s elenctic defence (elenchos, elenchus) of the Law of Non-Contradiction (Metaphysics IV) would be ineffective because it viciously begs the question. After briefly recalling the elenctic refutation of the denier of the Law of Non-Contradiction, I will first focus on Filippo Costantini’s objection to the elenchus, which, in turn, is based on the dialetheic account of negation developed by Graham Priest. Then, I will argue that there is at least one reading of the elenchus that might (...) not be viciously question-begging. In doing so, I will leverage, reinterpret and adjust the distinction between two senses of epistemic dependence, offered by Noah Lemos and originally based on some thoughts about George Edward Moore’s ‘proof of an external world.’ The key point of my counter-objection to recover the elenchus is to use the distinction between a necessary-condition relation between propositions (p only if q) and a grounding relation between facts (the fact that an epistemic agent S believes that p is grounded in the fact that S believes that q), where p and q are the content of S’s beliefs. (shrink)

This paper takes a fresh look at Johannes Clauberg’s Logica vetus et nova, in order to try to clarify its nature and character. Differently from prior readings of Clauberg that analyze his philosophy from the point of view of the construction of ‘ontology’, the approach of the present paper sees in Clauberg’s philosophy a late-Humanist work, accentuating his pedagogic and hermeneutical interests. Indeed, in Clauberg’s philosophy, hermeneutics and pedagogy are intrinsically bound together. This, the paper suggests, is supported not only (...) by the concrete subject-matters of his logic, but also by the examination of Clauberg’s milieu and of his sources. Analysis, in this framework, has a strictly hermeneutical usage. (shrink)

The prologue of the Sophistici elenchi is as close an Aristotelian text gets to dealing with language as a subject matter in its own right, only in reverse. Language and its features bear consideration to the extent that they account for some major predicaments discursive reasoning is prone to, both as a separate and as a common endeavour. That being said, the linguistic pitfalls that trick us into thinking that whatever is the case for words and word-compounds is also the (...) case for the things and facts linguistic items stand for reveal as much about good linguistic habits and sound argumentation as they themselves are revealed by the principles and rules our argumentation goes by. In this connection, Aristotle resorted to a curious (or not so curious) analogy between words and counters which played a major role in explaining why language is such a powerful source of illusion and deception. As it happens, Aristotle accounting analogy is a case in point for showcasing the level of sophistication medieval Latin literature on fallacies achieved as early as the first half of the twelfth century. As a matter of fact, Western commentators managed to build compelling cases both in favour of and against the understanding that was to become and still is the standard story – which, of course, speaks volumes about their exegetical proficiency and technical expertise. On the one hand, trusting implicitly Boethius’ translation and well aware of his views on disputational hazards as opposed to computational reliability, they usually understood Aristotle’s comparison as if it was an analogy in name only. On the other hand, despite Boethius’ translation put them at a considerable disadvantage, Latin commentators were able to construe Aristotle’s analogy as bringing together two sets of symbolic variables (words and counters) that are neither entirely free nor entirely bound – which expose them to subtle but critical shifts in value and meaning. (shrink)

Philosophe japonais polyglotte au savoir encyclopédique, Yamauchi Tokuryū est à n’en point douter l’un des auteurs les moins étudiés de l’école de Kyōto. La présente étude vient corriger ce qui ne constitue rien d’autre qu’un accident de l’histoire, tant l’ampleur du projet philosophique de Yamauchi est à même de susciter l’intérêt du philosophe, du savant et de l’amateur cultivé. La démarche de ce penseur japonais, disciple de Nishida Kitarō, est remarquable en ce qu’il chercha à proposer un dépassement englobant de (...) ce qu’il nomme, d’une part, la « logique du logos » – qui figurait déjà chez Aristote et se structure autour des principes d’identité, de contradiction et du tiers exclu – et, d’autre part, la « logique du lemme » – méthode d’appréhension intuitive des étants qui, née en Inde, serait d’inspiration essentiellement bouddhique. Cette étude, dans laquelle les conceptions bouddhiques qui traversent le propos de Yamauchi sont explicitées, est essentiellement consacrée à l’analyse de ses deux essais les plus importants Logos et lemme (1974) et Philosophie de la latence (1993). Le lecteur y rencontrera une discussion tant de la logique aristotélicienne que d’un régime de logicité tel que le tétralemme, tant du coeur des philosophies européennes que de celui des pensées bouddhiques. Il y rencontrera en outre une discussion de l’idée de néant, de la causalité et de la question du fondement de l’être, nourrie de conceptions bouddhiques telles que la « coproduction conditionnée » (pratītya-samutpāda) et la « latence » (anuśaya). (shrink)

Charles S. Peirce (†1914) is often referred to as the founder of contemporary semiotics. Peirce provided the community of inquiry with a very convincing explanation of what a sign is. Peirce's definition of the sign bears a striking resemblance to that proposed in the 1606 volume of the CJC, the Coimbra Jesuit Course, authored by Sebastião do Couto (†1639). The community of inquiry holds the belief that Peirce drew from the writings of Couto to arrive at his triadic conception of (...) the sign. Could it be that the effect of the CJC on Peirce is restricted to the definition of the sign? What can anyone say so far on the Peirce-CJC relation? Our ultimate purpose here is to provide a contribution to settling such doubts. (shrink)

This book presents a (new) attempt to apply the notion of an underlying logic to Aristotle’s Organon and certain passages of the Metaphysics. The author situates his approach as part of a ‘deductio...

Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the tools to correctly (...) present the formal parts of Foundations. In this paper, however, we argue that Fichte’s approach intuitively offers an important contribution to transcendental philosophy, and especially to philosophy of logic. We first point out the difficulties of Fichte’s logic in the Foundations and improve it in a second part on the basis of a formal system in which both propositional logic and syllogistic are combined. (shrink)

This paper provides a philosophical analysis and a new edition of an anonymous Epitome of John Dumbleton’s solution to the semantic paradoxes. The first part of this paper briefly presents Dumbleton’s cassationist solution to the semantic paradoxes, which the English philosopher proposes in his Summa Logicae, written in the 1330s–40s. The second part investigates the solution to various types of insolubles proposed by the anonymous author of the Epitome. The third part provides a new critical edition of the Latin text (...) – a first edition was edited by Bottin in 1978 – and an English translation. (shrink)

During the 13th century, several logicians in the Latin medieval tradition showed a special interest in the nature of impossibility, and in the different kinds or ‘degrees’ of impossibility that could be distinguished. This discussion resulted in an analysis of the modal concept with a fineness of grain unprecedented in earlier modal accounts. Of the several divisions of the term ‘impossible’ that were offered, one became particularly relevant in connection with the debate on ars obligatoria and positio impossibilis: the distinction (...) between ‘intelligible’ and ‘unintelligible’ impossibilities. In this article, I consider some 13th-century tracts on obligations that provide an account of the relation between impossibility and intelligibility and discuss the inferential principles that are permissible when we reason from an impossible – but intelligible – premise. I also explore the way in which the 13th-century reflection on this topic survives, in a revised form, in some early 14th-century accounts of positio, namely, those of William of Ockham, Roger Swineshead and Thomas Bradwardine. (shrink)

In this fascinating book, Mehmet Karabela reveals the many roles assigned to Islam, Islamic history, the Ottoman Empire, Turks and Arabs by northern European Protestant intellectuals, mostly German Lutherans, from 1650 to 1800. The texts cover many topics that famously captivated European thinkers during a period which Karabela elects to call post-Reformation rather than Enlightenment. There are comparative studies of religion, philosophy, and literature. Karabela’s introduction provides a robust review of the historiography and offers context for patterns that emerge from (...) the texts. (shrink)

This paper focuses on the early sixteenth-century epistemic logic developed by John Mair’s circle and discusses iterated epistemic modalities, epistemic closure and Bradwardinian semantics related to the logic of epistemic statements. These topics are addressed as part of setting up and solving epistemic sophisms based on traditional scenarios which can be traced back to fourteenth-century British epistemic logic. While the ultimate source for the debate appears to be the second chapter of William Heytesbury’s Regule solvendi sophismata, the immediate source is (...) the Italian editorial, commentarial and philosophical tradition, notably Paul of Venice and Cajetan of Thiene. (shrink)

Johannes Steuchius’ disputatio uses Arabic logic to present an historical account of the development of philosophical thought in Arabia before and after the emergence of Islam. Steuchius first proposes that philosophy drew its origins from the East. His evidence for this claim is that many of the Greek philosophers, considered the forefathers of European philosophy, began cultivating their philosophical thinking as a result of exposure to ancient Eastern philosophy. After the introduction of Greek philosophy, it is agreed that dialectic was (...) among the first of the arts the Arabs practiced. (shrink)

This is a basic logic text for first-time logic students. Custom-made texts from the chapters is an option as well. And there is a website to go with text too.

The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into perceptive signs, is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein's general considerations of a machine understood as (...) a sign. A modification of Łukasiewicz's logic Ł3 with the inclusion of justification terms is proposed in order to formally analyse some features of formalistic reasoning as a mechanical, causal affair within a wider context of "indeterminacy". (shrink)

Some of Aristotle’s statements about the indemonstrability of the Principle of Non-Contradiction (PNC) in Metaphysics Γ 4 merit more attention. The consensus seems to be that Aristotle provides two arguments against the demonstrability of the PNC, with one located in Γ 3 and the other found in the first paragraph of Γ 4. In this article, I argue that Aristotle also relies upon a third argument for the same conclusion: the argument from truth. Although Aristotle does not explicitly state this (...) argument, it is the best argument that he could use to defend some of his statements in the second paragraph of Γ 4. Since the argument relies on only a few of Aristotle’s core views about truth, I propose that it is faithful to his considered position throughout his corpus, and it may be the strongest argument he could offer for the indemonstrability of the PNC. (shrink)

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)

It is a received view of the post-Fregean predicate logic that a universal statement has no existential import and thus does not entail its particular (existential) counterpart. This paper takes issue with the view by discussing the trespasser case, which has widely been employed for supporting the view. The trespasser case in fact involves a shift of context. Properly understood, the case provides no support for the received view but rather suggests that we rethink the ‘quantity view’ of the existential (...) import of quantifiers. (shrink)

The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original...

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...) and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. (shrink)

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...) and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. (shrink)

This chapter defends a single, fixed, definite answer to the question: Is there a logic that governs the unsayable? The proposed answer is: “Yes, and no. Or yes-but-not-yes. And/or yes-no.” Each component of this answer is examined and used to generate three laws of what I call “synthetic logic”, which correspond directly to the laws of classical (Aristotelian) logic: the law of contradiction (“A=-A”), the law of non-identity (“A≠A”), and the law of the included middle (“-(Av-A)”). We can talk about (...) the unsayable only by assuming that propositions constructed in accordance with these three alternative logical laws can be meaningful. (shrink)

Pour des raisons essentiellement liées à la vocation des textes où la notion de présupposition a fait son apparition, c’est la présupposition d’existence qui s’est imposée la première à l’attention des philosophes du langage. Elle a également déterminé l’orientation des débats en les focalisant sur quelques problèmes traditionnels, au premier chef desquels le problème de l’absence de référence de certaines expressions et celui des imperfections du langage naturel. Contrairement aux noms propres et aux descriptions définies, les termes qui signifient des (...) universaux ont joué un rôle très marginal dans la discussion de ce qui est présupposé par les énoncés que nous échangeons. Ce sont pourtant les noms d’espèces et de genres qui ont été associés les tout premiers à des phénomènes qui relèvent de la présupposition. Afin de montrer que cette association n’a rien perdu de son intérêt, nous avons étudié le traitement qu’Aristote réserve à la famille de paralogismes qui exploitent la similarité morphologique entre noms propres et noms communs pour rattacher la même présupposition d’existence aux uns et aux autres, alors même que cette présupposition est légitime dans un cas (celui des expressions qui désignent des choses particulières), abusive dans l’autre cas (celui des expressions qui signifient des universaux). (shrink)

In the 6th century, Paul the Persian used his own pen to write a summary of Aristotle's Peri Hermeneias in the Persian language. Severus Sebokht translated it into Syriac. This book is a transcription and translation of the Syriac manuscript of Paul the Persian's Peri Hermeneias and a comparison of it with Aristotle's original Greek text.

An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual explanation are elaborated, (...) and examples of cyclic and convergent causation are given. Soundness and completeness proofs are sketched. (shrink)

The primary sense of the word ‘hypothesis’ in modern colloquial English includes “proposition not yet settled” or “open question”. Its opposite is ‘fact’ in the sense of “proposition widely known to be true”. People are amazed that Plato [1, p. 1684] and Aristotle [Post. An. I.2 72a14–24, quoted below] used the Greek form of the word for indemonstrable first principles [sc. axioms] in general or for certain kinds of axioms. These two facts create the paradoxical situation that in many cases (...) it is impossible to translate the Greek form of the word using the English form: the primary sense of the word ‘hypothesis’ in modern colloquial English is diametrically opposed to one sense used by Plato and by his most accomplished student Given current colloquial English usage it is impossible to get the word hypothesis to carry the connotation of “settled truth” much less “axiomatic truth”. The ‘hypo-’ [under] in the Plato-Aristotle use of ‘hypothesis’ might carry the sense of “basis” or “foundational” as opposed to “less than usual or normal”. This paradox parallels the one pointed out by Robin Smith: it is impossible for the English word ‘syllogism’ to carry the meaning of its Greek form Aristotle intended. There are other cases as well: it is impossible for the English biological term ‘genus’ to carry the meaning of its Greek form the Greek genos refers to family as in our ‘genealogy’, not to “higher species” as in our ‘generic’. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...) there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

The deductive validity of arguments from analogy is formally demonstrable. After a brief survey of the historical development of doctrines relevant to this claim the present article analyzes the “analogy of proper proportionality”, which meets two requirements of valid deduction. First, the referents of analogues by proportionality must belong to a common genus. Here it must be cautioned, however, that the common genus does not constitute the basis of the deductive inference. Rather, it is a prerequisite for the second and (...) decisive requirement, that the different logical content to which an analogous middle term corresponds must exhibit the same proportional relation to this common genus. In Section II I translate a natural language argument with such an analogous middle term into the language of classical first-order predicate calculus, and show that its conclusion follows from its premises with the force of deductive necessity. The rule of inference justifying the analogical entailment of the conclusion from the premises functions much like the familiar modus ponens rule, and could be called “modus ponens analogice”. The validity of this rule ought to be judged on the same basis as that of the traditional modus ponens rule – immediate logical intuition. The present article endeavors to facilitate this logical intuition by making the logical structure of inference by analogy formally explicit. (shrink)

The research in Human Computer Interaction (HCI) has nowadays extended its attention to the study of persuasive technologies. Following this line of research, in this paper we focus on websites and mobile applications in the e-commerce domain. In particular, we take them as an evident example of persuasive technologies. Starting from the hypothesis that there is a strong connection between logical fallacies, i.e., forms of reasoning which are logically invalid but psychologically persuasive, and some common persuasion strategies adopted within these (...) technological artifacts, we carried out a survey on a sample of 175 websites and 101 mobile applications. This survey was aimed at empirically evaluating the significance of this connection by detecting the use of persuasion techniques, based on logical fallacies, in existing websites and mobile apps. In addition, with the goal of assessing the effectiveness of different fallacy-based persuasion techniques, we performed an empirical evaluation where participants interacted with a persuasive (fallacy-based) and with a non-persuasive version of an e-commerce website. Our results show that fallacy-based persuasion strategies are extensively used in existing digital artifacts, and that they are actually effective in influencing users’ behavior, with strategies based on visual salience manipulation (accent fallacy) being both the most popular and the most effective ones. (shrink)