Difference between revisions of "Template:Logic"
Jump to navigation
Jump to search
imported>MisterCake |
imported>MisterCake |
||
| Line 13: | Line 13: | ||
* [[Argumentation theory]] | * [[Argumentation theory]] | ||
* [[Axiology]] | * [[Axiology]] | ||
| + | * [[Classical logic|Classical]] | ||
* [[Critical thinking]] | * [[Critical thinking]] | ||
| − | * [[Logic in computer science]] | + | * [[Logic in computer science|Computer science]] |
| − | * [[Mathematical logic]] | + | * [[Mathematical logic|Mathematical]] |
<!--[Too general?:] * [[Mathematics]]--> | <!--[Too general?:] * [[Mathematics]]--> | ||
* [[Metalogic]] | * [[Metalogic]] | ||
* [[Metamathematics]] | * [[Metamathematics]] | ||
| − | * [[Non-classical logic]] | + | * [[Non-classical logic|Non-classical]] |
| − | * [[Philosophical logic]] | + | * [[Philosophical logic|Philosophical]] |
<!--[Too general?:] * [[Philosophy]]--> | <!--[Too general?:] * [[Philosophy]]--> | ||
* [[Philosophy of logic]] | * [[Philosophy of logic]] | ||
| Line 30: | Line 31: | ||
* [[Abductive reasoning|Abduction]] | * [[Abductive reasoning|Abduction]] | ||
* [[Analytic–synthetic distinction|Analytic and synthetic propositions]] | * [[Analytic–synthetic distinction|Analytic and synthetic propositions]] | ||
| − | * [[Antinomy]] | + | * [[Contradiction]] |
| + | ** [[Paradox]] | ||
| + | ** [[Antinomy]] | ||
* [[Deductive reasoning|Deduction]] | * [[Deductive reasoning|Deduction]] | ||
*[[Deductive closure]] | *[[Deductive closure]] | ||
* [[Definition]] | * [[Definition]] | ||
* [[Description]] | * [[Description]] | ||
| + | *[[Entailment (linguistics)|Entailment]] | ||
* [[Inductive reasoning|Induction]] | * [[Inductive reasoning|Induction]] | ||
* [[Inference]] | * [[Inference]] | ||
| Line 42: | Line 46: | ||
* [[Name]] | * [[Name]] | ||
* [[Necessity and sufficiency]] | * [[Necessity and sufficiency]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
* [[Probability]] | * [[Probability]] | ||
* [[Reason]] | * [[Reason]] | ||
| Line 51: | Line 51: | ||
* [[Semantics]] | * [[Semantics]] | ||
* [[Statement (logic)|Statement]] | * [[Statement (logic)|Statement]] | ||
| − | |||
* [[Substitution (logic)|Substitution]] | * [[Substitution (logic)|Substitution]] | ||
* [[Syntax (logic)|Syntax]] | * [[Syntax (logic)|Syntax]] | ||
Revision as of 14:04, 15 January 2019
File:Test Template Info-Icon - Version (2).svg Template documentation[view] [edit] [history] [purge]
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. |