@article{Vadim V. Kortunov_2020, title={CLASSICAL LOGIC: FORMALIZATION OF LOGICAL IMPLICATION}, volume={17}, url={http://mail.palarch.nl/index.php/jae/article/view/777}, abstractNote={<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>}, number={6}, journal={PalArch’s Journal of Archaeology of Egypt / Egyptology}, author={Vadim V. Kortunov}, year={2020}, month={Nov.}, pages={703 - 707} }