The present PhD dissertation aims to examine the relation between modality and change in Aristotle’s metaphysics. -/- On the one hand, Aristotle supports his modal realism (i.e., worldly objects have modal properties - potentialities and essences - that ground the ascriptions of possibility and necessity) by arguing that the rejection of modal realism makes change inexplicable, or, worse, banishes it from the realm of reality. On the other hand, the Stagirite analyses processes by means of modal notions (‘change is the (...) actuality of what is virtual insofar as it is virtual’). In other words: to grasp what change is, one has to resort to the modal idiom of potentialities, while the fact that there is change is indicative of the fact that nature is full of modal properties. -/- Aristotle’s modal and kinetic realism finds a negative in the figure of the Megaric Diodorus Kronus. The polemical situation of Greek philosophy has indeed the dialectical advantage of not opposing the Aristotelian position to a sui generis straw man. Both in its reduction of modal judgements to temporal quantifications and in its dissolution of the reality of the state-of-being-in-motion in favour of a cinematographic view of processes, the philosophical figure of reductionist antirealism embodied by Diodorus constitutes an alternative that takes the opposite view of Aristotle’s realism. -/- The present study is structured as a discussion between these two positions. In the face of Diodorus’ antirealist challenges, Aristotle articulates modal and kinetic considerations: the answers he gives to Diodorus’ puzzles thus provide valuable insight into his metaphysics. Moreover, the examination of Aristotle’s and Diodorus’ metaphysics, because of their insight and originality, will not fail to interest the philosopher concerned with the metaphysical foundations of modern physics, insofar as the entanglement between modalities and processes is nowadays at the core of mechanics (phase spaces, path integrals, etc.). (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

We discuss external and internal graphical and linguistic representational systems. We argue that a cognitive theory of peoples' reasoning performance must account for (a) the logical equivalence of inferences expressed in graphical and linguistic form; and (b) the implementational differences that affect facility of inference. Our theory proposes that graphical representations limit abstraction and thereby aid processibility. We discuss the ideas of specificity and abstraction, and their cognitive relevance. Empirical support comes from tasks (i) involving and (ii) not involving the (...) manipulation of external graphics. For (i), we take Euler's Circles, provide a novel computational reconstruction, show how it captures abstractions, and contrast it with earlier construals, and with Mental Models' representations. We demonstrate equivalence of the graphical Euler system, and the non-graphical Mental Models system. For (ii), we discuss text comprehension, and the mental performance of syllogisms. By positing an internal system with the same specificity as Euler's Circles we cover the Mental Models data, and generate new empirical predictions. Finally, we consider how the architecture of working memory explains why such specific representations are relatively easy to store. (shrink)

We propose a new modal logic endowed with a simple deductive system to interpret Aristotle's theory of the modal syllogism. While being inspired by standard propositional modal logic, it is also a logic of terms that admits a (sound) extensional semantics involving possible states-of-affairs in a given world. Applied to the analysis of Aristotle's modal syllogistic as found in the Prior Analytics A8-22, it sheds light on various fine-grained distinctions which when made allow us to clarify some ambiguities and obtain (...) a completely consistent system and prove all of the modal syllogisms considered valid by Aristotle. This logic allows us also to make a connection with the axioms of modern propositional modal logic and to perceive to what extent these are implicit in Aristotle's reasoning. Further work will involve addressing the question of the completeness of this logic (or variants thereof) together with an extension of the logic to include a calculus of relations (for instance the relational syllogistic treated in Galen's Introduction to Logic) which Slomkowsky has argued is already found in the Topics. (shrink)

There have been and continue to be disagreements about how to consider the traditional square of opposition and the traditional inferences of obversion, conversion, contraposition and inversion from the perspective of contemporary quantificational logic. Philosophers have made many different attempts to save traditional inferences that are invalid when they involve empty classes. I survey some of these attempts and argue that the only satisfactory way of saving all the traditional inferences is to make the existential assumption that both the subject (...) and predicate classes and their complement classes are non-empty for all the propositions we admit. I briefly indicate the room for continued controversy over how properly to interpret Aristotle's statements regarding these inferences, but find some plausibility in the views of Manley Thompson and A.N.Prior that Aristotle had in mind a particular arrangement of existential import unfamiliar to most contemporary logicians. (shrink)

En este artículo presentamos una posible vía para interpretar las nociones de posibilidad y necesidad desarrolladas en el seno de la lógica megárico-estoica como operadores modales aléticos. Se introducirá la semántica megárico-estoica como trasfondo metafísico de las definiciones de necesidad y posibilidad y se ofrecerán argumentos para abandonar las interpretaciones predominantes que incluyen variables temporales ad hoc. Tras proponer la lectura de las definiciones diodóricas desde una semántica modal relacional se señalará una serie de temas que merecen ser revisitados desde (...) esta óptica. (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)

The main thesis of this paper is that, Contrary to general belief, George berkeley did in fact express a coherent philosophy of mathematics in his major published works. He treated arithmetic and geometry separately and differently, And this paper focuses on his philosophy of arithmetic, Which is shown to be strikingly similar to the 19th and 20th century philosophies of mathematics known as 'formalism' and 'instrumentalism'. A major portion of the paper is devoted to showing how this philosophy of mathematics (...) follows directly from berkeley 's theory of signs and his philosophy of language, And from his discovery of an alternative to the correspondence theory of truth used by most of his predecessors. (shrink)

The theory of mental models is a current cognitive approach trying to describe the way people make inferences. According to this theory, people reason from possibilities or models linked to sentences. Sometimes, such possibilities or models are transformed by the action of a semantic modulation. The point this paper is intended to make is that Stoic logic also has the machinery to explain semantic processes such as that of modulation. This is shown by means of the criterion Chrysippus of Soli (...) provided for conditional sentences and the theory of sign related to that criterion. (shrink)

Anselm of Canterbury’s so-called ontological proofs in the Proslogion have puzzled philosophers for centuries. The famous description “something / that than which nothing greater can be conceived” is part and parcel of his argument. Most commentators have interpreted this description as a definition of God. We argue that this view, which we refer to as “definitionism”, is a misrepresentation. In addition to textual evidence, the key point of our argument is that taking the putative definition as what Anselm intended it (...) to be – namely a description of a content of faith – allows getting a clear view of the discursive status and argumentative structure of Proslogion 2–4, as well as making sense of an often neglected part of the argument. (shrink)

In the Laws of Thought, Boole establishes a theory of secondary propositions based upon the notion of time. This temporal interpretation of secondary propositions has historically been met with wide disapproval and is usually dismissed in the modern literature as a philosophical non-starter. What was Boole thinking? This paper attempts to give an answer to this question. Specifically, it provides an account according to which Boole’s temporal interpretation follows from his psychologistic conception of logic, in addition to certain background assumptions (...) regarding the psychological necessity of the concept of time. Once Boole’s psychological premises are laid bare, it becomes clearer how he might have viewed the temporal interpretation to be an essential feature of his theory of secondary propositions. (shrink)

In a time which it is not amiss to term “the Dark Ages of logic”, Karl Christian Friedrich Krause stayed not only true to logic but actually did something for its advancement. Besides making systematic use of Venn-diagrams long before Venn, Krause — once more taking his inspiration from Leibniz — propounded what appears to be the first completely symbolic systematic representation of logical forms, strongly suggestive of the powerful symbolic languages that have become the mainstay of logic since the (...) beginning of the 20th century. However, Krause’s limits in logic are also clearly visible: Krause’s method in logic is, in the main, not axiomatic; it is combinatorial. More importantly, Krause remained entirely within the confines of traditional syllogistics, neglecting propositional logic and, of course, first-order relational terms. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of validity (...) outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

An argument is presented for the truth of the conditional, ‘If New York is not in the United States, it's in California’. Several possible objections to this argument are then examined and evaluated. Further argument establishes that if the argument for the truth of ‘If New York is not in the United States, it's in California’ is sound, it follows that an indicative conditional is true if and only if it has either a false antecedent or a true consequent.

While women philosophers are beginning to be rediscovered in the Early Modern period, they are conspicuously missing from later nineteenth and early to mid-twentieth century histories of philosophy...

European Journal of Philosophy, Volume 29, Issue 4, Page 864-886, December 2021.

Traditionally, logic was viewed as a purely European tradition, founded in Ancient Greece by Aristotle and then developed in Catholic and Byzantine scholasticism as well as in Islamic and Judaic Ar...

In this paper I explore the ways in which Alexander of Aphrodisias employs and develops so-called ‘common notions’ as reliable starting points of deductive arguments. He combines contemporary developments in the Stoic and Epicurean use of common notions with Aristotelian dialectic, and axioms. This more comprehensive concept of common notions can be extracted from Alexander’s commentary on Metaphysics A 1–2. Alexander puts Aristotle’s claim that ‘all human beings by nature desire to know’ in a larger deductive framework, and adds weight (...) to Aristotle’s use of the common understanding of the notion of ‘wisdom’. Finally I will indicate how these upgraded common notions are meant to play an important role in the general framework of metaphysics as a science. (shrink)

According to Philoponus, the activity of drawing syllogisms is a dynamic operation. Following the classical idea that actions are specified by their objects and habitual powers by their actions, Philoponus concludes that only a dynamic power can elicit the act of syllogizing. This power is identified with discursive reasoning (dianoia). Imagination, on the contrary, is a static power, that cannot elicit that particular motion of drawing a syllogistic inference. The issue, however, is not entirely uncontroversial, because Ammonius maintains that sophistical (...) syllogisms can only be formed by imagination, since they involve “empty concepts” as terms and only imagination can form such concepts. In this paper I will reconstruct Philoponus’ and Ammonius’ theories about the “activity” of syllogizing, and I shall explain how Philoponus can deal with sophistical syllogisms in a consistent way. (shrink)

In this paper we elaborate a conception of entailment based on what we call the Ackermann principle, which explicates valid entailment through a logical connection between sentences depending on their informational content. We reconstruct Dunn’s informational semantics for entailment on the basis of Restall’s approach, with assertion and denial as two independent speech acts, by introducing the notion of a ‘position description’. We show how the machinery of position descriptions can effectively be used to define the positive and the negative (...) information carried by sentences of a given language and to present a formalized version of the Ackermann principle as an inclusion relationship between the informational contents of the conclusions and the premises of a valid entailment. Being so interpreted, the entailment relation exhibits certain properties, including the property of transitivity. Whereas properties such as Anderson and Belnap’s variable sharing property or Parry’s proscriptive principle are normally presented as imposing a relevance requirement on valid entailment, the suggested formalization of the Ackermann principle supports all of Gentzen’s structural rules, including weakening, a rule that is normally given up in sequent-style proof systems for relevance logics. In this way we propose an Ackermann-inspired explication of the nature of entailment as a relation between the informational contents of sentences. (shrink)

Formalizing categorical propositions of traditional logic in the language of quantifiers and propositional functions is no straightforward matter, especially when modalities get involved. Starting...

In his Formal Logic, Arthur N. Prior declared that Jan Łukasiewicz's logical notation is ‘unquestionably the best logical symbolism for most purposes’. Whether he had a substantive, and...

. The purpose of this paper is to assess Bacon’s proclamation of the novelty of his Novum Organum. We argue that in the Novum Organum, Bacon reshapes the traditional representation of logic as providing tools for the building of philosophical discourse. For he refuses both an understanding of logic in terms of an ars disserendi, and an approach to philosophy in terms of a discourse of a certain type of necessity and universality. How can Bacon articulate a logic, that is, (...) a set of rules with formal features, on the basis of a distrust of the paradigm of discourse? This seemingly paradoxical definition of logic follows from Bacon’s rejection of the conception of the scientific reasoning provided by the Organon. It also stems from his reworking of Aristotle’s semiotics, in an effort to deal with the gap between what reality consists in and what the mind perceives of it. (shrink)

Being mainly concerned with the origins and development of formal logic, current “histories of logic” often devote scarce, if any, space to logic in the early modern period. In standard narratives, emphasis is put, on one side, on Aristotle’s Organon and on the Stoics’ logic of propositions, and on the other side, on the development of mathematical logic from Boole and Frege on. The picture often emerging from such reconstructions represents early modern philosophers—net of their criticisms of Aristotelian syllogism— as (...) largely estranged from the discipline. It is true that, the medieval period’s concern with semantic and inference issues has been accounted... (shrink)

The aim of this paper is to assess the central role the imagination acquires in Pierre Gassendi’s logic. I trace the structuring scheme of the three acts of the mind—common to a good number of late scholastic and early modern logics—to the Thomistic notion of the movement of reasoning in knowledge and argue that Gassendi revisits this notion in his logic. The three acts scheme is from the beginning a bridge between logic and the natural philosophical treatment of the soul. (...) I show how Gassendi’s take on the three acts is similarly poised between his Logic and his Physics and I discuss the rationale, sources and consequences of his attribution of the three acts to the imagination. I argue for the following points: Gassendi’s conception of the logical role of the imagination answers to his empiricist epistemology, his naturalized view of the mind and his notion of a natural logic; it is also operative in his pairing of the formal mechanism of logical operations with a progressive mechanism of the operations of the mind; and it serves as a counterpart to his experimental understanding of the progress of knowledge.1. (shrink)

Gentzen’s singular sequential system of first-order logic was an alternative notation for his system of natural deductions. His multiple sequential system was his symmetric generalization that was more appropriate to classical logic. Beth’s tableaus system was a system that was derived directly from the semantic analysis of connectives and quantifiers. It was soon realized that the Beth’s system and the Gentzen’s multiple system were only notational variants of each other. Kneale’s system of multiple natural deductions was a generalization of Gentzen’s (...) system of natural deductions. We prove that Kneale’s natural deductions are also a notational variant of Beth’s tableaus. (shrink)

Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into different categories, (...) on the one hand, and the way in which the realm of Bedeutungen stratifies into logical categories, on the other hand. A proper understanding of this internality reveals how Frege's conception of the relation between language and the world is neither a form of realism nor a form of linguistic idealism. To come to understand Frege's conception of the logical categories, is to come to understand both these forms of internality by coming to understand how they hang together. (shrink)

Resumen En esta contribución ofrecemos una interpretación del pons asinorum que se basa en una lógica de términos contemporánea. Esto nos permite revitalizar la idea del pons asinorum para generar el -políticamente correcto- pons scholasticorum, una versión terminística del pons asinorum que conecta la inventio medii con el dictum de omni et nullo.In this contribution we offer an interpretation of the pons asinorum by using a contemporary term logic. This interpretation allows us to revitalize the concept of the pons asinorum (...) in order to produce the -politically correct- pons scholasticorum, a terministic version of the pons asinorum that relates the inventio medii with the dictum de omni et nullo. (shrink)

Epistemic Logic is our basic universal science, the method of our cognitive confrontation in reality to prove the truth of our basic cognitions and theories. Hence, by proving their true representation of reality we can self-control ourselves in it, and thus refuting the Berkeleyian solipsism and Kantian a priorism. The conception of epistemic logic is that only by proving our true representation of reality we achieve our knowledge of it, and thus we can prove our cognitions to be either true (...) or rather false, and otherwise they are doubtful. Therefore, truth cannot be separated from being proved and we cannot hold anymore the principle of excluded middle, as it is with formal semantics of metaphysical realism. In distinction, the intuitionistic logic is based on subjective intellectual feeling of correctness in constructing proofs, and thus it is epistemologically encapsulated in the metaphysical subject. However, epistemic logic is our basic science which enable us to prove the truth of our cognitions, including the epistemic logic itself. (shrink)

According to the quotational theory of meaning ascriptions, sentences like “‘Bruder means brother” are abbreviated synonymy claims, such as “‘Bruder means the same as ‘brother’”. After discussing a problem with Harman’s version of the quotational theory, I present an amended version defended by Field. Then, I address Field’s responses to two arguments against the theory that revolve around translation and the understanding of foreign expressions. Afterwards, I formulate two original arguments against both Harman’s and Field’s versions of the theory. One (...) of them targets the hyperintensionality of quotations and the other raises a problem pertaining to variant spellings of words. (shrink)

At Varro LL VI.56 and SE M 8.275-276, we find reports of the Stoic view that children and articulate non-rational animals such as parrots cannot genuinely speak. Absent from these testimonia is the peculiar case of the superficiality of the actor’s speech, which appears in one edition of the unstable text of PHerc 307.9 containing fragments of Chrysippus’ Logical Investigations. Commentators who include this edition of the text in their discussions of the Stoic theory of speech do not offer a (...) univocal account of the superficiality of the parrot’s, the child’s, and the actor’s speech. In this paper, I offer a reconstruction of the Stoic account of genuine and superficial speech and show that not only is there an account of superficial speech that univocally explains the superficiality of the speech of parrots, children, and actors, but that this account challenges traditional assumptions about the entities at the heart of the Stoic theory of language—lekta. It will turn out that genuine speech is the expression of a lekton by way of performing a speech act, and that this account of superficial speech can be used to explain other linguistic phenomena that are of interest to the Stoics, such as sentences in insoluble sophisms and sentences containing demonstratives that do not refer to anything in the subject term. Importantly, my reconstruction shows, against the near consensus view of lekta, that lekta do not primarily explain what makes an utterance meaningful. Rather, they primarily explain what makes an utterance an instance of genuine speech. (shrink)

Logical reflection in early modern philosophy (EMP) is marked by the instability of the period, although it is more lasting (the Port-Royal Logic was nevertheless used as a handbook in philosophy courses until the end of the nineteenth century). It started in the sixteenth century and ended in the nineteenth century, a period of 300 years during which there were deep transformations in the conceptions of authority and scientific method. For the history of twentieth-century philosophy, it was the period of (...) “classical logic,” which lasted from the Renaissance to the linguistic turn conducted by Gottlob Frege. The period was used to be thought of as centuries of little or no original contribution to logic, in which conceptions of logic were tainted by rhetoric, epistemology, and psychologism in the worst sense (Kneale and Kneale 1962; Michael 1997). From the last decades of the twentieth century, however, scholars began to regard this period more accurately with respect to reflection and changes in logic and semantics. It has recently become a promising field for historical and conceptual research; today we can say that the legacy of early modern logical reformism has a philosophical, logical, and semantic value in itself. (shrink)

In the first book of the Prior Analytics, Aristotle sets out, for the first time in Greek philosophy, a logical system. It consists of a deductive system (I.4-22), meta-logical results (I.23-26), and a method for finding and giving deductions (I.27-29) that can apply in “any art or science whatsoever” (I.30). After this, Aristotle compares this method with Plato’s method of division, a procedure designed to find essences of natural kinds through systematic classification. This critical comparison in APr I.31 raises an (...) interpretive puzzle: how can Aristotle reasonably juxtapose two methods that differ so much in their aims and approach? What can be gained by doing so? Previous interpreters have failed to show how this comparison is legitimate or what important point Aristotle is making. The goal of this paper is to resolve the puzzle. In resolving this puzzle we not only learn more about the relationship be- tween division and the syllogistic in Aristotle. We will also learn something about the motivation for the syllogistic itself, by seeing the role that it plays in his philosophy of science. (shrink)

Augustine famously claims every word is a name. Some readers take Augustine to thereby maintain a purely referentialist semantic account according to which every word is a referential expression whose meaning is its extension. Other readers think that Augustine is no referentialist and is merely claiming that every word has some meaning. In this paper, I clarify Augustine’s arguments to the effect that every word is a name and argue that ‘every word is a name’ amounts to the claim that (...) for any word, there exist tokens of that word which are autonymous nouns. Augustine takes this to be the result of universal lexical ambiguity or equivocity and I clarify how Augustine’s account of metalinguistic discourse, which is one of the most detailed to have survived from antiquity, differs from some ancient and modern theories. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (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)

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)

This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...) one pairs de Finetti’s conditional with validity as the preservation of non-false values, but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table proposed by Cooper and Cantwell. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties. (shrink)

Investiga-se a possibilidade de uma abordagem do fenômeno do pluralismo lógico a partir de uma perspectiva inspirada no pensamento de Quine. A matematização da lógica termina por levar à flexibilização da teoria lógica, logo surgindo, não apenas sistemas complementares e alternativos à lógica clássica, mas também a questão da admissibilidade de mais do que um sistema lógico. A tal posição se dá o nome “pluralismo lógico”. Quine foi um destacado defensor da lógica clássica a partir de uma perspectiva monista, ainda (...) que admitisse em princípio a possibilidade de sua revisão. Pode-se, contudo, investigar se as linhas gerais do pensamento quineano são compatíveis com uma perspectiva pluralista. Algumas possibilidades são levantadas tomando em consideração propostas como as teorias pluralistas de Carlo Dalla Pozza e Richard Epstein. Conclui-se que, embora Quine não concebesse a possibilidade de apoiar o pluralismo lógico, a sua filosofia ajuda a enquadrar e avaliar as maneiras de estudar o assunto. (shrink)

This paper contributes to the calculization of evocation and erotetic implication as defined by Inferential Erotetic Logic (IEL). There is a straightforward approach to calculizing (propositional) erotetic implication which cannot be applied to evocation. First-order evocation is proven to be uncalculizable, i.e. there is no proof system, say FOE, such that for all X, Q: X evokes Q iff there is an FOE-proof for the evocation of Q by X. These results suggest a critique of the represented approaches to calculizing (...) IEL. This critique is expanded into a programmatic reconsideration of the IEL-definitions of evocation and erotetic implication. From a different point of view these definitions should be seen as desiderata that may or may not play the role of a point of orientation when setting up "rules of asking". (shrink)

Half a century later, a Dretskean stance on epistemic closure remains a minority view. Why? Mainly because critics have successfully poked holes in the epistemologies on which closure fails. However, none of the familiar pro-closure moves works against the counterexamples on display here. It is argued that these counterexamples pose the following dilemma: either accept that epistemic closure principles are false, and steal the thunder from those who attack classical logic on the basis of similarly problematic cases—specifically, relevance logicians and (...) like-minded philosophers—or stick with closure and surrender to relevantist claims of failure in truth-preservation aimed at classical rules of inference. Classicist closure advocates find the promise of a way out of the dilemma in the works of Roy Sorensen and John Hawthorne. The paper argues against their pro-closure move and renews Robert Audi’s call for a theory of closure-failure. (shrink)

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...) appearance of critical reviews by members of the Boolean school. (shrink)

Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

Sweet Analytics, ‘tis thou hast ravish'd me,Bene disserere est finis logices.Is to dispute well logic's chiefest end?Affords this art no greater miracle?(Christopher Marlow, Doctor Faustus, Act 1,...