B.1 What is Logic?
|
Abstract:
Logic is the study of correct reasoning. It is not a particular KRR language. Thus, it is not proper to say "We are using (or not using) logic as our KRR language. " There are, indeed, many different logics. For more details on logics, see (Haack, 1978), (McCawley, 1981), and the various articles on Logic in (Shapiro, 1992) beginning with (Rapaport, 1992). B.2 Requirements to Define a Logic A logic consists of two parts, a language and a method of reasoning. The logical language, in turn, has two aspects, syntax and semantics. Thus, to specify or define a particular logic, one needs to specify three things: Syntax: The atomic symbols of the logical language, and the rules for constructing well-formed, nonatomic expressions (symbol structures) of the logic. Semantics: The meanings of the atomic symbols of the logic, and the rules for determining the meanings of nonatomic expressions of the logic. Syntactic Inference Method: The rules for determining a subset of logical expressions, called theorems of the logic.
Citations
| 508 | Introduction to Metamathematics – Kleene - 1971 |
| 82 | Mathematical logic as based on the theory of types – Russell - 1908 |
| 49 | Philosophy of Logics – Haack - 1978 |
| 46 | Everything that Linguists Have Always Wanted to Know about Logic But Were Ashamed to Ask – McCawley - 1981 |
| 25 | Symbolic Logic: an introduction – Fitch - 1952 |
| 4 | Logic – Rapaport - 1992 |
