[philosophy] Logic for Philosophy by Theodore Sider PDF