Logic Syllabus

unread,

May 30, 2023, 8:36:13 AM5/30/23

to Cybernetic Communications, Laws of Form, Structural Modeling, SysSciWG, Ontolog Forum

Cf: Logic Syllabus • 1
• https://inquiryintoinquiry.com/logic-syllabus/

All,

This page serves as a focal node for a collection of related resources.
• https://oeis.org/wiki/Logic_Syllabus

#Logic #LogicSyllabus

Regards,

Jon (https://mathstodon.xyz/@Inquiry)

unread,

May 30, 2023, 9:15:38 AM5/30/23

to Cybernetic Communications, Laws of Form, Structural Modeling, SysSciWG

Cf: Logic Syllabus • 2
• https://inquiryintoinquiry.com/logic-syllabus/

Logical Operators
• https://oeis.org/wiki/Logic_Syllabus#Logical_operators

Logical Negation • https://oeis.org/wiki/Logical_negation
Logical NAND • https://oeis.org/wiki/Logical_NAND
Logical NNOR • https://oeis.org/wiki/Logical_NNOR
Logical Conjunction • https://oeis.org/wiki/Logical_conjunction
Logical Disjunction • https://oeis.org/wiki/Logical_disjunction
Exclusive Disjunction • https://oeis.org/wiki/Exclusive_disjunction
Logical Implication • https://oeis.org/wiki/Logical_implication
Logical Equality • https://oeis.org/wiki/Logical_equality

#Logic #LogicSyllabus #LogicalOperator #LogicalConnective
#Negation #NAND #NNOR #LogicalConjunction #LogicalDisjunction
#ExclusiveDisjunction #XOR #LogicalImplication #LogicalEquality

unread,

May 30, 2023, 5:20:24 PM5/30/23

to Cybernetic Communications, Laws of Form, Structural Modeling, SysSciWG

Cf: Logic Syllabus • 3
• https://inquiryintoinquiry.com/logic-syllabus/

Logical Concepts
• https://oeis.org/wiki/Logic_Syllabus#Logical_concepts

Ampheck • https://oeis.org/wiki/Ampheck
Boolean Domain • https://oeis.org/wiki/Boolean_domain
Boolean Function • https://oeis.org/wiki/Boolean_function
Boolean-Valued Function • https://oeis.org/wiki/Boolean-valued_function
Differential Logic • https://oeis.org/wiki/Differential_logic
Logical Graph • https://oeis.org/wiki/Logical_Graphs
Minimal Negation Operator • https://oeis.org/wiki/Minimal_negation_operator
Multigrade Operator • https://oeis.org/wiki/Multigrade_operator
Parametric Operator • https://oeis.org/wiki/Parametric_operator
Peirce's Law • https://oeis.org/wiki/Peirce%27s_law
Propositional Calculus • https://oeis.org/wiki/Propositional_calculus
Sole Sufficient Operator • https://oeis.org/wiki/Sole_sufficient_operator
Truth Table • https://oeis.org/wiki/Truth_table
Universe of Discourse • https://oeis.org/wiki/Universe_of_discourse
Zeroth Order Logic • https://oeis.org/wiki/Zeroth_order_logic

#Logic #LogicSyllabus #Ampheck #BooleanDomain #BooleanFunction #BooleanValuedFunction
#DifferentialLogic #LogicalGraph #MinimalNegationOperator #MultigradeOperator
#ParametricOperator #PeircesLaw #PropositionalCalculus #SoleSufficientOperator
#TruthTable #UniverseOfDiscourse #ZerothOrderLogic

Regards,

Jon (https://mathstodon.xyz/@Inquiry)

unread,

May 31, 2023, 1:10:35 PM5/31/23

to Cybernetic Communications, Laws of Form, Structural Modeling, SysSciWG

Cf: Logic Syllabus • 4
• https://inquiryintoinquiry.com/logic-syllabus/

Relational Concepts
• https://oeis.org/wiki/Logic_Syllabus#Relational_concepts

Continuous Predicate • https://oeis.org/wiki/Continuous_predicate
Hypostatic Abstraction • https://oeis.org/wiki/Hypostatic_abstraction
Logic of Relatives • https://oeis.org/wiki/Logic_of_relatives
Logical Matrix • https://oeis.org/wiki/Logical_matrix
Relation • https://oeis.org/wiki/Relation
Relation Composition • https://oeis.org/wiki/Relation_composition
Relation Construction • https://oeis.org/wiki/Relation_construction
Relation Reduction • https://oeis.org/wiki/Relation_reduction
Relation Theory • https://oeis.org/wiki/Relation_theory
Relative Term • https://oeis.org/wiki/Relative_term
Sign Relation • https://oeis.org/wiki/Sign_relation
Triadic Relation • https://oeis.org/wiki/Triadic_relation

#Logic #LogicSyllabus #ContinuousPredicate #HypostaticAbstraction #LogicOfRelatives
#LogicalMatrix #Relation #RelationComposition #RelationConstruction #RelationReduction
#RelationTheory #RelativeTerm #SignRelation #TriadicRelation

Regards,

Jon (https://mathstodon.xyz/@Inquiry)

unread,

Jun 1, 2023, 9:19:03 AM6/1/23

to Cybernetic Communications, Laws of Form, Structural Modeling, SysSciWG

Cf: Logic Syllabus • 5
• https://inquiryintoinquiry.com/logic-syllabus/

Related Articles
• https://oeis.org/wiki/Logic_Syllabus#Related_articles

Cactus Language
• https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview

Futures Of Logical Graphs
• https://oeis.org/wiki/Futures_Of_Logical_Graphs

Differential Propositional Calculus
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview

Differential Logic
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview

Differential Logic and Dynamic Systems
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview

Propositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_Analogy

Propositional Equation Reasoning Systems
• https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems

Prospects for Inquiry Driven Systems
• https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems

Introduction to Inquiry Driven Systems
• https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems

Inquiry Driven Systems • Inquiry Into Inquiry
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

#Logic #LogicSyllabus #CactusLanguage #LogicalGraphs #DifferentialLogic
#DifferentialPropositionalCalculus #DifferentialLogicAndDynamicSystems
#PropositionsAsTypesAnalogy #PropositionalEquationReasoningSystems
#Inquiry #InquiryDrivenSystems #InquiryIntoInquiry #DynamicalSystems

Regards,

Jon (https://mathstodon.xyz/@Inquiry)

Reply all

Reply to author

Forward