Difference between revisions of "Logic Live"
MyWikiBiz, Author Your Legacy — Saturday November 16, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (→Focal node: + self-ref) |
Jon Awbrey (talk | contribs) (→Syllabus: update) |
||
| Line 50: | Line 50: | ||
* [[Boolean function]] | * [[Boolean function]] | ||
* [[Boolean-valued function]] | * [[Boolean-valued function]] | ||
| + | * [[Differential logic]] | ||
{{col-break}} | {{col-break}} | ||
* [[Logical graph]] | * [[Logical graph]] | ||
| − | |||
* [[Minimal negation operator]] | * [[Minimal negation operator]] | ||
| + | * [[Multigrade operator]] | ||
| + | * [[Parametric operator]] | ||
* [[Peirce's law]] | * [[Peirce's law]] | ||
{{col-break}} | {{col-break}} | ||
* [[Propositional calculus]] | * [[Propositional calculus]] | ||
| + | * [[Sole sufficient operator]] | ||
* [[Truth table]] | * [[Truth table]] | ||
* [[Universe of discourse]] | * [[Universe of discourse]] | ||
| Line 66: | Line 69: | ||
{{col-begin}} | {{col-begin}} | ||
{{col-break}} | {{col-break}} | ||
| + | * [[Continuous predicate]] | ||
| + | * [[Hypostatic abstraction]] | ||
* [[Logic of relatives]] | * [[Logic of relatives]] | ||
| + | * [[Logical matrix]] | ||
| + | {{col-break}} | ||
* [[Relation (mathematics)|Relation]] | * [[Relation (mathematics)|Relation]] | ||
* [[Relation composition]] | * [[Relation composition]] | ||
| − | |||
* [[Relation construction]] | * [[Relation construction]] | ||
* [[Relation reduction]] | * [[Relation reduction]] | ||
| + | {{col-break}} | ||
* [[Relation theory]] | * [[Relation theory]] | ||
| − | |||
* [[Relative term]] | * [[Relative term]] | ||
* [[Sign relation]] | * [[Sign relation]] | ||
* [[Triadic relation]] | * [[Triadic relation]] | ||
| + | {{col-end}} | ||
| + | |||
| + | ===Information, Inquiry=== | ||
| + | |||
| + | {{col-begin}} | ||
| + | {{col-break}} | ||
| + | * [[Inquiry]] | ||
| + | * [[Logic of information]] | ||
| + | {{col-break}} | ||
| + | * [[Descriptive science]] | ||
| + | * [[Normative science]] | ||
| + | {{col-break}} | ||
| + | * [[Pragmatic maxim]] | ||
| + | * [[Pragmatic theory of truth]] | ||
| + | {{col-break}} | ||
| + | * [[Semeiotic]] | ||
| + | * [[Semiotic information]] | ||
{{col-end}} | {{col-end}} | ||
===Related articles=== | ===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://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] | ||
| Line 86: | Line 115: | ||
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] | ||
| − | |||
| − | |||
Revision as of 16:12, 30 April 2010
☞ This page serves as a focal node for a collection of related articles.
Participants
- Interested parties may add their names on this page.
Syllabus
Focal nodes
Template:Col-breakTemplate:Col-breakTemplate:Col-endPeer nodes
Logical operators
Related topics
- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic
