Formal logic: its scope and limits ‌ JEFFREY, Richard C.