12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday May 21, 2024
Jump to navigationJump to search+ Logic Syllabus
<font size="3">☞</font> This page serves as a '''focal node''' for a collection of related resources.
==Logic Syllabus==
===Logical operators===
{{col-begin}}
{{col-break}}
* [[Exclusive disjunction]]
* [[Logical conjunction]]
* [[Logical disjunction]]
* [[Logical equality]]
{{col-break}}
* [[Logical implication]]
* [[Logical NAND]]
* [[Logical NNOR]]
* [[Logical negation|Negation]]
{{col-end}}
===Logical concepts===
{{col-begin}}
{{col-break}}
* [[Ampheck]]
* [[Boolean domain]]
* [[Boolean function]]
* [[Boolean-valued function]]
* [[Differential logic]]
{{col-break}}
* [[Logical graph]]
* [[Minimal negation operator]]
* [[Multigrade operator]]
* [[Parametric operator]]
* [[Peirce's law]]
{{col-break}}
* [[Propositional calculus]]
* [[Sole sufficient operator]]
* [[Truth table]]
* [[Universe of discourse]]
* [[Zeroth order logic]]
{{col-end}}
===Relational concepts===
{{col-begin}}
{{col-break}}
* [[Continuous predicate]]
* [[Hypostatic abstraction]]
* [[Logic of relatives]]
* [[Logical matrix]]
{{col-break}}
* [[Relation]]
* [[Relation composition]]
* [[Relation construction]]
* [[Relation reduction]]
{{col-break}}
* [[Relation theory]]
* [[Relative term]]
* [[Sign relation]]
* [[Triadic relation]]
{{col-end}}
===Information, Inquiry===
{{col-begin}}
{{col-break}}
* [[Inquiry]]
* [[Dynamics of inquiry]]
{{col-break}}
* [[Semeiotic]]
* [[Logic of information]]
{{col-break}}
* [[Descriptive science]]
* [[Normative science]]
{{col-break}}
* [[Pragmatic maxim]]
* [[Truth theory]]
{{col-end}}
===Related articles===
<table style="border:none;width:120%;">
<tr>
<td style="border:none;width:50%;"> ◾ [[Cactus Language]]</td>
<td style="border:none;width:50%;"> ◾ [[Propositions As Types]]</td>
</tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Futures Of Logical Graphs]]</td>
<td style="border:none;width:50%;"> ◾ [[Propositional Equation Reasoning Systems]]</td>
</tr>
<tr><td style="border:none;"></td></tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Correspondence Theory Of Truth]]</td>
<td style="border:none;width:50%;"> ◾ [[Pragmatic Theory Of Truth]]</td>
</tr>
<tr><td style="border:none;"></td></tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Differential Logic • Introduction]]</td>
<td style="border:none;width:50%;"> ◾ [[Introduction to Inquiry Driven Systems]]</td>
</tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Differential Propositional Calculus]]</td>
<td style="border:none;width:50%;"> ◾ [[Prospects for Inquiry Driven Systems]]</td>
</tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Differential Logic and Dynamic Systems]]</td>
<td style="border:none;width:50%;"> ◾ [[Inquiry Driven Systems • Inquiry Into Inquiry]]</td>
</tr>
</table>
[[Category:Boolean algebra]]
[[Category:Boolean functions]]
[[Category:Category theory]]
[[Category:Combinatorics]]
[[Category:Computer science]]
[[Category:Differential logic]]
[[Category:Discrete mathematics]]
[[Category:Graph theory]]
[[Category:Logic]]
[[Category:Logical graphs]]
[[Category:Mathematics]]
[[Category:Model theory]]
[[Category:Pragmatics]]
[[Category:Proof theory]]
[[Category:Propositional calculus]]
[[Category:Relation theory]]
[[Category:Semantics]]
[[Category:Semiotics]]
[[Category:Set theory]]
[[Category:Syntax]]
[[Category:Systems theory]]
[[Category:Visualization]]
==Logic Syllabus==
===Logical operators===
{{col-begin}}
{{col-break}}
* [[Exclusive disjunction]]
* [[Logical conjunction]]
* [[Logical disjunction]]
* [[Logical equality]]
{{col-break}}
* [[Logical implication]]
* [[Logical NAND]]
* [[Logical NNOR]]
* [[Logical negation|Negation]]
{{col-end}}
===Logical concepts===
{{col-begin}}
{{col-break}}
* [[Ampheck]]
* [[Boolean domain]]
* [[Boolean function]]
* [[Boolean-valued function]]
* [[Differential logic]]
{{col-break}}
* [[Logical graph]]
* [[Minimal negation operator]]
* [[Multigrade operator]]
* [[Parametric operator]]
* [[Peirce's law]]
{{col-break}}
* [[Propositional calculus]]
* [[Sole sufficient operator]]
* [[Truth table]]
* [[Universe of discourse]]
* [[Zeroth order logic]]
{{col-end}}
===Relational concepts===
{{col-begin}}
{{col-break}}
* [[Continuous predicate]]
* [[Hypostatic abstraction]]
* [[Logic of relatives]]
* [[Logical matrix]]
{{col-break}}
* [[Relation]]
* [[Relation composition]]
* [[Relation construction]]
* [[Relation reduction]]
{{col-break}}
* [[Relation theory]]
* [[Relative term]]
* [[Sign relation]]
* [[Triadic relation]]
{{col-end}}
===Information, Inquiry===
{{col-begin}}
{{col-break}}
* [[Inquiry]]
* [[Dynamics of inquiry]]
{{col-break}}
* [[Semeiotic]]
* [[Logic of information]]
{{col-break}}
* [[Descriptive science]]
* [[Normative science]]
{{col-break}}
* [[Pragmatic maxim]]
* [[Truth theory]]
{{col-end}}
===Related articles===
<table style="border:none;width:120%;">
<tr>
<td style="border:none;width:50%;"> ◾ [[Cactus Language]]</td>
<td style="border:none;width:50%;"> ◾ [[Propositions As Types]]</td>
</tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Futures Of Logical Graphs]]</td>
<td style="border:none;width:50%;"> ◾ [[Propositional Equation Reasoning Systems]]</td>
</tr>
<tr><td style="border:none;"></td></tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Correspondence Theory Of Truth]]</td>
<td style="border:none;width:50%;"> ◾ [[Pragmatic Theory Of Truth]]</td>
</tr>
<tr><td style="border:none;"></td></tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Differential Logic • Introduction]]</td>
<td style="border:none;width:50%;"> ◾ [[Introduction to Inquiry Driven Systems]]</td>
</tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Differential Propositional Calculus]]</td>
<td style="border:none;width:50%;"> ◾ [[Prospects for Inquiry Driven Systems]]</td>
</tr>
<tr>
<td style="border:none;width:50%;"> ◾ [[Differential Logic and Dynamic Systems]]</td>
<td style="border:none;width:50%;"> ◾ [[Inquiry Driven Systems • Inquiry Into Inquiry]]</td>
</tr>
</table>
[[Category:Boolean algebra]]
[[Category:Boolean functions]]
[[Category:Category theory]]
[[Category:Combinatorics]]
[[Category:Computer science]]
[[Category:Differential logic]]
[[Category:Discrete mathematics]]
[[Category:Graph theory]]
[[Category:Logic]]
[[Category:Logical graphs]]
[[Category:Mathematics]]
[[Category:Model theory]]
[[Category:Pragmatics]]
[[Category:Proof theory]]
[[Category:Propositional calculus]]
[[Category:Relation theory]]
[[Category:Semantics]]
[[Category:Semiotics]]
[[Category:Set theory]]
[[Category:Syntax]]
[[Category:Systems theory]]
[[Category:Visualization]]
