Logic of Presence (Yasuo Deguchi)

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 in the actual world iff 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.

A parametrised axiomatization for a large number of restricted second-order logics (Guillermo Badia)

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.

Fall 2022 Schedule

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