Difference between revisions of "Template:Logic"
Jump to navigation
Jump to search
imported>GliderMaven (+premise) |
|||
| (82 intermediate revisions by 31 users not shown) | |||
| Line 1: | Line 1: | ||
| − | {{Navbox | + | {{Navbox |
| − | |name | + | | name = Logic |
| − | |state = {{{state|<noinclude>un</noinclude>collapsed}}} | + | | state = {{{state|{{{1|<noinclude>un</noinclude>collapsed}}}}}} |
| − | |title = [[Logic]] | + | | bodyclass = hlist |
| − | + | | title = [[Logic]] | |
| − | |||
| − | | | + | | above = |
| − | + | * [[Outline of logic|Outline]] | |
| − | + | * [[History of logic|History]] | |
| − | + | | group1 = Fields | |
| − | + | | 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]] | |
| − | + | *[[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]] | |
| − | + | * [[Metamathematics]] | |
| + | * [[Set theory|Set]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
| + | | group2 = Foundations | ||
| + | | list2 = | ||
| + | * [[Abductive reasoning|Abduction]] | ||
| + | * [[Analytic–synthetic distinction|Analytic and synthetic propositions]] | ||
| + | * [[Contradiction]] | ||
| + | ** [[Paradox]] | ||
| + | ** [[Antinomy]] | ||
| + | * [[Deductive reasoning|Deduction]] | ||
| + | *[[Deductive closure]] | ||
| + | * [[Definition]] | ||
| + | * [[Description]] | ||
| + | * [[Logical consequence|Entailment]] | ||
| + | **[[Entailment (linguistics)|Linguistic]] | ||
| + | * [[Logical form|Form]] | ||
| + | * [[Inductive reasoning|Induction]] | ||
| + | * [[Logical truth]] | ||
| + | * [[Name]] | ||
| + | * [[Necessity and sufficiency]] | ||
| + | * [[Premise]] | ||
| + | * [[Probability]] | ||
| + | * [[Reference]] | ||
| + | * [[Statement (logic)|Statement]] | ||
| + | * [[Substitution (logic)|Substitution]] | ||
| + | * [[Truth]] | ||
| + | * [[Validity (logic)|Validity]] | ||
| − | | | + | | group3 = Lists |
| − | + | | list3 = | |
| − | + | {{Navbox |child |groupstyle=font-weight:normal; | |
| − | | | + | | group1 = [[Index of logic articles|topics]] |
| − | {{Navbox|child |groupstyle= | + | | list1 = |
| − | |group1 = | + | * [[List of mathematical logic topics|Mathematical logic]] |
| − | + | * [[List of Boolean algebra topics|Boolean algebra]] | |
| − | |group2 = | + | * [[List of set theory topics|Set theory]] |
| − | |list2 | + | | group2 = other |
| − | + | | list2 = | |
| − | + | * [[List of logicians|Logicians]] | |
| − | + | * [[List of rules of inference|Rules of inference]] | |
| − | + | * [[List of paradoxes|Paradoxes]] | |
| − | + | * [[List of fallacies|Fallacies]] | |
| − | + | * [[List of logic symbols|Logic symbols]] | |
| − | }} | + | }} |
| − | [[Category: | + | | below = |
| − | [[ | + | * {{Portal-inline|Philosophy}} |
| + | * [[:Category:Logic|Category]] | ||
| + | * [[Wikipedia:WikiProject Logic|WikiProject]] ([[Wikipedia talk:WikiProject Logic|talk]]) | ||
| + | * [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} changes] | ||
| − | + | }}<noinclude> | |
| − | + | {{Documentation}} | |
| − | |||
| − | |||
| − | |||
| − | |||
</noinclude> | </noinclude> | ||
Latest revision as of 00:55, 6 November 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. |