Difference between revisions of "Template:Logic"
Jump to navigation
Jump to search
imported>MisterCake |
imported>MisterCake |
||
| Line 11: | Line 11: | ||
| group1 = Fields | | group1 = Fields | ||
| list1 = | | list1 = | ||
| − | * [[ | + | * [[Logic in computer science|Computer science]] |
| + | * [[Inference]] | ||
| + | * [[Philosophy of logic]] | ||
| + | * [[Formal proof|Proof]] | ||
| + | * [[Semantics]] | ||
| + | * [[Syntax (logic)|Syntax]] | ||
| + | {{Navbox|subgroup | ||
| + | |group1=Logics | ||
| + | |list1= | ||
| + | |||
* [[Classical logic|Classical]] | * [[Classical logic|Classical]] | ||
*[[Informal logic|Informal]] | *[[Informal logic|Informal]] | ||
** [[Critical thinking]] | ** [[Critical thinking]] | ||
| − | * [[ | + | ** [[Reason]] |
* [[Mathematical logic|Mathematical]] | * [[Mathematical logic|Mathematical]] | ||
<!--[Too general?:] * [[Mathematics]]--> | <!--[Too general?:] * [[Mathematics]]--> | ||
| − | |||
| − | |||
* [[Non-classical logic|Non-classical]] | * [[Non-classical logic|Non-classical]] | ||
* [[Philosophical logic|Philosophical]] | * [[Philosophical logic|Philosophical]] | ||
<!--[Too general?:] * [[Philosophy]]--> | <!--[Too general?:] * [[Philosophy]]--> | ||
| − | |||
<!--[Too general?:] * [[Philosophy of mathematics]]--> | <!--[Too general?:] * [[Philosophy of mathematics]]--> | ||
| − | |||
| + | |group2=Theories | ||
| + | |||
| + | |list2= | ||
| + | *[[Argumentation theory|Argumentation]] | ||
| + | * [[Metalogic]] | ||
| + | * [[Metamathematics]] | ||
| + | * [[Set theory|Set]] | ||
| + | |||
| + | }} | ||
| group2 = Foundations | | group2 = Foundations | ||
| list2 = | | list2 = | ||
| Line 42: | Line 56: | ||
* [[Logical form|Form]] | * [[Logical form|Form]] | ||
* [[Inductive reasoning|Induction]] | * [[Inductive reasoning|Induction]] | ||
| − | |||
* [[Logical truth]] | * [[Logical truth]] | ||
* [[Name]] | * [[Name]] | ||
* [[Necessity and sufficiency]] | * [[Necessity and sufficiency]] | ||
* [[Probability]] | * [[Probability]] | ||
| − | |||
| − | |||
| − | |||
* [[Reference]] | * [[Reference]] | ||
| − | |||
* [[Statement (logic)|Statement]] | * [[Statement (logic)|Statement]] | ||
* [[Substitution (logic)|Substitution]] | * [[Substitution (logic)|Substitution]] | ||
| − | |||
* [[Truth]] | * [[Truth]] | ||
* [[Validity (logic)|Validity]] | * [[Validity (logic)|Validity]] | ||
Revision as of 14:22, 15 January 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. |