Examples of applications of deCheem

Here you will find examples of how the state-categorise-inquire workflow of deCheem is put into practice.

Political Philosophy

This is an example in which a series of political philosophical statements are gathered in a statement collection. They are then used to inquire about the implications on a set of related concepts, such as:

  • Social contract
  • State of nature (of mankind)
  • Theories of distributive justice
  • Moral theories
  • Economic systems
  • Liberty
  • Right to rule
  • Rights (of the citizen)

Only a small number of statements are quoted below in order to keep the examples concise. The full set of statements can be found here.

1. Statements of beliefs

...
{
    "statementGroup": "politicalPhilo",
    "statementLabel": "Locke - rationality is tempered by morality and reason",
    "statementDescription": "defaultDescription",
    "consequences": [
      {
        "type": "THEN",
        "filter": "{is_rationality=True,is_Lockean=True}",
        "check": "Always({is_constrained_by_innate_morality=True,is_constrained_by_reason=True})",
        "consequences": []
      }
    ]
  },
  {
    "statementGroup": "politicalPhilo",
    "statementLabel": "Rousseau - Men and animals have pity and compassion",
    "statementDescription": "defaultDescription",
    "consequences": [
      {
        "type": "THEN",
        "filter": "{is_state_of_nature=True,is_Rousseaun=True}",
        "check": "Always({has_compassion=True,has_pity=True})",
        "consequences": []
      }
    ]
  },
  {
    "statementGroup": "politicalPhilo",
    "statementLabel": "Rousseau - the state arose from inequalities rising from state of nature",
    "statementDescription": "defaultDescription",
    "consequences": [
      {
        "type": "THEN",
        "filter": "{is_state_of_men=True,is_state_of_nature=True,is_Rousseaun=True}",
        "check": "Always({is_state_of_inequality=True})",
        "consequences": []
      },
      {
        "type": "IF",
        "filter": "{is_state_of_men=True}",
        "check": "Always({is_state_of_inequality=True,is_Rousseaun=True})",
        "consequences": [
          {
            "type": "THEN",
            "filter": "{is_state_of_men=True}",
            "check": "Always({is_state_of_war=True})",
            "consequences": []
          }
        ]
      }
    ]
  }
  ...

2. Statements of relationships

...
{
    "statementGroup": "politicalPhilo",
    "statementLabel": "Nozick - Kinds of Distributive Justice",
    "statementDescription": "Justice of acquisition, transfer and rectification are kinds of distributive justice.",
    "consequences": [
      {
        "type": "THEN",
        "filter": "{is_justice_of_acquisition=True} and {is_justice_of_transfer=True} and {is_justice_of_rectification=True}",
        "check": "Always({is_distributive_justice=True})",
        "consequences": []
      }
    ]
  },
  {
    "statementGroup": "politicalPhilo",
    "statementLabel": "Justice",
    "statementDescription": "All kinds of justice are justice",
    "consequences": [
      {
        "type": "THEN",
        "filter": "{is_distributive_justice=True}",
        "check": "Always({is_theory_of_justice=True})",
        "consequences": []
      }
    ]
  },
  {
    "statementGroup": "politicalPhilo",
    "statementLabel": "Types of Emancipation",
    "statementDescription": "defaultDescription",
    "consequences": [
      {
        "type": "THEN",
        "filter": "{is_human_emancipation=True} and {is_political_emancipation=True}",
        "check": "Always({is_emancipation=True})",
        "consequences": []
      }
    ]
  }
  ...

3. Statements of inquiry

...
{
    "statementGroup": "politicalPhiloAsk",
    "statementLabel": "Checking what it means to be state of nature",
    "statementDescription": "defaultDescription",
    "consequences": [
      {
        "type": "ASK",
        "filter": "{is_state_of_nature=True}",
        "consequences": []
      }
    ]
  },
  {
    "statementGroup": "politicalPhiloAsk",
    "statementLabel": "Social Contract - checking for the universal and voluntary duality",
    "statementDescription": "defaultDescription",
    "consequences": [
      {
        "type": "ASK",
        "filter": "{is_social_contract=True}",
        "consequences": []
      }
    ]
  },
  {
    "statementGroup": "politicalPhiloAsk",
    "statementLabel": "Society check",
    "statementDescription": "defaultDescription",
    "consequences": [
      {
        "type": "ASK",
        "filter": "{is_society=True,has_social_unity=True}",
        "consequences": []
      }
    ]
  }
  ...

Inquiry response

...
{
"additionalBoundaries": {
    "is_necessarily_voluntary": true,
    "is_universal": false,
    "requires_explicit_consent": true,
    "requires_tacit_consent": false
},
"newTotalBoundary": {
    "is_necessarily_voluntary": true,
    "is_social_contract": true,
    "is_universal": false,
    "requires_explicit_consent": true,
    "requires_tacit_consent": false
},
"originalBoundary": {
    "is_social_contract": true
},
"possible": true,
"reasoningSteps": [
    {
        "deducedProperty": {
            "requires_explicit_consent": true
        },
        "originalStatementProperties": {
            "consequences": [
                {
                    "check": "Always({requires_explicit_consent=True})",
                    "consequences": [],
                    "filter": "{is_social_contract=True}",
                    "type": "THEN"
                }
            ],
            "statementDescription": "Social contract - forcing explicit consent in",
            "statementGroup": "politicalPhiloGeneric",
            "statementLabel": "SC - Explicit Consent"
        }
    },
    {
        "deducedProperty": {
            "is_necessarily_voluntary": true
        },
        "originalStatementProperties": {
            "consequences": [
                {
                    "check": "Always({is_necessarily_voluntary=True})",
                    "consequences": [],
                    "filter": "{requires_explicit_consent=True}",
                    "type": "THEN"
                }
            ],
            "statementDescription": "defaultDescription",
            "statementGroup": "politicalPhilo",
            "statementLabel": "Explicit consent implies voluntarism"
        }
    },
    {
        "deducedProperty": {
            "is_universal": false
        },
        "originalStatementProperties": {
            "consequences": [
                {
                    "check": "Never({is_universal=True})",
                    "consequences": [],
                    "filter": "{is_social_contract=True,requires_explicit_consent=True}",
                    "type": "THEN"
                }
            ],
            "statementDescription": "defaultDescription",
            "statementGroup": "politicalPhilo",
            "statementLabel": "Social contract - Voluntary obligation (Explicit consent by all citizens)"
        }
    },
    {
        "deducedProperty": {
            "requires_tacit_consent": false
        },
        "originalStatementProperties": {
            "consequences": [
                {
                    "check": "Always({is_universal=True})",
                    "consequences": [],
                    "filter": "{is_social_contract=True,requires_tacit_consent=True}",
                    "type": "THEN"
                }
            ],
            "statementDescription": "defaultDescription",
            "statementGroup": "politicalPhilo",
            "statementLabel": "Social Contract - Tacit consent (Explicit consent by all citizens)"
        }
    }
  ]
},
{
"additionalBoundaries": {
    "is_Lockean": true,
    "is_state_of_men": true
},
"newTotalBoundary": {
    "is_Lockean": true,
    "is_state_of_men": true,
    "is_state_of_nature": true
},
"originalBoundary": {
    "is_state_of_nature": true
},
"possible": true,
"reasoningSteps": [
    {
        "deducedProperty": {
            "is_Lockean": true
        },
        "originalStatementProperties": {
            "consequences": [
                {
                    "check": "Always({is_Lockean=True})",
                    "consequences": [],
                    "filter": "{is_state_of_nature=True}",
                    "type": "THEN"
                }
            ],
            "statementDescription": "defaultDescription",
            "statementGroup": "politicalPhiloLocke",
            "statementLabel": "Locke's work"
        }
    },
    {
        "deducedProperty": {
            "is_state_of_men": true
        },
        "originalStatementProperties": {
            "consequences": [
                {
                    "check": "Always({is_state_of_men=True})",
                    "consequences": [],
                    "filter": "{is_state_of_nature=True} and {is_state_of_war=True} and {is_state_of_peace=True}",
                    "type": "THEN"
                }
            ],
            "statementDescription": "defaultDescription",
            "statementGroup": "politicalPhilo",
            "statementLabel": "State of nature, war and peace are always states of man"
        }
    }
  ]
}
...