Signed in as:
filler@godaddy.com
Signed in as:
filler@godaddy.com
Decision is the group of all complex logical connectives. There are two sub-groups of decision: judgements and determinations
A connective is a logical statement with a union or overlap copula and only logical terms with existential or non-existential quantifiers.
A complex connective is a connective whose logical terms are two connectives.
A determination is a decision regarding the effect of joining two logical connectives about the same two logical terms.
For example:
((A AND B) OR (A OR B)) gives the same result as (A OR B).
This is because (A OR B) expands (A AND B).
Determinations involve comparisons between these connectives:
A Judgement is a decision about the truth of the following logical statements:
A determination represents an opportunity to reduce the size of an Instance of Pattern Logic without a loss of meaning. Occasions expressive of logical redundancy may be pruned from the instance, which simplifies the work of computing logical inferences.
The handling of truth values is typically done by introducing an "interpretation" of a "model" which will account for the mapping of a truth value to the "nonlogical" terms found in the model.
Pattern Logic does not require a separation between "model" and "interpretation" or the mappings of a truth function because the truth of logical concepts can be expressed within the model by the means provided in these judgements. "Truth values" are explicitly bound to the structure of the instance's patterns.
Copyright © 2024 Pattern's Language - All Rights Reserved.
ADEPT LION is a Salveretec PBC patented invention