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. Tommy Kivatinos (Auburn)

Nov 21. Marko Malink (NYU)

Nov 28. William McCarthy (Columbia)

Dec 5. Martin Pleitz (Muenster)

Dec 12. Harry Deutsch (Illinois State)

css.php
Need help with the Commons? Visit our
help page
Send us a message