Difference between revisions of "Template:Logic"

From blackwiki
Jump to navigation Jump to search
imported>Funandtrvl
m (fx)
imported>Omnipaedista
Line 33: Line 33:
 
|abbr3 = Metalogic
 
|abbr3 = Metalogic
 
|list3style = padding:0;
 
|list3style = padding:0;
  |list3= {{nowrap begin}} [[Cantor's theorem]]{{·w}} [[Entscheidungsproblem|Church's theorem]]{{·w}} [[Church–Turing thesis|Church's thesis]]{{·w}} [[Consistency]]{{·w}} [[Effective method]]{{·w}} [[Foundations of mathematics]]{{·w}} [[Gödel's completeness theorem]]{{·w}} [[Gödel's incompleteness theorems]]{{·w}} [[Soundness]]{{·w}} [[Completeness]]{{·w}} [[Decidability (logic)|Decidability]]{{·w}} [[Interpretation (logic)|Interpretation]]{{·w}} [[Löwenheim–Skolem theorem]]{{·w}} [[Metatheorem]]{{·w}}[[Satisfiability]]{{·w}} [[Independence (mathematical logic)|Independence]]{{·w}} [[Type–token distinction]]{{·w}} [[Use–mention distinction]]{{·w}}{{nowrap end}}
+
  |list3= {{nowrap begin}} [[Cantor's theorem]]{{·w}} [[Entscheidungsproblem|Church's theorem]]{{·w}} [[Church–Turing thesis|Church's thesis]]{{·w}} [[Consistency]]{{·w}} [[Effective method]]{{·w}} [[Foundations of mathematics]]{{·w}} [[Gödel's completeness theorem]]{{·w}} [[Gödel's incompleteness theorems]]{{·w}} [[Soundness]]{{·w}} [[Completeness]]{{·w}} [[Decidability (logic)|Decidability]]{{·w}} [[Interpretation (logic)|Interpretation]]{{·w}} [[Löwenheim–Skolem theorem]]{{·w}} [[Metatheorem]]{{·w}}[[Satisfiability]]{{·w}} [[Independence (mathematical logic)|Independence]]{{·w}} [[Type–token distinction]]{{·w}} [[Use–mention distinction]]{{nowrap end}}
  
 
|sect4 = [[Mathematical logic]]
 
|sect4 = [[Mathematical logic]]
Line 64: Line 64:
  
 
  |group8 = [[Computability theory]]
 
  |group8 = [[Computability theory]]
  |list8 = {{nowrap begin}} [[Recursion]]{{·w}} [[Recursive set]]{{·w}} [[Recursively enumerable set]]{{·w}} [[Decision problem]]{{·w}} [[Church–Turing thesis]]{{·w}} [[Computable function]]{{·w}} [[Primitive recursive function]]{{·w}}{{nowrap end}}  
+
  |list8 = {{nowrap begin}} [[Recursion]]{{·w}} [[Recursive set]]{{·w}} [[Recursively enumerable set]]{{·w}} [[Decision problem]]{{·w}} [[Church–Turing thesis]]{{·w}} [[Computable function]]{{·w}} [[Primitive recursive function]]{{nowrap end}}  
 
}}
 
}}
  
Line 83: Line 83:
  
 
  |group3 = [[Fuzzy logic]]
 
  |group3 = [[Fuzzy logic]]
  |list3  = {{nowrap begin}} [[Degree of truth]]{{·w}} [[Fuzzy rule]]{{·w}} [[Fuzzy set]]{{·w}} [[Fuzzy finite element]]{{·w}} [[Fuzzy set operations]]{{·w}} {{nowrap end}}
+
  |list3  = {{nowrap begin}} [[Degree of truth]]{{·w}} [[Fuzzy rule]]{{·w}} [[Fuzzy set]]{{·w}} [[Fuzzy finite element]]{{·w}} [[Fuzzy set operations]]{{nowrap end}}
  
 
  |group4 = [[Substructural logic]]
 
  |group4 = [[Substructural logic]]

Revision as of 04:53, 11 June 2011

Template:Navbox with collapsible sections

50px Template documentation

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