Changes

Zeroth order logic (view source)

Revision as of 14:42, 30 April 2010

2,120 bytes added , 14:42, 30 April 2010

standardize syllabus

Line 89: Line 89:

* Language '''L<sub>6</sub>''' expresses the sixteen functions in one of several notations that are commonly used in formal logic.

−

==Logical operators==

+

==Translations==

+

* [http://zh.wikipedia.org/wiki/%E9%9B%B6%E9%98%B6%E9%80%BB%E8%BE%91 中文 : 零阶逻辑]

+

==Syllabus==

+

===Focal nodes===

+

* [[Inquiry Live]]

+

* [[Logic Live]]

+

===Peer nodes===

+

* [http://beta.wikiversity.org/wiki/Zeroth_order_logic Zeroth Order Logic @ Beta Wikiversity]

+

* [http://mywikibiz.com/Zeroth_order_logic Zeroth Order Logic @ MyWikiBiz]

+

* [http://www.netknowledge.org/wiki/Zeroth_order_logic Zeroth Order Logic @ NetKnowledge]

+

===Logical operators===

Line 104: Line 125:

−

==Related topics==

+

===Related topics===

* [[Ampheck]]

−

* [[Boolean algebra]]

* [[Boolean domain]]

* [[Boolean function]]

+

* [[Boolean-valued function]]

+

* [[Differential logic]]

−

* [[Boolean-valued function]]

−

* [[Entitative graph]]

−

* [[Existential graph]]

* [[Logical graph]]

+

* [[Minimal negation operator]]

+

* [[Multigrade operator]]

+

* [[Parametric operator]]

+

* [[Peirce's law]]

−

* [[Minimal negation operator]]

−

* [[Monadic predicate calculus]]

* [[Propositional calculus]]

+

* [[Sole sufficient operator]]

* [[Truth table]]

+

* [[Universe of discourse]]

+

* [[Zeroth order logic]]

−

==~~Translations~~==

+

===Relational concepts===

+

* [[Continuous predicate]]

+

* [[Hypostatic abstraction]]

+

* [[Logic of relatives]]

+

* [[Logical matrix]]

+

* [[Relation (mathematics)|Relation]]

+

* [[Relation composition]]

+

* [[Relation construction]]

+

* [[Relation reduction]]

+

* [[Relation theory]]

+

* [[Relative term]]

+

* [[Sign relation]]

+

* [[Triadic relation]]

+

===Information, Inquiry===

+

* [[Inquiry]]

+

* [[Logic of information]]

+

* [[Descriptive science]]

+

* [[Normative science]]

+

* [[Pragmatic maxim]]

+

* [[Pragmatic theory of truth]]

+

* [[Semeiotic]]

+

* [[Semiotic information]]

+

===Related articles===

+

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, “Introduction To Inquiry Driven Systems”]

+

* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven Systems”]

+

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, “Inquiry Driven Systems : Inquiry Into Inquiry”]

+

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”]

+

* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”]

−

* [http://zh.~~wikipedia.org~~/~~wiki~~/~~%E9%9B%B6%E9%98%B6%E9%80%BB%E8%BE%91 中~~&~~#25991~~; : &~~#38646;阶逻&#36753~~;]

+

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”]

==Document history==

Jon Awbrey

12,080

edits