Title: Symbolic and Philosophical Logic