Difference between revisions of "Template:Logic"
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]] | ||
| − | |||
| − | |||
| − | |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 | + | |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> | |
| − | + | |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 = History | |
| − | + | |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 | ||
|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}} | + | |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 = | ||
|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}} | ||
| + | }} | ||
| − | | | + | |list4 = |
| − | | | + | {{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}} | ||
| + | }} | ||
| − | | | + | |list5 = |
| − | | | + | {{Navbox|child |
| − | + | |name = Logic | |
| − | | | + | |state = collapsed |
| − | | | + | |navbar = plain |
| − | + | |title = <span style="font-size:111%;">Lists</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 = 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}}
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:??