Template:Logic: Difference between revisions

Help

From Wikipedia, the free encyclopedia

Browse history interactively

← Previous edit Next edit →

Content deleted Content added

VisualWikitext

Inline

Revision as of 08:35, 9 December 2008

Logic

History and core topics

History	General Template:·w Chinese Template:·w Greek Template:·w Indian Template:·w Islamic
Core topics	Reason Template:·w Philosophical logic Template:·w Philosophy of logic Template:·w Mathematical logic Template:·w Metalogic Template:·w Logic in computer science

Key concepts and logics

Reasoning	Deduction Template:·w Induction Template:·w Abduction
Informal	Proposition Template:·w Inference Template:·w Argument Template:·w Validity Template:·w Cogency Template:·w Term logic Template:·w Critical thinking Template:·w Fallacies Template:·w Syllogism Template:·w Argumentation theory
Philosophy of logic	Platonic realism Template:·w Logical atomism Template:·w Logicism Template:·w Formalism Template:·w Nominalism Template:·w Fictionalism Template:·w Realism Template:·w Intuitionism Template:·w Constructivism Template:·w Finitism
Mathematical	Formal language Template:·w Formal grammar Template:·w Formal system Template:·w Deductive system Template:·w Formal proof Template:·w Formal interpretation Template:·w Formal semantics Template:·w Formula Template:·w Set Template:·w Element Template:·w Class Template:·w Axiom Template:·w Rule of inference Template:·w Relation Template:·w Theorem Template:·w Logical consequence Template:·w Consistency Template:·w Soundness Template:·w Completeness Template:·w Decidability Template:·w Satisfiability Template:·w Independence Template:·w Set theory Template:·w Axiomatic system Template:·w Proof theory Template:·w Model theory Template:·w Recursion theory Template:·w Type theory Template:·w Syntax
Propositional	Boolean functions Template:·w Monadic predicate calculus Template:·w Propositional calculus Template:·w Logical connectives Template:·w Quantifiers Template:·w Truth tables
Predicate	First-order Template:·w Quantifiers Template:·w Second-order
Modal	Alethic Template:·w Axiologic Template:·w Deontic Template:·w Doxastic Template:·w Epistemic Template:·w Temporal
Other non classical	Computability Template:·w Fuzzy Template:·w Linear Template:·w Relevance Template:·w Non-monotonic

Controversies
Paraconsistent logic Template:·w Dialetheism Template:·w Intuitionistic logic Template:·w Paradoxes Template:·w Antinomies Template:·w Is logic empirical?

Key figures

Alfarabi Template:·w Algazel Template:·w Alkindus Template:·w Al-Razi Template:·w Aristotle Template:·w Averroes Template:·w Avicenna Template:·w Boole Template:·w Cantor Template:·w Carnap Template:·w Church Template:·w Dharmakirti Template:·w Dignāga Template:·w Frege Template:·w Gentzen Template:·w Kanada Template:·w Gödel Template:·w Gotama Template:·w Hilbert Template:·w Ibn al-Nafis Template:·w Ibn Hazm Template:·w Ibn Taymiyyah Template:·w Kripke Template:·w Mozi Template:·w Nagarjuna Template:·w Pāṇini Template:·w Peano Template:·w Peirce Template:·w Putnam Template:·w Quine Template:·w Russell Template:·w Skolem Template:·w Suhrawardi Template:·w Tarski Template:·w Turing Template:·w Whitehead Template:·w Zadeh

Lists

Topics	General Template:·w Basic Template:·w Mathematical logic Template:·w Boolean algebra Template:·w Set theory
Other	Logicians Template:·w Rules of inference Template:·w Paradoxes Template:·w Fallacies Template:·w Logic symbols

Portal Template:·w Category Template:·w WikiProject Template:·w Logic stubs Template:·w Mathlogic stubs Template:·w Cleanup Template:·w Noticeboard

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}}

Retrieved from "https://en.wikipedia.org/w/index.php?title=Template:Logic&oldid=256799602"

Categories:

Hidden category:

Navigational boxes without horizontal lists

@@ Line 30: / Line 30: @@
 {{·w}} [[Fictionalism]]{{·w}} [[Philosophical realism|Realism]]{{·w}}  [[Intuitionism]]{{·w}} [[Constructivism (mathematics)|Constructivism]]{{·w}} [[Finitism]] {{nowrap end}}
   |group4 = [[Mathematical logic|Mathematical]]
-  |list4  = {{nowrap begin}} [[Formal language]]{{·w}} [[Formal grammar]]{{·w}} [[Formal system]]{{·w}} [[Deductive system]]{{·w}} [[Formal proof]]{{·w}} [[Formal interpretation]]{{·w}} [[Formal semantics]]{{·w}} [[Well-formed formula]]{{·w}} [[Set (mathematics)|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}}
+  |list4  = {{nowrap begin}} [[Formal language]]{{·w}} [[Formal grammar]]{{·w}} [[Formal system]]{{·w}} [[Deductive system]]{{·w}} [[Formal proof]]{{·w}} [[Formal interpretation]]{{·w}} [[Formal semantics]]{{·w}} [[Well-formed formula|Formula]]{{·w}} [[Set (mathematics)|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}}
   |group5 = [[Propositional logic|Propositional]]
   |list5  = {{nowrap begin}} [[Boolean function]]s{{·w}} [[Monadic predicate calculus]]{{·w}} [[Propositional calculus]]{{·w}} [[Logical connective]]s{{·w}} [[Quantification|Quantifiers]]{{·w}} [[Truth table]]s {{nowrap end}}