reasoning and inference
logic: language (expressive capacity), semantics (meaning and truth), rules (validity and completeness)
(implemented or computerized) reasoning system: representation, procedures, memory, and control strategy
semantics: model theory
implementation: resolution-refutation
example: Logic Theorist
semantics: Chinese Room, symbol grounding
rules: non-deduction
validity: paradoxes
completeness: Gödel's Incompleteness Theorem and AI
implementation: efficiency
reasonable: