This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

The author contends that the Objectivist epistemology has lacked a viable model of propositional knowledge for nearly fifty years, due to neglect of Rand's unit-perspective view of concepts. This pioneering insight, he says, not only is an essential building block of her concept theory, but also welds together the three levels of logical theory and provides the clearest X-ray picture of our multilayered conceptual knowledge. Using the unit-perspective to expand Rand's theory of concepts, the author then devises a theory of (...) the proposition, giving considerable attention to axioms and statements about nonexistent subjects. (shrink)

After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding their respective logical systems which emerged around the Leibnizian notions of lingua characterica and calculus ratiocinator. Both of them claimed their own logic to be a better realisation of Leibniz’s ideal language and considered the rival system a mere calculus ratiocinator. Inspired by this polemic, van Heijenoort (1967b) distinguished two conceptions of logic—logic as language and logic as calculus—and presented them as opposing views, but did not explain (...) Frege’s and Schröder’s conceptions of the fulfilment of Leibniz’s scientific ideal. -/- In this paper I explain the reasons for Frege’s and Schröder’s mutual accusations of having created a mere calculus ratiocinator. On the one hand, Schröder’s construction of the algebra of relatives fits with a project for the reduction of any mathematical concept to the notion of relative. From this stance I argue that he deemed the formal system of Begriffsschrift incapable of such a reduction. On the other hand, first I argue that Frege took Boolean logic to be an abstract logical theory inadequate for the rendering of specific content; then I claim that the language of Begriffsschrift did not constitute a complete lingua characterica by itself, more being seen by Frege as a tool that could be applied to scientific disciplines. Accordingly, I argue that Frege’s project of constructing a lingua characterica was not tied to his later logicist programme. (shrink)

John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...) argument, a particularly difficult task in Venn diagrams for more than four sets. Carroll diagrams can represent existential propositions easily, so they are capable of clearly representing more complex problems than Venn's system can. Finally, both Carroll and Venn diagrams are maximal, in the sense that no additional logic information like inclusive disjunctions is able to be represented by them. Carroll's logic diagrams and logic trees constitute his visual logic system. (shrink)

This expository paper on Aristotle’s prototype underlying logic is intended for a broad audience that includes non-specialists. It requires as background a discussion of Aristotle’s demonstrative logic. Demonstrative logic or apodictics is the study of demonstration as opposed to persuasion. It is the subject of Aristotle’s two-volume Analytics, as its first sentence says. Many of Aristotle’s examples are geometrical. A typical geometrical demonstration requires a theorem that is to be demonstrated, known premises from which the theorem is to be deduced, (...) and a deductive logic by which the steps of the deduction proceed. Every demonstration produces knowledge of its conclusion for every person who comprehends the demonstration. Aristotle presented a general truth-and-consequence theory of demonstration meant to apply to all demonstrations: a demonstration is an extended argumentation that begins with premises known to be truths and that involves a chain of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. In short, a demonstration is a deduction whose premises are known to be true. Aristotle’s general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining theory of deduction was meant to apply to all deductions: any deduction that is not immediately evident is an extended argumentation that involves a chaining of immediately evident steps that shows its final conclusion to follow logically from its premises. His deductions, both direct and indirect, were rule-based and not tautology-based. The idea of tautology-based deduction, which dominated modern logic in the early years of the 1900s, is nowhere to be found in Analytics. Rule-based deduction was rediscovered by modern logicians. To illustrate his general theory of deduction, Aristotle presented a prototype: an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. With reference only to propositions of the four so-called categorical forms, he painstakingly worked out exactly what those immediately evident deductive steps are and how they are chained to complete deductions. In his specialized prototype theory, Aristotle explained how to deduce from a given categorical premise set, no matter how large, any categorical conclusion implied by the given set. He did not extend this treatment to non-categorical deductions, thus setting a program for future logicians. The prototype, categorical syllogistic, was seen by Boole as a “first approximation” to a comprehensive logic. Today, however it appears more as the first of the dozens of logics already created and as the first exemplification of a family that continues to expand. (shrink)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by (...) exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

Studies of Aristotle’s syllogistic system, since Corcoran’s deductionist interpretation supplanted Łukasiewicz’ axiomaticist interpretation, misrepresent Aristotle’s logic in two important respects. Following Corcoran, they take indirect deduction to occur only once in a deduction discourse; they then obviate the system having a reductio rule. Second, they represent reduction as a deductive process for deriving ‘imperfect’ syllogisms from ‘perfect’ syllogisms to impose an axiomatic interpretation on the logic. Denying that Aristotle's logic admits of a reductio rule results from this misrepresentation of reduction. (...) This discussion shows that the defects imputed to Aristotle's logic, and systems devised to resolve them, result from misunderstanding reduction, which itself results from misapprehending Prior Analytics expressly to identify in a metadiscourse deduction rules and not deductions per se. (shrink)

This work presents an operational and geometric approach to logic. It starts from the multilinear elective decomposition of binary logical functions in the original form introduced by George Boole. A justification on historical grounds is presented bridging Boole’s theory and the use of his arithmetical logical functions with the axioms of Boolean algebra using sets and quantum logic. It is shown that this algebraic polynomial formulation can be naturally extended to operators in finite vector spaces. Logical operators will appear as (...) commuting projection operators and the truth values, which take the binary values \, are the respective eigenvalues. In this view the solution of a logical proposition resulting from the operation on a combination of arguments will appear as a selection where the outcome can only be one of the eigenvalues. In this way propositional logic can be formalized in linear algebra by using elective developments which correspond here to combinations of tensored elementary projection operators. The original and principal motivation of this work is for applications in the new field of quantum information, differences are outlined with more traditional quantum logic approaches. (shrink)

We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in..

The hypothesis of a theoretical unity between On Sophistical Refutations and Prior Analytics presents a major challenge to scholars attempting to unify the criteria of analysis. This paper examines this problem and proposes a middle ground between the perspectives of Woods and Boger to address this crucial question: If a unitary and coherent theory of deduction exists, why does not the technical apparatus of syllogistic modes for analyzing fallacies appear in SE? This paper makes useful contributions to the discussion on (...) the internal unity of Aristotle's logical writings on around categorical syllogistics and the doctrine of sophistical refutations. (shrink)

The deductive system in Boole's Laws of Thought (LT) involves both an algebra, which we call proto-Boolean, and a "general method in Logic" making use of that algebra. Our object is to elucidate these two components of Boole's system, to prove his principal results, and to draw some conclusions not explicit in LT. We also discuss some examples of incoherence in LT; these mask the genius of Boole's design and account for much of the puzzled and disparaging commentary LT has (...) received. Our evaluation of Boole's logical system does not differ substantially from that advanced in Hailperin's exhaustive study, Boole's Logic and Probability. Unlike the latter work, however, we make direct use of the polynomials native to LT rather than appealing to formalisms such as multisets and rings. (shrink)

George Boole published the pamphlet The Mathematical Analysis of Logic in 1847. He believed that logic should belong to a universal mathematics that would cover both quantitative and nonquantitative research. With his pamphlet, Boole signalled an important change in symbolic logic: in contrast with his predecessors, his thinking was exclusively extensional. Notwithstanding the innovations introduced he accepted all traditional Aristotelean syllogisms. Nevertheless, some criticisms have been raised concerning Boole’s view of Aristotelean logic as the solution of algebraic equations. In order (...) to circumvent such criticisms, we show here how Boole’s conclusions may be deduced from the axioms and inference rules proposed in his pamphlet, from which Aristotle’s deductions in Prior Analytics (including those that are completed through an impossibility) can be stated as theorems. We clarify his method for dealing with both universal and particular premises by means of his symbol v and demystify some criticisms concerning the way he expressed particular premises. Boole’s conclusions for some of those premises for which according to Aristotle there is no deduction are also discussed. The deductive system presented here has the potential to provide a new perspective on Boole’s approach to logic in The Mathematical Analysis of Logic. (shrink)

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)

As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied . Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss (...) two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments . In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize. Pode-se dizer que, enquanto disciplina, a lógica é caracterizada por dois subprojetos: teorias formais da validade de argumentos, baseadas em um número reduzido de esquemas e padrões formais, e teorias de como reduzir a multiplicidade de argumentos em contextos informais, não lógicos, ao pequeno número de padrões formais cuja validade é estudada de maneira sistemática no âmbito do primeiro subprojeto. O segundo subprojeto corresponde à noção de formalização de argumentos. Infelizmente, a tendência atual é de considerar como sendo a lógica propriamente dita exclusivamente o que se encaixa no primeiro subprojeto, em detrimento do segundo subprojeto, igualmente importante. Neste artigo, duas teorias históricas sobre a formalização de argumentos são analisadas: a teoria da silogística apresentada por Aristóteles nos "Primeiros Analíticos" e teorias medievais da suposição. Ambas ilustram o caráter duplo da lógica, que envolve dois subprojetos distintos, e contêm reflexões sofisticadas sobre como formalizar argumentos. Em ambos os casos, os métodos formais utilizados se diferenciam dos métodos atuais de tradução de um argumento em linguagem vernacular para um simbolismo especialmente formulado, ou seja, uma linguagem formal. Em conclusão, o artigo pode ser visto como a defesa de uma conceitualização mais abrangente do que significa 'formalizar' um argumento. (shrink)

It has been said that there is no scholarly consensus as to why Aristotle’s logics of proof and refutation would have borne the title _Analytics._ But if we consulted Tarski’s (Introduction to logic and the methodology of deductive sciences, Oxford University Press, New York, 1941) graduate-level primer, we would have the perfect title for them: _Introduction to logic and to the methodology of deductive sciences._ There are two strings to Aristotle’s bow. The methodological string is the founding work on the (...) epistemology of science, and the logical string sets down conditions on the proofs that bring this knowledge about. The logic of proof presents a difficulty whose solution exceeds its theoretical reach. The logic of refutation takes the problem on board, and advances a solution whose execution is framed by fallacy-avoidance at the beginning and fallacy-adoption at the end. But with a difference: the avoidance-fallacies are of Aristotle’s own conception, whereas the adoption-fallacies, so judged in the modern tradition, aren’t fallacies at all for Aristotle. The avoidance-fallacies are begging the question and _ignoratio elenchi_, and the adoption-fallacies, fallacies in name only, are the _ad hominem_ and _ad ignorantiam_, an inductive turning in the first instance, and an abductive finish in the second. (shrink)

We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the (...) goal is to offer a general discussion of the relations between informal notions—in this case, an informal notion of deductive validity—and logical apparatuses such as deductive systems and (model-theoretic or other) semantic systems that aim at offering technical, formal accounts of informal notions. Specifically, we will be interested in Kreisel's famous 'squeezing argument'; we shall ask ourselves what a plurality of semantic systems (understood as classes of mathematical structures) may entail for the cogency of specific applications of the squeezing argument. More generally, the analysis brings to the fore the need for criteria of adequacy for semantic systems based on mathematical structures. Without such criteria, the idea that the gap between informal and technical accounts of validity can be bridged is put under pressure. (shrink)

In his influential Laws of Thought , the mathematician George Boole presented a formulation of logic using algebraic expressions and manipulations. His widow, Mary Everest Boole, undertook an ambitious project of disseminating his ideas by introducing lay audiences to the law of pulsation, a prescription for correct reasoning that incorporates two of his fundamental insights. Contemporary scholarship presents a fragmented picture of Mary Boole, regarding her largely as a source of information on the religio-psychological impetus for her husband's contributions to (...) logic, among other matters. Some studies rightly acknowledge that her better-known commentary on educational reform relates to a promotion of the Laws of Thought, yet these typically fail to expand on how she articulated such relationships for readers. This paper provides a more complete understanding of her efforts by examining texts on various subjects motivated by a dedication to propagating as much as fulfilling the intellectual legacy she associated with her husband. In doing so it considers her interventions – like those undertaken by other Victorian women who sought to cultivate scientific enterprises – within a contextual framework broad enough to include strategic responses to cultural realities and possibilities. (shrink)