Logical Statement

A logical statement is a declarative proposition about the domain of understanding; a claim, belief, idea, notion, or fact.

Not all sentences are statements.  A statement is one type of sentence.  To provide a quick refresher, sentences can be:

  • declarative (making a statement), 
  • interrogative (asking a question), 
  • imperative (giving a command), or 
  • exclamatory (expressing strong emotion).

We are less interested in all sentences, we are mainly interested in one category of the sentence called the "statement". (We are not interested in sentences that are "questions" like, "What is your name?" and we are not interested in sentences called "commands" like "Stop!"; or sentences that are simply exclamatory like, "Wow!".)

Our focus will be the statement.  A statement asserts or declares something and is known to be true by definition. Another name for a statement is "fact".  A statement of fact.

A fact is an objective, measurable, confirmed observation or a statement that is currently accepted as true based on evidence. Falsification is the process of proving a theory, hypothesis, or statement false, or the act of deliberately altering data in order to deceive. A confabulation is a memory error; recalling false information without the intent to deceive.

Logic is a formal communications tool that defines the rules of correct reasoning. A logical statement follows the formal rules of logic.

An axiom (a.k.a. postulate, assumption) is a statement that is accepted or taken to be true, to serve as a premise or starting point for further reasoning and arguments. A theorem a statement that has been proven, or can be proven, using existing accepted axioms or proven theorems.  A proof is a standard method for proving theorems.  A set of axioms, theorems, and a proof forms a theory.

A theory can be used to describe a system.

A system is a set of interrelated and interdependent elements (a.k.a. elements, connections, conditions, facts), groups (a.k.a. types, categories, sets, structures) into which the elements fall, and interaction patterns that describe the interactions between the different types of elements, connections, conditions within a system which has a specific purpose. A system has a nature and structures.

Additional Information:

Comments

Post a Comment

Popular posts from this blog

Overview

Image
( Executive summary ) Innovation doesn’t arrive. Innovation evolves. Imagine it.  Freedom from drudgery. Freedom from the toil of tedious, repetitive, mundane, monotonous tasks. Far less time needs to be spent fulfilling the role of "data janitor".  Time spent "transaction chasing" is significantly reduced. Accounting is a well understood system which has evolved over many thousands of years. Accounting, reporting, auditing, and analysis is being digitized. This digitization will enable processes to be industrialized  and productivity boosts to be realized.  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, accounting and audit working papers, analysis models to accountants and software engineers building software for accountants.  I am now referring to this as model-driven reporting . The sources of the information provided below are my " lab notebook " f...
Read more

Reference Reporting Frameworks

Image
A financial reporting scheme is a purposeful arrangement of financial line items, totals, subtotals, aggregations, disaggregations, structures, metadata, categorization, classification, assertions, restrictions, constraints, other conditions, etc. A financial reporting scheme represented in a digital format should not be semantically impoverished. Leaving information out, consciously or unconsciously, is not desirable. These reference reporting frameworks provide the minimum of what is necessary. They are modest, not impoverished, yet not as secure as they actually need to be. The following are a set of reference reporting frameworks (a.k.a. reporting schemes, knowledge regimes) which helps those interested in understanding how to create an industrial strength reporting scheme using the Seattle Method to do so. Included with each reporting framework is a reference report which tests the entire reporting framework and a number of reports which helps one understand the notion of reportin...
Read more

Core Pattern

Image
The core idea of XBRL is global open industry standard for information exchange  that is machine-interpretable that is also interpretable by humans (i.e. one version of information, usable by both humans and machines). This is achieved using the notion of the " information block ". The meaning conveyed by that information block is expressed using the XBRL global open industry standard format. Having one version of information that is readable by both a machine and a human means that a common shared cognitive understanding and mutual knowledge provided by the information block is usable by both machine and human. An information block is a holon . An information block is an organism . An information block is a semantic unit which is stable and structurally sound. An information block is both a stand alone unit and a component of a larger unit which has robust structural integrity.  Tensegrity . Epistemic traceability is a trail of thought and reasoning; the ability to track ex...
Read more