In the topic-sensitive theory of the logic of imagination due to Berto [3], the topic of the imaginative output must be contained within the imaginative input. That is, imaginative episodes can never expand what they are about. We argue, with Badura [2], that this constraint is implausible from a psychological point of view, and it wrongly predicts the falsehood of true reports of imagination. Thus the constraint should be relaxed; but how? A number of direct approaches to relaxing the controversial content-inclusion constraint are explored in this paper. The core idea is to consider adding an expansion operator to the mereology of topics. The logic that results depends on the formal constraints placed on topic expansion, the choice of which are subject to philosophical dispute. The first semantics we explore is a topological approach using a closure operator, and we show that the resulting logic is the same as Berto’s own system. The second approach uses an inclusive and monotone increasing operator, and we give a sound and complete axiomatiation for its logic. The third approach uses an inclusive and additive operator, and we show that the associated logic is strictly weaker than the previous two systems, and additivity is not definable in the language. The latter result suggests that involved techniques or a more expressive language is required for a complete axiomatization of the system, which is left as an open question. All three systems are simple tweaks on Berto’s system in that the language remains propositional, and the underlying theory of topics is unchanged.

In this paper we study logical bilateralism understood as a theory of two primitive derivability relations, namely provability and refutability, in a language devoid of a primitive strong negation and without a falsum constant, $\bot $, and a verum constant, $\top $. There is thus no negation that toggles between provability and refutability, and there are no primitive constants that are used to define an “implies falsity” negation and a “co-implies truth” co-negation. This reduction of expressive power notwithstanding, there remains some interaction between provability and refutability due to the presence of (i) a conditional and the refutability condition of conditionals and (ii) a co-implication and the provability condition of co-implications. Moreover, assuming a hyperconnexive understanding of refuting conditionals and a dual understanding of proving co-implications, neither non-trivial negation inconsistency nor hyperconnexivity is lost for unary negation connectives definable by means of certain surrogates of falsum and verum. Whilst a critical attitude towards $\bot $ and $\top $ can be justified by problematic aspects of the Brouwer-Heyting-Kolmogorov interpretation of the logical operations for these constants, the aim to reduce the availability of a toggling negation and observations on undefinability may also give further reasons to abandon $\bot $ and $\top $.

Some informal arguments are valid, others are invalid. A core application of logic is to tell us which is which by capturing these validity facts. Philosophers and logicians have explored how well a host of logics carry out this role, familiar examples being propositional, first-order and second-order logic. Since natural language and standard logics are countable, a natural question arises: is there a countable logic guaranteed to capture the validity patterns of any language fragment? That is, is there a countable omega-universal logic? Our article philosophically motivates this question, makes it precise, and then answers it. It is a self-contained, concise sequel to ‘Capturing Consequence’ by A.C. Paseau (RSL vol. 12, 2019).

This paper provides a consistent first-order theory solving the knower paradoxes of Kaplan and Montague, with the following main features: 1. It solves the knower paradoxes by providing a faithful formalization of the principle of veracity (that knowledge requires truth), using both a knowledge and a truth predicate. 2. It is genuinely untyped i.e., it is untyped not only in the sense that it uses a single knowledge predicate applying to all sentences in the language (including sentences in which this predicate occurs), but in the sense that its axioms quantify over all sentences in the language, thus supporting comprehensive reasoning with untyped knowledge ascriptions. 3. Common knowledge predicates can be defined in the system using self-reference. These facts, together with a technique based on Löb’s theorem, enables it to support comprehensive reasoning with untyped common knowledge ascriptions (without having any axiom directly addressing common knowledge).

The aim of this paper is to give a full exposition of Leibniz’s mereological system. My starting point will be his papers on Real Addition, and the distinction between the containment and the part-whole relation. In the first part (§2), I expound the Real Addition calculus; in the second part (§3), I introduce the mereological calculus by restricting the containment relation via the notion of homogeneity which results in the parthood relation (this corresponds to an extension of the Real Addition calculus via what I call the Homogeneity axiom). I analyze in detail such a notion, and argue that it implies a gunk conception of (proper) part. Finally, in the third part (§4), I scrutinize some of the applications of the containment-parthood distinction showing that a number of famous Leibnizian doctrines depend on it.

Glivenko’s theorem says that classical provability of a propositional formula entails intuitionistic provability of the double negation of that formula. This stood right at the beginning of the success story of negative translations, indeed mainly designed for converting classically derivable formulae into intuitionistically derivable ones. We now generalise this approach: simultaneously from double negation to an arbitrary nucleus; from provability in a calculus to an inductively generated abstract consequence relation; and from propositional logic to any set of objects whatsoever. In particular, we give sharp criteria for the generalisation of classical logic to be a conservative extension of the one of intuitionistic logic with double negation.

The logico-algebraic study of Lewis’s hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work starts filling this gap by providing a logico-algebraic analysis of Lewis’s logics. We begin by introducing novel finite axiomatizations for Lewis’s logics on the syntactic side, distinguishing between global and local consequence relations on Lewisian sphere models on the semantical side, in parallel to the case of modal logic. As first main results, we prove the strong completeness of the calculi with respect to the corresponding semantical consequence on spheres, and a deduction theorem. We then demonstrate that the global calculi are strongly algebraizable in terms of a variety of Boolean algebras with a binary operator representing the counterfactual implication; in contrast, we show that the local ones are generally not algebraizable, although they can be characterized as the degree-preserving logic over the same algebraic models. This yields the strong completeness of all the logics with respect to the algebraic models.

I apply truthmaker semantics to the logic of conditional imperatives.

The distinction between the proofs that only certify the truth of their conclusion and those that also display the reasons why their conclusion holds has a long philosophical history. In the contemporary literature, the grounding relation—an objective, explanatory relation which is tightly connected with the notion of reason—is receiving considerable attention in several fields of philosophy. While much work is being devoted to characterising logical grounding in terms of deduction rules, no in-depth study focusing on the difference between grounding rules and logical rules exists. In this work, we analyse the relation between logical grounding and classical logic by focusing on the technical and conceptual differences that distinguish grounding rules and logical rules. The calculus employed to conduct the analysis provides moreover a strong confirmation of the fact that grounding derivations are logical derivations of a certain kind, without trivialising the distinction between grounding and logical rules, explanatory and non-explanatory parts of a derivation. By a further formal analysis, we negatively answer the question concerning the possible correspondence between grounding rules and intuitionistic logical rules.

The seminal Krajewski–Kotlarski–Lachlan theorem (1981) states that every countable recursively saturated model of $\mathsf {PA}$ (Peano arithmetic) carries a full satisfaction class. This result implies that the compositional theory of truth over $\mathsf {PA}$ commonly known as $\mathsf {CT}^{-}[\mathsf {PA}]$ is conservative over $\mathsf {PA}$. In contrast, Pakhomov and Enayat (2019) showed that the addition of the so-called axiom of disjunctive correctness (that asserts that a finite disjunction is true iff one of its disjuncts is true) to $\mathsf {CT}^{-}[\mathsf {PA}]$ axiomatizes the theory of truth $\mathsf {CT}_{0}[\mathsf {PA}]$ that was shown by Wcisło and Łełyk (2017) to be nonconservative over $\mathsf {PA}$. The main result of this paper (Theorem 3.12) provides a foil to the Pakhomov–Enayat theorem by constructing full satisfaction classes over arbitrary countable recursively saturated models of $\mathsf {PA}$ that satisfy arbitrarily large approximations of disjunctive correctness. This shows that in the Pakhomov–Enayat theorem the assumption of disjunctive correctness cannot be replaced with any of its approximations.

For relevant logics, the admissibility of the rule of proof $\gamma $ has played a significant historical role in the development of relevant logics. For first-order logics, however, there have been only a handful of $\gamma $-admissibility proofs for a select few logics. Here we show that, for each logic L of a wide range of propositional relevant logics for which excluded middle is valid (with fusion and the Ackermann truth constant), the first-order extensions QL and LQ admit $\gamma $. Specifically, these are particular “conventionally normal” extensions of the logic $\mathbf {G}^{g,d}$, which is the least propositional relevant logic (with the usual relational semantics) that admits $\gamma $ by the method of normal models. We also note the circumstances in which our results apply to logics without fusion and the Ackermann truth constant.

All the known non-self-referential paradoxes share a reference pattern of Yablo’s paradox in that they all necessarily contain infinitely many sentences, each of which refers to infinitely many sentences. This raises a question: Does the reference pattern of Yablo’s paradox underlie all non-self-referential paradoxes, just as the reference pattern of the liar paradox underlies all finite paradoxes? In this regard, Rabern et al. [J Philos Logic 42(5): 727–765, 2013] prove that every dangerous acyclic digraph contains infinitely many points with an infinite out-degree. Building upon their work, this paper extends Rabern et al.’s result to the first-order arithmetic language with a primitive truth predicate, proving that all reference digraphs for non-self-referential paradoxes contain infinitely many sentences of infinite out-degree (called “social sentences”). We then strengthen this result in two respects. First, among these social sentences, infinitely many appear in one ray. Second, among these social sentences, infinitely many have infinitely many out-neighbors, none of which will eventually get to a sink. These observations provide helpful information towards the following conjecture proposed by Beringer and Schindler [Bull. of Symb. Logic 23(4): 442–492, 2017]: every dangerous acyclic digraph contains the Yablo digraph as a finitary minor.

This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by a rule that permits restricting these terms in the rules for $\forall $, $\exists $ and to parameters or constants. A restricted subformula property for deductions in systems without is considered. It is improved upon by an alternative formalisation of free logic building on an idea of Jaśkowski’s. In the classical system the rules for require treatment known from normalisation for classical logic with $\lor $ or $\exists $. The philosophical significance of the results is also indicated.

Propositional temporal logic over the real number time flow is finitely axiomatisable, but its first-order counterpart is not recursively axiomatisable. We study the logic that combines the propositional axiomatisation with the usual axioms for first-order logic with identity, and develop an alternative “admissible” semantics for it, showing that it is strongly complete for admissible models over the reals. By contrast there is no recursive axiomatisation of the first-order temporal logic of admissible models whose time flow is the integers, or any scattered linear ordering.

In this paper, we show how to represent a non-Archimedean preference over a set of random quantities by a nonstandard utility function. Non-Archimedean preferences arise when some random quantities have no fair price. Two common situations give rise to non-Archimedean preferences: random quantities whose values must be greater than every real number, and strict preferences between random quantities that are deemed closer in value than every positive real number. We also show how to extend a non-Archimedean preference to a larger set of random quantities. The random quantities that we consider include real-valued random variables, horse lotteries, and acts in the theory of Savage. In addition, we weaken the state-independent utility assumptions made by the existing theories and give conditions under which the utility that represents preference is the expected value of a state-dependent utility with respect to a probability over states.

Bochvar algebras consist of the quasivariety $\mathsf {BCA}$ playing the role of equivalent algebraic semantics for Bochvar (external) logic, a logical formalism introduced by Bochvar [4] in the realm of (weak) Kleene logics. In this paper, we provide an algebraic investigation of the structure of Bochvar algebras. In particular, we prove a representation theorem based on Płonka sums and investigate the lattice of subquasivarieties, showing that Bochvar (external) logic has only one proper extension (apart from classical logic), algebraized by the subquasivariety $\mathsf {NBCA}$ of $\mathsf {BCA}$. Furthermore, we address the problem of (passive) structural completeness ((P)SC) for each of them, showing that $\mathsf {NBCA}$ is SC, while $\mathsf {BCA}$ is not even PSC. Finally, we prove that both $\mathsf {BCA}$ and $\mathsf {NBCA}$ enjoy the amalgamation property (AP).

The continuum has been one of the most controversial topics in mathematics since the time of the Greeks. Some mathematicians, such as Euclid and Cantor, held the position that a line is composed of points, while others, like Aristotle, Weyl, and Brouwer, argued that a line is not composed of points but rather a matrix of a continued insertion of points. In spite of this disagreement on the structure of the continuum, they did distinguish the temporal line from the spatial line. In this paper, we argue that there is indeed a difference between the intuition of the spatial continuum and the intuition of the temporal continuum. The main primary aspect of the temporal continuum, in contrast with the spatial continuum, is the notion of orientation.

The continuum has usually been mathematically modeled by Cauchy sequences and the Dedekind cuts. While in the first model, each point can be approximated by rational numbers, in the second one, that is not possible constructively. We argue that points on the temporal continuum cannot be approximated by rationals as a temporal point is a flow that sinks to the past. In our model, the continuum is a collection of constructive Dedekind cuts, and we define two topologies for temporal continuum: 1. oriented topology and 2. the ordinary topology. We prove that every total function from the oriented topological space to the ordinary one is continuous.

This paper initiates the reverse mathematics of social choice theory, studying Arrow’s impossibility theorem and related results including Fishburn’s possibility theorem and the Kirman–Sondermann theorem within the framework of reverse mathematics. We formalise fundamental notions of social choice theory in second-order arithmetic, yielding a definition of countable society which is tractable in ${\mathsf {RCA}}_0$. We then show that the Kirman–Sondermann analysis of social welfare functions can be carried out in ${\mathsf {RCA}}_0$. This approach yields a proof of Arrow’s theorem in ${\mathsf {RCA}}_0$, and thus in $\mathrm {PRA}$, since Arrow’s theorem can be formalised as a $\Pi ^0_1$ sentence. Finally we show that Fishburn’s possibility theorem for countable societies is equivalent to ${\mathsf {ACA}}_0$ over ${\mathsf {RCA}}_0$.

We show that the conceptual distance between any two theories of first-order logic is the same as the generator distance between their Lindenbaum–Tarski algebras of concepts. As a consequence of this, we show that, for any two arbitrary mathematical structures, the generator distance between their meaning algebras (also known as cylindric set algebras) is the same as the conceptual distance between their first-order logic theories. As applications, we give a complete description for the distances between meaning algebras corresponding to structures having at most three elements and show that this small network represents all the possible conceptual distances between complete theories. As a corollary of this, we will see that there are only two non-trivial structures definable on three-element sets up to conceptual equivalence (i.e., up to elementary plus definitional equivalence).

Ultrafilters play a significant role in model theory to characterize logics having various compactness and interpolation properties. They also provide a general method to construct extensions of first-order logic having these properties. A main result of this paper is that every class $\Omega $ of uniform ultrafilters generates a $\Delta $-closed logic ${\mathcal {L}}_\Omega $. ${\mathcal {L}}_\Omega $ is $\omega $-relatively compact iff some $D\in \Omega $ fails to be $\omega _1$-complete iff ${\mathcal {L}}_\Omega $ does not contain the quantifier “there are uncountably many.” If $\Omega $ is a set, or if it contains a countably incomplete ultrafilter, then ${\mathcal {L}}_\Omega $ is not generated by Mostowski cardinality quantifiers. Assuming $\neg 0^\sharp $ or $\neg L^{\mu }$, if $D\in \Omega $ is a uniform ultrafilter over a regular cardinal $\nu $, then every family $\Psi $ of formulas in ${\mathcal {L}}_\Omega $ with $|\Phi |\leq \nu $ satisfies the compactness theorem. In particular, if $\Omega $ is a proper class of uniform ultrafilters over regular cardinals, ${\mathcal {L}}_\Omega $ is compact.