Template: Logic

{{Navbox
| name = Logic
| state = {{{state|{{{1|<noinclude>un</noinclude>collapsed}}}}}}
| bodyclass = hlist
| title = [[Logic]]

| above =
* [[Outline of logic|Outline]]
* [[History of logic|History]]

| group1 = Major fields
| list1 =
* [[Logic in computer science|Computer science]]
* [[Formal semantics (natural language)]]
* [[Inference]]
* [[Philosophy of logic]]
* [[Formal proof|Proof]]
* [[Semantics of logic]]
* [[Syntax (logic)|Syntax]]
{{Navbox|subgroup
|group1=Logics
|list1=

* [[Classical logic|Classical]]
*[[Informal logic|Informal]]
** [[Critical thinking]]
** [[Reason]]
* [[Mathematical logic|Mathematical]]
<!--[Too general?:] * [[Mathematics]]-->
* [[Non-classical logic|Non-classical]]
* [[Philosophical logic|Philosophical]]
<!--[Too general?:] * [[Philosophy]]-->
<!--[Too general?:] * [[Philosophy of mathematics]]-->

|group2=Theories

|list2=
*[[Argumentation theory|Argumentation]]
* [[Metalogic]]
* [[Metamathematics]]
* [[Set theory|Set]]

}}
| group2 = Foundations
| list2 =
* [[Abductive reasoning|Abduction]]
* [[Analytic–synthetic distinction|Analytic and synthetic propositions]]
* [[Contradiction]]
** [[Paradox]]
** [[Antinomy]]
* [[Deductive reasoning|Deduction]]
*[[Deductive closure]]
* [[Definition]]
* [[Description]]
* [[Logical consequence|Entailment]]
**[[Entailment (linguistics)|Linguistic]]
* [[Logical form|Form]]
* [[Inductive reasoning|Induction]]
* [[Logical truth]]
* [[Name]]
* [[Necessity and sufficiency]]
* [[Premise]]
* [[Probability]]
* [[Reference]]
* [[Statement (logic)|Statement]]
* [[Substitution (logic)|Substitution]]
* [[Truth]]
* [[Validity (logic)|Validity]]

| group3 = Lists
| list3 =
 {{Navbox |child |groupstyle=font-weight:normal;
  | group1 = [[Index of logic articles|topics]]
  | list1 =
* [[List of mathematical logic topics|Mathematical logic]]
* [[List of Boolean algebra topics|Boolean algebra]]
* [[List of set theory topics|Set theory]]
  | group2 = other
  | list2 =
* [[List of logicians|Logicians]]
* [[List of rules of inference|Rules of inference]]
* [[List of paradoxes|Paradoxes]]
* [[List of fallacies|Fallacies]]
* [[List of logic symbols|Logic symbols]]
 }}

| below =
* {{Portal-inline|Philosophy}}
* [[:Category:Logic|Category]]
* [[Wikipedia:WikiProject Logic|WikiProject]]&nbsp;([[Wikipedia talk:WikiProject Logic|talk]])
* [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} changes]

}}<noinclude>
{{Documentation}}
</noinclude>