http://christianpedia.com/api.php?action=feedcontributions&feedformat=atom&user=160.242.60.230
Christianpedia - User contributions [en]
2026-04-05T10:21:40Z
User contributions
MediaWiki 1.41.0
http://christianpedia.com/index.php?title=Template:Logic&diff=4637
Template:Logic
2024-05-26T20:45:43Z
<p>160.242.60.230: New</p>
<hr />
<div>{{Navbox<br />
| name = Logic<br />
| state = {{{state|{{{1|<noinclude>un</noinclude>collapsed}}}}}}<br />
| bodyclass = hlist<br />
| title = [[Logic]]<br />
<br />
| above =<br />
* [[Outline of logic|Outline]]<br />
* [[History of logic|History]]<br />
<br />
| group1 = Major fields<br />
| list1 =<br />
* [[Logic in computer science|Computer science]]<br />
* [[Formal semantics (natural language)]]<br />
* [[Inference]]<br />
* [[Philosophy of logic]]<br />
* [[Formal proof|Proof]]<br />
* [[Semantics of logic]]<br />
* [[Syntax (logic)|Syntax]]<br />
{{Navbox|subgroup<br />
|group1=Logics<br />
|list1=<br />
<br />
* [[Classical logic|Classical]]<br />
*[[Informal logic|Informal]]<br />
** [[Critical thinking]]<br />
** [[Reason]]<br />
* [[Mathematical logic|Mathematical]]<br />
<!--[Too general?:] * [[Mathematics]]--><br />
* [[Non-classical logic|Non-classical]]<br />
* [[Philosophical logic|Philosophical]]<br />
<!--[Too general?:] * [[Philosophy]]--><br />
<!--[Too general?:] * [[Philosophy of mathematics]]--><br />
<br />
|group2=Theories<br />
<br />
|list2=<br />
*[[Argumentation theory|Argumentation]]<br />
* [[Metalogic]]<br />
* [[Metamathematics]]<br />
* [[Set theory|Set]]<br />
<br />
}}<br />
| group2 = Foundations<br />
| list2 =<br />
* [[Abductive reasoning|Abduction]]<br />
* [[Analytic–synthetic distinction|Analytic and synthetic propositions]]<br />
* [[Contradiction]]<br />
** [[Paradox]]<br />
** [[Antinomy]]<br />
* [[Deductive reasoning|Deduction]]<br />
*[[Deductive closure]]<br />
* [[Definition]]<br />
* [[Description]]<br />
* [[Logical consequence|Entailment]]<br />
**[[Entailment (linguistics)|Linguistic]]<br />
* [[Logical form|Form]]<br />
* [[Inductive reasoning|Induction]]<br />
* [[Logical truth]]<br />
* [[Name]]<br />
* [[Necessity and sufficiency]]<br />
* [[Premise]]<br />
* [[Probability]]<br />
* [[Reference]]<br />
* [[Statement (logic)|Statement]]<br />
* [[Substitution (logic)|Substitution]]<br />
* [[Truth]]<br />
* [[Validity (logic)|Validity]]<br />
<br />
| group3 = Lists<br />
| list3 =<br />
{{Navbox |child |groupstyle=font-weight:normal;<br />
| group1 = [[Index of logic articles|topics]]<br />
| list1 =<br />
* [[List of mathematical logic topics|Mathematical logic]]<br />
* [[List of Boolean algebra topics|Boolean algebra]]<br />
* [[List of set theory topics|Set theory]]<br />
| group2 = other<br />
| list2 =<br />
* [[List of logicians|Logicians]]<br />
* [[List of rules of inference|Rules of inference]]<br />
* [[List of paradoxes|Paradoxes]]<br />
* [[List of fallacies|Fallacies]]<br />
* [[List of logic symbols|Logic symbols]]<br />
}}<br />
<br />
| below =<br />
* {{Portal-inline|Philosophy}}<br />
* [[:Category:Logic|Category]]<br />
* [[Wikipedia:WikiProject Logic|WikiProject]]&nbsp;([[Wikipedia talk:WikiProject Logic|talk]])<br />
* [{{fullurl:Special:Recentchangeslinked|target=Template:Logic&hidebots=0}} changes]<br />
<br />
}}<noinclude><br />
{{Documentation}}<br />
</noinclude></div>
160.242.60.230