The Trinity Triangle and the Homonymy of the Word ＂Is＂ in Natural Language

There are philosophers and logicians who do think that the Trinity-triangle makes up an evident formal-logic inconsistency demonstrating convincingly that Christian faith is illogical and hence irrational one. The present paper submits a systematic counter-argumentation against such thinking. According to the submitted counter-arguments, there is no formal-logic inconsistency in the Holy-Trinity-triangle： There is only a logic-linguistic illusion of such inconsistency which illusion is naturally produced by the ambiguity of the word ＂is＂ in natural language. The author has invented an effective remedy for that illusion, namely, a precise formulation of the generalized and thus modernized Guillotine of Hume by means of an artificial language of two-valued algebraic system of formal ethics of moral rigor. Systematical using the mathematized formulation of the generalized Hume＇s Guillotine cuts down the mentioned linguistic illusion of logical inconsistency. Thus, the paper essentially interconnects discrete mathematical representations of formal iogic of thinking and formal ethics of acting. In relation to contemporary symbolic logic, the author submits not a technical result solving some important particular problem concerning some specific system of symbolic logic but a significantly new result of conceptual work concerning logic in general and its interconnection with mathematical ethics. The old idea of logic as a moral science is transformed into a novel idea of symbolic logic as a brunch of mathematical ethics. In particular, two-valued algebra of classical formal logic is considered as a particular case of two-valued algebra of formal ethics of moral rigor. The submitted conception of logic is instantiated by applying it to the knotty logic-problem of Holy-Trinity-triangle.

An Equivalence of Moore＇s Paradox and G6del＇s Incompleteness Sentence in Two-Valued Algebra of Formal Ethics

The paper submits surprising results of systematical investigating a formal-ethical aspect of conjoining Wittgenstein＇s, Moore＇s, Parmenides＇, GSdel＇s, and Lukasiewicz＇s ideas. A critique of Wittgenstein＇s critique of the natural language of ethics and of metaphysics results in submitting and elaborating a new paradigm of metaphysics as formal axiology （in particular, formal ethics）. In result, the classical metaphysics and ethics of moral rigor are represented as two-valued algebraic systems of metaphysics and formal ethics respectively. By means of this algebraic model, all the well-known scandal-making metaphysical tenets of Parmenides are produced as translations of corresponding algebraic equations from the symbolic language to the natural one. At the level of submitted discrete mathematical model of formal axiology, Parmenides＇ metaphysical （formal-axiological） concepts ＂consistency＂ and ＂inconsistency,＂ ＂completeness＂ and ＂incompleteness＂ are compared with G^del＇s logic ones. Formal-axiological meanings of the words ＂consistency,＂ ＂incompleteness,＂ ＂being,＂ ＂nonbeing,＂ ＂movement,＂ ＂knowledge,＂ ＂belief,＂ etc., are considered as moral-evaluation-functions determined by one moral-evaluation-variable. Binary moral-evaluation-functions are studied as well. The functions are precisely defined by tables. Precise definitions of ＂formal-axiological-equivalence,＂ ＂formal-axiological-law,＂ and ＂formal-axiological contradiction＂ are submitted. Thus, one can either generate or examine formal-axiological equations of algebra of metaphysics by ＂computing＂ relevant compositions of moral-value-functions. Using this ＂moral-value-table-computation-technique,＂ one can arrive to a surprising conclusion that both the notorious sentence of Moore （called ＂epistemic paradox＂） and the incompleteness sentence of Godel are formally-axiologically inconsistent ones： Hence, they are formally-axiologically equivalent. For overcoming the negative psychological effect of such a surprising result, the author has used graphic models explicating the famous Lukasiewicz＇s statement ＂Logic is morality of thought and speech.＂