The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning of plural constructions that result (...) from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives a mistaken elaboration (...) of the notion of harmony, an idea stemming from a remark of Gerhard Gentzen's. The introduction-rules are autonomous if they are taken fully to specify the meaning of the logical constants, and the rules are harmonious if the elimination-rule draws its conclusion from just the grounds stated in the introduction-rule. The key to harmony in classical logic then lies in strengthening the theory of the conditional so that the positive logic contains the full classical theory of the conditional. This is achieved by allowing parametric formulae in the natural deduction proofs, a form of multiple-conclusion logic. (shrink)

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (shrink)

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ?On the Concept of Following Logically?. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we note (...) more than 400 differences. Several dozen of these are substantive differences due to revisions by Tarski to the Polish version which he did not incorporate in the German version. With respect to these revisions the Polish version should be regarded as more authoritative than the German. Hence scholars limited to an English translation should use ours. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...) perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary facts (...) of arithmetic are logically derivable from Hume’s Principle. And that hardly counts as a vindication of logicism. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

This article defends a modest version of the Physical Church-Turing thesis (CT). Following an established recent trend, I distinguish between what I call Mathematical CT—the thesis supported by the original arguments for CT—and Physical CT. I then distinguish between bold formulations of Physical CT, according to which any physical process—anything doable by a physical system—is computable by a Turing machine, and modest formulations, according to which any function that is computable by a physical system is computable by a Turing machine. (...) I argue that Bold Physical CT is not relevant to the epistemological concerns that motivate CT and hence not suitable as a physical analog of Mathematical CT. The correct physical analog of Mathematical CT is Modest Physical CT. I propose to explicate the notion of physical computability in terms of a usability constraint, according to which for a process to count as relevant to Physical CT, it must be usable by a finite observer to obtain the desired values of a function. Finally, I suggest that proposed counterexamples to Physical CT are still far from falsifying it because they have not been shown to satisfy the usability constraint. (shrink)

Kant discovered a philosophical problem with mathematical proof. Despite being a priori , its methodology involves more than analytic truth. But what else is involved? This problem is widely taken to have been solved by Frege’s extension of logic beyond its restricted (and largely Aristotelian) form. Nevertheless, a successor problem remains: both traditional and contemporary (classical) mathematical proofs, although conforming to the norms of contemporary (classical) logic, never were, and still aren’t, executed by mathematicians in a way that transparently reveals (...) why these proofs—written in the vernacular to this very day—succeed in conforming to those norms. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it (...) is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical , provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional. (shrink)

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...) subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas. (shrink)

Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Jaśkowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks—the standard conduits of (...) the method to a generation of philosophers—with an eye to determining what the ‘essential characteristics’ of natural deduction are. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (shrink)

With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...

We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of (...) quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of settheoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items. (shrink)

The calculus of relations was created and developed in the second half of the nineteenth century by Augustus De Morgan, Charles Sanders Peirce, and Ernst Schröder. In 1940 Alfred Tarski proposed an axiomatization for a large part of the calculus of relations. In the next decade Tarski's axiomatization led to the creation of the theory of relation algebras, and was shown to be incomplete by Roger Lyndon's discovery of nonrepresentable relation algebras. This paper introduces the calculus of relations and the (...) theory of relation algebras through a review of these historical developments. (shrink)

Deliberate contextual vocabulary acquisition (CVA) is a reader’s ability to figure out a (not the) meaning for an unknown word from its “context”, without external sources of help such as dictionaries or people. The appropriate context for such CVA is the “belief-revised integration” of the reader’s prior knowledge with the reader’s “internalization” of the text. We discuss unwarranted assumptions behind some classic objections to CVA, and present and defend a computational theory of CVA that we have adapted to a new (...) classroom curriculum designed to help students use CVA to improve their reading comprehension. (shrink)

We all learn about the mistake of treating ‘nothing’ as if it were a term standing for something; but is it a mistake to treat it as an empty term, denoting nothing? We argue not, and we introduce ‘zilch’, defined as ‘the non-self-identical thing’, as a term which is empty as a matter of logical necessity. We contrast its behaviour with that of the quantifier ‘nothing’, and illustrate its uses. We use the same idea to vindicate Locke’s, Descartes’ and Hume’s (...) handling of ‘nothing’, and we show how Heidegger’s ‘das Nichts nichtet’ comes out as logically true. (shrink)

The metaphor of a branching tree of future possibilities has a number of important philosophical and logical uses. In this paper we trace this metaphor through some of its uses and argue that the metaphor works the same way in physics as in philosophy. We then give an overview of formal systems for branching possibilities, viz., branching time and (briefly) branching space-times. In a next step we describe a number of different notions of possibility, thereby sketching a landscape of possibilities. (...) In the final section of the paper we look at the place of branching-based possibilities in that larger landscape of possibilities. Our main message is that far from being an outlandish metaphysical extravagancy, branching-based possibilities are epistemically as well as metaphysically basic. (shrink)

Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and natural science. This (...) is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields real-valued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense. (shrink)

In this paper we put forward and defend a view of the nature of logic that we call moderate anti-exceptionalism. In the first part of the paper we focus on the problem of genuine logical validity and consequence. We make use of examples from current debates to show that attempts to pinpoint the one and only authentic logic inevitably either yield irrefutable theories or lead to dead ends. We then outline a thoroughly naturalist account of logical consequence as grounded in (...) rules implicit in human linguistic practices. We insist that there are only two existing kinds of language: natural languages, and artificial languages that have been forged by us. There is thus no room for a "genuine" language and hence for "genuine" logic. We conclude that though logical theories are established—and are liable to criticism—in a similar fashion as those of the sciences, and in this sense logic is not exceptional, to fulfill its mission logic must lay a claim to normative authority over our argumentation and reasoning, which makes its methodology somewhat special. Logical theory is not meant to provide just an explanation, the standards it establishes serve also as a tool, providing for a reinforcement of our rational communication. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

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

Dramatic changes or revolutions in a field of science are often made by outsiders or 'trespassers,' who are not limited by the established, 'expert' approaches. Each essay in this diverse collection shows the fruits of intellectual trespassing and poaching among fields such as economics, Kantian ethics, Platonic philosophy, category theory, double-entry accounting, arbitrage, algebraic logic, series-parallel duality, and financial arithmetic.

In this essay, I appeal to the mental file approach in order to give an anti-realist semantic analysis of statements containing fictional names. I claim that fictive and parafictive uses of them express conceptual, though not general, propositions constituted by mental files, anchored in the conceptual world of the corresponding fictional story. Moreover, by positing a referential shift determined by the presence of a simulative referential intention characteristic of those uses, it is possible to take them to be true with (...) respect to those conceptual worlds. As for metafictive uses, since they are grounded on mixed intentions, they are considered to express hybrid propositions, partly conceptual and partly referential. (shrink)

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

I argue that recent defenses of the view that in 1936 Tarski required all interpretations of a language to share one same domain of quantification are based on misinterpretations of Tarski’s texts. In particular, I rebut some criticisms of my earlier attack on the fixed-domain exegesis and I offer a more detailed report of the textual evidence on the issue than in my earlier work. I also offer new considerations on subsisting issues of interpretation concerning Tarski’s views on the logical (...) correctness of certain omega-arguments, on the Tarskian proof that Etchemendy took to be modal and fallacious, and on Tarski’s appeals to the “common concept of consequence”. (shrink)