[full article, abstract in English; only abstract in Lithuanian] The paper deals with the problem of the “two Barbaras” in the Aristotelian modal syllogistic. The problem consists in Aristotle’s differing views on two at a first sight similar in nature syllogisms of mixed assertoric and necessary premises: Barbara LXL and Barbara XLL. The fact that Aristotle believed the first syllogism to be valid and the second one – not, has been received either 1) negatively, because both Barbaras have been held (...) to be invalid, or 2) negatively, because both Barbaras have been held to be valid, or 3) positively, by giving a reason why the two Barbaras differ. We commit ourselves to the position by proving that modal propositions for Aristotle have their modalities de dicto and that Aristotelian modal operators act according to their own separate rules where only the type of the modality of a major premise is relevant for the modal status of the conclusion. (shrink)

Rarely do philosophers and scholars endeavour to examine Jesus Christ‟s teachings from the perspective of philosophy this is because it is presumed that Christ‟s teachings fall within the ambience of religion and theology.Philosophy as a discipline of study has been misunderstood and most times characterized by abstract considerations. This article titled: Jesus Christ the Philosopher:An Expose'brings out the fact that some teachings of Jesus Christ are and ought to be understood as being philosophical. The article looks at Jesus as a (...) historic person, exclusive of post-resurrection Jesus Christ which is fundamentally an issue of faith. The main objective of this work is to uncover, expose and write on the teachings of Jesus Christ which are philosophical. Certain areas of philosophy inherent in Christ teachings are in the areas of Social Philosophy viz: Leadership Philosophy, Philosophy of Peace and Conflict Resolution, Ethics and Virtue Ethics and Law. The conclusion of this article is that Jesus Christ‟s teachings are philosophical and thereby captures Jesus Christ as a philosopher. (shrink)

I characterize the deductivist ideal of justification and, following to a great extent Toulmin’s work The Uses of Argument, I try to explain why this ideal is erroneous. Then I offer an alternative model of justification capable of making our claims to knowledge about substantial matters sound and reasonable. This model of justification will be based on a conception of justification as the result of good argumentation, and on a model of argumentation which is a pragmatic linguistic reconstruction of Toulmin’s (...) model of argument. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

Commentators have not said much regarding Berkeley and Stoicism. Even when they do, they generally limit their remarks to Berkeley’s Siris (1744) where he invokes characteristically Stoic themes about the World Soul, “seminal reasons,” and the animating fire of the universe. The Stoic heritage of other Berkeleian doctrines (e.g., about mind or the semiotic character of nature) is seldom recognized, and when it is, little is made of it in explaining his other doctrines (e.g., immaterialism). None of this is surprising, (...) considering how Stoics are considered arch-materialists and determinists. My aim is to suggest that our understanding of Berkeley’s philosophy is improved significantly by acknowledging its underlying Stoic character. I argue that Berkeley proposes not only a semantic ontology based on assumptions of Stoic logic but also a doctrine in which perceptions or ideas are intelligible precisely because they are always embedded in the propositions of a discourse or language. (shrink)

Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct ways; and checking to (...) make sure inferences are logically correct. The methodology can easily be extended beyond the four examples analyzed. (shrink)

What characterizes indexical thinking is the fact that the modes of presentation through which one thinks of objects are context-bound and perspectival. Such modes of presentation, I claim, are mental files presupposing that we stand in certain relations to the reference : the role of the file is to store information one can gain in virtue of standing in that relation to the object. This raises the communication problem, first raised by Frege : if indexical thoughts are context-bound and relation-based, (...) how is it possible to communicate them to those who are not in the same context and do not stand in the right relations to the object? Following Frege, I argue that the solution comes from an important distinction between linguistic and psychological modes of presentation. Psychological modes of presentation are mental files. They are perspectival and context-bound. But linguistic modes of presentation are fixed by the conventions of the language and they are shared by the language users. They are public and serve to coordinate mental files in communication by constraining them to contain the piece of information they encode. In this way communication takes place even though the indexical thoughts entertained by the speaker are, in some sense, private and cannot be shared by the audience. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Cicero's De fato: On Hellenistic Conditionals and Free Will. The Serbo-Croatian translation of Cicero's De fato, with comments and detailed analysis of some arguments and problems of the text. -/- (s/h): Tekst Ciceronovog spisa "de fato", prevod, komentari i u dodacima, detaljnija analiza pojedinih argumenata i problema sadržanih u tekstu.

Sections 1 through 3 present all of the main ideas behind the probabilistic logic of evidential support. For most readers these three sections will suffice to provide an adequate understanding of the subject. Those readers who want to know more about how the logic applies when the implications of hypotheses about evidence claims (called likelihoods) are vague or imprecise may, after reading sections 1-3, skip to section 6. Sections 4 and 5 are for the more advanced reader who wants a (...) detailed understanding of some telling results about how this logic may bring about convergence to the truth. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of language, (...) logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

In this extended essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means of detailed (...) evidence that there are numerous (over a hundred) and extensive parallels both in formulation and --more importantly-- in content between the Stoics and Frege, parallels so plentiful that one would be hard pressed to brush them off as coincidence. These parallels include several that appear to occur in no other modern works that were published before Frege’s own and were accessible to him. Additionally, a cluster of corroborating historical data is adduced to support the suggestion, showing how easy it would have to been for Frege to plagiarize the Stoics. This (first) part of the essay is easy to read and vaguely entertaining, or so I hope. -/- (Corrigendum: At school, Frege likely had seven, not ten, years of intensive Latin and four years of intensive ancient Greek courses.). (shrink)

This paper seeks to elucidate the distinctive nature of the rational impression on its own terms, asking precisely what it means for the Stoics to define logikē phantasia as an impression whose content is expressible in language. I argue first that impression, generically, is direct and reflexive awareness of the world, the way animals get information about their surroundings. Then, that the rational impression, specifically, is inherently conceptual, inferential, and linguistic, i.e. thick with propositional content, the way humans receive incoming (...) information from the world. When we suspend certain contemporary assumptions about propositional content, the textual evidence can be taken at face value to reveal why, for the Stoics, rational impressions are called thoughts (noēseis) and how the Stoics’ novel semantic entities called lekta (roughly, the meanings of our words) depend on rational impressions for their subsistence. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)

A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. (...) Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory. (shrink)

Aristotle’s modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a ‘realm of darkness’. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle’s results. This volume provides a simple interpretation of Aristotle’s modal syllogistic using standard predicate logic. Rini distinguishes between red terms, such as ‘horse’, ‘plant’ or ‘man’, which name things in virtue of features those things must have, and green terms, such as (...) ‘moving’, which name things in virtue of their non-necessary features. By applying this distinction to the Prior Analytics, Rini shows how traditional interpretive puzzles about the modal syllogistic melt away and the simple structure of Aristotle’s own proofs is revealed. The result is an applied logic which provides needed links between Aristotle’s views of science and logical demonstration. The volume is particularly valuable to researchers and students of the history of logic, Aristotle’s theory of modality, and the philosophy of logic in general. (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

In The Uses of Argument, Stephen Toulmin proposed a model for the layout of arguments: claim, data, warrant, qualifier, rebuttal, backing. Since then, Toulmin’s model has been appropriated, adapted and extended by researchers in speech communications, philosophy and artificial intelligence. This book assembles the best contemporary reflection in these fields, extending or challenging Toulmin’s ideas in ways that make fresh contributions to the theory of analysing and evaluating arguments.

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

This volume examines the entire logical and philosophical production of Nikolai A. Vasil’ev, studying his life and activities as a historian and man of letters. Readers will gain a comprehensive understanding of this influential Russian logician, philosopher, psychologist, and poet. The author frames Vasil’ev’s work within its historical and cultural context. He takes into consideration both the situation of logic in Russia and the state of logic in Western Europe, from the end of the 19th century to the beginning of (...) the 20th. Following this, the book considers the attempts to develop non-Aristotelian logics or ideas that present affinities with imaginary logic. It then looks at the contribution of traditional logic in elaborating non-classical ideas. This logic allows the author to deal with incomplete objects just as imaginary logic does with contradictory ones. Both logics are objects of interesting analysis by modern researchers. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

Essays on Aristotle's Sea-Battle, Lazy Argument, Argument Reaper, Diodorus' Master Argument -/- The book is devoted to the ancient logical theories, reconstruction of their semantic proprieties and possibilities of their interpretation by modern logical tools. The Ancient arguments are frequently misunderstood in modern interpretations since authors usually have tendency to ignore their historical proprieties and theoretical background what usually leads to a quite inappropriate picture of the argument’s original form and mission. Author’s primary intention was to draw attention to the (...) complexity of some historical arguments and to the theoretical context in which arguments were created, circulated, developed, and finally tuned. Four well-known ancient arguments – with a common central subject related to the future contingencies problem – are reconstructed from available historical sources: “The Sea Battle”, which is drawn from Aristotle’s treatise De Interpretatione; two arguments, usually ascribed to the Stoics, “The Lazy Argument” and “The Reaper”; “The Master Argument” of the Megarian philosopher Diodorus. Arguments are linguistically and semantically detaily analyzed, formally presented by reflecting some relevant corresponding hypotheses based on physical or logical theories of their ancient authors, and finally covered by appropriate logical tools familiar to a modern reader. Two appendices are added at the closing part of the book. One covering some assumptions relevant for understanding of rival streams in ancient theories of meaning related to the nature of names and naming; the other is devoted to the ancient understanding of logical proposition and attempts to find an adequate Latin translation of the Greek delicate philosophical term “ἀξίωμα”. (shrink)

What is early modern philosophy? Two interpretative trends have predominated in the related literature. One, with roots in the work of Hegel and Heidegger, sees early modern thinking either as the outcome of a process of gradual rationalization (leading to the principle of sufficient reason, and to "ontology" as distinct from metaphysics), or as a reflection of an inherent subjectivity or representational semantics. The other sees it as reformulations of medieval versions of substance and cause, suggested by, or leading to, (...) early modern scientific developments. -/- This book proposes a rather different kind of explanation. It suggests that the concept of relation, specifically that of dyadic, anti-symmetrical relations, can throw light on a wide variety of developments in early modern thought, such as those concerning causality, sense perception, temporality, and the mereological approach to substance. The book argues that these relations are grounded in an interpretation of causal influence, and not in semantic theories or subjectivity. -/- Furthermore, if it is correct that the problem of unity was, for most of classical antiquity, what the problems of motion, causality and perception were for early modern thinkers, then early modern thought is much closer to the thought of Aristotle than is commonly supposed. The genesis of early modern thought might instead be taken to have occurred in opposition to one aspect of the thought of Duns Scotus (an aspect that lives on in contemporary Neo-Aristotelianism), and that can be explained once the relational perspective examined here is taken into account. (shrink)

In this paper, I aim to identify Peirce?s great contribution to logical diagrams and its limit.Peirce is the first person who believed that the same logical status can be given to diagrams as to symbolic systems.Even though this belief led him to invent his own graphical system, Existential Graphs, the success or failure of this system does not determine the value of Peirce?s general insights about logical diagrams.In order to make this point clear, I will show that Peirce?s revolutionary ideas (...) about diagrams not only overcame some important defects of Venn diagrams but opened a new horizon for logical diagrams.Finally, I will point out where Peirce?s new horizon for logical diagrams stopped and will claim that this limit is mainly responsible for the discrepancy between Peirce?s and others? estimates of his contribution to logical diagrams. (shrink)

Arguing that our attachment to Aristotelian modes of discourse makes a revision of their conceptual foundations long overdue, the author proposes the consideration of unacknowledged factors that play a central role in argument itself. These are in particular the subjective imprint and the dynamics of argumentation. Their inclusion in a four-dimensional framework and the focus on thesis validity allow for a more realistic view of our discourse practice. Exhaustive analyses of fascinating historical and contemporary arguments are provided. These range from (...) Columbus’s advocacy of the Western Passage to India, over the trial of King Louis XVI during the French Revolution, to today’s highly charged controversies surrounding euthanasia and embryo research. Excavating foundational issues such as the purpose of argument itself and the contested role of argument as a generator of knowledge, the book culminates in a discussion of the relationship between rationality and reasonableness and criticizes the restrictions of ‘rational’ argument relying on fixed logical, economic or cultural criteria that in reality are mutable. Here, a true, open argument requires the infusion of Paul Lorenzen’s principle of ‘transsubjectivity’, which recognizes but transcends the partiality of the individual and which can be seen in the pragmatic and expanding consensus that humanity can control itself to safeguard the future of a fragile, damaged world. (shrink)

Kant’s repeated statement in the Critique of Pure Reason that the so-called table of judgements and, as a consequence, the table of pure concepts of the understanding or categories, is fully exhaustive is well-known. This ambitious assertion has worried and challenged generations of authors. However, thus far the entire discussion has completely disregarded the fact that in his Critique of Practical Reason Kant undertakes a coordinate venture. For the “Table of the Categories of Freedom”, which he sets out, with only (...) a few explanations, in the “Second Chapter” of the Critique, Kant makes, when looked at more closely, the very same claim to completeness. This article shows that this same claim is made, even though Kant does not state this assertion as explicitly as one might have expected. And it poses the question, which underlying, yet concealed assumptions this view might appeal to. Or is it that Kant has merely failed to provide the evidence in this case? (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...

This paper examines how the work of Frege was known and received in Poland in the period 1910–1935 (with one exception concerning the later work of Suszko). The main thesis is that Frege's reception in Poland was perhaps faster and deeper than in other countries, except England, due to works of Russell and Jourdain. The works of Łukasiewicz, Leśniewski and Czeżowski are described.

The reflections recorded in this paper arise from three moments in the theory of definition and of conceptual analysis. The moments are: Frege’s review of Husserl’s Philosophy of Arithmetic, the discussion there of the paradox of analysis, and the division that Frege marks, ensuing upon his distinction of Sinn/sense from Bedeutung/reference, between two different conceptions of definition; Leibniz’s still serviceable account of a distinction between the clarity and the distinctness of ideas---a distinction that prompts the suggestion that the guiding purpose (...) of lexical definition is Leibnizian clarity whereas that of real definition is inseparable from the pursuit of Leibnizian distinctness; Leibniz’s speculations concerning the limit or terminus of analysis. The apparent failure of these speculations, casting doubt as it does upon the aspirations that give rise to them, points to the long-standing need to reconfigure the philosophical business of enquiry into concepts. (shrink)

What is meant under the genuine title of Aristotle’s ta Analytika is rarely properly understood. Presumably, his analytics was inspired by the method of geometric analysis. For Aristotle, this was a regressive or heuristic procedure, departing from a proposed conclusion and asking which premises could be found in order to syllogize, demonstrate or explain it. The terms that form categorical and modal propositions play a fundamental role in analytics. Aristotle introduces letters in lieu of the triples of terms constitut­ing the (...) propositions and the three syllogistic figures that schematize them. His formulation of the three syllogistic figures refers to a syntacti­cal and predicative order and position of the triples of terms, arranged in some diagrammed schemata, which, regrettably, are missing from the extant text of the Prior Analytics. Considering planar and graphic arrangements, both vertical and horizontal orders as well as the posi­tion of the three terms involved, we propose a reconstruction, at least to some extent, of these probable lettered diagrams. In such reconstructed diagrams, we can appropriately capture the definition of syllogism as a predicative connexion of terms, and easier survey a synoptic account of all valid predicative relations and transpositions, and also reduce the imperfect syllogisms into the moods of the first figure. Aristotle’s syllogistic is an analytical calculation of terms, understood as predicates and subjects within the categorical propositions, and more precisely of three terms schematized in three figures in predicative links such that, by means of a middle, follows from necessity a conclusion of the extreme terms. The necessity of the consequence is not based on the implication or inference of the propositions, but on a predictive transi­tivity through the middle term within the syllogistic figures. Syllogism must draw its conclusion through the way its terms are predicated of one another. Aristotle in his Prior Analytics developed also a complex account of modal syllogisms within necessity and possibility of belonging. This account involves also such an analyti­cal reduction to the syllogistic figures. In this analytical perspective, we try to throw some light on his modal syllogisms, although this difficult and nowadays thoroughly discussed topic would require a much wider treatment. (shrink)

The article examines the relevance of Aristotle’s analysis that concerns the syllogistic figures. On the assumption that Aristotle’s analytics was inspired by the method of geometric analysis, we show how Aristotle used the three terms, when he formulated the three syllogistic figures. So far it has not been appropriately recognized that the three terms — the major, the middle and the minor one — were viewed by Aristotle syntactically and predicatively in the form of diagrams. Many scholars have misunderstood Aristotle (...) in that in the second and third figure the middle term is outside and that in the second figure the major term is next to the middle one, whereas in the third figure it is further from it. By means of diagrams, we have elucidated how this perfectly accords with Aristotle's planar and graphic arrangement. In the light of these diagrams, one can appropriately capture the definition of syllogism as a predicative set of terms. Irrespective of the tricky question concerning the abbreviations that Aristotle himself used with reference to these types of predication, the reconstructed figures allow us better to comprehend the reductions of syllogism to the first figure. We assume that the figures of syllogism are analogous to the figures of categorical predication, i.e., they are specific syntactic and semantic models. Aristotle demanded certain logical and methodological competence within analytics, which reflects his great commitment and contribution to the field. (shrink)

In his Outlines of Pyrrhonism 2.110–113, Sextus Empiricus presents four different accounts of the conditional, presumably all from the Hellenistic period, in increasing logical strength. While the interpretation and provenance of the first three accounts is relatively secure, the fourth account has perplexed and frustrated interpreters for decades or longer. Most interpreters have ultimately taken a dismissive attitude towards the fourth account and discounted it as being of both little historical and logical interest. We argue that this attitude is unwarranted (...) and demonstrate that the conditional expressed in the fourth account can profitably be understood as a precursor of analytic entailment, familiar from containment logics such as those developed by Parry and Angell. Exploiting recent work by Fine, we present a formal truthmaker semantics for this conditional and show how it sheds light on a number of longstanding issues in the interpretation of this passage. (shrink)

Two main claims are defended. The first is that negative categorical statements are not to be accorded existential import insofar as they figure in the square of opposition. Against Kneale and others, it is argued that Aristotle formulates his o statements, for example, precisely to avoid existential commitment. This frees Aristotle's square from a recent charge of inconsistency. The second claim is that the logic proper provides much thinner evidence than has been supposed for what appears to be the received (...) view, that is, for the view that insofar as they occur in syllogistic negative categoricals have existential import. At most there is a single piece of evidence in favor of the view?a special case of echthesis or the setting out of a case in proof. (shrink)

This article applies tools from argumentation theory to slippery slope arguments used in current ethical debates on genetic engineering. Among the tools used are argumentation schemes, value-based argumentation, critical questions, and burden of proof. It is argued that so-called drivers such as social acceptance and rapid technological development are also important factors that need to be taken into account alongside the argumentation scheme. It is shown that the slippery slope argument is basically a reasonable form of argument, but is often (...) flawed when used in ethical debates because of failures to meet the requirements of its scheme. (shrink)

Although studies have yielded a detailed taxonomy of types of slippery slope arguments, they have failed to identify a basic argumentation scheme that applies to all. Therefore, there is no way of telling whether a given argument is a slippery slope argument or not. This paper solves the problem by providing a basic argumentation scheme. The scheme is shown to fit a clear and easily comprehensible example of a slippery slope argument that strongly appears to be reasonable, something that has (...) also been lacking. (shrink)

The essence of the argument of the beard (so-called by some logic textbooks) is the tactic used by a respondent to reply to a proponent, "The criterion you used to define a key term in your argument is vague, therefore your use of this term in your argument is illegitimate, and your argument is refuted." This familiar kind of argument tactic is similar to the much more famous heap (sorites) argument of Eubulides, closely associated with the slippery slope argument. This (...) article provides a system of classification for sorting out these three arguments, and related types of argument of interest in informal logic. (shrink)

The standard account of denying the antecedent (DA) is that it is a deductively invalid form of argument, and that, in a conditional argument, to argue from the falsity of the antecedent to the falsity of the consequent is always fallacious. In this paper, we argue that DA is not always a fallacious argumentative strategy. Instead, there is a legitimate usage of DA according to which it is a defeasible argument against the acceptability of a claim. The dialectical effect of (...) denying the antecedent is to shift the burden of proof back to the original proponent of a claim. We provide a model of this non-fallacious usage which is built upon pragmatic models of argumentation. (shrink)

The aim of this investigation is to explore the role of argumentation schemes in enthymeme reconstruction. This aim is pursued by studying selected cases of incomplete arguments in natural language discourse to see what the requirements are for filling in the unstated premises and conclusions in some systematic and useful way. Some of these cases are best handled using deductive tools, while others respond best to an analysis based on defeasible argumentations schemes. The approach is also shown to work reasonably (...) well for weak arguments, a class of arguments that has always been difficult to analyze without the principle of charity producing a straw man. (shrink)

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with (...) its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)