Content deleted Content added
Undid revision 368911257 by Arthur Rubin (talk) vandalism by Arthur |
Arthur Rubin (talk | contribs) Undid revision 368913020 by Gregbard (talk) following redirects is unnecessary, and removing redirects such as Model (logic) is just wrong |
||
Line 14: | Line 14: | ||
|list1 = {{nowrap begin}} [[Argumentation theory]]{{·w}} [[Axiology]]{{·w}} [[Critical thinking]]{{·w}} [[Computability theory]]{{·w}} [[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}} |
|list1 = {{nowrap begin}} [[Argumentation theory]]{{·w}} [[Axiology]]{{·w}} [[Critical thinking]]{{·w}} [[Computability theory]]{{·w}} [[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 concepts |
|group2 = Foundational 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}} [[Logical consequence]]{{·w}} [[Logical form]]{{·w}} [[Logical implication]]{{·w}} [[Logical truth]]{{·w}} [[Name]]{{·w}} [[Necessary and sufficient condition|Necessity]]{{·w}} [[Meaning ( |
|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}} [[Logical consequence]]{{·w}} [[Logical form]]{{·w}} [[Logical implication]]{{·w}} [[Logical truth]]{{·w}} [[Name]]{{·w}} [[Necessary and sufficient condition|Necessity]]{{·w}} [[Meaning (linguistic)|Meaning]]{{·w}} [[Paradox]]{{·w}} [[Possible world]]{{·w}} [[Presupposition]]{{·w}} [[Probability]]{{·w}} [[Reason]]{{·w}} [[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}} |
||
}} |
}} |
||
Line 33: | Line 33: | ||
|abbr3 = Metalogic |
|abbr3 = Metalogic |
||
|list3style = padding:0; |
|list3style = padding:0; |
||
|list3= {{nowrap begin}} [[Cantor's theorem]]{{·w}} [[Entscheidungsproblem|Church's theorem]]{{·w}} [[ |
|list3= {{nowrap begin}} [[Cantor's theorem]]{{·w}} [[Entscheidungsproblem|Church's theorem]]{{·w}} [[Church's thesis]]{{·w}} [[Consistency]]{{·w}} [[Effective method]]{{·w}} [[Foundations of mathematics]]{{·w}} [[Gödel's completeness theorem]]{{·w}} [[Gödel's first incompleteness theorem]]{{·w}} [[Gödel's second incompleteness theorem]]{{·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]]{{·w}}{{nowrap end}} |
||
|sect4 = [[Mathematical logic]] |
|sect4 = [[Mathematical logic]] |
||
Line 48: | Line 48: | ||
|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 |
|group3 = [[Propositional logic]] and [[Boolean logic]] |
||
|list3 = {{nowrap begin}} [[Boolean function]]s{{·w}} [[Propositional calculus]]{{·w}} [[Propositional formula]]{{·w}} [[Logical connective]]s{{·w}} [[Quantification|Quantifiers]]{{·w}} [[Truth table]]s {{nowrap end}} |
|list3 = {{nowrap begin}} [[Boolean function]]s{{·w}} [[Propositional calculus]]{{·w}} [[Propositional formula]]{{·w}} [[Logical connective]]s{{·w}} [[Quantification|Quantifiers]]{{·w}} [[Truth table]]s {{nowrap end}} |
||
Line 55: | Line 55: | ||
|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}} [[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}} [[Decidable 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}} [[Interpretation (logic)|Interpretation]]{{·w}} [[ |
|list6 = {{nowrap begin}} [[Model (logic)|Model]]{{·w}} [[Interpretation (logic)|Interpretation]]{{·w}} [[Logical validity]]{{·w}} [[Non-standard model]]{{·w}} [[Normal model]]{{·w}} [[Semantic consequence]]{{·w}} [[Truth value]]{{·w}} {{nowrap end}} |
||
|group7 = [[Proof theory]] |
|group7 = [[Proof theory]] |
||
|list7 = {{nowrap begin}} [[Formal proof]]{{·w}} [[Deductive system]]{{·w}} [[Formal system]]{{·w}} [[Formal theorem]]{{·w}} [[Syntax (logic)|Syntax]]{{·w}} [[ |
|list7 = {{nowrap begin}} [[Formal proof]]{{·w}} [[Deductive system]]{{·w}} [[Formal system]]{{·w}} [[Formal theorem]]{{·w}} [[Syntactic consequence]]{{·w}} [[Syntax (logic)|Syntax]]{{·w}} [[Transformation rules]]{{nowrap end}} |
||
|group8 = [[Computability theory]] |
|group8 = [[Computability theory]] |
||
|list8 = {{nowrap begin}} [[Recursion |
|list8 = {{nowrap begin}} [[Recursion]]{{·w}} [[Recursively enumerable set]]{{·w}} [[Decision problem]]{{·w}} [[Church–Turing thesis]]{{·w}} [[Computable function]]{{·w}} [[Primitive recursive function]]{{·w}}{{nowrap end}} |
||
}} |
}} |
||
Line 77: | Line 77: | ||
|group1 = [[Modal logic]] |
|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 |
|list1 = {{nowrap begin}} [[Modal logic#Alethic modalities|Alethic]]{{·w}} [[Modal operator#Axiological|Axiologic]]{{·w}} [[Deontic logic|Deontic]]{{·w}} [[Doxastic logic|Doxastic]]{{·w}} [[Epistemic logic|Epistemic]]{{·w}} [[Temporal logic|Temporal]] {{nowrap end}} |
||
|group2 = [[Intuitionism]] |
|group2 = [[Intuitionism]] |
||
Line 105: | Line 105: | ||
|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}} |
|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 |
|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}} [[ |
|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}} |
||
}} |
}} |
||
Revision as of 02:27, 19 June 2010
This template's initial visibility currently defaults to autocollapse
, meaning that if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar; if not, it is fully visible.
To change this template's initial visibility, the |state=
parameter may be used:
{{Logic|state=collapsed}}
will show the template collapsed, i.e. hidden apart from its title bar.{{Logic|state=expanded}}
will show the template expanded, i.e. fully visible.
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}}