SUO: Re: Critique Of Non-Functional Reason
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
| A. Automated Reasoning (AR)
|
| The standard will be suitable for automated logical inference
| to support knowledge-based reasoning applications.
| B. Inter-Operability (IO)
|
| The standard will provide a basis for achieving Inter-Operability
| among various software and database applications.
[A]
| Chapter 1. Statements
|
| Section 5. Statements About Statements (cont.)
|
| Much of what has been said regarding implication applies equally
| to other semantic relations of statements, e.g. 'equivalence' and
| 'compatibility'. Statements are logically equivalent when they
| logically imply each other, and logically compatible when one does
| not imply the other's denial. Or, what comes to the same thing,
| statements are logically equivalent when the biconditional formed
| from them is logically true, and they are logically compatible
| except when the conjunction formed from them is logically false,
| i.e., except when the denial of the conjunction is logically true.
| Trivial analogues, material equivalence and compatibility, are
| similarly determined: statements are materially equivalent when
| they materially imply each other, and materially compatible when
| one does not materially imply the other's denial. Or, what comes to
| the same thing, statements are materially equivalent whenever their
| biconditional is true, and materially compatible except when their
| conjunction is false, hence whenever their conjunction is true.
| Material equivalence is agreement in truth value, and material
| compatibility is joint truth. Equivalence and compatibility,
| even in this degenerate sense, must be distinguished from the
| biconditional and conjunction; insertion of "<=>" or "&" between
| statements amounts to inserting "is materially equivalent to" or
| "is materially compatible with", not between the statements themselves,
| but between their names.
|
| Quine, 'Mathematical Logic', page 30.
|
| Willard Van Orman Quine,
|'Mathematical Logic', Revised Edition,
| Harvard University Press, Cambridge, MA,
| 1940, 1951, 1981.
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤