Difference between revisions of "Template:Logic"

From blackwiki
Jump to navigation Jump to search
imported>Hyacinth
imported>GliderMaven
(+premise)
 
(14 intermediate revisions by 6 users not shown)
Line 1: Line 1:
 
{{Navbox
 
{{Navbox
 
| name = Logic
 
| name = Logic
| state = {{{state|<noinclude>un</noinclude>collapsed}}}
+
| state = {{{state|{{{1|<noinclude>un</noinclude>collapsed}}}}}}
 
| bodyclass = hlist
 
| bodyclass = hlist
 
| title = [[Logic]]
 
| title = [[Logic]]
  
  | group1 = Academic <br/>areas
+
| above =
  | list1 =
+
* [[Outline of logic|Outline]]
* [[Argumentation theory]]
+
* [[History of logic|History]]
* [[Axiology]]
+
 
* [[Critical thinking]]
+
| group1 = Fields
* [[History of logic]]
+
| list1 =
* [[Logic in computer science]]
+
* [[Logic in computer science|Computer science]]
* [[Mathematical logic]]
+
* [[Inference]]
* [[Mathematics]]
+
* [[Philosophy of logic]]
 +
* [[Formal proof|Proof]]
 +
* [[Semantics]]
 +
* [[Syntax (logic)|Syntax]]
 +
{{Navbox|subgroup
 +
|group1=Logics
 +
|list1=
 +
 
 +
* [[Classical logic|Classical]]
 +
*[[Informal logic|Informal]]
 +
** [[Critical thinking]]
 +
** [[Reason]]
 +
* [[Mathematical logic|Mathematical]]
 +
<!--[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]]
 
* [[Philosophy]]
 
* [[Philosophy of logic]]
 
* [[Philosophy of mathematics]]
 
* [[Set theory]]
 
  
  | group2 = Foundations
+
}}
  | list2 =
+
| group2 = Foundations
 +
| list2 =
 
* [[Abductive reasoning|Abduction]]
 
* [[Abductive reasoning|Abduction]]
* [[Analytic–synthetic distinction|Analytic truth]]
+
* [[Analytic–synthetic distinction|Analytic and synthetic propositions]]
* [[Antinomy]]
+
* [[Contradiction]]
* [[A priori and a posteriori|A priori]]
+
** [[Paradox]]
 +
** [[Antinomy]]
 
* [[Deductive reasoning|Deduction]]
 
* [[Deductive reasoning|Deduction]]
 +
*[[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]]
 
* [[Reason]]ing
 
 
* [[Reference]]
 
* [[Reference]]
* [[Semantics]]
 
 
* [[Statement (logic)|Statement]]
 
* [[Statement (logic)|Statement]]
* [[Strict implication]]
 
 
* [[Substitution (logic)|Substitution]]
 
* [[Substitution (logic)|Substitution]]
* [[Syntax (logic)|Syntax]]
 
 
* [[Truth]]
 
* [[Truth]]
* [[Validity]]
+
* [[Validity (logic)|Validity]]
  
  | group3 = Lists
+
| group3 = Lists
  | list3 =
+
| list3 =
* Topics
+
{{Navbox |child |groupstyle=font-weight:normal;
** [[Index of logic articles]]
+
  | group1 = [[Index of logic articles|topics]]
** [[List of mathematical logic topics|Mathematical logic]]
+
  | list1 =
** [[List of Boolean algebra topics|Boolean algebra]]
+
* [[List of mathematical logic topics|Mathematical logic]]
** [[List of set theory topics|Set theory]]
+
* [[List of Boolean algebra topics|Boolean algebra]]
* Other
+
* [[List of set theory topics|Set theory]]
** [[List of logicians|Logicians]]
+
  | group2 = other
** [[List of rules of inference|Rules of inference]]
+
  | list2 =
** [[List of paradoxes|Paradoxes]]
+
* [[List of logicians|Logicians]]
** [[List of fallacies|Fallacies]]
+
* [[List of rules of inference|Rules of inference]]
** [[List of logic symbols|Logic symbols]]
+
* [[List of paradoxes|Paradoxes]]
 +
* [[List of fallacies|Fallacies]]
 +
* [[List of logic symbols|Logic symbols]]
 +
}}
  
 
| below =
 
| below =
* [[Portal:Logic|Portal]]
+
* {{Portal-inline|Philosophy}}
 
* [[:Category:Logic|Category]]
 
* [[:Category:Logic|Category]]
* [[Outline of logic|Outline]]
 
 
* [[Wikipedia:WikiProject Logic|WikiProject]]&nbsp;([[Wikipedia talk:WikiProject Logic|talk]])
 
* [[Wikipedia:WikiProject Logic|WikiProject]]&nbsp;([[Wikipedia talk:WikiProject Logic|talk]])
* [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} Changes]
+
* [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} changes]
  
 
}}<noinclude>
 
}}<noinclude>
{{documentation
+
{{Documentation}}
|content =
 
{{collapsible option |statename=optional |default=collapsed}}
 
 
 
==See also==
 
{{Logic templates}}
 
 
 
}}
 
 
 
[[Category:Philosophy and thinking navigational boxes]]
 
[[Category:WikiProject Logic|τ]]
 
 
</noinclude>
 
</noinclude>

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.