Paul Thom's book presents Kilwardby's science of logic as a body of demonstrative knowledge about inferences and their validity, about the semantics of non-modal and modal propositions, and about the logic of genus and species. This science is thoroughly intensional. It grounds the logic of inference on that in virtue of which the inference holds. It bases the truth conditions of propositions on relations between conceptual entities. It explains...