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)
Harry Deutsch (Illinois State) Session Cancelled