The aim of this paper is to show that the account of objective truth taken for granted by logicians at least since the publication in 1933 of Tarski’s “The Concept of Truth in Formalized Languages” arose out of a tradition of philosophical thinking initiated by Bolzano and Brentano. The paper shows more specifically that certain investigations of states of affairs and other objectual correlates of judging acts, investigations carried out by Austrian and Polish philosophers around the turn of the century, (...) formed part of the background of views that led to standard current accounts of the objectivity of truth. It thus lends support to speculations on the role of Brentano and his heirs in contemporary logical philosophy advanced by Jan Wolenski in his masterpiece of 1989 on the Logic and philosophy in the Lvov-Warsaw School. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Since Saul Kripke’s influential work in the 1970s, the revisionary approach to semantic paradox—the idea that semantic paradoxes must be solved by weakening classical logic—has been increasingly popular. In this paper, we present a new revenge argument to the effect that the main revisionary approaches breed new paradoxes that they are unable to block.

A definition of a property P is impredicative if it quantifies over a domain to which P belongs. Due to influential arguments by Ramsey and Gödel, impredicative mathematics is often thought to possess special metaphysical commitments. It seems that an impredicative definition of a property P does not have the intended meaning unless P already exists, suggesting that the existence of P cannot depend on its explicit definition. Carnap (1937 [1934], p. 164) argues, however, that accepting impredicative definitions amounts to (...) choosing a "form of language" and is free from metaphysical implications. This paper explains this view in its historical context. I discuss the development of Carnap’s thought on the foundations of mathematics from the mid-1920s to the mid-1930s, concluding with an account of Carnap’s (1937 [1934]) non-Platonistic defense of impredicativity. This discussion is also important for understanding Carnap’s influential views on ontology more generally, since Carnap’s (1937 [1934]) view, according to which accepting impredicative definitions amounts to choosing a "form of language", is an early precursor of the view Carnap presents in "Empiricism, Semantics and Ontology" (1956 [1950]), according to which referring to abstract entities amounts to accepting a "linguistic framework". (shrink)

This paper presents a simple but, by my lights, effective argument for a subclassical account of logic—an account according to which logical consequence is (properly) weaker than the standard, so‐called classical account. Alas, the vast bulk of the paper is setup. Because of the many conflicting uses of ‘logic’ the paper begins, following a disclaimer on logic and inference, by fixing the sense of ‘logic’ in question, and then proceeds to rehearse both the target subclassical account of logic and its (...) well‐known relative (viz., classical logic). With background in place the simple argument—which takes up less than five pages—is advanced. My hope is that the minimal presentation will help to get ‘the simple argument’ plainly on the table, and that subsequent debate can move us forward. (shrink)

The Revenge Problem threatens every approach to the semantic paradoxes that proceeds by introducing nonclassical semantic values. Given any such collection Δ of additional semantic values, one can construct a Revenge sentence:This sentence is either false or has a value in Δ.TheEmbracing Revengeview, developed independently by Roy T. Cook and Phlippe Schlenker, addresses this problem by suggesting that the class of nonclassical semantic values is indefinitely extensible, with each successive Revenge sentence introducing a new ‘pathological’ semantic value into the discourse. (...) The view is explicitly motivated in terms of the idea that every notion thatseemsto be expressible should, if at all possible,beexpressible. Extant work on the Embracing Revenge view has failed to live up to this promise, since the formal languages developed within such work are expressively impoverished. We rectify this here by developing a much richer formal language, and semantics for that language, and we then prove an extremely powerful expressive completeness result for the system in question. (shrink)

I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.

A response to certain parts of Rumfitt : I defend Davidson's project in semantics, suggest that Rumfitt's use of sentential quantification renders his definition of truth needlessly elaborate, and pose a question for Rumfitt's handling of the strengthened Liar.

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., ${\mathtt{{Prov}_{\mathsf {PA}} \rightarrow \varphi }}$ can be understood to assert that any statement provable in Peano arithmetic is true. It has been repeatedly suggested that justification for such principles follows directly from acceptance of an arithmetical theory $\mathsf {T}$ or indirectly in virtue of their derivability in certain truth-theoretic extensions thereof. This paper challenges this consensus by exploring relationships between reflection principles (...) and principles of mathematical and transfinite induction as well as the status of the latter with respect to various foundational characterizations of number theory. (shrink)

The paper is devoted to the discussion of some philosophical and historical problems connected with the theorem on the undefinability of the notion of truth. In particular the problem of the priority of proving this theorem will be considered. It is claimed that Tarski obtained this theorem independently though he made clear his indebtedness to Gödel’s methods. On the other hand, Gödel was aware of the formal undefinability of truth in 1931, but he did not publish this result. Reasons for (...) that are also considered. (shrink)

This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.

Ernst Friedrich Ferdinand Zermelo transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and providing a simple and workable axiomatization setting out generative set-existence principles. Zermelo thereby tempered the ontological thrust of early set theory, initiated the delineation of what is to be regarded as set-theoretic, drawing out the combinatorial aspects from the logical, and established the basic conceptual framework for the development of modern set theory. Two (...) decades later Zermelo promoted a distinctive cumulative hierarchy view of models of set theory and championed the use of infinitary logic, anticipating broad modern developments. In this paper Zermelo's published mathematical work in set theory is described and analyzed in its historical context, with the hindsight afforded by the awareness of what has endured in the subsequent development of set theory. Elaborating formulations and results are provided, and special emphasis is placed on the to and fro surrounding the Schröder-Bernstein Theorem and the correspondence and comparative approaches of Zermelo and Gödel. Much can be and has been written about philosophical and biographical issues and about the reception of the Axiom of Choice, and we will refer and defer to others, staying the course through the decidedly mathematical themes and details. (shrink)

Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland :355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form (...) of intra-theoretical logical pluralism. (shrink)

Making a connection between ‘post-modernism’ and post-truth has by now become a standard trope, both within academia and popular discourse, despite post-truth’s only recent emergence as a concept. Such claims are often rather vague and fanciful and lack an altogether credible account of either phenomenon in many cases. This Chapter argues however that within a legal context, there is the emergence of a legal post-truth which is the direct consequence of a concrete form of post-modernity within legal practice and thought. (...) While law may be called upon to engage in judgments of ‘truth’ in numerous interesting ways, it does not itself have any particular form of privileged access to the truth of statements or allegations, even though it is often treated as doing so. However, the most persistent question which law must deal with, and indeed the most persistent question within legal philosophy, relates to a deeper form of inquiry into truth: the question of legal truth. In simple terms this refers to the correctness of any particular proposition of law. Within legal theory, this expands to the larger question of what makes, in general, any legal proposition valid, or true. Reflecting upon legal scholarship through the lens of truth reveals that theories of law can be broken down into two broad and radically distinct categories. On the one hand, there exist empirical accounts of law which fundamentally understand questions of legal truth as social questions whose answers are empirically demonstrable. On the other hand, there are ‘idealist’ accounts of law which view legal content, and hence truth, as existing in some way or other in a manner which transcends social practice and which is autonomous from it. Both of these classical accounts, while radically different, share an interesting paradox: they see truth in law as an objective fact, but one which is fleeting and distant, far from the paradigm of legal certainty upon which the ideology of law is partly based. However, such accounts of legal truth share many other unstated aspects, and are largely based upon ideas which place the separateness and completeness of legal systems at their heart, providing either a unified ideal or a unified empirically observable social practice. However, they are share a common flaw, namely the failure to account for what might be called a post-modern phase of development in law, in which ordinary legal questions now regularly require the complex and non-hierarchical interaction of competing legal systems with different ‘truths’ and different ways of arriving at such truths. Such phenomena are commonly referred to as legal or, at times, constitutional ‘pluralism’. This post-modern turn within law has also produced therefore what we might call a form of post-truth within law. This is particularly significant because it places under great strain both the empirical and ideal accounts of legal truth and require us to re-elaborate an account of what makes a legal proposition true. From certain perspectives, this legal post-truth shares certain important aspects with the cultural phenomenon of post-truth, namely its apparently capricious and deracinated nature. However, it is argued in this Chapter that, in the legal context at least, post-truth allows for the transcendence of the empirical/ideal divide and the revealing of deeper forms of legal truth and our ability to account for them through theory or, put more simply, explanation. Upon greater reflection, legal truth is generated by the very forms of argument, or modes, which allow access to it. Such forms of argument exist also to produce legal truths outside and between legal orders where these appear to conflict or collide. While some legal scholars and others claim that such pressures on structures of knowledge reveal the end of the potential for law to generate truth, it is argued here that, on the contrary, they require a more open and more transparent use of the pure methods and modes of reason which both reveal but also generate legal truth in the first place. This is relevant to post-truth more generally in one specific way, despite the numerous idiosyncrasies of legal truth and knowledge: when assertions of truth within structures of power seem to come to embody the perspectivism and relativism used as methods of deconstruction, the post-modern and deconstructionist projects themselves require radical change: they stay true to their goal of deconstructing structures and discourses of power by applying the classical epistemologies which are rejected by those in power. Just as legal outcomes which are asserted rather than reasoned or justified are most convincingly deconstructed through sober legal modes, so can the post-modernist project find purpose in a world where dominant epistemes seem to have come to embody a simplistic version of post-modernist critiques. (shrink)

The formalism of mathematics has always inspired ontological theorization based on it. As is evident from his magnum opus Being and Event, Alain Badiou remains one of the most important contemporary contributors to this enterprise. His famous maxim—“mathematics is ontology” has its basis in the ingenuity that he has shown in capitalizing on Gödel’s and Cohen’s work in the field of set theory. Their work jointly establish the independence of the continuum hypothesis from the standard axioms of Zermelo–Fraenkel set theory, (...) with Gödel’s result showing their consistency to the affirmative, while Cohen’s showing it to the negative. These results serve as the cornerstone of Badiou’s mathematical ontology. In it, drawing heavily on Cohen’s technically formidable method of forcing, Badiou makes the latter result the key to his defense of the possibility of a faithful tracing of the consequences in the ‘state’ of an ‘event’ by a ‘subject’. Whereas, Gödel’s result based on the assumption of constructability becomes the pivot for criticism of the general philosophical orientation that Badiou calls ‘constructivism’. Viewed from a position internal to mathematical formalism itself, and taking into account the twentieth century developments in the relevant field, Badiou’s stance seems to be neither appreciative of the actual course of such developments, nor just to the philosophical view point that was actually maintained by Gödel. In the present paper, this concern is intended to be substantiated through an exposition of certain facts pertaining to the said developments as well as to Gödel’s philosophical inclinations. (shrink)

A substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the same grammatical category and possibly relativizing quantifiers. In particular, predicate symbols can be replaced with formulae possibly containing additional free variables. A sentence is defined to be logically true iff all its substitution (...) instances are satisfied by all variable assignments. Logical consequence is defined analogously. Satisfaction is taken to be a primitive notion and axiomatized.For every set‐theoretic model in the sense of model theory there exists a corresponding substitutional interpretation in a sense to be specified. Conversely, however, there are substitutional interpretations – in particular the ‘intended’ interpretation – that lack a model‐theoretic counterpart. The substitutional definition of logical validity overcomes the weaknesses of more restrictive accounts of substitutional validity; unlike model‐theoretic logical consequence, the substitutional notion is trivially and provably truth preserving. In Kreisel's squeezing argument the formal notion of substitutional validity naturally slots into the place of intuitive validity. (shrink)

In a paper entitled A Semantical Version of the Problem of Transcendental Idealism, Kazimierz Ajdukiewicz gives a very impressive analysis of transcendental idealism. He approaches the matter using the tools of formal semantics developed by Alfred Tarski and draws a rather surprising conclusion. According to Ajdukiewicz, the idealist position, claiming that the world around us is ontologically dependent on our cognitive activity can be shown to be implausible on purely logical grounds. It is worth taking a closer look at this (...) insightful argument, since Ajdukiewicz’s analysis, if sound, has a relevance reaching far beyond purely historical questions concerning the right interpretation and proper assessment of past idealist doctrines. These days various species of idealism are thriving under such labels as ‘anti realism’ or ‘pragmatism’. Ajdukiewicz’s venerable paper goes to the very core of many contemporary metaphysical discussions. (shrink)

The semantic rules that govern ordinary property discourse appear to give rise to a version of Russell's antinomy. Do we therefore have an inconsistent conception of properties? This paper firstly develops a consistent conception of properties and secondly argues that we may indeed interpret ordinary property discourse as expressing the consistent conception rather than an inconsistent one.

Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...) set theory has proceeded in the opposite direction, from a web of intensions to a theory of extensionpar excellence, and like other fields of mathematics its vitality and progress have depended on a steadily growing core of mathematical structures and methods, problems and results. There is also the stronger contention that from the beginning set theory actually developed through a progression ofmathematicalmoves, whatever and sometimes in spite of what has been claimed on its behalf.What follows is an account of the development of set theory from its beginnings through the creation of forcing based on these contentions, with an avowedly Whiggish emphasis on the heritage that has been retained and developed by current set theory. The whole transfinite landscape can be viewed as the result of Cantor's attempt to articulate and solve the Continuum Problem. (shrink)

A fundamental notion in a large part of mathematics is the notion of equicardinality. The language with Hartig quantifier is, roughly speaking, a first-order language in which the notion of equicardinality is expressible. Thus this language, denoted by LI, is in some sense very natural and has in consequence special interest. Properties of LI are studied in many papers. In [BF, Chapter VI] there is a short survey of some known results about LI. We feel that a more extensive exposition (...) of these results is needed. The aim of this paper is to give an overview of the present knowledge about the language LI and list a selection of open problems concerning it. After the Introduction $(\S1)$ , in $\S\S2$ and 3 we give the fundamental results about LI. In $\S4$ the known model-theoretic properties are discussed. The next section is devoted to properties of mathematical theories in LI. In $\S6$ the spectra of sentences of LI are discussed, and $\S7$ is devoted to properties of LI which depend on set-theoretic assumptions. The paper finishes with a list of open problem and an extensive bibliography. The bibliography contains not only papers we refer to but also all papers known to us containing results about the language with Hartig quantifier. Contents. $\S1$ . Introduction. $\S2$ . Preliminaries. $\S3$ . Basic results. $\S4$ . Model-theoretic properties of $LI. \S5$ . Decidability of theories with $I. \S6$ . Spectra of LI- sentences. $\S7$ . Independence results. $\S8$ . What is not yet known about LI. Bibliography. (shrink)

A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations (...) is inspired by the results of [12] on nonmonotonic inference relations, and relies on some of the definitions found there. (shrink)

On a bilateralist reading, sequents are interpreted as statements to the effect that, given the assertion of the antecedent it is incoherent to deny the succedent. This interpretation goes against its own ecumenical ambitions, endowing Cut with a meaning very close to that of tertium non datur and thus rendering it intuitionistically unpalatable. This paper explores a top-down route for arguing that, even intuitionistically, a prohibition to deny is as strong as a licence to assert.

I argue for the possibility of hypergunk: that is, it is possible that there exists an x such that every part of x has a proper part and, for any set S of parts of x, there is a set S′ of parts of...

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

First-order logic haslimitedexistential import: the universalized conditional ∀x[S(x) → P(x)] implies its corresponding existentialized conjunction ∃x[S(x) & P(x)] insome but not allcases. We prove theExistential-Import Equivalence:∀x[S(x) → P(x)] implies ∃x[S(x) & P(x)] iff ∃xS(x) is logically true.The antecedent S(x) of the universalized conditional alone determines whether the universalized conditionalhas existential import: implies its corresponding existentialized conjunction.Apredicateis a formula having onlyxfree. Anexistential-importpredicate Q(x) is one whose existentialization, ∃xQ(x), is logically true; otherwise, Q(x) isexistential-import-freeor simplyimport-free. Existential-import predicates are also said to beimport-carrying.How (...) widespread is existential import? How widespread are import-carrying predicates in themselves or in comparison to import-free predicates? To answer, let L be any first-order language with any interpretation INT in any [sc. nonempty] universe U. A subset S of U isdefinable inLunderINT iff for some predicate Q(x) in L, S is the truth-set of Q(x) under INT. S isimport-carrying definableiff S is the truth-set of an import-carrying predicate. S isimport-free definableiff S is the truth-set of an import-free predicate.Existential-Importance Theorem: Let L, INT, and U be arbitrary. Every nonempty definable subset of U isbothimport-carrying definableandimport-free definable.Import-carrying predicates are quite abundant, and no less so than import-free predicates. Existential-import implications hold as widely as they fail.A particular conclusion cannot be validly drawn from a universal premise, or from any number of universal premises.—Lewis-Langford, 1932, p. 62. (shrink)

Symbolic logic is sited at intersection of philosophy, mathematics, linguistics and computer science. It deals with the structure of reasoning, and the formal features of information. Work in symbolic logic has almost exclusively treated the deductive validity of arguments: those arguments for which it is impossible for the premises to be true and the conclusion false. However, techniques from twentieth-century logic have found a place in the study of inductive or probabilistic reasoning, in which premises need not render their conclusions (...) certain. (shrink)

This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.

Articles by two American mathematicians, E. V. Huntington and Oswald Veblen, are discussed as examples of a movement in foundational research in the period 1900-1930 called American postulate theory. This movement also included E. H. Moore, R. L. Moore, C. H. Langford, H. M. Sheffer, C. J. Keyser, and others. The articles discussed exemplify American postulate theorists' standards for axiomatizations of mathematical theories, and their investigations of such axiomatizations with respect to metatheoretic properties such as independence, completeness, and consistency.

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...) to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. (shrink)

In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...) in the negative. In addition, for the case of bimodal logic, we show that there is a naturally occurring logic that is incomplete with respect to ${\cal V}$-baos, namely the provability logic $GLB$. We also show that even logics that are unsound with respect to such algebras do not have to be more complex than the classical propositional calculus. On the other hand, we observe that it is undecidable whether a syntactically defined logic is ${\cal V}$-complete. After these results, we generalize the Blok Dichotomy to degrees of ${\cal V}$-incompleteness. In the end, we return to van Benthem’s theme of syntactic aspects of modal incompleteness. (shrink)

I shall elaborate more on the idea of anti-irrationalism proposed by the Polish analytic philosopher Kazimierz Ajdukiewicz, a prominent member of the Lvov-Warsaw School of philosophy and logic. In my reading, anti-irrationalism stands in opposition not only to overt irrationalism, which is made clear by the term itself, but also to all forms of rationalism that tip toward something like worship of reason. Having characterized anti-irrationalism as it originally appeared in Ajdukiewicz’s works, I shall propose a certain reformulation of it, (...) so as to capture a broader philosophical legacy in Poland, primarily, yet not exclusively the Lvov-Warsaw School. (shrink)

This is an exposition of Lambek's strengthening and generalization of the deduction theorem in categories related to intuitionistic propositional logic. Essential notions of category theory are introduced so as to yield a simple reformulation of Lambek's Functional Completeness Theorem, from which its main consequences can be readily drawn. The connections of the theorem with combinatory logic, and with modal and substructural logics, are briefly considered at the end.