formal logic: its scope and limits