8.5.7 Meta modus ponens

Prev Up Next Page 332 of 800 Search internet

An argumentation can be the ponens operator A ponens B applied to two argumentations A and B. The proofs of M1.8 stated previously are full of such ponens operators.

If the ponens operator A ponens B is applied to an argumentation A which concludes X infer Y and an argumentation B which concludes X, then A ponens B concludes Y.

When the adaption process is applied to an argumentation of form A ponens B it will try to ensure that the conclusion of A has form X infer Y. Adaption will do so by instantiating meta-quantifiers and verify side conditions.

When adaption is applied to A ponens B, it will also do adaption internally in B, but it will not try to adapt the outcome of B to anything particular.

Prev Up Next Page 332 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05