Difference between revisions of "Template:Mathematical logic"

From blackwiki
Jump to navigation Jump to search
imported>Hyacinth
(*{{tl|Set theory}})
imported>Biogeographist
(removed red link)
 
(19 intermediate revisions by 11 users not shown)
Line 1: Line 1:
 
{{Navbox
 
{{Navbox
 
| name = Mathematical logic
 
| name = Mathematical logic
| state = {{{state|autocollapse}}}
 
 
| title = [[Mathematical logic]]
 
| title = [[Mathematical logic]]
 +
| state = {{{state<includeonly>|autocollapse</includeonly>}}}
 
| listclass = hlist
 
| listclass = hlist
 
| image=  
 
| image=  
  
   | group1 = General
+
   | group0 = General
   | list1 =
+
   | list0 =
 
* [[Formal language]]
 
* [[Formal language]]
 
* [[Formation rule]]
 
* [[Formation rule]]
* [[Formal system]]
 
* [[Deductive system]]
 
 
* [[Formal proof]]
 
* [[Formal proof]]
 
* [[Formal semantics (logic)|Formal semantics]]
 
* [[Formal semantics (logic)|Formal semantics]]
Line 20: Line 18:
 
* [[Classical logic]]
 
* [[Classical logic]]
 
* [[Axiom]]
 
* [[Axiom]]
* [[Natural deduction]]
 
 
* [[Rule of inference]]
 
* [[Rule of inference]]
 
* [[Finitary relation|Relation]]
 
* [[Finitary relation|Relation]]
 
* [[Theorem]]
 
* [[Theorem]]
 
* [[Logical consequence]]
 
* [[Logical consequence]]
* [[Axiomatic system]]
 
 
* [[Type theory]]
 
* [[Type theory]]
 
* [[Symbol (formal)|Symbol]]
 
* [[Symbol (formal)|Symbol]]
 
* [[Syntax (logic)|Syntax]]
 
* [[Syntax (logic)|Syntax]]
 
* [[Theory (mathematical logic)|Theory]]
 
* [[Theory (mathematical logic)|Theory]]
 +
 +
  | group1= Systems
 +
  | list1 =
 +
* [[Formal system]]
 +
* [[Deductive system]]
 +
* [[Axiomatic system]]
 +
* [[Hilbert system|Hilbert style systems]]
 +
* [[Natural deduction]]
 +
* [[Sequent calculus]]
  
 
   | group2 = [[Term logic|Traditional logic]]
 
   | group2 = [[Term logic|Traditional logic]]
Line 36: Line 41:
 
* [[Inference]]
 
* [[Inference]]
 
* [[Argument]]
 
* [[Argument]]
* [[Validity]]
+
* [[Validity (logic)|Validity]]
* [[Cogency]]
 
 
* [[Syllogism]]
 
* [[Syllogism]]
 
* [[Square of opposition]]
 
* [[Square of opposition]]
 
* [[Venn diagram]]
 
* [[Venn diagram]]
  
   | group3 = {{longitem|[[Propositional calculus|Propositional <br/>calculus]]<br/>[[Boolean algebra|Boolean logic]]}}
+
   | group3 = {{longitem|[[Propositional calculus|Propositional calculus]]<br/>and [[Boolean algebra|Boolean logic]]}}
 
   | list3 =
 
   | list3 =
 
* [[Boolean function]]s
 
* [[Boolean function]]s
Line 49: Line 53:
 
* [[Logical connective]]s
 
* [[Logical connective]]s
 
* [[Truth table]]s
 
* [[Truth table]]s
 +
* [[Many-valued logic]]
  
 
   | group4 = [[Predicate logic]]
 
   | group4 = [[Predicate logic]]
Line 58: Line 63:
 
* [[Monadic predicate calculus]]
 
* [[Monadic predicate calculus]]
  
   | group5 = [[Set theory]]
+
   | group5 = [[Naive set theory]]
 
   | list5 =
 
   | list5 =
 
* [[Set (mathematics)|Set]]
 
* [[Set (mathematics)|Set]]
 
* [[Empty set]]
 
* [[Empty set]]
 +
* [[Element (mathematics)|Element]]
 
* [[Enumeration]]
 
* [[Enumeration]]
 
* [[Extensionality]]
 
* [[Extensionality]]
 
* [[Finite set]]
 
* [[Finite set]]
* [[Function (mathematics)|Function]]
+
* [[Infinite set]]
 
* [[Subset]]
 
* [[Subset]]
 
* [[Power set]]
 
* [[Power set]]
 
* [[Countable set]]
 
* [[Countable set]]
 +
* [[Uncountable set]]
 
* [[Recursive set]]
 
* [[Recursive set]]
 
* [[Domain of a function|Domain]]
 
* [[Domain of a function|Domain]]
* [[Range (mathematics)|Range]]
+
* [[Codomain]]
 +
* [[Image (mathematics)|Image]]
 +
* [[Map (mathematics)|Map]]
 +
* [[Function (mathematics)|Function]]
 +
* [[Binary operation|Relation]]
 
* [[Ordered pair]]
 
* [[Ordered pair]]
* [[Uncountable set]]
 
  
   | group6 = [[Model theory]]
+
   | group6 = [[Set theory]]
 
   | list6 =
 
   | list6 =
 +
* [[Foundations of mathematics]]
 +
* [[Zermelo–Fraenkel set theory]]
 +
* [[Axiom of choice]]
 +
* [[General set theory]]
 +
* [[Kripke–Platek set theory]]
 +
* [[Von Neumann–Bernays–Gödel set theory]]
 +
* [[Morse–Kelley set theory]]
 +
* [[Tarski–Grothendieck set theory]]
 +
 +
  | group7 = [[Model theory]]
 +
  | list7 =
 
* [[Structure (mathematical logic)|Model]]
 
* [[Structure (mathematical logic)|Model]]
 
* [[Interpretation (logic)|Interpretation]]
 
* [[Interpretation (logic)|Interpretation]]
Line 82: Line 103:
 
* [[Finite model theory]]
 
* [[Finite model theory]]
 
* [[Truth value]]
 
* [[Truth value]]
* [[Validity]]
+
* [[Validity (logic)|Validity]]
  
   | group7 = [[Proof theory]]
+
   | group8 = [[Proof theory]]
   | list7 =
+
   | list8 =
 
* [[Formal proof]]
 
* [[Formal proof]]
 
* [[Deductive system]]
 
* [[Deductive system]]
Line 94: Line 115:
 
* [[Syntax (logic)|Syntax]]
 
* [[Syntax (logic)|Syntax]]
  
   | group8 = [[Computability theory|Computability <br/>theory]]
+
   | group9 = [[Computability theory|Computability <br/>theory]]
   | list8 =
+
   | list9 =
 
* [[Recursion]]
 
* [[Recursion]]
 
* [[Recursive set]]
 
* [[Recursive set]]
Line 110: Line 131:
  
 
==See also==
 
==See also==
*{{tl|Logic}}
 
*{{tl|Non-classical logic}}
 
 
*{{tl|Set theory}}
 
*{{tl|Set theory}}
 +
{{Logic templates}}
  
 
[[Category:Mathematics navigational boxes]]
 
[[Category:Mathematics navigational boxes]]
 +
[[Category:Philosophy and thinking navigational boxes]]
  
 
}}
 
}}
 
</noinclude>
 
</noinclude>

Latest revision as of 12:28, 24 April 2020

Initial visibility: currently defaults to autocollapse

To set this template's initial visibility, the |state= parameter may be used:

  • |state=collapsed: {{Mathematical logic|state=collapsed}} to show the template collapsed, i.e., hidden apart from its title bar
  • |state=expanded: {{Mathematical logic|state=expanded}} to show the template expanded, i.e., fully visible
  • |state=autocollapse: {{Mathematical 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.

See also