Elements of Logic

The elements of logic are the fundamental building blocks of logical theories that describe the logical conceptualization of some system that is natural or designed (a.k.a. man-made). A logical system is a type of designed system.  The elements of logic can also describe knowledge within some area of knowledge using these building blocks.

Here is a list of those building blocks, the elements of logic:

  • Logical statement: A logical statement is a proposition, claim, assertion, belief, idea, or fact about or related to the area of knowledge to which the logical conceptualization relates.  A logical statement is a declarative sentence.  Not all sentences are statements; for example, a question such as "What is your name?", or a command such as "Stop!", are not statements.  There are five broad categories of logical statements: (these can be thought of as logical molecules)
      • Terms: Terms are important logical statements that define ideas or "things" used by a logical conceptualization.  For example, “assets”, “liabilities”, “equity”, and “balance sheet” are things or ideas used in a logical conceptualization to describe the area of knowledge referred to as financial reporting. Terms can be simple (a.k.a. primitive) or complex (a.k.a. functional).
      • Associations: Associations (a.k.a. relations) are important logical statements that describe permissible interrelationships between the terms such as “assets is part-of the balance sheet” or “operating expenses is a type-of expense” or “an asset is a ‘debit’ and is ‘as of’ a specific point in time and is always a monetary numeric value”. Associations can be grouped into two broad types:
        • "Is-a" (a.k.a. general-special, association, type-subtype, class-subclass, equivalent-class, kind)
        • "Has-a" (a.k.a. part-of, has-part, part-whole, composition, aggregation)
      • Rules: Rules (a.k.a. assertions, restrictions, constraints, conditions) are important logical statements that describe what tend to be convertible into IF…THEN…ELSE types of relationships such as “IF the economic entity is a not-for-profit THEN net assets = assets - liabilities; ELSE assets = liabilities + equity”.  One rule can be connected to another rule using logic gates (a.k.a. logical connective) (AND, OR, NOR, NAND, XOR, XNOR, NOT) to form complex logical statements. Rules can assert mathematical relationships or derive mathematical relationships to form new facts.
      • Facts: Facts are important logical statements that are held out as being true. In the context of databases and knowledge representation, facts are often used to represent known information. For example, facts are logical statements about the numbers and words that are provided by an economic entity within a financial report.  For example, the financial report might state “assets for the consolidated legal entity Microsoft as of June 20, 2017 was $241,086,000,000 expressed in US dollars and rounded to the nearest millions of dollars.
      • Properties: Properties are important logical statements about the important qualities and traits of a model, structure, term, association, rule, and fact.
  • Axioms: Axioms are foundational logical statements that are fundamentally accepted as being true per some logical system.
  • Theorems: Theorems are logical statements that are determined to be true per logical steps that can be taken to arrive at a conclusion using axioms, other theorems, or facts.
  • Rule: A rule governs behavior.
  • Assertion: Declares a fact or belief. An assertion is a logical proposition; a claim held to be true.
  • Restriction: Restrictions are a special type of axiom or theorem that is imposed by some authority which chooses to restrict, constrain, limit, or otherwise impose some range on some logical artifact. Narrows possibilities.
  • Constraint: A constraint is a condition that must always be satisfied to maintain system integrity; prevents invalid states.
  • Condition: A condition triggers or activates logic based on context.
  • Classification: Classification is the grouping of logical artifacts into sets. (a.k.a. types, kinds, roles, phases, categories)
  • Logical structure: A logical structure is as set of logical statements which describe the structure (a.k.a. assembly). An "infon" which is defined by Situation Theory is a unit of information. In infon is a type of logical structure.  An infon is a useful, convenient unit or "set" of information.
  • Logical model: A logical model is a set of specific structures that are consistent with and permissible interpretations of that model.  Models add flexibility to logical conceptualizations. (a.k.a. world model which is different than a language model)
  • Logical conceptualization: A logical conceptualization is a set of models that are consistent with and permissible per that logical conceptualization. A logical conceptualization is made up of a set of models, structures, terms, associations, rules, and facts.
  • Logical theory: A logical theory is described per some logical conceptualization that forms a logical theory that explains what is permitted and what is not permitted per a logical conceptualization which is made up of a set of logical models, structures, terms, associations, rules, and facts.
  • Logical system: A logical system can be explained by a logical theory.  A logical theory is an abstract conceptualization of specific important details of some area of knowledge. The logical theory provides a way of thinking about an area of knowledge by means of deductive reasoning to derive logical consequences of the logical theory.
  • Archetype: An archetype is a typical example of something, a template. An archetype can be seen as a good practices pattern; canonical form. A prototype.
  • Dimension: A dimension (a.k.a. aspect, axis, facet) can be used to uniquely and unambiguously distinguish one fact from every other fact.
  • Perspective: A way of regarding, understanding, or interpreting something.  A viewpoint.
  • Phase: 
  • Role: 
  • Kind:
  • Pattern: Patterns reflect micro theories.
  • Theory (a.k.a. conceptualization, model, a logic system)
    • Logic statement (fundamentally, everything in a theory is a logic statement; a logic statement is a declarative piece of information)
      • Fact (important logical statements that are known/claimed/deemed to be true)
      • Thing (a.k.a. entity)
        • Primitive thing (a.k.a. atomic thing or simple thing; what I currently call term)
        • Complex thing (structure, model, and terms are currently intermingled in this)
          • Set of primitive things
          • Associations between primitive things (maybe also between complex things)
          • Categorization association (is-a, type, kind, phase, role; taxonomies do this)
          • Compositional association (has-a, whole-part)
          • Aggregational association (summation, mathematical)
          • Navigational (parent-child)
          • Simile (things that possess similar qualities but are not the same)
          • Equivalent (one thing is EXACTLY the same as another thing)
        • Property (a.k.a. quality, trait, attribute)
      • Instance, individual (don't like these terms)
    • Constraint (a.k.a. rule)
      • Axiom
      • Assertion
      • Restriction
  • Atomic Design
    • Atoms are basic fundamental building blocks and make up all “matter” or “things”.
    • Molecules are two or more atoms held together by a “bond” (i.e. rules are bonds), a functional unit.
    • Organisms are assemblies or groups of molecules that function together as a unit and are used within some area of knowledge. Logical patterns bond molecules together to form organisms.  Organisms, which are logical patterns of molecules which form the assemblies that are the organisms.
    • Species are categories of organisms (a.k.a. different areas of knowledge or domains of understanding).   Accounting is one area of knowledge; human resources is another area of knowledge; different areas of knowledge can interact with each other.

Additional Information:

Comments

Post a Comment

Popular posts from this blog

Overview

Image
Imagine it.  Freedom from drudgery. Freedom from the toil of tedious, repetitive, mundane, monotonous tasks. This overview is an attempt to take the work that I have done to understand XBRL-based reports and back into a framework for explaining those reports to accountants and software engineers building software for accountants.  I am not referring to this as model-driven reporting .   The sources of the information provided below are my " lab notebook " from December 2007 to October 2022; my Digital Financial Reporting blog from October 2022 until January 2025; Mastering XBRL-based Digital Financial Reporting ; and finally my Seattle Method  documentation. What I have tried to do is take the seemingly hundreds of incomplete, far too technical, typically nonstandard explanations that I have come across; take the good/best ideas from each, make improvements to those explanations, and resynthesize the information into a form that is useful to me and perhaps usef...
Read more

Knowledge Representation Approach

Image
Knowledge representation is simply organizing knowledge related to some area of knowledge into some physical form.  A knowledge representation provides an explanation of or description of the nature and structure of something. There are a number of different approaches that a knowledge representation might take, each approach having a different level of expressivity and reasoning capability.  These different knowledge representation approaches form a spectrum.  The following is a graphic which shows the expressivity and reasoning capability of different knowledge representation approaches: The following is a brief description of each of the different knowledge representation approaches which will help you understand the relative expressivity and reasoning capability of each approach: Name authority : A name authority provides what amounts to a dictionary or list which amounts to a flat inventory of terms with no relations expressed between the terms. This can be thought...
Read more

Area of Knowledge

Image
An area of knowledge (a.k.a. area of interest, community of practice, field, domain, subject domain, universe of discourse, society ) is a highly organized socially constructed aggregation of shared knowledge (a.k.a. corpus) for a distinct subject matter.  Subject matter experts (SMEs) create, use, and maintain an area of knowledge. Every subject matter expert can off the top of their head state a few rules from their field.  Astounding performance enhancements can often be achieve by combining only a few rules. An area of knowledge has a specialized insider vocabulary, underlying assumptions (axioms, theorems, constraints, assertions, restrictions), and persistent open questions that have not necessarily been resolved (i.e. flexibility is necessary).  You can think about an area of knowledge as being characterized in a spectrum with two extremes: Kind area of knowledge: clear rules, lots of patterns, lots of rules, repetitive patterns, and unchanging tasks. Wicked area o...
Read more