Difference between revisions of "Template:Logic"

From blackwiki
Jump to navigation Jump to search
imported>MisterCake
imported>MisterCake
Line 11: Line 11:
 
| group1 = Fields
 
| group1 = Fields
 
| list1 =
 
| list1 =
* [[Argumentation theory]]
+
* [[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]]
* [[Logic in computer science|Computer science]]
+
** [[Reason]]
 
* [[Mathematical logic|Mathematical]]
 
* [[Mathematical logic|Mathematical]]
 
<!--[Too general?:] * [[Mathematics]]-->
 
<!--[Too general?:] * [[Mathematics]]-->
* [[Metalogic]]
 
* [[Metamathematics]]
 
 
* [[Non-classical logic|Non-classical]]
 
* [[Non-classical logic|Non-classical]]
 
* [[Philosophical logic|Philosophical]]
 
* [[Philosophical logic|Philosophical]]
 
<!--[Too general?:] * [[Philosophy]]-->
 
<!--[Too general?:] * [[Philosophy]]-->
* [[Philosophy of logic]]
 
 
<!--[Too general?:] * [[Philosophy of mathematics]]-->
 
<!--[Too general?:] * [[Philosophy of mathematics]]-->
* [[Set theory]]
 
  
 +
|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]]
* [[Inference]]
 
 
* [[Logical truth]]
 
* [[Logical truth]]
 
* [[Name]]
 
* [[Name]]
 
* [[Necessity and sufficiency]]
 
* [[Necessity and sufficiency]]
 
* [[Probability]]
 
* [[Probability]]
 
* [[Formal proof|Proof]]
 
* [[Reason]]
 
 
* [[Reference]]
 
* [[Reference]]
* [[Semantics]]
 
 
* [[Statement (logic)|Statement]]
 
* [[Statement (logic)|Statement]]
 
* [[Substitution (logic)|Substitution]]
 
* [[Substitution (logic)|Substitution]]
* [[Syntax (logic)|Syntax]]
 
 
* [[Truth]]
 
* [[Truth]]
 
* [[Validity (logic)|Validity]]
 
* [[Validity (logic)|Validity]]

Revision as of 14:22, 15 January 2019

50px 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}}
    • shows the template collapsed to the title bar if there is a {{navbar}}, a {{sidebar}}, or some other table on the page with the collapsible attribute
    • shows the template in its expanded state if there are no other collapsible items on the page

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.