Difference between revisions of "Template:Logic"
Jump to navigation
Jump to search
imported>R'n'B m (Disambiguated: Formal semantics → Formal semantics (logic)) |
imported>Woohookitty (disam) |
||
| Line 44: | Line 44: | ||
|evenstyle = | |evenstyle = | ||
|group1 = General | |group1 = General | ||
| − | |list1 = {{nowrap begin}} [[Formal language]]{{·w}} [[Formation rule]]{{·w}} [[Formal system]]{{·w}} [[Deductive system]]{{·w}} [[Formal proof]]{{·w}} [[Formal semantics]]{{·w}} [[Well-formed formula]]{{·w}} [[Set (mathematics)|Set]]{{·w}} [[Element (mathematics)|Element]]{{·w}} [[Class (set theory)|Class]]{{·w}} [[Classical logic]]{{·w}} [[Axiom]]{{·w}} [[Natural deduction]]{{·w}} [[Rule of inference]]{{·w}} [[Finitary relation|Relation]]{{·w}} [[Theorem]]{{·w}} [[Entailment|Logical consequence]]{{·w}} [[Axiomatic system]]{{·w}} [[Type theory]]{{·w}} [[Symbol (formal)|Symbol]]{{·w}} [[Syntax (logic)|Syntax]]{{·w}} [[Theory (mathematical logic)|Theory]] {{nowrap end}} | + | |list1 = {{nowrap begin}} [[Formal language]]{{·w}} [[Formation rule]]{{·w}} [[Formal system]]{{·w}} [[Deductive system]]{{·w}} [[Formal proof]]{{·w}} [[Formal semantics (logic)|Formal semantics]]{{·w}} [[Well-formed formula]]{{·w}} [[Set (mathematics)|Set]]{{·w}} [[Element (mathematics)|Element]]{{·w}} [[Class (set theory)|Class]]{{·w}} [[Classical logic]]{{·w}} [[Axiom]]{{·w}} [[Natural deduction]]{{·w}} [[Rule of inference]]{{·w}} [[Finitary relation|Relation]]{{·w}} [[Theorem]]{{·w}} [[Entailment|Logical consequence]]{{·w}} [[Axiomatic system]]{{·w}} [[Type theory]]{{·w}} [[Symbol (formal)|Symbol]]{{·w}} [[Syntax (logic)|Syntax]]{{·w}} [[Theory (mathematical logic)|Theory]] {{nowrap end}} |
|group2 = [[Term logic|Traditional logic]] | |group2 = [[Term logic|Traditional logic]] | ||
|list2 = {{nowrap begin}} [[Proposition]]{{·w}} [[Inference]]{{·w}} [[Argument]]{{·w}} [[Validity]]{{·w}} [[Cogency]]{{·w}} [[Syllogism]]{{·w}} [[Square of opposition]]{{·w}} [[Venn diagram]]{{nowrap end}} | |list2 = {{nowrap begin}} [[Proposition]]{{·w}} [[Inference]]{{·w}} [[Argument]]{{·w}} [[Validity]]{{·w}} [[Cogency]]{{·w}} [[Syllogism]]{{·w}} [[Square of opposition]]{{·w}} [[Venn diagram]]{{nowrap end}} | ||
Revision as of 04:58, 6 April 2011
Template:Navbox with collapsible sections
Initial visibility: currently defaults to autocollapse
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 autocollapse.
How to manage this template's collapsible groups/sections option
- This template includes collapsible groups/sections. When it first appears, one of these groups/sections may be set to be visible ("expanded") while the others remain hidden ("collapsed") apart from their titlebars. To achieve this, include the parameter
|namewhere name is one of the following words that identify the groups/sections (omit any speech or quotation marks): "History", "Concepts", "Controversies", "People" or "Lists"- For example:
{{Logic |Concepts}}
ar:قالب:منطق fa:الگو:منطق ja:Template:Logic mk:Шаблон:Логика pt:Predefinição:Lógica fr:Modèle:Palette Logique