Difference between revisions of "Template:Logic"
Jump to navigation
Jump to search
imported>MisterCake |
imported>GliderMaven (+premise) |
||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 11: | Line 11: | ||
| group1 = Fields | | group1 = Fields | ||
| list1 = | | list1 = | ||
| − | * [[ | + | * [[Logic in computer science|Computer science]] |
| − | * [[ | + | * [[Inference]] |
| − | * [[Critical thinking]] | + | * [[Philosophy of logic]] |
| − | * [[ | + | * [[Formal proof|Proof]] |
| − | * [[Mathematical logic]] | + | * [[Semantics]] |
| + | * [[Syntax (logic)|Syntax]] | ||
| + | {{Navbox|subgroup | ||
| + | |group1=Logics | ||
| + | |list1= | ||
| + | |||
| + | * [[Classical logic|Classical]] | ||
| + | *[[Informal logic|Informal]] | ||
| + | ** [[Critical thinking]] | ||
| + | ** [[Reason]] | ||
| + | * [[Mathematical logic|Mathematical]] | ||
<!--[Too general?:] * [[Mathematics]]--> | <!--[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]] | * [[Metalogic]] | ||
* [[Metamathematics]] | * [[Metamathematics]] | ||
| − | + | * [[Set theory|Set]] | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | * [[Set theory]] | ||
| + | }} | ||
| group2 = Foundations | | group2 = Foundations | ||
| list2 = | | list2 = | ||
* [[Abductive reasoning|Abduction]] | * [[Abductive reasoning|Abduction]] | ||
* [[Analytic–synthetic distinction|Analytic and synthetic propositions]] | * [[Analytic–synthetic distinction|Analytic and synthetic propositions]] | ||
| − | * [[ | + | * [[Contradiction]] |
| − | * [[ | + | ** [[Paradox]] |
| + | ** [[Antinomy]] | ||
* [[Deductive reasoning|Deduction]] | * [[Deductive reasoning|Deduction]] | ||
| − | |||
*[[Deductive closure]] | *[[Deductive closure]] | ||
* [[Definition]] | * [[Definition]] | ||
* [[Description]] | * [[Description]] | ||
| + | * [[Logical consequence|Entailment]] | ||
| + | **[[Entailment (linguistics)|Linguistic]] | ||
| + | * [[Logical form|Form]] | ||
* [[Inductive reasoning|Induction]] | * [[Inductive reasoning|Induction]] | ||
| − | |||
| − | |||
| − | |||
* [[Logical truth]] | * [[Logical truth]] | ||
* [[Name]] | * [[Name]] | ||
* [[Necessity and sufficiency]] | * [[Necessity and sufficiency]] | ||
| − | * [[ | + | * [[Premise]] |
| − | |||
| − | |||
| − | |||
* [[Probability]] | * [[Probability]] | ||
| − | |||
* [[Reference]] | * [[Reference]] | ||
| − | |||
* [[Statement (logic)|Statement]] | * [[Statement (logic)|Statement]] | ||
| − | |||
* [[Substitution (logic)|Substitution]] | * [[Substitution (logic)|Substitution]] | ||
| − | |||
* [[Truth]] | * [[Truth]] | ||
* [[Validity (logic)|Validity]] | * [[Validity (logic)|Validity]] | ||
| Line 77: | Line 85: | ||
| below = | | below = | ||
| − | * | + | * {{Portal-inline|Philosophy}} |
* [[:Category:Logic|Category]] | * [[:Category:Logic|Category]] | ||
* [[Wikipedia:WikiProject Logic|WikiProject]] ([[Wikipedia talk:WikiProject Logic|talk]]) | * [[Wikipedia:WikiProject Logic|WikiProject]] ([[Wikipedia talk:WikiProject Logic|talk]]) | ||
Latest revision as of 00:55, 6 November 2019
Initial visibility: currently defaults to collapsed
To set this template's initial visibility, the |state= parameter may be used:
|state=collapsed:{{Logic|state=collapsed}}to show the template collapsed, i.e., hidden apart from its title bar|state=expanded:{{Logic|state=expanded}}to show the template expanded, i.e., fully visible|state=autocollapse:{{Logic|state=autocollapse}}
If the |state= parameter in the template on this page is not set, the template's initial visibility is taken from the |default= parameter in the Collapsible option template. For the template on this page, that currently evaluates to collapsed.
| The above documentation is transcluded from Template:Logic/doc. (edit | history) Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Please add categories to the /doc subpage. Subpages of this template. |