His work forms the basis of modern logic, and his metaphysics became an integral part of Christian theology.
|
|
A First Course in Modern Logic, p.24. Routledge. "Incongruous", "circular", "negative", and "obscure or figurative".
|
|
24 (2004) 167–169. John Corcoran, Aristotle's Prior Analytics and Boole's Laws of Thought, History and Philosophy of Logic, vol. 24 (2003), pp. 261–288. Boole fully accepted and endorsed Aristotle's logic, and Frege included Aristotle's square of opposition at the end of his groundbreaking Begriffsschrift to show the harmony of his theory with the Aristotelian tradition.Jean-Yves Béziau “Is modern logic non-Aristotelian?”, to appear in D.Zaitsev (ed), Nikolai Vasiliev's Logical Legacy and Modern Logic, Springer, Heidelberg, 2015.
|
|
WFF 'N PROOF is a game of modern logic, developed to teach principles of symbolic logic. It was developed by Layman Allen a former professor of Yale Law School and the University of Michigan.
|
|
Many modern logic programming systems replace the law of the excluded middle with the concept of negation as failure. The programmer may wish to add the law of the excluded middle by explicitly asserting it as true; however, it is not assumed a priori.
|
|
He argued that a truly "exact" logic would depend upon mathematical, i.e., "diagrammatic" or "iconic" thought. "Those who follow such methods will ... escape all error except such as will be speedily corrected after it is once suspected". Modern logic is also "constructive" rather than "abstractive"; i.e.
|
|
George Boole Modern logic begins with what is known as the "algebraic school", originating with Boole and including Peirce, Jevons, Schröder, and Venn.See e.g. Bochenski p. 296 and passim Their objective was to develop a calculus to formalise reasoning in the area of classes, propositions, and probabilities.
|
|
Agazzi is the editor of Epistemologia, an Italian journal for the philosophy of science, and of Nuova Secondaria, an Italian journal for high school teachers. He also is a consulting editor for numerous international journals, including Erkenntnis, Revue Internationale de Philosophie, Zeitschrift für allgemeine Wissenschaftstheorie, Medicina e Morale, Modern Logic, Kos, and Sandhan.
|
|
Polish Logic is an anthology of papers by several authors—Kazimierz Ajdukiewicz, Leon Chwistek, Stanislaw Jaskowski, Zbigniew Jordan, Tadeusz Kotarbinski, Stanisław Leśniewski, Jan Łukasiewicz, Jerzy Słupecki, and Mordchaj Wajsberg—published in 1967 and covering the period 1920-1939\. The work focuses on the contributions of Polish logicians, more particularly, mathematical logicians, to modern logic.
|
|
Leibniz has been noted as one of the most important logicians between the times of Aristotle and Gottlob Frege.Lenzen, W., 2004, "Leibniz's Logic," in Handbook of the History of Logic by D. M. Gabbay/J. Woods (eds.), volume 3: The Rise of Modern Logic: From Leibniz to Frege, Amsterdam et al.: Elsevier-North-Holland, pp. 1–83.
|
|
He has also delved in the historical and biographical aspects of the development of modern logic, as shown in his original work on the lives of Gottlob Frege, Georg Cantor, Bertrand Russell, John von Neumann, Kurt Gödel and Alan Turing, intertwined with a formal analysis of their main technical contributions.Mosterín, Jesús (2000, 2007). Los lógicos. Madrid: Espasa Calpe.
|
|
By the 16th century, it developed theories resembling modern logic, such as Gottlob Frege's "distinction between sense and reference of proper names" and his "definition of number", as well as the theory of "restrictive conditions for universals" anticipating some of the developments in modern set theory.Chakrabarti, Kisor Kumar. 1976. "Some Comparisons Between Frege's Logic and Navya-Nyaya Logic." Philosophy and Phenomenological Research 36(4):554–63. .
|
|
263, n. 25 The library also holds many other philosophical works. Among Lambridi's manuscripts is a comprehensive history of ancient Greek philosophy and many works on modern analytic philosophy, as well as papers on Husserl, Heidegger, Sartre and others and the unfinished Fantasia Philosophica. She also prepared a work on traditional and modern logic that she regarded as her written philosophical legacy, which is still unpublished.
|
|
Many modern logic systems replace the law of excluded middle with the concept of negation as failure. Instead of a proposition's being either true or false, a proposition is either true or not able to be proved true. These two dichotomies only differ in logical systems that are not complete. The principle of negation as failure is used as a foundation for autoepistemic logic, and is widely used in logic programming.
|
|
In syntactic ambiguity, the same sequence of words is interpreted as having different syntactic structures. In contrast, in semantic ambiguity the structure remains the same, but the individual words are interpreted differently.Layman E. Allen "Some Uses of Symbolic Logic in Law Practice" 1962J M.U.L.L. 119, at 120;L.E. Allen & M.E. Caldwell "Modern Logic and Judicial Decision Making: A Sketch of One View" in H.W. Baade (ed.) "Jurimetrics" Basic Books Inc.
|
|
These writings remained unpublished until the appearance of a selection edited by Carl Immanuel Gerhardt (1859). Louis Couturat published a selection in 1901; by this time the main developments of modern logic had been created by Charles Sanders Peirce and by Gottlob Frege. Leibniz thought symbols were important for human understanding. He attached so much importance to the development of good notations that he attributed all his discoveries in mathematics to this.
|
|
Gödel's original proof of the theorem proceeded by reducing the problem to a special case for formulas in a certain syntactic form, and then handling this form with an ad hoc argument. In modern logic texts, Gödel's completeness theorem is usually proved with Henkin's proof, rather than with Gödel's original proof. Henkin's proof directly constructs a term model for any consistent first-order theory. James Margetson (2004) developed a computerized formal proof using the Isabelle theorem prover.
|
|
Propositional calculus is about the simplest kind of logical calculus in current use. It can be extended in several ways. (Aristotelian "syllogistic" calculus, which is largely supplanted in modern logic, is in some ways simpler – but in other ways more complex – than propositional calculus.) The most immediate way to develop a more complex logical calculus is to introduce rules that are sensitive to more fine-grained details of the sentences being used. First-order logic (a.k.a.
|
|
A few were written by Willard Quine and Burton Dreben. The Source Book did much to advance the view that modern logic begins with, and builds on, the Begriffsschrift. Grattan-Guinness (2000) argues that this perspective on the history of logic is mistaken, because Frege employed an idiosyncratic notation and was far less read than, say, Peano. Ironically, van Heijenoort (1967a) is often cited by those who prefer the alternative model theoretic stance on logic and mathematics.
|
|
This left a syllabus of analytic philosophy. Although Psychology remained nominally part of the Moral Sciences Tripos until after the Second World War, in practice it was an increasingly separate subject in the early part of the twentieth century. In the first half of the twentieth century Bertrand Russell, G.E. Moore, and Ludwig Wittgenstein were all at work in Cambridge. They were largely responsible for the rise of modern logic and the methods and results of analytic philosophy.
|
|
Prodger's primary area of expertise is in European and American art from the nineteenth century to the present. He has published extensively on topics in the history of photography and art/science interactions. Much of his work centers on the rise of photographic vision and its effect on modern logic systems. Prodger has devoted much research to the so-called ‘second invention’ of photography, when wet-plate collodion supplanted Daguerreian and paper negative technologies in the 1850s-70s.
|
|
The Robot communicated with a proprietary 8-bit protocol, yet had no microprocessors/pal's/pics/ram, O/S or other modern logic device. In 1987, Clay Paky began producing their first scanners, the Golden Scan 1 & Crystal Scan. They utilized stepper motors instead of servos and used a HMI 575 lamp, bright and with a far more uniform beam brightness. This was followed by the Intellabeam in 1989, released by High End, who at the time were the distributors for Clay Paky.
|
|
David Blitz has been a faculty member at Central Connecticut State University since 1989. His areas of teaching and research are the history and philosophy of science, with special interest in theories of evolution and modern logic, as well as the work of Charles Darwin and Bertrand Russell. His book, Emergent Evolution: Qualitative Novelty and the Levels of Reality was published in 1992 by Kluwer Academic Publishers. He is currently working on a monograph on Bertrand Russell's Philosophy of War and Peace.
|
|
While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics. Frege's Begriffsschrift (1879) introduced both a complete propositional calculus and what is essentially modern predicate logic. His Foundations of Arithmetic, published 1884, expressed (parts of) mathematics in formal logic. This approach was continued by Russell and Whitehead in their influential Principia Mathematica, first published 1910–1913, and with a revised second edition in 1927.
|
|
Among the first to introduce certain basics of modern logic into China,His Logic of 1936 shows Jin more adept with philosophical than with technical aspects of logic. This is confirmed by remarks of Hao Wang in 'Memories related to Professor Jin Yuelin,' trans. Montgomery Link and Richard Jandovitz, in Charles Parsons and Montgomery Link (eds.), Hao Wang, Logician and Philosopher, (London: College Publications, 2011), pp, 27–38. Original article published in 1982 in Wide Angle Monthly, No. 122, 61-63.
|
|
The formally sophisticated treatment of modern logic descends from the Greek tradition, being informed from the transmission of Aristotelian logic, which was then further developed by Islamic logicians. The Indian tradition also continued into the early modern period. The native Chinese tradition did not survive beyond antiquity, though Indian logic was later adopted in medieval China. As a number of other disciplines of formal science rely heavily on mathematics, they did not exist until mathematics had developed into a relatively advanced level.
|
|
Contemporary continental philosophy began with the work of Franz Brentano, Edmund Husserl, Adolf Reinach, and Martin Heidegger and the development of the philosophical method of phenomenology. This development was roughly contemporaneous with work by Gottlob Frege and Bertrand Russell inaugurating a new philosophical method based on the analysis of language via modern logic (hence the term "analytic philosophy").See, e.g., Michael Dummett, The Origins of Analytical Philosophy (Harvard University Press, 1994), or C. Prado, A House Divided: Comparing Analytic and Continental Philosophy (Prometheus/Humanity Books, 2003).
|
|
Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932) and Bertrand Russell (1872–1970) introduced his work to later generations of philosophers. His contributions include the development of modern logic in the Begriffsschrift and work in the foundations of mathematics. His book the Foundations of Arithmetic is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical papers "On Sense and Reference" and "The Thought" are also widely cited.
|
|
John W. Dawson Jr. (born February 4, 1944) is Professor of Mathematics, Emeritus at Pennsylvania State University at York. Born in Wichita, Kansas, he attended M.I.T. as a National Merit Scholar before earning a doctorate in mathematical logic from the University of Michigan in 1972.John William Dawson Jr., Mathematics Genealogy Project. Accessed January 28, 2010 An internationally recognized authority on the life and work of Kurt Gödel, Professor Dawson is the author of numerous articles on axiomatic set theory and the history of modern logic.
|
|
Yashovijaya stressed that neutrality does not mean acceptance of every position whatever, but acceptance only of those that satisfy at least the minimal criteria of clarity and coherence needed to legitimately constitute a point of view.Ganeri, Jonardon (2008) p.6 Hence he criticised the Carvaka philosophy as being too confused in their understanding of the topic of liberation even to be said to have a ‘view’. He also confronted the Brahmin scholar Raghunatha Siromani, one of the greatest exponent of modern logic during his time, thus proving his extraordinary talent.
|
|
Bertrand Russell (1959) wrote "Beyond doubt [...] he was one of the most original minds of the later nineteenth century and certainly the greatest American thinker ever".Russell, Bertrand (1959), Wisdom of the West, p. 276 Russell and Whitehead's Principia Mathematica, published from 1910 to 1913, does not mention Peirce (Peirce's work was not widely known until later).Anellis, Irving H. (1995), "Peirce Rustled, Russell Pierced: How Charles Peirce and Bertrand Russell Viewed Each Other's Work in Logic, and an Assessment of Russell's Accuracy and Role in the Historiography of Logic", Modern Logic 5, 270–328.
|
|
Zach is a founding editor of the Review of Symbolic Logic and the Journal for the Study of the History of Analytic Philosophy, and is also associate editor of Studia Logica, and a subject editor for the Stanford Encyclopedia of Philosophy (History of Modern Logic). He serves on the editorial boards of the Bernays edition and the Carnap edition. He was elected to the Council of the Association for Symbolic Logic in 2008, and he has served on the ASL Committee on Logic Education and the executive committee of the Kurt Gödel Society.
|
|
George Boole's main focus was on psychologism, and Mary provided a more ideological view of his work. She supported the idea that arithmetic was not purely abstract as many believed, but more anthropomorphic. Pulsation was also important in her works and could be described as a sequence of mental attitudes, with her attention being analysis and synthesis. She believed that Indian logic played a role in the development of modern logic by her husband George Boole and others.Kak, S. (2018) George Boole’s Laws of Thought and Indian logic.
|
|
Leibniz, along with René Descartes and Baruch Spinoza, was one of the three great 17th-century advocates of rationalism. The work of Leibniz anticipated modern logic and analytic philosophy, but his philosophy also assimilates elements of the scholastic tradition, notably that conclusions are produced by applying reason to first principles or prior definitions rather than to empirical evidence. Leibniz made major contributions to physics and technology, and anticipated notions that surfaced much later in philosophy, probability theory, biology, medicine, geology, psychology, linguistics, and computer science. He wrote works on philosophy, politics, law, ethics, theology, history, and philology.
|
|
Leibniz Gottfried Wilhelm Leibniz (1646–1716) was both a philosopher and a mathematician who wrote primarily in Latin and French. Leibniz, along with René Descartes and Baruch Spinoza, was one of the three great 17th century advocates of rationalism. The work of Leibniz also anticipated modern logic and analytic philosophy, but his philosophy also looks back to the scholastic tradition, in which conclusions are produced by applying reason to first principles or a priori definitions rather than to empirical evidence. Leibniz is noted for his optimism - his ThéodicéeRutherford (1998) is a detailed scholarly study of Leibniz's theodicy.
|
|
Carl Prantl thought that Stoic logic was "dullness, triviality, and scholastic quibbling" and he welcomed the fact that the works of Chrysippus were no longer extant. Eduard Zeller remarked that "the whole contribution of the Stoics to the field of logic consists in their having clothed the logic of the Peripatetics with a new terminology." Modern logic begins in the middle of the 19th-century with the work of George Boole and Augustus de Morgan, but Stoic logic was only rediscovered in the 20th-century. The first person to reappraise their ideas was the Polish logician Jan Łukasiewicz from the 1920s onwards.
|
|
Early analytic philosophy had a less positive view of ordinary language. Bertrand Russell tended to dismiss language as being of little philosophical significance, and ordinary language as just too confused to help solve metaphysical and epistemological problems. Frege, the Vienna Circle (especially Rudolf Carnap), the young Wittgenstein, and W.V. Quine all attempted to improve upon it, in particular using the resources of modern logic. In his Tractatus Logico-Philosophicus Wittgenstein more or less agreed with Russell that language ought to be reformulated so as to be unambiguous, so as to accurately represent the world, so that we can better deal with philosophical questions.
|
|
WFF is part of an esoteric pun used in the name of the academic game "WFF 'N PROOF: The Game of Modern Logic," by Layman Allen,Ehrenburg 2002 developed while he was at Yale Law School (he was later a professor at the University of Michigan). The suite of games is designed to teach the principles of symbolic logic to children (in Polish notation).More technically, propositional logic using the Fitch-style calculus. Its name is an echo of whiffenpoof, a nonsense word used as a cheer at Yale University made popular in The Whiffenpoof Song and The Whiffenpoofs.
|
|
There is a big difference between the kinds of formulas seen in traditional term logic and the predicate calculus that is the fundamental advance of modern logic. The formula A(P,Q) (all Ps are Qs) of traditional logic corresponds to the more complex formula \forall x (P(x) \rightarrow Q(x)) in predicate logic, involving the logical connectives for universal quantification and implication rather than just the predicate letter A and using variable arguments P(x) where traditional logic uses just the term letter P. With the complexity comes power, and the advent of the predicate calculus inaugurated revolutionary growth of the subject.
|
|
An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. introducing symbolic logic and the principles of what is now known as Boolean logic. In 1879, Gottlob Frege published Begriffsschrift, which inaugurated modern logic with the invention of quantifier notation, reconciling the Aristotelian and Stoic logics in a broader system, and solving such problems for which Aristotelian logic was impotent, such as the problem of multiple generality. From 1910 to 1913, Alfred North Whitehead and Bertrand Russell published Principia Mathematica on the foundations of mathematics, attempting to derive mathematical truths from axioms and inference rules in symbolic logic.
|
|
A. Thomas Tymoczko (September 1, 1943August 8, 1996) was a philosopher specializing in logic and the philosophy of mathematics. He taught at Smith College in Northampton, Massachusetts from 1971 until his death from stomach cancer in 1996. His publications include New Directions in the Philosophy of Mathematics, an edited collection of essays for which he wrote individual introductions, and Sweet Reason: A Field Guide to Modern Logic, co-authored by Jim Henle. In addition, he published a number of philosophical articles, such as "The Four-Color Problem and its Philosophical Significance", which argues that the increasing use of computers is changing the nature of mathematical proof.
|
|
266 Modern logic is fundamentally a calculus whose rules of operation are determined only by the shape and not by the meaning of the symbols it employs, as in mathematics. Many logicians were impressed by the "success" of mathematics, in that there had been no prolonged dispute about any truly mathematical result. C.S. Peirce notedPeirce 1896 that even though a mistake in the evaluation of a definite integral by Laplace led to an error concerning the moon's orbit that persisted for nearly 50 years, the mistake, once spotted, was corrected without any serious dispute. Peirce contrasted this with the disputation and uncertainty surrounding traditional logic, and especially reasoning in metaphysics.
|
|
Alfred Tarski Stanisław Leśniewski Maria Ossowska Institute of Philosophy of the University of Warsaw (Polish Instytut filozofii Uniwersytetu Warszawskiego) is a research institution located in Warsaw, part of the Faculty of Philosophy and Sociology of the University of Warsaw. It is renowned mainly for its contribution to the development of modern logic and analytic philosophy (Lvov-Warsaw School - Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, Tadeusz Kotarbiński, Stanisław Leśniewski) and to history of ideas (Warsaw School of the History of Ideas - Władysław Tatarkiewicz, Stanisław Ossowski, Maria Ossowska, Leszek Kołakowski, Adam Schaff). Provides master's degree studies, doctor's degree studies and postgraduate studies in philosophy both in Polish and in English.
|
|
Russell later realised that the conception it laid out would make Albert Einstein's schema of space-time impossible. Thenceforth, he rejected the entire Kantian program as it related to mathematics and geometry, and rejected his own earliest work on the subject. Interested in the definition of number, Russell studied the work of George Boole, Georg Cantor, and Augustus De Morgan. Materials in the Bertrand Russell Archives at McMaster University include notes of his reading in algebraic logic by Charles Sanders Peirce and Ernst Schröder.Bertrand Russell Archives at McMaster UniversityIrving H. Anellis, "Schröder Material at the Russell Archives", Modern Logic 1 (1990–1991), 237–247.
|
|
Minimizing Boolean functions by hand using the classical Karnaugh maps is a laborious, tedious and error prone process. It isn't suited for more than six input variables and practical only for up to four variables, while product term sharing for multiple output functions is even harder to carry out. Moreover, this method doesn't lend itself to be automated in the form of a computer program. However, since modern logic functions are generally not constrained to such a small number of variables, while the cost as well as the risk of making errors is prohibitive for manual implementation of logic functions, the use of computers became indispensable.
|
|
An existential fallacy is committed in a medieval categorical syllogism because it has two universal premises and a particular conclusion with no assumption that at least one member of the class exists, an assumption which is not established by the premises. In modern logic, the presupposition that a class has members is seen as unacceptable. In 1905, Bertrand Russell wrote an essay entitled "The Existential Import of Proposition", in which he called this Boolean approach "Peano's interpretation". The fallacy does not occur in enthymemes, where hidden premises required to make the syllogism valid assume the existence of at least one member of the class.
|
|
His habilitation thesis at the University of Rostock, Das Wesen der Wahrheit nach der modernen Logik (The Nature of Truth According to Modern Logic), was published in 1910. Several essays about aesthetics followed, whereupon Schlick turned his attention to problems of epistemology, the philosophy of science, and more general questions about science. In this last category, Schlick distinguished himself by publishing a paper in 1915 about Einstein's special theory of relativity, a topic only ten years old. He also published Raum und Zeit in der gegenwärtigen Physik (Space and Time in Contemporary Physics), which extended his earlier results by applying Poincaré's geometric conventionalism to explain Einstein's adoption of a non-Euclidean geometry in the general theory of relativity.
|
|
Robert (Bob) W. Allen was the founding father of The National Academic Games Project and what has become The National Academic Games Tournament. He and his brother, Professor Layman E. Allen of the University of Michigan, are the authors of the seven games that are played at the National Academic Games Tournament. Bob Allen is the author of The LinguiSHTIK Game, The Presidents’ Game (originally called “A Man called Mr. President”), World Card (originally called “Americard-Euorocard”), and the principal author of The Propaganda Game, while Layman Allen is the author of WFF 'N PROOF: The Game of Modern Logic, EQUATIONS: The Game of Creative Mathematics, and the principal author of ON- SETS: The Game of Set Theory.
|
|
Paradoxes that arise from apparently intelligible uses of language are often of interest to logicians and philosophers. "This sentence is false" is an example of the well-known liar paradox: it is a sentence which cannot be consistently interpreted as either true or false, because if it is known to be false, then it can be inferred that it must be true, and if it is known to be true, then it can be inferred that it must be false. Russell's paradox, which shows that the notion of the set of all those sets that do not contain themselves leads to a contradiction, was instrumental in the development of modern logic and set theory. Thought-experiments can also yield interesting paradoxes.
|
|
In 1936, Post developed, independently of Alan Turing, a mathematical model of computation that was essentially equivalent to the Turing machine model. Intending this as the first of a series of models of equivalent power but increasing complexity, he titled his paper Formulation 1. This model is sometimes called "Post's machine" or a Post–Turing machine, but is not to be confused with Post's tag machines or other special kinds of Post canonical system, a computational model using string rewriting and developed by Post in the 1920s but first published in 1943. Post's rewrite technique is now ubiquitous in programming language specification and design, and so with Church's lambda-calculus is a salient influence of classical modern logic on practical computing.
|
|
Navya-Nyāya developed a sophisticated language and conceptual scheme that allowed it to raise, analyse, and solve problems in logic and epistemology. It systematised all the Nyāya concepts into four main categories: sense or perception (pratyakşa), inference (anumāna), comparison or similarity (upamāna), and testimony (sound or word; śabda). This later school began around eastern India and Bengal, and developed theories resembling modern logic, such as Gottlob Frege's "distinction between sense and reference of proper names" and his "definition of number," as well as the Navya-Nyaya theory of "restrictive conditions for universals" anticipating some of the developments in modern set theory. Udayana in particular developed theories on "restrictive conditions for universals" and "infinite regress" that anticipated aspects of modern set theory.
|
|
The period between the fourteenth century and the beginning of the nineteenth century had been largely one of decline and neglect, and is generally regarded as barren by historians of logic. The revival of logic occurred in the mid-nineteenth century, at the beginning of a revolutionary period where the subject developed into a rigorous and formalistic discipline whose exemplar was the exact method of proof used in mathematics. The development of the modern "symbolic" or "mathematical" logic during this period is the most significant in the 2000-year history of logic, and is arguably one of the most important and remarkable events in human intellectual history. A number of features distinguish modern logic from the old Aristotelian or traditional logic, the most important of which are as follows:Bochenski, p.
|
|
In opposition to Alfred Tarski and other anti-psychologist logicians who taught that the natural language leads to contradiction by its very nature, he rejected this conviction and proposed a formal system of the Universal Syntax which imitates the versatility of colloquial language. On his approach, the axiomatization of quotation-operator is the best device which allows to marry logic with metalogic and prove the adequacy theorem for the notion of truth. He dealt with the problem on invasion of logic by postmodernity, because the deconstruction of logical rules is not at stake, there would be no logic, while the foundation of logic could be rocked. Despite that in the mathematical genealogy he was and a son of Andrzej Mostowski and a grandson of Alfred Tarski, he manifestly undermined and rebutted the classical anti-psychologism of modern logic.
|
|
Wholistic reference is reference to the whole—with respect to the context. In its strongest, unqualified form, the principle of wholistic reference is the proposition that each and every proposition, regardless how limited the referents of its non-logical or content terms, refers to the whole of its universe of discourse. According to this principle every proposition of number theory, even an equational proposition such as 5 + 7 = 12, refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. The relation verb ‘refers’ is being used in its broad sense (loosely “is about”) and not as a synonym for ‘names’ in the sense of “is a name of”. George Boole (1815–1864) introduced this principle into modern logic: Even though he changed from a monistic fixed-universe framework in his 1840s writings to a pluralistic multiple-universe framework in 1854,Corcoran, John, and Sagüillo, José Miguel, 2011. “The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper”, History and Philosophy of Logic 32: 359–80.
|
|
Jacoby regards this as mathematical disciplines, as individual sciences, which could not claim to have the knowledge of "true logic" and which are subordinate to philosophy. That modern formal logic was nevertheless accorded such a high status by philosophy during Jacoby's lifetime, and that the recognition of his interpretation of traditional logic declined, he attributes in his work Die Ansprüche der Logistiker auf die Logik und ihre Geschichtschreibung (The claims of logisticians to logic and its historiography) to the fact that the representatives of modern logic are partly motivated by positivist philosophical hostility,Die Ansprüche der Logistiker auf die Logik und ihre Geschichtsschreibung, partly for "confessional motives"The claims of the logisticians to logic and its historiography, , there also: "In the historiography of logistics their propagandists are often Catholic clergymen." but besides also out of "need for recognition", "immaturity"Die Ansprüche der Logistiker auf die Logik und ihre Geschichtschreibung, and "association consciousness" have built a global propaganda machine in order to jointly "as exponents of the ideology of an invisible international corporation" first "slander, then substance murder" commit the philosophical logic and finally take up its inheritance. Jacoby died in Greifswald at the age of 87.
|
|