# Bilateralist Truth-Maker Semantics for ST, TS, LP, K3, …

### Ulf Hlobil

The talk advocates a marriage of inferentialist bilateralism and truth-maker bilateralism. Inferentialist bilateralists like Restall and Ripley say that a collection of sentences, Y, follows from a collection of sentences, X, iff it is incoherent (or out-of-bounds) to assert all the sentences in X and, at the same time, deny all the sentences in Y. In Fine’s truth-maker theory, we have a partially ordered set of states that exactly verify and falsify sentences, and some of these states are impossible. We can think of making-true as the worldly analogue of asserting, of making-false as the worldly analogue of denying, and of impossibility as the worldly analogue of incoherence. This suggests that we may say that, in truth-maker theory, a collection of sentences, Y, follows (logically) from a collection of sentences, X, iff (in all models) any fusion of exact verifiers of the members of X and exact falsifiers of the member of Y is impossible. Under routine assumptions about truth-making, this yields classical logic. Relaxing one such assumption yields the non-transitive logic ST. Relaxing another assumption yields the non-reflexive logic TS. We can use known facts about the relation between ST, LP, and K3, to provide an interpretation of LP as the logic of falsifiers and K3 as the logic of verifiers. The resulting semantics for ST is more flexible than its usual three-valued semantics because it allows us, e.g., to reject monotonicity. We can also recover fine-grained logics, like Correia’s logic of factual equivalence.

# A More Unified Approach to Free Logics

### Edi Pavlović

(joint work with Norbert Gratzl, MCMP, Munich)

Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential import. Free logics usually reject the claim that names need to denote in (ii), and of the systems considered in this paper, the positive free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, while negative free logic rejects even the latter claim.

These logics have complex and varied axiomatizations and semantics, and the goal of the present work is to offer an orderly examination of the various systems and their mutual relations. This is done by first offering a formalization, using sequent calculi which possess all the desired structural properties of a good proof system, including admissibility of contraction and cut, while streamlining free logics in a way no other approach has. We then present a simple and unified system of generalized semantics, which allows for a straightforward demonstration of the meta-theoretical properties, while also offering insights into the relationship between different logics (free and classical). Finally, we extend the system with modalities by using a labeled sequent calculus, and here we are again able to map out the different approaches and their mutual relations using the same framework.

# The company you keep: Some recent results on neo-logicism and abstraction principles

### Paolo Mancosu

In this talk I will provide an overview of my recent investigations, some published some unpublished, on neologicism and in particular on the topics related to the good company and the bad company objections.

# An Epistemic Bridge for Presupposition Projection in Questions

Semantic presuppositions are certain inferences associated with words or linguistic constructions. For example, if someone tells you that they “recently started doing yoga”, then this presupposes that they didn’t do yoga before.

A problem that has occupied semanticists for decades is how the presuppositions of a complex sentence can be computed from the presuppositions of its parts. Another way of putting this problem is, how do presuppositions project in various environments?

In this talk, I will discuss presupposition projection in one particular linguistic environment, namely in questions, arguing that it should be treated pragmatically. I will motivate a generalized version of Stalnaker’s bridge principle and show that it makes correct predictions for a range of different interrogative forms and different question uses.

# Divergent potentialism: A modal analysis with an application to choice sequences

### Ethan Brauer, Øystein Linnebo, and Stewart Shapiro

Modal logic has recently been used to analyze potential infinity and potentialism more generally. However, this analysis breaks down in cases of divergent possibilities, where the modal logic is weaker than S4.2. This talk has three aims. First, we use the intuitionistic theory of free choice sequences to motivate the need for a modal analysis of divergent potentialism and explain the challenge of connecting the ordinary theory of choice sequences with our modal explication. Then, we use the so-called Beth-Kripke semantics for intuitionistic logic to overcome those challenges. Finally, we apply the resulting modal analysis of divergent potentialism to make choice sequences comprehensible in classical terms.

# Computing Perfect Matchings in Graphs

### Tyler Markkanen

A matching of a graph is any set of edges in which no two edges share a vertex. Steffens gave a necessary and sufficient condition for countable graphs to have a perfect matching (i.e., a matching that covers all vertices). We analyze the strength of Steffens’ theorem from the viewpoint of computability theory and reverse mathematics. By first restricting to certain kinds of graphs (e.g., graphs with bounded degree and locally finite graphs), we classify some weaker versions of Steffens’ theorem. We then analyze Steffens’ corollary on the existence of maximal matchings, which is critical to his proof of the main theorem. Finally, using methods of Aharoni, Magidor, and Shore, we give a partial result that helps hone in on the computational strength of Steffens’ theorem. Joint with Stephen Flood, Matthew Jura, and Oscar Levin.

# What Problem Did Ladd-Franklin (Think She) Solve(d)?

### Sara Uckelman

Christine Ladd-Franklin is often hailed as a guiding star in the history of women in logic—not only did she study under C.S. Peirce and was one of the first women to receive a PhD from Johns Hopkins, she also, according to many modern commentators, solved a logical problem which had plagued the field of syllogisms since Aristotle. In this paper, we revisit this claim, posing and answering two distinct questions: Which
logical problem did Ladd-Franklin solve in her thesis, and which problem did she think she solved? We show that in neither case is the answer “a long-standing problem due to Aristotle”. Instead, what
Ladd-Franklin solved was a problem due to Jevons that was first articulated in the 19th century.

# Logic Group videos and new Logic Supergroup channel

There are number of new recordings of UConn Logic Group colloquium talks on our youtube channel: www.youtube.com/c/UConnLogicGroup. We are also introducing playlists: for example, for last year’s “If” by any other name workshop here, or the keynote lectures of the SEP 2018 conference (which was hosted by the UConn Logic Group) here.

We’re also happy to announce that the Logic Supergroup also has a youtube channel now, where many of the talks that are given in Supergroup online talks series will be available: www.youtube.com/c/LogicSupergroup/.