Logic and Artificial Intelligence: Divorced, Still Married, Separated ...

Mental Models Website Critics of the model theory of deduction The model theory is an alternative to the view that deduction depends on formal rules of inference akin to those of a logical calculus. The distinction between the two sorts of theories parallels the one in logic between proof-theoretic methods based on formal rules and model-theoretic methods based, say, on truth tables. Which ...

Logic and Philosophy of Logic Between Logic and Heuristic* S. L. Katretchko Moscow State University ipass@ipa-ss.msu.ru ABSTRACT: This article aims to construct a new type of logical calculi-logical heuristic calculus which contains the means of reducing complete search. Such a heuristic component of calculus is reached with the help of meta-level means. The principal means for reducing search ...