Difference between revisions of "Template:Logic"

From blackwiki
Jump to navigation Jump to search
imported>Firowkp
m
Line 6: Line 6:
 
|selected  = {{{expanded|}}}
 
|selected  = {{{expanded|}}}
  
|sect1 = Related articles
+
|sect1 = [[List of logicians|Logicians]]
|abbr1 = Related articles
+
|abbr1 = Logicians
|list1style = padding:0;
+
|list1 = {{nowrap begin}} [[Alan Ross Anderson|Anderson]]{{·w}} [[Aristotle]]{{·w}} [[Averroes]]{{·w}} [[Avicenna]]{{·w}} [[Alexander Bain|Bain]]{{·w}} [[Jon Barwise|Barwise]]{{·w}} [[Paul Bernays|Bernays]]{{·w}} [[George Boole|Boole]]{{·w}} [[George Boolos|Boolos]]{{·w}} [[Georg Cantor|Cantor]]{{·w}} [[Rudolf Carnap|Carnap]]{{·w}} [[Alonzo Church|Church]]{{·w}} [[Chrysippus]]{{·w}} [[Haskell Curry|Curry]]{{·w}} [[Augustus De Morgan|De Morgan]]{{·w}} [[Gottlob Frege|Frege]]{{·w}} [[Peter Geach|Geach]]{{·w}} [[Gerhard Gentzen|Gentzen]]{{·w}} [[Kurt Gödel|Gödel]]{{·w}} [[David Hilbert|Hilbert]]{{·w}} [[Stephen  Cole Kleene|Kleene]]{{·w}} [[Saul Kripke|Kripke]]{{·w}} [[Gottfried Leibniz|Leibniz]]{{·w}} [[Leopold  Löwenheim|Löwenheim]]{{·w}} [[Giuseppe Peano|Peano]]{{·w}} [[Charles Sanders Peirce|Peirce]]{{·w}} [[Hilary Putnam|Putnam]]{{·w}} [[Willard Van Orman Quine|Quine]]{{·w}} [[Bertrand Russell|Russell]]{{·w}} [[Ernst Schröder|Schröder]]{{·w}} [[Duns Scotus|Scotus]]{{·w}} [[Thoralf Skolem|Skolem]]{{·w}} [[Raymond Smullyan|Smullyan]]{{·w}} [[Alfred Tarski|Tarski]]{{·w}} [[Alan Turing|Turing]]{{·w}} [[Alfred North Whitehead|Whitehead]]{{·w}} [[William of Ockham]]{{·w}} [[Ludwig Wittgenstein|Wittgenstein]]{{·w}} [[Ernst  Zermelo|Zermelo]] {{nowrap end}}
|list1 =
 
{{Navbox|child |groupstyle=padding:0.35em 1.0em; line-height:1.1em; <!--reduces gap between wrapped groupname lines--> width:8.0em; |liststyle=padding:0.25em 0; line-height:1.4em; <!--as above--> width:auto;
 
  |group1 = Academic<br/>areas
 
  |list1  = {{nowrap begin}} [[Argumentation theory]]{{·w}} [[Axiology]]{{·w}} [[Critical thinking]]{{·w}} [[Computability theory]]{{·w}} [[Formal semantics (logic)|Formal semantics]]{{·w}} [[History of logic]]{{·w}} [[Informal logic]]{{·w}} [[Logic in computer science]]{{·w}} [[Mathematical logic]]{{·w}} [[Mathematics]]{{·w}} [[Metalogic]]{{·w}} [[Metamathematics]]{{·w}} [[Model theory]]{{·w}} [[Philosophical logic]]{{·w}} [[Philosophy]]{{·w}} [[Philosophy of logic]]{{·w}} [[Philosophy of mathematics]]{{·w}} [[Proof theory]]{{·w}} [[Set theory]]{{nowrap end}}
 
  |group2 = Foundational<br/>concepts
 
  |list2 = {{nowrap begin}} [[Abductive reasoning|Abduction]]{{·w}} [[Analytic–synthetic distinction|Analytic truth]]{{·w}} [[Antinomy]]{{·w}} [[A priori and a posteriori|A priori]]{{·w}} [[Deductive reasoning|Deduction]]{{·w}} [[Definition]]{{·w}} [[Description]]{{·w}} [[Entailment]]{{·w}} [[Inductive reasoning|Induction]]{{·w}} [[Inference]]{{·w}} [[Entailment|Logical consequence]]{{·w}} [[Logical form]]{{·w}} [[Entailment|Logical implication]]{{·w}} [[Logical truth]]{{·w}} [[Name]]{{·w}} [[Necessary and sufficient condition|Necessity]]{{·w}} [[Meaning (linguistics)|Meaning]]{{·w}} [[Paradox]]{{·w}} [[Possible world]]{{·w}} [[Presupposition]]{{·w}} [[Probability]]{{·w}} [[Reason]]{{·w}} [[Reason|Reasoning]]{{·w}} [[Reference]]{{·w}} [[Semantics]]{{·w}} [[Statement (logic)|Statement]]{{·w}} [[Substitution (logic)|Substitution]]{{·w}} [[Syntax (logic)|Syntax]]{{·w}} [[Truth]]{{·w}} [[Truth value]]{{·w}} [[Validity]]{{nowrap end}}
 
}}
 
  
|sect2 = [[Philosophical logic]]
+
|sect2 = Lists
|abbr2 = Philosophical logic
+
|abbr2 = Lists
|list2style = padding:0;
+
|list2 =
|list2 =  
 
 
  {{Navbox|child |groupstyle=padding:0.35em 1.0em; line-height:1.1em; width:8.0em; <!--as above--> |liststyle=padding:0.25em 0; line-height:1.4em; width:auto; <!--as above-->
 
  {{Navbox|child |groupstyle=padding:0.35em 1.0em; line-height:1.1em; width:8.0em; <!--as above--> |liststyle=padding:0.25em 0; line-height:1.4em; width:auto; <!--as above-->
 +
  |group1 = Topics
 +
  |list1  = {{nowrap begin}} [[Outline of logic]]{{·w}} [[Index of logic articles]]{{·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}} [[List of logic symbols|Logic symbols]] {{nowrap end}}
 +
}}
  
 +
|sect3 = [[Philosophical logic]]
 +
|abbr3 = Philosophical logic
 +
|list3style = padding:0;
 +
|list3 =
 +
{{Navbox|child |groupstyle=padding:0.35em 1.0em; line-height:1.1em; width:8.0em; <!--as above--> |liststyle=padding:0.25em 0; line-height:1.4em; width:auto; <!--as above-->
 
   |group1 = [[Critical thinking]]<br/>and [[Informal logic]]
 
   |group1 = [[Critical thinking]]<br/>and [[Informal logic]]
 
   |list1  = {{nowrap begin}} [[Philosophical analysis|Analysis]]{{·w}} [[Ambiguity]]{{·w}} [[Belief]]{{·w}} [[Credibility]]{{·w}} [[Evidence]]{{·w}} [[Explanation]]{{·w}} [[Explanatory power]]{{·w}} [[Fact]]{{·w}} [[Fallacy]]{{·w}} [[Inquiry]]{{·w}} [[Opinion]]{{·w}} [[Parsimony]]{{·w}} [[Premise]]{{·w}} [[Propaganda]]{{·w}} [[Prudence]]{{·w}} [[Reason|Reasoning]]{{·w}} [[Relevance]]{{·w}} [[Rhetoric]]{{·w}} [[Rigour|Rigor]]{{·w}} [[Vagueness]]{{nowrap end}}
 
   |list1  = {{nowrap begin}} [[Philosophical analysis|Analysis]]{{·w}} [[Ambiguity]]{{·w}} [[Belief]]{{·w}} [[Credibility]]{{·w}} [[Evidence]]{{·w}} [[Explanation]]{{·w}} [[Explanatory power]]{{·w}} [[Fact]]{{·w}} [[Fallacy]]{{·w}} [[Inquiry]]{{·w}} [[Opinion]]{{·w}} [[Parsimony]]{{·w}} [[Premise]]{{·w}} [[Propaganda]]{{·w}} [[Prudence]]{{·w}} [[Reason|Reasoning]]{{·w}} [[Relevance]]{{·w}} [[Rhetoric]]{{·w}} [[Rigour|Rigor]]{{·w}} [[Vagueness]]{{nowrap end}}
 
 
  |group2 = [[Philosophy of logic|Theories of deduction]]
 
  |group2 = [[Philosophy of logic|Theories of deduction]]
 
  |list2 = {{nowrap begin}}  [[Constructivism  (mathematics)|Constructivism]]{{·w}} [[Dialetheism]]{{·w}}[[Fictionalism]]{{·w}} [[Finitism]]{{·w}} [[Formalism  (mathematics)|Formalism]]{{·w}} [[Intuitionism]]{{·w}} [[Logical  atomism]]{{·w}}  [[Logicism]]{{·w}} [[Nominalism]]{{·w}} [[Platonic  realism]]{{·w}} [[Pragmatism]]{{·w}} [[Philosophical realism|Realism]]{{nowrap end}}
 
  |list2 = {{nowrap begin}}  [[Constructivism  (mathematics)|Constructivism]]{{·w}} [[Dialetheism]]{{·w}}[[Fictionalism]]{{·w}} [[Finitism]]{{·w}} [[Formalism  (mathematics)|Formalism]]{{·w}} [[Intuitionism]]{{·w}} [[Logical  atomism]]{{·w}}  [[Logicism]]{{·w}} [[Nominalism]]{{·w}} [[Platonic  realism]]{{·w}} [[Pragmatism]]{{·w}} [[Philosophical realism|Realism]]{{nowrap end}}
 
}}
 
}}
  
|sect3 = [[Metalogic]] and [[Metamathematics]]
+
|sect4 = [[Non-classical logic]]
|abbr3 = Metalogic
+
|abbr4 = Non-classical logic
|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]]{{nowrap end}}
 
 
 
|sect4 = [[Mathematical logic]]
 
|abbr4 = Mathematical logic
 
 
|list4style = padding:0;
 
|list4style = padding:0;
 
|list4 =  
 
|list4 =  
 +
{{Navbox subgroups
 +
  |groupstyle =
 +
  |oddstyle =
 +
  |evenstyle =
 +
|group1 = [[Modal logic]]
 +
|list1  =  {{nowrap begin}} [[Modal logic#Alethic modalities|Alethic]]{{·w}} [[Modal operator#Axiological|Axiologic]]{{·w}} [[Deontic logic|Deontic]]{{·w}} [[Doxastic logic|Doxastic]]{{·w}} [[Epistemic modal logic|Epistemic]]{{·w}} [[Temporal logic|Temporal]] {{nowrap end}}
 +
|group2 = [[Intuitionism]]
 +
|list2  = {{nowrap begin}} [[Intuitionistic logic]]{{·w}} [[Constructive analysis]]{{·w}} [[Heyting arithmetic]]{{·w}} [[Intuitionistic type theory]]{{·w}} [[Constructive set theory]]{{nowrap end}}
 +
|group3 = [[Fuzzy logic]]
 +
|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]]
 +
|list4  = {{nowrap begin}} [[Structural rule]]{{·w}} [[Relevance logic]]{{·w}} [[Linear logic]]
 +
{{nowrap end}}
 +
|group5 = [[Paraconsistent logic]]
 +
|list5  =  {{nowrap begin}} [[Dialetheism]]
 +
|group6 = [[Description logic]]
 +
|list6 =  {{nowrap begin}} [[Ontology]] {{·w}} [[Ontology language]]
 +
}}
 +
 +
|sect5 = [[Metalogic]] and [[Metamathematics]]
 +
|abbr5 = Metalogic
 +
|list5style = padding:0;
 +
|list5= {{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}}
 +
 +
|sect6 = [[Mathematical logic]]
 +
|abbr6 = Mathematical logic
 +
|list6style = padding:0;
 +
|list6 =
 
{{Navbox subgroups
 
{{Navbox subgroups
 
   |groupstyle =
 
   |groupstyle =
Line 47: Line 71:
 
   |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}}
 
 
   |group3 = [[Propositional calculus]]<br/>and [[Boolean logic]]
 
   |group3 = [[Propositional calculus]]<br/>and [[Boolean logic]]
 
   |list3  = {{nowrap begin}} [[Boolean function]]s{{·w}}  [[Propositional calculus]]{{·w}} [[Propositional formula]]{{·w}}  [[Logical connective]]s{{·w}} [[Truth table]]s {{nowrap end}}
 
   |list3  = {{nowrap begin}} [[Boolean function]]s{{·w}}  [[Propositional calculus]]{{·w}} [[Propositional formula]]{{·w}}  [[Logical connective]]s{{·w}} [[Truth table]]s {{nowrap end}}
 
 
   |group4 = [[Predicate logic|Predicate]]
 
   |group4 = [[Predicate logic|Predicate]]
 
   |list4  = {{nowrap begin}} [[First-order logic|First-order]]{{·w}} [[Quantification|Quantifiers]]{{·w}} [[Predicate (mathematical logic)|Predicate]]{{·w}} [[Second-order logic|Second-order]]{{·w}} [[Monadic predicate calculus]] {{nowrap end}}
 
   |list4  = {{nowrap begin}} [[First-order logic|First-order]]{{·w}} [[Quantification|Quantifiers]]{{·w}} [[Predicate (mathematical logic)|Predicate]]{{·w}} [[Second-order logic|Second-order]]{{·w}} [[Monadic predicate calculus]] {{nowrap end}}
 
 
  |group5 = [[Set theory]]
 
  |group5 = [[Set theory]]
 
  |list5 = {{nowrap begin}}  [[Set (mathematics)|Set]]{{·w}} [[Empty set]]{{·w}} [[Enumeration]]{{·w}} [[Extensionality]]{{·w}} [[Finite set]]{{·w}} [[Function (mathematics)|Function]]{{·w}} [[Subset]]{{·w}} [[Power set]]{{·w}} [[Countable set]]{{·w}} [[Recursive set]]{{·w}} [[Domain of a function|Domain]]{{·w}} [[Range (mathematics)|Range]]{{·w}} [[Ordered pair]]{{·w}} [[Uncountable set]]{{nowrap end}}
 
  |list5 = {{nowrap begin}}  [[Set (mathematics)|Set]]{{·w}} [[Empty set]]{{·w}} [[Enumeration]]{{·w}} [[Extensionality]]{{·w}} [[Finite set]]{{·w}} [[Function (mathematics)|Function]]{{·w}} [[Subset]]{{·w}} [[Power set]]{{·w}} [[Countable set]]{{·w}} [[Recursive set]]{{·w}} [[Domain of a function|Domain]]{{·w}} [[Range (mathematics)|Range]]{{·w}} [[Ordered pair]]{{·w}} [[Uncountable set]]{{nowrap end}}
+
  |group6 = [[Model theory]]
|group6 = [[Model theory]]
 
 
  |list6 = {{nowrap begin}} [[Structure (mathematical logic)|Model]]{{·w}} [[Interpretation (logic)|Interpretation]]{{·w}} [[Non-standard model]]{{·w}} [[Finite model theory]]{{·w}} [[Truth value]]{{·w}} [[Validity]]{{nowrap end}}
 
  |list6 = {{nowrap begin}} [[Structure (mathematical logic)|Model]]{{·w}} [[Interpretation (logic)|Interpretation]]{{·w}} [[Non-standard model]]{{·w}} [[Finite model theory]]{{·w}} [[Truth value]]{{·w}} [[Validity]]{{nowrap end}}
 
 
  |group7 = [[Proof theory]]
 
  |group7 = [[Proof theory]]
 
  |list7 = {{nowrap begin}}  [[Formal proof]]{{·w}} [[Deductive system]]{{·w}} [[Formal system]]{{·w}} [[Theorem]]{{·w}} [[Entailment|Logical consequence]]{{·w}} [[Rule of inference]]{{·w}}  [[Syntax (logic)|Syntax]]{{nowrap end}}
 
  |list7 = {{nowrap begin}}  [[Formal proof]]{{·w}} [[Deductive system]]{{·w}} [[Formal system]]{{·w}} [[Theorem]]{{·w}} [[Entailment|Logical consequence]]{{·w}} [[Rule of inference]]{{·w}}  [[Syntax (logic)|Syntax]]{{nowrap end}}
 
 
  |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]]{{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}}  
 
}}
 
}}
  
|sect5 = [[Non-classical logic]]
+
|sect7 = Related articles
|abbr5 = Non-classical logic
+
|abbr7 = Related articles
|list5style = padding:0;
+
|list7style = padding:0;
|list5 =  
+
|list7 =  
{{Navbox subgroups
+
{{Navbox|child |groupstyle=padding:0.35em 1.0em; line-height:1.1em; <!--reduces gap between wrapped groupname lines--> width:8.0em; |liststyle=padding:0.25em 0; line-height:1.4em; <!--as above--> width:auto;
  |groupstyle =
+
   |group1 = Academic<br/>areas
  |oddstyle =  
+
  |list1  = {{nowrap begin}} [[Argumentation theory]]{{·w}} [[Axiology]]{{·w}} [[Critical thinking]]{{·w}} [[Computability theory]]{{·w}} [[Formal semantics (logic)|Formal semantics]]{{·w}} [[History of logic]]{{·w}} [[Informal logic]]{{·w}} [[Logic in computer science]]{{·w}} [[Mathematical logic]]{{·w}} [[Mathematics]]{{·w}} [[Metalogic]]{{·w}} [[Metamathematics]]{{·w}} [[Model theory]]{{·w}} [[Philosophical logic]]{{·w}} [[Philosophy]]{{·w}} [[Philosophy of logic]]{{·w}} [[Philosophy of mathematics]]{{·w}} [[Proof theory]]{{·w}} [[Set theory]]{{nowrap end}}
   |evenstyle =
+
  |group2 = Foundational<br/>concepts
 
+
  |list2 = {{nowrap begin}} [[Abductive reasoning|Abduction]]{{·w}} [[Analytic–synthetic distinction|Analytic truth]]{{·w}} [[Antinomy]]{{·w}} [[A priori and a posteriori|A priori]]{{·w}} [[Deductive reasoning|Deduction]]{{·w}} [[Definition]]{{·w}} [[Description]]{{·w}} [[Entailment]]{{·w}} [[Inductive reasoning|Induction]]{{·w}} [[Inference]]{{·w}} [[Entailment|Logical consequence]]{{·w}} [[Logical form]]{{·w}} [[Entailment|Logical implication]]{{·w}} [[Logical truth]]{{·w}} [[Name]]{{·w}} [[Necessary and sufficient condition|Necessity]]{{·w}} [[Meaning (linguistics)|Meaning]]{{·w}} [[Paradox]]{{·w}} [[Possible world]]{{·w}} [[Presupposition]]{{·w}} [[Probability]]{{·w}} [[Reason]]{{·w}} [[Reason|Reasoning]]{{·w}} [[Reference]]{{·w}} [[Semantics]]{{·w}} [[Statement (logic)|Statement]]{{·w}} [[Substitution (logic)|Substitution]]{{·w}} [[Syntax (logic)|Syntax]]{{·w}} [[Truth]]{{·w}} [[Truth value]]{{·w}} [[Validity]]{{nowrap end}}
|group1 = [[Modal logic]]
 
|list1  = {{nowrap begin}} [[Modal logic#Alethic modalities|Alethic]]{{·w}} [[Modal operator#Axiological|Axiologic]]{{·w}} [[Deontic logic|Deontic]]{{·w}} [[Doxastic logic|Doxastic]]{{·w}} [[Epistemic modal logic|Epistemic]]{{·w}} [[Temporal logic|Temporal]] {{nowrap end}}
 
 
 
|group2 = [[Intuitionism]]
 
|list2  = {{nowrap begin}} [[Intuitionistic logic]]{{·w}} [[Constructive analysis]]{{·w}} [[Heyting arithmetic]]{{·w}} [[Intuitionistic type theory]]{{·w}} [[Constructive set theory]]{{nowrap end}}
 
 
 
|group3 = [[Fuzzy logic]]
 
|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]]
 
|list4  = {{nowrap begin}} [[Structural rule]]{{·w}} [[Relevance logic]]{{·w}} [[Linear logic]]
 
{{nowrap end}}
 
 
 
|group5 = [[Paraconsistent logic]]
 
|list5  =  {{nowrap begin}} [[Dialetheism]]
 
 
 
  |group6 = [[Description logic]]
 
|list6 =  {{nowrap begin}} [[Ontology]] {{·w}} [[Ontology language]]
 
 
}}
 
}}
 
|sect6 = [[List of logicians|Logicians]]
 
|abbr6 = Logicians
 
|list6 = {{nowrap begin}} [[Alan  Ross Anderson|Anderson]]{{·w}} [[Aristotle]]{{·w}} [[Averroes]]{{·w}} [[Avicenna]]{{·w}} [[Alexander Bain|Bain]]{{·w}} [[Jon Barwise|Barwise]]{{·w}} [[Paul Bernays|Bernays]]{{·w}} [[George Boole|Boole]]{{·w}} [[George Boolos|Boolos]]{{·w}} [[Georg Cantor|Cantor]]{{·w}} [[Rudolf Carnap|Carnap]]{{·w}} [[Alonzo Church|Church]]{{·w}} [[Chrysippus]]{{·w}} [[Haskell  Curry|Curry]]{{·w}} [[Augustus De Morgan|De Morgan]]{{·w}} [[Gottlob Frege|Frege]]{{·w}} [[Peter Geach|Geach]]{{·w}} [[Gerhard Gentzen|Gentzen]]{{·w}} [[Kurt Gödel|Gödel]]{{·w}} [[David Hilbert|Hilbert]]{{·w}} [[Stephen  Cole Kleene|Kleene]]{{·w}} [[Saul Kripke|Kripke]]{{·w}} [[Gottfried Leibniz|Leibniz]]{{·w}} [[Leopold  Löwenheim|Löwenheim]]{{·w}} [[Giuseppe Peano|Peano]]{{·w}} [[Charles Sanders Peirce|Peirce]]{{·w}} [[Hilary Putnam|Putnam]]{{·w}} [[Willard Van Orman Quine|Quine]]{{·w}} [[Bertrand Russell|Russell]]{{·w}} [[Ernst Schröder|Schröder]]{{·w}} [[Duns Scotus|Scotus]]{{·w}} [[Thoralf Skolem|Skolem]]{{·w}} [[Raymond Smullyan|Smullyan]]{{·w}} [[Alfred Tarski|Tarski]]{{·w}} [[Alan Turing|Turing]]{{·w}} [[Alfred North Whitehead|Whitehead]]{{·w}} [[William  of Ockham]]{{·w}} [[Ludwig Wittgenstein|Wittgenstein]]{{·w}} [[Ernst  Zermelo|Zermelo]] {{nowrap end}}
 
 
|sect7 = Lists
 
|abbr7 = Lists
 
|list7 =
 
{{Navbox|child |groupstyle=padding:0.35em 1.0em; line-height:1.1em; width:8.0em; <!--as above--> |liststyle=padding:0.25em 0; line-height:1.4em; width:auto; <!--as above-->
 
  |group1 = Topics
 
  |list1  = {{nowrap begin}} [[Outline of logic]]{{·w}} [[Index of logic articles]]{{·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}} [[List of logic symbols|Logic symbols]] {{nowrap end}}
 
}}
 
 
 
|below = {{nowrap begin}} [[Portal:Logic|Portal]]{{·w}} [[:Category:Logic|Category]]{{·w}} [[Outline of logic|Outline]]{{·w}} [[Wikipedia:WikiProject Logic|WikiProject]]{{·w}} [[Wikipedia talk:WikiProject Logic|Talk]]{{·w}} [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} changes] {{nowrap end}}
 
|below = {{nowrap begin}} [[Portal:Logic|Portal]]{{·w}} [[:Category:Logic|Category]]{{·w}} [[Outline of logic|Outline]]{{·w}} [[Wikipedia:WikiProject Logic|WikiProject]]{{·w}} [[Wikipedia talk:WikiProject Logic|Talk]]{{·w}} [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} changes] {{nowrap end}}
 
}}<noinclude>
 
}}<noinclude>

Revision as of 20:10, 20 July 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