Abstract

As a historian of logic, I am frequently puzzled by the things which people have to say about the relationship between mathematical logic and some other kind of logic which is variously described as ‘intentional’ and ‘traditional.’ Part of my puzzlement arises from my failure to understand precisely what kind of system is being offered under the guise of intentional logic. I have always taken it that logic is concerned with valid inferences, with showing us how we may legitimately derive a conclusion from a set of premisses; yet the validation of inferences seems to be the least of the concerns of the intentional logician. He says that it can be done, but he does not bother to show us how. My purpose in this paper is to list some of the sources of my puzzlement in the hope that an exponent of intentional logic will show me how they can be resolved, and how their resolution will contribute to the building of a system (however informal) in which different types of argument can be validated.