Difference between revisions of "Template:Logic"
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]] | ||
| − | + | | above = | |
| − | + | * [[Outline of logic|Outline]] | |
| − | * [[ | + | * [[History of logic|History]] |
| − | * [[ | + | |
| − | * [[Critical thinking]] | + | | 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]] | * [[Metalogic]] | ||
* [[Metamathematics]] | * [[Metamathematics]] | ||
| − | + | * [[Set theory|Set]] | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | * [[Set theory]] | ||
| − | + | }} | |
| − | + | | group2 = Foundations | |
| + | | list2 = | ||
* [[Abductive reasoning|Abduction]] | * [[Abductive reasoning|Abduction]] | ||
| − | * [[Analytic–synthetic distinction|Analytic | + | * [[Analytic–synthetic distinction|Analytic and synthetic propositions]] |
| − | * [[ | + | * [[Contradiction]] |
| − | * [[ | + | ** [[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]] | ||
| − | |||
| − | |||
| − | |||
* [[Logical truth]] | * [[Logical truth]] | ||
* [[Name]] | * [[Name]] | ||
* [[Necessity and sufficiency]] | * [[Necessity and sufficiency]] | ||
| − | * [[ | + | * [[Premise]] |
| − | |||
| − | |||
| − | |||
* [[Probability]] | * [[Probability]] | ||
| − | |||
| − | |||
* [[Reference]] | * [[Reference]] | ||
| − | |||
* [[Statement (logic)|Statement]] | * [[Statement (logic)|Statement]] | ||
| − | |||
* [[Substitution (logic)|Substitution]] | * [[Substitution (logic)|Substitution]] | ||
| − | |||
* [[Truth]] | * [[Truth]] | ||
| − | * [[Validity]] | + | * [[Validity (logic)|Validity]] |
| − | + | | group3 = Lists | |
| − | + | | list3 = | |
| − | + | {{Navbox |child |groupstyle=font-weight:normal; | |
| − | + | | group1 = [[Index of logic articles|topics]] | |
| − | + | | list1 = | |
| − | + | * [[List of mathematical logic topics|Mathematical logic]] | |
| − | + | * [[List of Boolean algebra topics|Boolean algebra]] | |
| − | + | * [[List of set theory topics|Set theory]] | |
| − | + | | 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]] | ||
| + | }} | ||
| below = | | below = | ||
| − | * | + | * {{Portal-inline|Philosophy}} |
* [[:Category:Logic|Category]] | * [[:Category:Logic|Category]] | ||
| − | |||
* [[Wikipedia:WikiProject Logic|WikiProject]] ([[Wikipedia talk:WikiProject Logic|talk]]) | * [[Wikipedia:WikiProject Logic|WikiProject]] ([[Wikipedia talk:WikiProject Logic|talk]]) | ||
| − | * [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} | + | * [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} changes] |
}}<noinclude> | }}<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. |