#
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...

### There are "forms" of thinking

There are "forms" of thinking and reasoning and arguing that do something very specific. They guarantee that if the premises of your thinking and reasoning and arguing are true, then so is your conclusion. These "argument forms", as we can call them, are said to be "valid". Logic is the study of these forms, and the methods used to distinguish them from invalid forms. An example? Well, what about De Morgan's theorems, one of which states not-(p AND q) is the same thing as (not-p OR not-q). This is valid, and it is worth studying, even for its intrinsic interest. And if you do study it, what you are studying is logic, or a part of it.

- Log in to post comments