Difference between revisions of "Template:Logic"

From blackwiki
Jump to navigation Jump to search
imported>Gregbard
m (logical consequence)
imported>GliderMaven
(+premise)
 
(202 intermediate revisions by 69 users not shown)
Line 1: Line 1:
 
{{Navbox
 
{{Navbox
|name = Logic
+
| name = Logic
|state = <includeonly>{{{state|collapsed}}}</includeonly>
+
| state = {{{state|{{{1|<noinclude>un</noinclude>collapsed}}}}}}
|title = [[Logic]]
+
| bodyclass = hlist
|groupstyle = padding:0.35em 1.0em; line-height:1.1em; <!--to reduce gap between wrapped groupname lines-->
+
| title = [[Logic]]
|liststyle  = padding:0.25em 0; line-height:1.4em; <!--otherwise group lists seem to form continuous whole-->
 
  
|group1 = History
+
| above =
|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}}
+
* [[Outline of logic|Outline]]
 +
* [[History of logic|History]]
  
|group2 = Core articles
+
| group1 = Fields
|list2  = {{nowrap begin}} [[Reason]]{{·w}} [[Philosophical logic]]{{·w}} [[Philosophy of logic]]{{·w}} [[Mathematical logic]]{{·w}} [[Metalogic]]{{·w}} [[Logic in computer science]] {{nowrap end}}
+
| list1 =
 +
* [[Logic in computer science|Computer science]]
 +
* [[Inference]]
 +
* [[Philosophy of logic]]
 +
* [[Formal proof|Proof]]
 +
* [[Semantics]]
 +
* [[Syntax (logic)|Syntax]]
 +
{{Navbox|subgroup
 +
|group1=Logics
 +
|list1=
  
|list3style = padding:0em;
+
* [[Classical logic|Classical]]
|group3 = Key concepts<br/>and logics
+
*[[Informal logic|Informal]]
|list3  = {{Navbox subgroups
+
** [[Critical thinking]]
|groupstyle = width:8.0em; padding:0.35em 1.0em; line-height:1.1em; <!--to reduce gap between wrapped groupname lines-->
+
** [[Reason]]
|liststyle  = padding:0.25em 0; line-height:1.4em; <!--otherwise group lists seem to form continuous whole-->
+
* [[Mathematical logic|Mathematical]]
 +
<!--[Too general?:] * [[Mathematics]]-->
 +
* [[Non-classical logic|Non-classical]]
 +
* [[Philosophical logic|Philosophical]]
 +
<!--[Too general?:] * [[Philosophy]]-->
 +
<!--[Too general?:] * [[Philosophy of mathematics]]-->
  
|group1 = [[Reasoning]]
+
|group2=Theories
|list1  = {{nowrap begin}} [[Deductive reasoning|Deduction]]{{·w}} [[Inductive reasoning|Induction]]{{·w}} [[Abductive reasoning|Abduction]] {{nowrap end}}
 
  
|group2 = [[Informal logic|Informal]]
+
|list2=
|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}}
+
*[[Argumentation theory|Argumentation]]
 +
* [[Metalogic]]
 +
* [[Metamathematics]]
 +
* [[Set theory|Set]]
  
|group3 = [[Philosophy of Logic]]
+
}}
|list3 = {{nowrap begin}} [[Platonic realism]]{{·w}} [[Logical atomism]]{{·w}} [[Logicism]]{{·w}} [[Formalism (philosophy)|Formalism]]{{·w}} [[Nominalism]]  
+
| group2 = Foundations
{{·w}} [[Fictionalism]]{{·w}} [[Philosophical realism|Realism]]{{·w}}  [[Intuitionism]]{{·w}} [[Constructivism (mathematics)|Constructivism]]{{·w}} [[Finitism]]{{nowrap end}}
+
| list2 =
 +
* [[Abductive reasoning|Abduction]]
 +
* [[Analytic–synthetic distinction|Analytic and synthetic propositions]]
 +
* [[Contradiction]]
 +
** [[Paradox]]
 +
** [[Antinomy]]
 +
* [[Deductive reasoning|Deduction]]
 +
*[[Deductive closure]]
 +
* [[Definition]]
 +
* [[Description]]
 +
* [[Logical consequence|Entailment]]
 +
**[[Entailment (linguistics)|Linguistic]]
 +
* [[Logical form|Form]]
 +
* [[Inductive reasoning|Induction]]
 +
* [[Logical truth]]
 +
* [[Name]]
 +
* [[Necessity and sufficiency]]
 +
* [[Premise]]
 +
* [[Probability]]
 +
* [[Reference]]
 +
* [[Statement (logic)|Statement]]
 +
* [[Substitution (logic)|Substitution]]
 +
* [[Truth]]
 +
* [[Validity (logic)|Validity]]
  
|group5 = [[Mathematical logic|Mathematical]]
+
| group3 = Lists
  |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}}
+
| list3 =
 
+
  {{Navbox |child |groupstyle=font-weight:normal;
|group6 = [[Propositional logic|Propositional]]
+
  | group1 = [[Index of logic articles|topics]]
|list6  = {{nowrap begin}} [[Boolean function]]s{{·w}} [[Monadic predicate calculus]]{{·w}} [[Propositional calculus]]{{·w}} [[Logical connective]]s{{·w}} [[Truth table]]s {{nowrap end}}
+
  | list1 =
 
+
* [[List of mathematical logic topics|Mathematical logic]]
|group7 = [[Predicate logic|Predicate]]
+
* [[List of Boolean algebra topics|Boolean algebra]]
|list7  = {{nowrap begin}} [[First-order logic|First-order]]{{·w}} [[Quantification|Quantifiers]]{{·w}} [[Second-order logic|Second-order]] {{nowrap end}}
+
* [[List of set theory topics|Set theory]]
 
+
  | group2 = other
|group8 = [[Modal logic|Modal]]
+
  | list2 =
|list8  = {{nowrap begin}} [[Deontic logic|Deontic]]{{·w}} [[Epistemic logic|Epistemic]]{{·w}} [[Temporal logic|Temporal]]{{·w}} [[Doxastic logic|Doxastic]] {{nowrap end}}
+
* [[List of logicians|Logicians]]
 
+
* [[List of rules of inference|Rules of inference]]
|group9 = {{nobold|Other non-'''[[Classical logic|classical]]'''}}
+
* [[List of paradoxes|Paradoxes]]
|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}}
+
* [[List of fallacies|Fallacies]]
 +
* [[List of logic symbols|Logic symbols]]
 
  }}
 
  }}
  
 +
| below =
 +
* {{Portal-inline|Philosophy}}
 +
* [[:Category:Logic|Category]]
 +
* [[Wikipedia:WikiProject Logic|WikiProject]]&nbsp;([[Wikipedia talk:WikiProject Logic|talk]])
 +
* [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} changes]
  
|group4 = Controversies
 
|list4  = {{nowrap begin}} [[Paraconsistent logic]]{{·w}} [[Dialetheism]]{{·w}} [[Intuitionistic logic]]{{·w}} [[Paradox]]es{{·w}} [[Antinomy|Antinomies]]{{·w}} [[Is logic empirical?]] {{nowrap end}}
 
 
|group5 = Key figures
 
|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}}
 
 
|group6 = Lists of topics
 
|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}}
 
 
|group7 = Other lists
 
|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}}
 
 
|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}}
+
{{Documentation}}
 
 
[[Category:Philosophy and thinking navbox templates|{{PAGENAME}}]]
 
[[Category:WikiProject Logic|τ]]
 
 
 
[[ar:قالب:منطق]]
 
[[fa:الگو:منطق]]
 
[[mk:Шаблон:Логика]]
 
[[zh:Template:??]]
 
 
</noinclude>
 
</noinclude>

Latest revision as of 00:55, 6 November 2019

Template documentation[view] [edit] [history] [purge]

Initial visibility: currently defaults to collapsed

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 collapsed.