TY - JOUR
AU - Vadim V. Kortunov,
PY - 2020/11/30
Y2 - 2024/05/23
TI - CLASSICAL LOGIC: FORMALIZATION OF LOGICAL IMPLICATION
JF - PalArch's Journal of Archaeology of Egypt / Egyptology
JA - J Arch.Egyptol
VL - 17
IS - 6
SE -
DO -
UR - http://mail.palarch.nl/index.php/jae/article/view/777
SP - 703 - 707
AB - <p>The question of formulation on a pro forma basis (without analysing the specific content of variables) of the<br>logical implication «A⊧B» is not still finally answered. This is due to the known difficulties. Firstly, the<br>logical implication takes place in conditional (implicative) statements which, if they are true, may express<br>logical implication or may not. Secondly, conditional statements can be true even when their antecedents and<br>consequents are not related to each other according to their senses. Thirdly, the problem of what is called<br>“para-doxes of material implication” is imposed on answering the question of the logical implication: it is<br>known that the implication is true, as in the case if the falsity implicates the truth ("Truth follows from<br>anything") as in the case when the arbitrary expression is derived from the contradiction (“contradiction<br>(sequitur) quodlibet (ECQ)” (“A contradiction yields to completely contrary explanations”)..</p>
ER -