I would really like to know what logic is. The Stanford Encyclopedia of Philosophy has TOO MANY articles on logic for someone like me. Let me list most of them: action logic, algebraic propositional logic, classical logic, combinatory logic, combining logic, connexive logic, deontic logic, dependence logic, dialogical logic, dynamic epistemic logic, epistemic logic, free logic, fuzzy logic, hybrid logic, independence friendly logic, inductive logic, infinitary logic, informal logic, intensional logic, intuitionistic logic, justification logic, linear logic, logic of belief revision, logic of conditionals, logical consequence, logical pluralism, logical truth., many-valued logic, modal logic, non-monotonic logic, normative status of logic, paraconsistent logic, propositional dynamic logic, provability logic, relevance logic, second-order and higher-order logic, substructural logic, temporal logic. I have started reading some of these articles, but I still didn't find an answer for my basic question. In...
At the risk of a bit of self
At the risk of a bit of self-promotion, readers might find my introductory article on logic for the Encyclopedia of Artificial Intelligence to be helpful. You can read it online at http://www.cse.buffalo.edu/~rapaport/Papers/logic.pdf.
- Log in to post comments