Difference between revisions of "Template:Logic"

From blackwiki
Jump to navigation Jump to search
imported>Sardanaphalus
(Navbox|children (including correcting divider spacing, rm hanging divider))
Line 1: Line 1:
 
{{Navbox
 
{{Navbox
 
|name  = Logic
 
|name  = Logic
|state = <includeonly>{{{state|collapsed}}}</includeonly>
+
|state = <includeonly>{{{state|collapsed}}}</includeonly><noinclude>expanded</noinclude>
 
|title = [[Logic]]
 
|title = [[Logic]]
|groupstyle = padding:0.35em 1.0em; line-height:1.1em; <!--to reduce gap between wrapped groupname lines-->
 
|liststyle  = padding:0.25em 0; line-height:1.4em; <!--otherwise group lists seem to form continuous whole-->
 
  
|group1 = History
+
|list1 =
|list1  = {{nowrap begin}} [[History of logic|General]]{{·w}} [[Logic in China|Chinese]]{{·w}} [[Organon|Greek]]{{·w}} [[Indian logic|Indian]]{{·w}} [[Logic in Islamic philosophy|Islamic]] {{nowrap end}}
+
{{Navbox|child
 
+
|name  = Logic
|group2 = Core articles
+
|state  = expanded
|list2  = {{nowrap begin}} [[Reason]]{{·w}} [[Philosophical logic]]{{·w}} [[Philosophy of logic]]{{·w}} [[Mathematical logic]]{{·w}} [[Metalogic]]{{·w}} [[Logic in computer science]] {{nowrap end}}
+
|navbar = plain
 
+
|title  = <span style="font-size:111%;">History and core topics</span>
|list3style = padding:0em;
+
|titlestyle = background:lavender; font-size:90%;<!--so show/hide link smaller than main show/hide link-->
|group3 = Key concepts<br/>and logics
+
|groupstyle = padding:0.35em 1.0em; line-height:1.1em; <!--to reduce gap between wrapped groupname lines--> width:8.0em;
|list3 = {{Navbox subgroups
+
|liststyle  = padding:0.25em 0; line-height:1.4em; <!--otherwise group lists seem to form continuous whole--> width:auto;
|groupstyle = width:8.0em; padding:0.35em 1.0em; line-height:1.1em; <!--to reduce gap between wrapped groupname lines-->
+
|group1 = History
|liststyle  = padding:0.25em 0; line-height:1.4em; <!--otherwise group lists seem to form continuous whole-->
+
|list1  = {{nowrap begin}} [[History of logic|General]]{{·w}} [[Logic in China|Chinese]]{{·w}} [[Organon|Greek]]{{·w}} [[Indian logic|Indian]]{{·w}} [[Logic in Islamic philosophy|Islamic]] {{nowrap end}}
 +
|group2 = Core topics
 +
|list2  = {{nowrap begin}} [[Reason]]{{·w}} [[Philosophical logic]]{{·w}} [[Philosophy of logic]]{{·w}} [[Mathematical logic]]{{·w}} [[Metalogic]]{{·w}} [[Logic in computer science]] {{nowrap end}}
 +
  }}
  
 +
|list2  =
 +
{{Navbox|child
 +
|name  = Logic
 +
|state  = collapsed
 +
|navbar = plain
 +
|title  = <span style="font-size:111%;">Key concepts and logics</span>
 +
|titlestyle = background:lavender; font-size:90%;<!--so show/hide link smaller than main show/hide link-->
 +
|groupstyle = padding:0.35em 1.0em; line-height:1.1em; <!--to reduce gap between wrapped groupname lines--> width:8.0em;
 +
|liststyle  = padding:0.25em 0; line-height:1.4em; <!--otherwise group lists seem to form continuous whole--> width:auto;
 
  |group1 = [[Reasoning]]
 
  |group1 = [[Reasoning]]
 
  |list1  = {{nowrap begin}} [[Deductive reasoning|Deduction]]{{·w}} [[Inductive reasoning|Induction]]{{·w}} [[Abductive reasoning|Abduction]] {{nowrap end}}
 
  |list1  = {{nowrap begin}} [[Deductive reasoning|Deduction]]{{·w}} [[Inductive reasoning|Induction]]{{·w}} [[Abductive reasoning|Abduction]] {{nowrap end}}
 
 
  |group2 = [[Informal logic|Informal]]
 
  |group2 = [[Informal logic|Informal]]
 
  |list2  = {{nowrap begin}} [[Proposition]]{{·w}} [[Inference]]{{·w}} [[Argument]]{{·w}} [[Validity]]{{·w}} [[Cogency]]{{·w}} [[Term logic]]{{·w}} [[Critical thinking]]{{·w}} [[Fallacy|Fallacies]]{{·w}} [[Syllogism]]{{·w}} [[Argumentation theory]] {{nowrap end}}
 
  |list2  = {{nowrap begin}} [[Proposition]]{{·w}} [[Inference]]{{·w}} [[Argument]]{{·w}} [[Validity]]{{·w}} [[Cogency]]{{·w}} [[Term logic]]{{·w}} [[Critical thinking]]{{·w}} [[Fallacy|Fallacies]]{{·w}} [[Syllogism]]{{·w}} [[Argumentation theory]] {{nowrap end}}
 
+
  |group3 = [[Philosophy of logic|Philosophy<br/>of logic]]
  |group3 = [[Philosophy of Logic]]
 
 
  |list3 = {{nowrap begin}} [[Platonic realism]]{{·w}} [[Logical atomism]]{{·w}} [[Logicism]]{{·w}} [[Formalism (philosophy)|Formalism]]{{·w}} [[Nominalism]]  
 
  |list3 = {{nowrap begin}} [[Platonic realism]]{{·w}} [[Logical atomism]]{{·w}} [[Logicism]]{{·w}} [[Formalism (philosophy)|Formalism]]{{·w}} [[Nominalism]]  
{{·w}} [[Fictionalism]]{{·w}} [[Philosophical realism|Realism]]{{·w}}  [[Intuitionism]]{{·w}} [[Constructivism (mathematics)|Constructivism]]{{·w}} [[Finitism]]{{nowrap end}}
+
{{·w}} [[Fictionalism]]{{·w}} [[Philosophical realism|Realism]]{{·w}}  [[Intuitionism]]{{·w}} [[Constructivism (mathematics)|Constructivism]]{{·w}} [[Finitism]] {{nowrap end}}
 
 
 
  |group5 = [[Mathematical logic|Mathematical]]
 
  |group5 = [[Mathematical logic|Mathematical]]
  |list5  = {{nowrap begin}} [[Formal language]]{{·w}} [[Formal grammar]]{{·w}} [[Formal system]]{{·w}} [[Deductive system]]{{·w}} [[Formal proof]]{{·w}} [[Formal interpretation]]{{·w}} [[Formal semantics]]{{·w}} [[Formula (mathematical logic)|Formula]]{{·w}} [[Well-formed formula|Wff]]{{·w}} [[Set]]{{·w}} [[Element (mathematics)|Element]]{{·w}} [[Class (set theory)|Class]]{{·w}} [[Axiom]]{{·w}} [[Rule of inference]]{{·w}} [[Relation (mathematics)|Relation]]{{·w}}[[Theorem]]{{·w}} [[Logical consequence]]{{·w}} [[Consistency]]{{·w}} [[Soundness]]{{·w}} [[Completeness]]{{·w}} [[Decidability (logic)|Decidability]]{{·w}} [[Boolean satisfiability problem|Satisfiability]]{{·w}} [[Independence (mathematical logic)|Independence]] {{·w}} [[Set theory]]{{·w}} [[Axiomatic system]]{{·w}} [[Proof theory]]{{·w}} [[Model theory]]{{·w}} [[Recursion theory]]{{·w}} [[Type theory]]{{·w}} [[Syntax (logic)|Syntax]]{{·w}}{{nowrap end}}
+
  |list5  = {{nowrap begin}} [[Formal language]]{{·w}} [[Formal grammar]]{{·w}} [[Formal system]]{{·w}} [[Deductive system]]{{·w}} [[Formal proof]]{{·w}} [[Formal interpretation]]{{·w}} [[Formal semantics]]{{·w}} [[Formula (mathematical logic)|Formula]]{{·w}} [[Well-formed formula|Wff]]{{·w}} [[Set]]{{·w}} [[Element (mathematics)|Element]]{{·w}} [[Class (set theory)|Class]]{{·w}} [[Axiom]]{{·w}} [[Rule of inference]]{{·w}} [[Relation (mathematics)|Relation]]{{·w}} [[Theorem]]{{·w}} [[Logical consequence]]{{·w}} [[Consistency]]{{·w}} [[Soundness]]{{·w}} [[Completeness]]{{·w}} [[Decidability (logic)|Decidability]]{{·w}} [[Boolean satisfiability problem|Satisfiability]]{{·w}} [[Independence (mathematical logic)|Independence]]{{·w}} [[Set theory]]{{·w}} [[Axiomatic system]]{{·w}} [[Proof theory]]{{·w}} [[Model theory]]{{·w}} [[Recursion theory]]{{·w}} [[Type theory]]{{·w}} [[Syntax (logic)|Syntax]] {{nowrap end}}
 
 
 
  |group6 = [[Propositional logic|Propositional]]
 
  |group6 = [[Propositional logic|Propositional]]
 
  |list6  = {{nowrap begin}} [[Boolean function]]s{{·w}} [[Monadic predicate calculus]]{{·w}} [[Propositional calculus]]{{·w}} [[Logical connective]]s{{·w}} [[Truth table]]s {{nowrap end}}
 
  |list6  = {{nowrap begin}} [[Boolean function]]s{{·w}} [[Monadic predicate calculus]]{{·w}} [[Propositional calculus]]{{·w}} [[Logical connective]]s{{·w}} [[Truth table]]s {{nowrap end}}
 
 
  |group7 = [[Predicate logic|Predicate]]
 
  |group7 = [[Predicate logic|Predicate]]
 
  |list7  = {{nowrap begin}} [[First-order logic|First-order]]{{·w}} [[Quantification|Quantifiers]]{{·w}} [[Second-order logic|Second-order]] {{nowrap end}}
 
  |list7  = {{nowrap begin}} [[First-order logic|First-order]]{{·w}} [[Quantification|Quantifiers]]{{·w}} [[Second-order logic|Second-order]] {{nowrap end}}
 
 
  |group8 = [[Modal logic|Modal]]
 
  |group8 = [[Modal logic|Modal]]
 
  |list8  = {{nowrap begin}} [[Deontic logic|Deontic]]{{·w}} [[Epistemic logic|Epistemic]]{{·w}} [[Temporal logic|Temporal]]{{·w}} [[Doxastic logic|Doxastic]] {{nowrap end}}
 
  |list8  = {{nowrap begin}} [[Deontic logic|Deontic]]{{·w}} [[Epistemic logic|Epistemic]]{{·w}} [[Temporal logic|Temporal]]{{·w}} [[Doxastic logic|Doxastic]] {{nowrap end}}
 
+
  |group9 = Other non<br/>[[Classical logic|classical]]
  |group9 = {{nobold|Other non-'''[[Classical logic|classical]]'''}}
 
 
  |list9  = {{nowrap begin}} [[Computability logic|Computability]]{{·w}} [[Fuzzy logic|Fuzzy]]{{·w}} [[Linear logic|Linear]]{{·w}} [[Relevance logic|Relevance]]{{·w}} [[Non-monotonic logic|Non-monotonic]] {{nowrap end}}
 
  |list9  = {{nowrap begin}} [[Computability logic|Computability]]{{·w}} [[Fuzzy logic|Fuzzy]]{{·w}} [[Linear logic|Linear]]{{·w}} [[Relevance logic|Relevance]]{{·w}} [[Non-monotonic logic|Non-monotonic]] {{nowrap end}}
 
  }}
 
  }}
  
 +
|list3 =
 +
{{Navbox|child
 +
|name  = Logic
 +
|state  = collapsed
 +
|navbar = plain
 +
|title  = <span style="font-size:111%;">Controversies</span>
 +
|titlestyle = background:lavender; font-size:90%;<!--so show/hide link smaller than main show/hide link-->
 +
|liststyle = padding:0.25em 0; line-height:1.4em; <!--otherwise group lists seem to form continuous whole--> width:auto;
 +
|list1 = {{nowrap begin}} [[Paraconsistent logic]]{{·w}} [[Dialetheism]]{{·w}} [[Intuitionistic logic]]{{·w}} [[Paradox]]es{{·w}} [[Antinomy|Antinomies]]{{·w}} [[Is logic empirical?]] {{nowrap end}}
 +
}}
  
|group4 = Controversies
+
|list4 =
|list4 = {{nowrap begin}} [[Paraconsistent logic]]{{·w}} [[Dialetheism]]{{·w}} [[Intuitionistic logic]]{{·w}} [[Paradox]]es{{·w}} [[Antinomy|Antinomies]]{{·w}} [[Is logic empirical?]] {{nowrap end}}
+
{{Navbox|child
 +
|name  = Logic
 +
|state  = collapsed
 +
|navbar = plain
 +
|title  = <span style="font-size:111%;">Key figures</span>
 +
|titlestyle = background:lavender; font-size:90%;<!--so show/hide link smaller than main show/hide link-->
 +
  |liststyle = padding:0.25em 0; line-height:1.4em; <!--otherwise group lists seem to form continuous whole--> width:auto;
 +
|list1 = {{nowrap begin}} [[Al-Farabi|Alfarabi]]{{·w}} [[Al-Ghazali|Algazel]]{{·w}} [[Al-Kindi|Alkindus]]{{·w}} [[Fakhr al-Din al-Razi|Al-Razi]]{{·w}} [[Aristotle]]{{·w}} [[Averroes]]{{·w}} [[Avicenna]]{{·w}} [[George Boole|Boole]]{{·w}} [[Georg Cantor|Cantor]]{{·w}} [[Rudolf Carnap|Carnap]]{{·w}} [[Alonzo Church|Church]]{{·w}} [[Dharmakirti]]{{·w}} [[Dignāga]]{{·w}} [[Gottlob Frege|Frege]]{{·w}} [[Gerhard Gentzen|Gentzen]]{{·w}} [[Kanada]]{{·w}} [[Kurt Gödel|Gödel]]{{·w}} [[Nyāya Sūtras|Gotama]]{{·w}} [[David Hilbert|Hilbert]]{{·w}} [[Ibn al-Nafis]]{{·w}} [[Ibn Hazm]]{{·w}} [[Ibn Taymiyyah]]{{·w}} [[Saul Kripke|Kripke]]{{·w}} [[Mozi]]{{·w}} [[Nagarjuna]]{{·w}} [[Pāṇini]]{{·w}} [[Giuseppe Peano|Peano]]{{·w}} [[Charles Peirce|Peirce]]{{·w}} [[Hilary Putnam|Putnam]]{{·w}} [[Willard Van Orman Quine|Quine]]{{·w}} [[Bertrand Russell|Russell]]{{·w}} [[Thoralf Skolem|Skolem]]{{·w}} [[Shahab al-Din Suhrawardi|Suhrawardi]]{{·w}} [[Alfred Tarski|Tarski]]{{·w}} [[Alan Turing|Turing]]{{·w}} [[Alfred North Whitehead|Whitehead]]{{·w}} [[Lotfi Asker Zadeh|Zadeh]] {{nowrap end}}
 +
}}
  
|group5 = Key figures
+
|list5 =
|list5 = {{nowrap begin}} [[Al-Farabi|Alfarabi]]{{·w}} [[Al-Ghazali|Algazel]]{{·w}} [[Al-Kindi|Alkindus]]{{·w}} [[Fakhr al-Din al-Razi|Al-Razi]]{{·w}} [[Aristotle]]{{·w}} [[Averroes]]{{·w}} [[Avicenna]]{{·w}} [[George Boole|Boole]]{{·w}} [[Georg Cantor|Cantor]]{{·w}} [[Rudolf Carnap|Carnap]]{{·w}} [[Alonzo Church|Church]]{{·w}} [[Dharmakirti]]{{·w}} [[Dignāga]]{{·w}} [[Gottlob Frege|Frege]]{{·w}} [[Gerhard Gentzen|Gentzen]]{{·w}} [[Kanada]]{{·w}} [[Kurt Gödel|Gödel]]{{·w}} [[Nyāya Sūtras|Gotama]]{{·w}} [[David Hilbert|Hilbert]]{{·w}} [[Ibn al-Nafis]]{{·w}} [[Ibn Hazm]]{{·w}} [[Ibn Taymiyyah]]{{·w}} [[Saul Kripke|Kripke]]{{·w}} [[Mozi]]{{·w}} [[Nagarjuna]]{{·w}} [[Pāṇini]]{{·w}} [[Giuseppe Peano|Peano]]{{·w}} [[Charles Peirce|Peirce]]{{·w}} [[Hilary Putnam|Putnam]]{{·w}} [[Willard Van Orman Quine|Quine]]{{·w}} [[Bertrand Russell|Russell]]{{·w}} [[Thoralf Skolem|Skolem]]{{·w}} [[Shahab al-Din Suhrawardi|Suhrawardi]]{{·w}} [[Alfred Tarski|Tarski]]{{·w}} [[Alan Turing|Turing]]{{·w}} [[Alfred North Whitehead|Whitehead]]{{·w}} [[Lotfi Asker Zadeh|Zadeh]] {{nowrap end}}
+
{{Navbox|child
 
+
|name  = Logic
|group6 = Lists of topics
+
|state  = collapsed
|list6 = {{nowrap begin}} [[List of topics in logic|General]]{{·w}} [[List of basic topics in logic|Basic]]{{·w}} [[List of mathematical logic topics|Mathematical logic]]{{·w}} [[List of boolean algebra topics|Boolean algebra]]{{·w}} [[List of set theory topics|Set theory]] {{nowrap end}}
+
|navbar = plain
 
+
|title = <span style="font-size:111%;">Lists</span>
|group7 = Other lists
+
|titlestyle = background:lavender; font-size:90%;<!--so show/hide link smaller than main show/hide link-->
|list7 = {{nowrap begin}} [[List of logicians|Logicians]]{{·w}} [[List of rules of inference|Rules of inference]]{{·w}} [[List of paradoxes|Paradoxes]]{{·w}} [[List of fallacies|Fallacies]]{{·w}} [[Table of logic symbols|Logic symbols]] {{nowrap end}}
+
|groupstyle = padding:0.35em 1.0em; line-height:1.1em; <!--to reduce gap between wrapped groupname lines--> width:8.0em;
 +
|liststyle  = padding:0.25em 0; line-height:1.4em; <!--otherwise group lists seem to form continuous whole--> width:auto;
 +
|group1 = Topics
 +
|list1 = {{nowrap begin}} [[List of topics in logic|General]]{{·w}} [[List of basic topics in logic|Basic]]{{·w}} [[List of mathematical logic topics|Mathematical logic]]{{·w}} [[List of boolean algebra topics|Boolean algebra]]{{·w}} [[List of set theory topics|Set theory]] {{nowrap end}}
 +
|group2 = Other
 +
|list2 = {{nowrap begin}} [[List of logicians|Logicians]]{{·w}} [[List of rules of inference|Rules of inference]]{{·w}} [[List of paradoxes|Paradoxes]]{{·w}} [[List of fallacies|Fallacies]]{{·w}} [[Table of logic symbols|Logic symbols]] {{nowrap end}}
 +
}}
  
 +
|belowstyle = padding:0.4em 0 0.2em; line-height:1.2em; <!--in case following list is wrapped-->
 
|below = {{nowrap begin}} [[Portal:Logic|Portal]]{{·w}} [[:Category:Logic|Category]]{{·w}} [[Wikipedia:WikiProject Logic|WikiProject]]{{·w}} [[:Category:Logic stubs|Logic stubs]]{{·w}} [[:Category:Mathematical logic stubs|Mathlogic stubs]]{{·w}} [[Wikipedia:Pages needing attention/Logic|Cleanup]]{{·w}} [[Wikipedia:Logic|Noticeboard]] {{nowrap end}}
 
|below = {{nowrap begin}} [[Portal:Logic|Portal]]{{·w}} [[:Category:Logic|Category]]{{·w}} [[Wikipedia:WikiProject Logic|WikiProject]]{{·w}} [[:Category:Logic stubs|Logic stubs]]{{·w}} [[:Category:Mathematical logic stubs|Mathlogic stubs]]{{·w}} [[Wikipedia:Pages needing attention/Logic|Cleanup]]{{·w}} [[Wikipedia:Logic|Noticeboard]] {{nowrap end}}
 
}}<noinclude>
 
}}<noinclude>
 
<br/>{{collapsible option}}
 
<br/>{{collapsible option}}
 +
  
 
[[Category:Philosophy and thinking navbox templates|{{PAGENAME}}]]
 
[[Category:Philosophy and thinking navbox templates|{{PAGENAME}}]]

Revision as of 04:56, 1 June 2008


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.

ar:قالب:منطق fa:الگو:منطق mk:Шаблон:Логика pt:Predefinição:Lógica zh:Template:??