Princeton Logic Group

Recent Papers

A. D'Arienzo, V. Pagano, and I. Johnson. 2020. "The 2-categorical structure of predicate theories" arXiv:2011.14056

D. Berntson. Completeness for a new logic of conditionals

H. Lederman et al. Closed structure

J. Burgess. "Putnam on Foundations: Models, Modals, Muddles", in G. Hellman (ed.) Hilary Putnam on Logic and Mathematics, 129-143 (2019)

J. Burgess. "Logic in the Second Half of the Twentieth Century", in K.M.Becker (ed.) Cambridge History of Philosophy, 1945-2015, 137-146 (2019)

N. Dewar 2019. "Ramsey equivalence." Erkenntnis 84, 77-99 doi:10.1007/s10670-017-9948-5

H. Lederman et al. Classical opacity Philosophy and Phenomenological Research (2019)

D. Tsementzis, A syntactic characterization of Morita equivalence. Journal of Symbolic Logic 82, 1181-1198 (2018).

E. Washington. On the equivalence of logical theories, Bachelor's thesis, 2018.

H. Lederman et al. 2018. "Can modalities save naive set theory?" The Review of Symbolic Logic 11 (1): 21–47. doi:10.1017/S1755020317000168

T. Barrett and H. Halvorson. Quine's conjecture on many-sorted logic. Synthese (2017)

H. Lederman et al. Prospects for a naive theory of classes Notre Dame Journal of Formal Logic (2017)

J. Burgess and JC Beall, Logic Oxford Bibliographies in Philosophy (2017)

T. Barrett and H. Halvorson, From geometry to conceptual relativity Erkenntnis 82, 1043-1063 (2016)

T. Barrett and H. Halvorson, Morita equivalence, The Review of Symbolic Logic, vol. 9 (2016), no. 3, pp. 556–582.

T. Barrett and H. Halvorson. Quine and Glymour on theoretical equivalence. Journal of Philosophical Logic. 45, 467–483 (2016)