Difference between revisions of "Template:Logic"

From blackwiki
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 =
* [[Argumentation theory]]
+
* [[Logic in computer science|Computer science]]
* [[Axiology]]
+
* [[Inference]]
* [[Critical thinking]]
+
* [[Philosophy of logic]]
* [[Logic in computer science]]
+
* [[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]]
* [[Non-classical logic]]
+
* [[Set theory|Set]]
* [[Philosophical logic]]
 
<!--[Too general?:] * [[Philosophy]]-->
 
* [[Philosophy of logic]]
 
<!--[Too general?:] * [[Philosophy of mathematics]]-->
 
* [[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]]
* [[Antinomy]]
+
* [[Contradiction]]
* [[A priori and a posteriori|''A priori'' and ''a posteriori'']]
+
** [[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]]
* [[Inference]]
 
* [[Logical form]]
 
* [[Logical consequence]]
 
 
* [[Logical truth]]
 
* [[Logical truth]]
 
* [[Name]]
 
* [[Name]]
 
* [[Necessity and sufficiency]]
 
* [[Necessity and sufficiency]]
* [[Meaning (linguistics)|Meaning]]
+
* [[Premise]]
* [[Paradox]]
 
* [[Possible world]]
 
* [[Presupposition]]
 
 
* [[Probability]]
 
* [[Probability]]
* [[Reason]]
 
 
* [[Reference]]
 
* [[Reference]]
* [[Semantics]]
 
 
* [[Statement (logic)|Statement]]
 
* [[Statement (logic)|Statement]]
* [[Strict conditional|Strict implication]]
 
 
* [[Substitution (logic)|Substitution]]
 
* [[Substitution (logic)|Substitution]]
* [[Syntax (logic)|Syntax]]
 
 
* [[Truth]]
 
* [[Truth]]
 
* [[Validity (logic)|Validity]]
 
* [[Validity (logic)|Validity]]
Line 77: Line 85:
  
 
| below =
 
| below =
* [[Portal:Logic|Portal]]
+
* {{Portal-inline|Philosophy}}
 
* [[:Category:Logic|Category]]
 
* [[:Category:Logic|Category]]
 
* [[Wikipedia:WikiProject Logic|WikiProject]]&nbsp;([[Wikipedia talk:WikiProject Logic|talk]])
 
* [[Wikipedia:WikiProject Logic|WikiProject]]&nbsp;([[Wikipedia talk:WikiProject Logic|talk]])

Latest revision as of 00:55, 6 November 2019

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.