Logic and contrary instances
K.A. Pavlov
Keywords: modus ponens, communication, contrary instances, scope of formalization
Abstract
The paper considers some problems concerning the scope of applicability of formalisms in logic. If we take into account pragmatic and communicative aspects of logic, uncertainty in identification of its scope just increases, which is shown by the example of problems arising when modus ponens is used.
|
