The Logic and Metaphysics Workshop will meet on November 14th from 4:15-6:15 (NY time) in-person at the Graduate Center (Room 7314) for a talk by Christopher Izgin (Humboldt University).

Title: A new approach to Aristotle’s definitions of truth and falsehood in Metaphysics Γ.7

Abstract: At Metaphysics Γ.7, 1011^b26–7, Aristotle defines truth and falsehood as follows: to assert of what is that it is or of what is not that it is not, is true; to assert of what is that it is not or of what is not that it is, is false. In their attempts to interpret the definitions, scholars usually distinguish between the veridical, 1-place, and 2-place uses of ‘to be’. The dominant view holds that all occurrences of ‘is’ in the definientia are interpreted veridically (Kahn 1966, Kirwan 1993, Crivelli 2004, Kimhi 2018, Szaif 2018). So the first truth condition is interpreted as follows: to assert of what is the case that it is the case, is true. I argue against this and side with those who favor a comprehensive—i.e. a jointly 1- and 2-place—interpretation (Matthen 1983, Wheeler 2011), according to which the first truth condition says: to assert of what is (F, exists) that it is (F, exists), is true. It is an open question how this interpretation makes Aristotle’s definitions sufficiently general so as to accommodate all propositional truth-value bearers. I first show that all Aristotelian propositions are reducible to propositions involving a 1- or 2-place ‘is’ and that formal properties, such as quantity and modality, merely modify the ‘is’, thus lending support to the comprehensive interpretation.

The Logic and Metaphysics Workshop will meet on November 7th from 4:15-6:15 (NY time) in-person at the Graduate Center (Room 7314) for a talk by Victoria Gitman (CUNY).

Title: Set theory without the powerset axiom

Abstract: Many natural and useful set-theoretic structures fail to satisfy the Powerset axiom. For example, the universe of sets can be decomposed into the H_alpha-hierarchy, indexed by cardinals alpha, where each H_alpha consists of all sets whose transitive closure has size less than alpha. If alpha is a regular cardinal, then H_alpha satisfies all axioms of ZFC except, maybe, the Powerset axiom (it will only satisfy Powerset if alpha is inaccessible). Class forcing extensions of models of ZFC will often fail to satisfy ZFC, but if the class forcing is nice enough, then it will preserve all the axioms of ZFC except, maybe, the Powerset axiom. Finally, a strong second-order set theory, extending Kelley-Morse by adding a choice principle for classes (Choice Scheme), is bi-interpretable with a strong first-order set theory without the Powerset axiom. Thus working in a strong enough second-order set theory can be reinterpreted as working in a strong first-order set theory in which the Powerset axiom fails. It turns out that simply taking the axioms of ZFC and removing the Powerset axiom does not yield a robust set theory. I will discuss robust (and strong) axiomatizations of set theory without Powerset and how much of the standard set theoretic machinery is still effective even in the strongest theories in the absence of Powerset. Because of the bi-interpretability of a strong set theory without Powerset with Kelley-Morse plus Choice Scheme, these results will have consequences for which set theoretic machinery continues to work in set theories with classes. Time permitting, I will also talk about some unexpectedly strange models of set theory without Powerset.

The Logic and Metaphysics Workshop will meet on October 31st from 4:15-6:15 (NY time) via Zoom for a talk by Friederike Moltmann (CNRS, Côte d’Azur).

Title: The semantics of special quantification: Higher-order metaphysics and nominalization approaches

Abstract: Prior’s problem consists in the impossibility of replacing clausal complements of most attitude verbs by ‘ordinary’ NPs; only ‘special quantifiers’ that is, quantifiers like something permit a replacement, preserving grammaticality or the same reading of the verb;

(1) a. John claims that he won.
      b. ??? John claims a proposition / some thing.
      c. John claims something.

In my 2013 book Abstract Objects and the Semantics of Natural Language, I have shown how this generalizes to nonreferential complements of various other intensional predicates and argued for a Nominalization Theory of special quantifiers. In this talk, I will review and extend the range of linguistic generalizations that motivate the Nominalization Theory and show that they pose serious problems for a simple higher-order semantics of special quantifiers. I will outline a new version of the Nominalization Theory for special quantifiers with attitude verbs and address the question whether there can be a unified semantics of special quantifiers for the various contexts in which they display a nominalizing force.

The Logic and Metaphysics Workshop will meet on October 24th from 4:15-6:15 (NY time) in-person at the Graduate Center (Room 7314) for a talk by Rohit Parikh (CUNY).

Title: A measure of group coherence

Abstract: The Stanford Encyclopedia of Philosophy has an article on Social Epistemology and also one on group rights. Wikipedia has an article on group coherence. Clearly, groups are important and that importance is acknowledged. But what is missing is a measure of group coherence or as I shall say, groupiness. The Democratic party is a group but the Squad is a more coherent subgroup and works more closely with each other. The bees in a beehive work coherently with each other but it is not clear if this coherence is buttressed by common beliefs. The purpose of this talk, and of this project is to propose a measure of groupiness, investigate its properties, ask about the extent to which it enables group action, and about the extent to which it comports with epistemic logic and with the theory of information.​

The Logic and Metaphysics Workshop will meet on October 3rd from 4:15-6:15 (NY time) in-person at the Graduate Center (Room 7314) for a talk by Yale Weiss (CUNY).

Title: The best of all possible Leibnizian completeness theorems

Abstract: Leibniz developed several arithmetical interpretations of the assertoric syllogistic in a series of papers from April 1679. In this talk, I present his most mature arithmetical semantics. I show that the assertoric syllogistic can be characterized exactly not only in the full divisibility lattice, as Leibniz implicitly suggests, but in a certain four-element sublattice thereof. This refinement is also shown to be optimal in the sense that the assertoric syllogistic is not complete with respect to any smaller sublattice using Leibniz’s truth conditions.

The Logic and Metaphysics Workshop will meet on September 26th from 4:15-6:15 (NY time) via Zoom for a talk by Louise Dupuis (Paris Dauphine) and Matteo Michelini (Eindhoven).

Title: MySide bias in scientific debates

Abstract: Recent research in cognitive science supports the idea that scientific reasoning is influenced by myside resp. confirmation bias — a tendency to prioritize the search and generation of arguments that support one’s views, rather than arguments that would undermine it and, consequently, to apply more critical scrutiny to opposing than to one’s own stances (Mercier, 2017, Mercier, 2014). Even though myside bias may pull scientists away from the truth, its effects could be mitigated by certain socio-epistemic mechanisms. Moreover, if kept under control — so the argument goes — myside bias may have a positive impact on inquiry by generating an efficient division of cognitive labour. While this view stands in sharp contrast to the common take on confirmation bias as epistemically pernicious, it coheres with recent arguments from the philosophy of science that confirmation bias can be beneficial for group inquiry (Smart, 2018, Peters, 2020). This raises the question under which conditions (if any) myside bias plays such a positive role. In this paper we investigate this question by means of an argumentative agent-based model. Our results suggest that the myside bias may have an ambivalent effect on scientific debates. On the one hand, biased scientists tend to explore the given topic to a greater extent, which may facilitate a more thorough inquiry. On the other hand, they are also less likely to change their mind, which can be especially damaging in case they have reached a consensus on a wrong point of view.

Note: This is joint work with Dunja Šešelja, Juliette Rouchier, Gabriella Pigozzi, Annemarie Borg, and Christian Straßer.

The Logic and Metaphysics Workshop will meet on September 19th from 4:15-6:15 (NY time) in-person at the Graduate Center (Room 7314) for a talk by Bokai Yao (Notre Dame).

Title: Reflective Mereology

Abstract: I explore a new theory of mereology based on a mereological reflection principle. Reflective mereology has natural fusion principles but also refutes certain principles of classical mereology such as Universal Fusion and Fusion Uniqueness. Moreover, reflective mereology avoids Uzquiano’s cardinality problem–the problem that classical mereology tends to clash with set theory when they both quantify over everything. In particular, assuming large cardinals, I construct a natural model of reflective mereology and second-order ZFCU with Limitation of Size. In the model, classical mereology holds when the quantifiers are restricted to the urelements.

The Logic and Metaphysics Workshop will meet on September 12th from 4:15-6:15 (NY time) via Zoom for a talk by Yasuo Deguchi (Kyoto).

Title: Logic of Presence

Abstract: This talk will propose a new modality within the framework of possible worlds, i.e., presence or present world. Presence is defined in terms of mutual or two-ways intentionality: An object X is present to an intentional agent A in the actual world iff A has active and passive intentionalities toward X, where active intentionality means that A has intentionality to X (e.g., A loves X), and passive intentionality means that A has self-awareness/consciousness as being an object of X’s intentionality (e.g., X loves A). Some actual agents such as your partner is actual and present entity for you, while other actual objects such as minute physical events in an unknown faraway galaxy are actual but not present entities for you. Some counterfactual agents such as those in a digital virtual reality can be counterfactual but present agents for you, while some other counterfactual entities are simply counterfactual and non-present for you. This talk claims that this present approach to virtual reality is better than Chalmers’ virtual realism and Ryan’s recentering approach. This talk also outlines the logic of presence that is an extension of Priest-Berto’s logic of intentionality, being based on possible worlds semantics.

The Logic and Metaphysics Workshop will meet on October 17th from 4:15-6:15 (NY time) via Zoom for a talk by Guillermo Badia (Queensland).

Title: A parametrised axiomatization for a large number of restricted second-order logics

Abstract: By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly complete axiomatization for several systems of this kind having the range of the predicate variables as a parameter. The completeness argument uses simple techniques from the theory of Boolean algebras. The full paper is here: https://arxiv.org/abs/2207.02709.

Note: This is joint work with John Lane Bell.

The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 (NY time). Talks may be either virtual (via Zoom) or in-person (at the Graduate Center, Room 7314). The provisional schedule is as follows:

Sept 5. NO MEETING

Sep 12. Yasuo Deguchi (Kyoto)

Sep 19. Bokai Yao (Notre Dame)

Sep 26. Gabriella Pigozzi (Paris Dauphine), Louise Dupuis (Paris Dauphine), and Matteo Michelini (Eindhoven)

Oct 3. Yale Weiss (CUNY)

Oct 10. NO MEETING

Oct 17. Guillermo Badia (Queensland)

Oct 24. Rohit Parikh (CUNY)

Oct 31. Friederike Moltmann (CNRS, Côte d’Azur)

Nov 7. Victoria Gitman (CUNY)

Nov 14. Christopher Izgin (Humboldt University)

Nov 21. Marko Malink (NYU) and Anubav Vasudevan (University of Chicago)

Nov 28. William McCarthy (Columbia)

Dec 5. Martin Pleitz (Muenster)

Dec 12. Harry Deutsch (Illinois State) Session Cancelled