The Review of Symbolic Logic