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 logic 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.
The general purpose of the research-systematical clarifying and explicating the too vague proper philosophical concepts of space, void, matter, motion, inertia, for making a logical harmony between them and the corresponding How to cite this paper: Lobovikov, V.O.
Synthesizing some normal and non-normal modal logic systems by the formal axiomatic epistemology theory is under investigation. New proofs of logic non-contradictoriness of the theory are constructed. For the first time several proofs of improvability of (Kq q) and (q q) in are submitted. (Here "Kq" stands for "person knows that q"; "q" stands for "it is necessary that q", and "q" stands for a proposition.) The logically formalized axiomatic epistemology system is considered as a response to the critique of the classical epistemic modal logic by the empiricist-minded philosophers and representatives of the evolutionary epistemology. Some aspects of the system under discussion are graphically represented by the square and hexagon of conceptual opposition.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.