PHILOS 511 - SYMBOLIC LOGIC