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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.