Difference between revisions of "Logic Live"

MyWikiBiz, Author Your Legacy — Tuesday December 24, 2024
Jump to navigationJump to search
(→‎Participants: fix link)
(→‎Blog: + [https://inquiryintoinquiry.com/2012/05/17/inquiry-live-and-logic-live/ Inquiry Live & Logic Live])
 
(32 intermediate revisions by the same user not shown)
Line 1: Line 1:
'''NB.'''  This page will be used as a '''focal node''' or a branch point for a collection of related articles.
+
<font size="3">&#9758;</font> This page serves as a '''focal node''' for a collection of related resources.
  
==Participants==
+
==Blog==
  
* Interested parties may add their names on [[/Participants|this page]].
+
* [https://inquiryintoinquiry.com/ Inquiry Into Inquiry]
 +
* [https://inquiryintoinquiry.com/2012/05/17/inquiry-live-and-logic-live/ Inquiry Live &amp; Logic Live]
  
 
==Syllabus==
 
==Syllabus==
  
For the time being, the following will serve as a rough inventory of raw materials that will be developed as time goes by.
+
===Focal nodes===
 
 
===Focal node===
 
  
 
* [[Inquiry Live]]
 
* [[Inquiry Live]]
 +
* [[Logic Live]]
  
 
===Peer nodes===
 
===Peer nodes===
  
{{col-begin}}
 
{{col-break}}
 
* [http://beta.wikiversity.org/wiki/Logic_Live Logic Live @ Beta Wikiversity]
 
{{col-break}}
 
 
* [http://mywikibiz.com/Logic_Live Logic Live @ MyWikiBiz]
 
* [http://mywikibiz.com/Logic_Live Logic Live @ MyWikiBiz]
{{col-end}}
+
* [http://ref.subwiki.org/wiki/Logic_Live Logic Live @ Subject Wikis]
 +
* [http://en.wikiversity.org/wiki/Logic_Live Logic Live @ Wikiversity]
 +
* [http://beta.wikiversity.org/wiki/Logic_Live Logic Live @ Wikiversity Beta]
  
 
===Logical operators===
 
===Logical operators===
Line 45: Line 43:
 
* [[Boolean function]]
 
* [[Boolean function]]
 
* [[Boolean-valued function]]
 
* [[Boolean-valued function]]
 +
* [[Differential logic]]
 
{{col-break}}
 
{{col-break}}
 
* [[Logical graph]]
 
* [[Logical graph]]
* [[Logical matrix]]
 
 
* [[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]]
 
* [[Zeroth order logic]]
 
* [[Zeroth order logic]]
 +
{{col-end}}
 +
 +
===Relational concepts===
 +
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Continuous predicate]]
 +
* [[Hypostatic abstraction]]
 +
* [[Logic of relatives]]
 +
* [[Logical matrix]]
 +
{{col-break}}
 +
* [[Relation (mathematics)|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}}
 
{{col-end}}
  
 
===Related articles===
 
===Related articles===
  
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
+
{{col-begin}}
 +
{{col-break}}
 +
* [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]
 +
* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
 +
* [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
 +
{{col-break}}
 +
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]
 +
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
 +
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
 +
{{col-break}}
 +
* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
 +
* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
 +
* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
 +
{{col-end}}
 +
 
 +
==Archive links==
 +
 
 +
* [http://web.archive.org/web/20191209181958/http://intersci.ss.uci.edu/wiki/index.php/Logic_Live Logic Live @ InterSciWiki]
 +
 
 +
==Participants==
  
* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
+
* Interested parties may add their names on [[Logic Live/Participants|this page]].
  
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, &ldquo;Differential Logic : Introduction&rdquo;]
+
[[Category:Inquiry]]
 +
[[Category:Logic]]
 +
[[Category:Open Educational Resource]]
 +
[[Category:Peer Educational Resource]]

Latest revision as of 19:32, 17 September 2020

This page serves as a focal node for a collection of related resources.

Blog

Syllabus

Focal nodes

Peer nodes

Logical operators

Template:Col-breakTemplate:Col-breakTemplate:Col-end

Related topics

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Relational concepts

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Information, Inquiry

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Related articles

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Archive links

Participants

  • Interested parties may add their names on this page.