Difference between revisions of "Template:Logic"

From blackwiki
Jump to navigation Jump to search
imported>R'n'B
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}}
    • 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 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 |name where 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