Text this: Lógica simbólica con aplicaciones a problemas filosóficos contemporáneos