| PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad (2007) | |||||||||||||||
Abstract | |||||||||||||||
| The aim of this note is first to set up some general theory for discussing different aspects of the notion of a logic and then to draw attention to the schematic aspects of logic and suggest a way of capturing this aspect without making any commitment to the kind of syntax a logic should have. Introduction Nowadays we are well aware that there are many different logics. There are computer systems which are meant to be used to implement many logics. But there is no generally accepted account of what a logic is. Perhaps this is as it should be. We need imprecision in our vocabulary to mirror the flexible imprecision of our thinking. There are a number of related phrases that seem to have a similar imprecision; e.g. formal system, language, axiom system, theory, deductive system, logical system, etc... These are sometimes given technical meanings, often without adequate consideration of the informal notions. When a logic has been implemented in a computer system the logic has been repres... | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||