Two Papers On Symbolic Logic