CC BY
139
ФИЛОСОФИЯ PHILOSOPHY
Lobovikov V.O. Knowledge Logic and Algebra of Formal Axiology: a Formal Axiomatic Epistemology Theory Sigma Used for Precise Defining the Exotic Condition Under Which Hume-and-Moore Doctrine of Logically Unbridgeable Gap Between Statements of Being and Statements of Value is Falsified. DOI 10.24411/26867206-2020-10401 // Антиномии. 2020. Т. 20, вып. 4. С. 7-23.
УДК 16:17:51-7:510.687:510.82:512 DOI 10.24411/2686-7206-2020-10401
Логика знания
и алгебра формальной аксиологии: некая формальная аксиоматическая теория эпистемологии Сигма, используемая для точного определения того экзотического условия, при котором доктрина Юма и Мура о логически непреодолимой пропасти между суждениями о бытии и суждениями о ценности фальсифицируется
Владимир Олегович Лобовиков
доктор философских наук, профессор, главный научный сотрудник отдела права Института философии и права УрО РАН, г. Екатеринбург, Россия.
[^Е^га^ди!^ © Лобовиков В.О., 2020
E-mail: vlobovikov@mail.ru ORCID: 0000-0001-8760-0452 ResearcherlD: K-4188-2018 SPIN-код: 3994-4289
Статья поступила 16.12.2019, принята к печати 29.02.2020,
доступна online 11.01.2021
Впервые в формальной аксиоматической теории знания Сигма формально доказана теорема, означающая (в предложенной точно определенной интерпретации), что, при условии априорности знания, утверждение формально-аксиологической эквивалентности моральных ценностных функций логически эквивалентно утверждению логической эквивалентности соответствующих утверждений о бытии. Впервые продемонстрировано, что эта теорема отрицает универсальность упомянутой концепции Юма и Мура. Дано точное определение упомянутой формальной аксиоматической теории Сигма, являющейся результатом логической формализации универсальной философской эпистемологии; а также предложена некая релевантная интерпретация этой формальной теории. Представленное формальное доказательство вышеупомянутой теоремы может быть проверено читателями шаг за шагом, так как оно построено в соответствии со стандартами формализма (в обосновании математики).
Ключевые слова: формальная-аксиоматическая-теория-знания, знание-а-priori, двузначная-алгебра-формальной-аксиологии, формально-аксиологическая-экви-валентность, моральная-ценностная-функция, гильотина-Юма, натуралистичес-кие-ошибки-в-этике, дуализм-факта-и-ценности.
Although the dogma of a fact-value dichotomy has long held sway in scientific and philosophical discourse and practice, it has been called into question by some of our most eminent thinkers: to name but a few, Charles S. Peirce, William James, F. C. S. Schiller, John Dewey, C. I. Lewis, Iris Murdoch, Philippa Foot, Donald Davidson, Hilary Putnam, Ruth Anna Putnam, Richard Rorty, and John McDowell, all of whom helped show how the assumed heterogeneity of descriptive and evaluative considerations and judgments seriously misrepresents the nature and operation of both. (Giancarlo Marchetti and Sarin Marchetti 2017)
1. Introduction: the dichotomy between statements of being and statements of value. According to Adler (Adler 1981), the strict separation of facts and values is one of the six great philosophical ideas created by the Western-world philosophy. According to Putnam (Putnam 1981: 127128), unfortunately, in contemporary philosophy the absolute (unconditioned) dichotomy of facts and values has become a "cultural institution". Initially this institution (the social norm of/for philosophizing of being and value) was established by "Principia Ethica" (Moore 1903) which was a manifest proclamation of the institution in question. Although some important prerequisites for establishing the institution of logically unbridgeable gap between corresponding statements of being and statements of value existed in previous times, especially in writings by Hume (Hume 1874; 1994; 1998),
the absolute separation as a perfectly universal unconditioned principle was formulated manifestly by Moore. Since the beginning of XX century to nowadays, plenty of respectable philosophers have elaborated his conception with enthusiasm and have developed it consistently to its logical end. However, there were also eminent opponents of the dualism in history of philosophy, for example, Dewey (Dewey 1903; 1929; 1938; 1939). He was not the only criticizer of fact/value dichotomy. Another well-known resolute criticizer of the dichotomy was Putnam who believed that the extremist-minded adherents of absolute separation between statements of being and statements of value had arrived to an absurdity which contained a danger for philosophy and methodology of science (Putnam 1981: 127-1149, 201-217). Putnam has argued that there is an essential linkage (a necessary relationship) between facts and values: the fact/value dichotomy has collapsed (Putnam 1981; 2002; 2004; 2015; 2017). Hence, conjunction of relevant Moore's and Putnam's statements looks like a logical contradiction. This makes the hard problem to be discussed, formalized, and investigated by means of symbolic logic machinery with a view for an acceptable solution below in the present article. Thus, I accept the invitation to attempt somehow to overcome the dichotomy dogma which (invitation) has been proclaimed in the preface to the very interesting book edited by G. Mar-chetti and S. Marchetti (Marchetti G., Marchetti S. 2017).
The literature relevant to the theme is huge; for instance, writings by Adler (Adler 1981); Ayer (Ayer 1952; 1954); Lewis (Lewis 1946); MacIntyre (MacIntyre 1981); Mackie (Mackie 1946; 1977); G. Marchetti and S. Marchetti (Marchetti G., Marchetti S. 2017); Russell (Russell 1914; 1918; 1940; 1948; 1997); Schiller (Schiller 1903); Stevenson (Stevenson 1937; 1944; 1963); Weber (Weber 2017), etc., not homogeneous, and sometimes even contradictory. Therefore, for the sake of convenience and simplicity, let us divide the huge material into three categories. Let the first category of writings be composed by the works of adherents of the absolute separation between statements of being and statements of value as a general principle possessing no limitations, i.e. as a not-falsifiable universal dualism statement. Let us call authors of these writings the absolute (unconditional) separatists. In my opinion, the first category may be exemplified by Adler (Adler 1981), Ayer (Ayer 1952; 1954), Carnap (Carnap 1931; 1956), Moore (Moore 1903), Russell (Russell 1914; 1918; 1940; 1948; 1997), Schlick (Schlick 1974; 1978; 1979), Stevenson (Stevenson 1937; 1944; 1963), and Wittgenstein (Wittgenstein 1992). The second category of writings is composed by the works of those authors whose relevant statements are contrary to the first category ones. Let us call them the absolute anti-separatists insisting upon existence of necessary relationship (essential entanglement) or deep in-tertwinement between corresponding statements of being and statements of value as a general principle possessing no limitations, i.e. as a not-falsifiable universal anti-dualism principle. In my opinion, the second category may be exemplified by although not reduced to Dewey (Dewey 1903; 1929; 1938; 1939), Morris (Morris 1963), Schiller (Schiller 1903), and Putnam (Putnam
1981; 2002; 2004; 2015; 2017). I think that the above-mentioned two allegedly not-falsifiable universal principles (the absolute dualism and the absolute anti-dualism) are in contrariety relation to each other: they cannot be both true, but they can be both false. Therefore, now it is worth attracting attention to the third option of logical relationship between corresponding statements of being and statements of value, namely, the option of both: (A) there is a limited logic-unity (conditioned logic-equivalence) between corresponding statements of being and statements of value; (B) there is a limited logic-separation (conditioned logic-non-equivalence) between them. Affirming the conjunction of (A) and (B) means that both the dualism and the anti-dualism are not absolutely universal but falsifiable; they are relatively (conditionally) universal. Domains of validity of both the dualism and the anti-dualism are not completely infinite but quite definite. Moreover, in principle, it is possible precisely to define the exotic (rare) concrete condition under which (A) takes place, but (B) does not take place. Also, in principle, it is possible precisely to define the usual (habitual) concrete condition under which (B) takes place, but (A) does not take place. The above-indicated third option of logical relationship between corresponding statements of being and statements of value is to be investigated in the present paper.
Concerning the contemporary literature on the theme, I would like to make the following critical remarks. Being formulated in general, the nontrivial fundamental problem under investigation is the one of existence of logical connection between corresponding statements of being and statements of value. However, there is a strong tendency completely to reduce the general formulation of the problem to its special particular case, namely, to the problem of existence of logical connection between corresponding facts and values (evaluations). Thus, meanings of "fact" and "being" are identified completely (are used as synonyms). I think that, generally speaking, such identifying "fact" and "being" is not valid. In this paper I shall abstain from such identifying. In history of philosophy there is an intellectually respectable tradition to define facts as contingent truths or contingent events. This tradition may be exemplified by Leibniz (Leibniz 1903; 1952; 1969; 1971; 1981) and Carnap (Carnap 1931; 1956). I shall follow this tradition in the present paper. Also, I shall follow the negative attitude to the two dogmas of empiricism which (attitude) has been developed by Ouine (Ouine 1980).
Another critical remark: Being formulated in general, the above-raised nontrivial fundamental problem deals with values (or statements of value). Values are either absolute or relative. Statements of positive value (goodness) are either contingently positive or necessarily positive (absolute goodness). Is there an absolute (necessary) good? As a rule, logical positivists resolutely answered this question negatively: Russel (Russel 1914; 1918; 1940; 1948; 1997) and Mackie (Mackie 1946; 1977) are representative examples. Thus, in the philosophical empiricism, meanings of "value" and "relative (contingent) value" are identified completely (are used as synonyms) either subconsciously or deliberately. I think that generally speaking, such iden-
tifying "value" and "relative (contingent) value" is not valid. In this paper I shall abstain from such identifying.
However, it is the fact that within the empirical philosophy of values, which (philosophy) dominates in the contemporary literature on the theme, evaluations are considered as statements of contingent (relative) values. If the general formulation of the problem is completely reduced to the particular case, then, I think that Hume, Russell, Moore, and Wittgenstein are right: there are no necessary logical relations between facts (=contingently true statements of contingent events) and contingently true statements of contingent (not absolute but relative) values of these events.
However, in my opinion, the mentioned complete reduction of the problem to its particular case is not acceptable from the perfect theoretical philosophy viewpoint because there is another also very important special particular case of the problem, namely, the nontrivial problem of existence of necessary logical connection between corresponding statements of necessary being and statements of necessarily positive value (absolute goodness). Empiricist-minded philosophers have ignored this very important problem on principle. I believe that such ignoring is a defective (one-sided) attitude. The relevant views of rationalist-minded philosophers dealing with a-priori knowledge, for instance, the relevant rationalistic ideas by Descartes (Descartes 1994a; 1994b) and Leibniz (Leibniz 1903; 1952; 1969; 1971; 1981) must be taken into an account. The philosophical theology, especially the theodicy by Leibniz (Leibniz 1952), is also quite relevant to the case as it deals with necessary logical connecting the necessary being with the necessary goodness.
To eliminate the above-indicated defect, below in this article I am to develop a synthetic (two-sided) attitude to the problem by using such a formal axiomatic epistemology theory £, which unites consistently the contrary paradigms of empiricism and a-priori-ism. As the problem is very difficult, I shall divide it into two parts and attack the parts separately one after another. This is an effective strategy deliberately used by politicians, military-men and mathematicians.
First of all, I am to criticize Moore's idea of absolutely universal (unconditional) logical dichotomy between corresponding statements of being and statements of value. I am to do this by deliberate inventing (intentional constructing) a counter-example falsifying Moore's conception. Such criticizing Moore's allegedly universal doctrine of naturalistic fallacies in ethics is a significant novelty: the deductive logic apparatus exploited for falsifying the doctrine of Moore in this article differs much from the inductive logic methods used by the overwhelming majority of his opponents hitherto. I mean systematical exploiting (1) two-valued algebra of formal ethics as formal axiology (Lobovikov 1980; 1984; 1988; 1999; 2014; 2018a; 2019) and (2) a formal axiomatic epistemology theory £ (Sigma) to be precisely defined below in the present article. Hereafter the terms "proof" and "theorem" are used in those special meanings which have been defined precisely in XX century mathematical logic by the formalists (Weir 2019). Namely, by
definition, a proof of a formula as a theorem in an axiomatic theory is such a finite succession of formulae of the theory, in which succession: 1) the theorem is the last formula of the succession; 2) any formula belonging to the succession is either an axiom of the theory; or a formula obtained from previous formulae of the succession by an inference-rule of the theory. Originally, an attempt to criticize Moore's doctrine of the naturalistic fallacies in ethics by exploiting formal-deductive-inference construction in a formal axiomatic epistemology theory was undertaken by Lobovikov (Lobovikov 2017). However, the attempt was accomplished within not £ but another formal axiomatic epistemology theory, and the theorem formally proved by Lobovikov (Lobovikov 2017) differs significantly from the one formally proved in the present article.
Within the formal axiomatic epistemology theory £, below a formal deductive proof of formula-scheme (Aa z> ((ti=+=tk) <-> ([t] [tk]))) as a theorem-scheme (in Z) is constructed for the first time. According to that semantics of the artificial language of formal theory £, which (semantics) is defined precisely below in this article, the theorem-scheme (Aa n> ((ti=+=tk) ([ti] [tk]))) represents (in £) the above promised precise definition of the exotic condition under which the theory of Moore is falsified.
According to the below-given interpretation of £, the formula Aa represents the assumption of a-priori-ness of knowledge. In the interpretation under discussion, "zd" is "classical (material) implication". Formally to prove that (Aa => ((t=+=tk) ([ti] [tk]))) is a theorem-scheme in £, and attentively to examine the formal proof, it is indispensable to have exact definitions of the terms involved into the discourse. Therefore, let us start with submitting precise definitions of the notions relevant to the case.
2. Precisely Defining the Formal Axiomatic Epistemology Theory
The present paragraph of this paper is targeted at making the reader acquainted with the formal axiomatic epistemology theory £ which is a result of developing further (complementing substantially) the axiomatic epistemology system S originally submitted by Lobovikov (Lobovikov 2018b).
According to the definition, the logically formalized axiomatic episte-mology system S contains all symbols (of the alphabet), expressions, formulae, axioms, and inference-rules of the formal axiomatic epistemology theory S (Lobovikov 2018b) which is based on the classical propositional logic. But in £ several significant aspects are added to the formal theory S. In result of these additions the alphabet of £'s object-language is defined as follows:
1) Small Latin letters q, p, d (and the same letters possessing lower number indexes) are symbols belonging to the alphabet of object-language of £; they are called "propositional letters". Not all small Latin letters are propositional ones in the alphabet of £'s object-language, as, by this definition, small Latin letters belonging to the set {g, b, e, n, x, y, z, t} are excluded from the set of propo-sitional letters.
2) Logic symbols -■ , ZD, <->, &, v called "classical negation", "material implication", "equivalence", "conjunction", "not-excluding disjunction", respectively, are symbols belonging to £'s object-language alphabet.
3) Elements of the set of modality-symbols {□, K, A, E, S, T, F, P, Z, G, W, O, B, U, Y} belong to £'s object-language alphabet.
4) Technical symbols "(" and ")" ("round brackets") belong to £'s object-language alphabet. The round brackets are exploited in this paper as usually in symbolic logic.
5) Small Latin letters x, y, z (and the same letters possessing lower number indexes) are symbols belonging to £'s object-language-alphabet (they are called "axiological variables").
6) Small Latin letters "g" and "b" called axiological constants belong to the alphabet of object-language of £.
7) The following not-indexed capital Latin letters - L, V, I, D, J, N, and the capital Latin letters possessing number indexes - K2, W2, A2, Akn, Bin, Cn, Dmn, ... belong to the object-language-alphabet of £ (they are called "axiological-value-functional symbols"). The upper number index n informs that the indexed symbol is n-placed one. Nonbeing of the upper number index informs that the symbol is determined by one axiological variable. The value-functional symbols may have no lower number index. If lower number indexes are different, then the indexed functional symbols are different ones.
8) Symbols "[" and "]" ("square brackets") also belong to the object-language-alphabet of £, but in this theory they are exploited in an very unusual way. Although, from the psychological viewpoint, square brackets and round ones look approximately identical and are used very often as synonyms, in the present article they have qualitatively different meanings (roles): exploiting round brackets is purely technical as usually in symbolic logic; square-bracketing has an ontological meaning which is to be defined below while dealing with semantic aspect of £. Moreover, even at syntax level of £'s object-language, being not purely technical symbols, square brackets play a very important role in the below-given definition of the general notion "formula of £" and in the below-given formulations of some axiom-schemes of £.
9) An unusual artificial symbol "=+=" called "formal-axiolog-ical equivalence" belongs to the alphabet of object-language of £. The symbol "=+=" also plays a very important role in the below-given definition of the general notion "formula of £" and in the below-given formulations of some axiom-schemes of £.
10) A symbol belongs to the alphabet of object-language of £, if and only if this is so owing to the above-given items 1) - 9) of the present definition.
A finite succession of symbols is called an expression in the object-language of £, if and only if this succession contains such and only such sym-
bols which belong to the above-defined alphabet of Z's object-language.
Now let us define precisely the general notion "term of Z":
1) the axiological variables (from the above-defined alphabet) are terms of Z;
2) the axiological constants belonging to the alphabet of Z, are terms of Z;
3) If Ф^ is an n-placed axiological-value-functional symbol from the above-defined alphabet of Z, and t, ... tn are terms (of Z), then Ф^, ... tn is a term (compound one) of Z (here it is worth remarking that symbols t, ... tn belong to the meta-language, as they stand for any terms of Z; the analogous remark may be made in relation to the symbol Ф^ which also belongs to the meta-language);
4) An expression in object-language of Z is a term of Z, if and only if this is so owing to the above-given items 1) - 3) of the present definition.
Now let us make an agreement that in the present paper, small Greek letters a, в, and у (belonging to meta-language) stand for any formulae of Z. By means of this agreement the general notion "formulae of Z" is defined precisely as follows.
1) All the above-mentioned propositional letters are formulae
of Z.
2) If a and в are formulae of Z, then all such expressions of the object-language of Z, which possess logic forms --a, (a ZD в), (a в), (a & в), (a v в), are formulae of Z as well.
3) If ti and tk are terms of Z, then (ti=+=tk) is a formula of Z.
4) If ti is a term of Z, then [ti] is a formula of Z.
5) If a is a formula of Z, and meta-language-symbol Y stands for any element of the set of modality-symbols {□, K, A, E, S, T, F, P, Z, G, W, O, B, U, Y}, then any object-language-expression of Z possessing the form Ya, is a formula of Z as well. (Here, the metalanguage-expression Ya is not a formula of Z, but a scheme of formulae of Z.)
6) Successions of symbols (belonging to the alphabet of the object-language of Z) are formulae of Z, if and only if this is so owing to the above-given items 1) - 5) of the present definition.
Now let us introduce the elements of the above-mentioned set of modality-symbols {□, K, A, E, S, T, F, P, Z, G, W, O, B, U, Y}. Symbol □ stands for the alethic modality "necessary". Symbols K, A, E, S, T, F, P, Z, respectively, stand for modalities "agent Knows that.", "agent A-priori knows that.", "agent Empirically (a-posteriori) knows that.", "under some conditions in some space-and-time a person (immediately or by means of some tools) Sensually perceives (has Sensual verification) that.", "it is True that.", "person has Faith (or believes) that.", "it is Provable that.", "there is an algorithm (a machine could be constructed) for deciding that.".
Symbols G, W, O, B, U, Y, respectively, stand for modalities "it is (morally) Good that.", "it is (morally) Wicked that.", "it is Obligatory that .", "it
is Beautiful that ...", "it is Useful that ...", "it is pleasant that ...". Meanings of the mentioned symbols are defined (indirectly) by the following schemes of own (proper) axioms of epistemology system £ which axioms are added to the axioms of classical propositional logic. Schemes of axioms and inference-rules of the classical propositional logic are applicable to all formulae of £. More detailed introduction and content-discussion of the modalities can be found in (Lobovikov 2018b).
Axiom scheme AX-1: Aa ZD (□ p ZD p).
Axiom scheme AX-2: Aa ZD (n(a ZD p) ZD (□a ZD ap)).
Axiom scheme AX-3: Aa (Ka & (□ a & □ -Sa & a(p np))).
Axiom scheme AX-4: Ea (Ka & (^ Da v -- □ -- Sa v -- n(p np))).
Axiom scheme AX-5: (□p & mp) ZD p.
Axiom scheme AX-6: (ti=+=tk) ZD (G[ti] G[tk]).
Axiom scheme AX-7: (t=+=g) ZD □G[ti].
Axiom scheme AX-8: (ti=+=b) ZD □W[ti].
Axiom scheme AX-9: (Ga ZD -Wa).
Axiom scheme AX-10: (Wa ZD --Ga).
In AX-3 and AX-4, the symbol n (belonging to the meta-language) stands for any element of the set R = {□, K, T, F, P, Z, G, O, B, U, Y}. Let elements of R be called "perfection-modalities" or simply "perfections".
The axiom-schemes AX-9 and AX-10 are not new in evaluation logic: one can find them in the famous monograph by (Ivin 1970). But the axiom-schemes AX-6, AX-7, AX-8 are new ones: they have not been published hitherto.
3. Defining Semantics of/for Meanings of the symbols belonging to the alphabet of object-language of £ owing to the items 1—3 of the above-given definition of the alphabet are defined by the classical propositional logic.
For defining semantics of specific aspects of object-language of formal theory £ it is necessary to define a set A (called "field of interpretation") and an interpreter called "valuator (evaluator)" ©.
In a standard interpretation of formal theory £, the set A (field of interpretation) is such a set, every element of which has: (1) one and only one axiological value from the set {good, bad}; (2) one and only one ontological value from the set {exists, not-exists}.
The axiological variables x, y, z range over (take their values from) the set A.
The axiological constants "g" and "b" mean, respectively, "good" and "bad".
It is presumed here that axiological evaluating an element from the set A, i.e. ascribing to this element an axiological value from the set {good, bad} is performed by a quite definite (perfectly fixed) individual or collective valuator (evaluator) ©. It is obvious that changing © can result in changing valuations of elements of A. But laws of two-valued algebra of formal axiology do not depend upon changes of © as, by definition, formal-axiological laws
of this algebra are such and only such constant evaluation-functions which obtain the value "good" independently from any changes of valuators. Thus, generally speaking, © is a variable which takes its values from the set of all possible evaluators (individual or collective - it does not matter). Nevertheless, a concrete interpretation of formal theory Z is necessarily fixing the value of ©; changing the value of the variable © is changing the concrete interpretation.
In a standard interpretation of formal theory Z, ontological constants "e" and "n" mean, respectively, "exists" and "not-exists". Thus, in a standard interpretation of formal theory Z, one and only one element of the set {{g, e}, {g, n}, {b, e}, {b, n}} corresponds to every element of the set A. The ontological constants "e" and "n" belong to the meta-language. (According to the above-given definition of Z's object-language-alphabet, "e" and "n" do not belong to the object-language.) But the ontological constants are indirectly represented at the level of object-language by square-bracketing: "ti exists" is represented by [tj; "ti not-exists" is represented by --[tj. Thus square-bracketing is a very important aspect of the system under investigation.
N-placed terms of Z are interpreted as n-ary algebraic operations (n-placed evaluation-functions) defined on the set A.
Speaking of evaluation-functions means speaking of the following mappings (in the proper mathematical meaning of the word "mapping"): {g, b} -> {g, b}, if one speaks of the evaluation-functions determined by one evaluation-variable; {g, b}x{g, b} -> {g, b}, where "*" stands for the Cartesian product of sets, if one speaks of the evaluation-functions determined by two evaluation-variables; {g, b}N -> {g, b}, if one speaks of the evaluation-functions determined by N evaluation-variables, where N is a finite positive integer. For instantiating the psychologically not-habitual general notion "evaluation-function" systematically used in two-valued algebra of ethics as formal axiology, evaluation-functions Lx, Vx, Ox, Dx, Jx, Nx are defined precisely by the below evaluation-table 1. (For correct understanding contents of this paper, it is worth emphasizing here that in the semantics of Z, the above-used symbols Lx, Vx, Ix, Dx, Jx, Nx mean not predicates but terms. Being given a relevant interpretation, the expressions (ti=+=tk), (ti=+=g), (ti=+=b) are representations of predicates in Z.)
Table 1. One-placed evaluation-functions
x Lx Ух Ix Dx Jx Nx
g g b b g g b
b b g b g b g
The one-placed term Lx is interpreted in this article as one-placed evaluation-function "freedom for (what, whom) x". The one-placed term Vx is interpreted in this article as one-placed evaluation-function "freedom from (what, whom) x". In the interpretation submitted in this paper, the
term Ix stands for the evaluation-function ""absolute freedom for arbitrary (contingent) choice between being of x and nonbeing of x", i.e. "freedom for (tolerance to) both: realizing (what, whom) x and not-realizing (what, whom) x". In other words, Ix means act of uniting "freedom from (what, whom) x" and "freedom from nonbeing of (what, whom) x". Thus, in this paper, the term Ix is interpreted as a negative-constant-evaluation-function, i.e. as a formal-axiological contradiction. In the interpretation given in this paper, the term Dx stands for the evaluation-function "x's being free from Ix, i.e. x's being free from (somebody's) arbitrary treating (what, whom) x". Thus, in natural language, humans have not one and the only, and even not two, but four mathematically different meanings of the word "freedom". (Unfortunately, even today philosophers and linguists do not recognize the very important mathematical difference among the four.) Finally, in the above table 1; the symbol Jx stands for the evaluation-function "being (existence) of (what, whom) x"; Nx stands for the evaluation-function "non-being (non-existence) of (what, whom) x".
For instantiating the general notion "two-placed evaluation-function" also systematically exploited in two-valued algebra of ethics as formal axi-ology, one can use (Lobovikov 1980; 1984; 1988; 1999).
If ti is a term of £, then, being interpreted, formula [ti] of £ is an either true or false proposition "ti exists". In a standard interpretation, formula [ti] is true if and only if ti has the ontological value "e (exists)" in that interpretation. The formula [ti] is a false proposition in a standard interpretation, if and only if ti has the ontological value "n (not-exists)" in that interpretation.
Given a relevant interpretation, the formula (ti=+=tk) of £ is translated into natural language by the proposition "ti is formally-axiologically equivalent to tk", which proposition is true if and only if (in the interpretation) the terms ti and tk have identical axiological values from the set {good, bad} under any possible combination of axiological values of their axiological variables.
Now, having introduced and defined precisely the substantially new notions essentially involved into the discourse, let us move directly to the above-promised formal proof construction.
4. Formal proof of the theorem scheme (Aa ZD ((t=+=tk) <-;>• ([tj [tk]))) in 2- The proof of (Aa => ((ti=+=tk) ([ti] ^ [tk]))) in £ is the followwing succession of formulae schemes.
1. Aa (Ka & (□ a & izi--Sa & n(p np))) by axiom-scheme AX-3.
2. Aa <->(Ka & (da & n-Sa & □([ti] G[ti]))) from 1 by substituting: G for n; [ti] for p. i i
3. A a => (Ka & (□ a & n-Sa & □([ti] G[ti]))) from 2 by the rule of elimination.
4. Aa assumption.
5. Ka & (da & izi--Sa & □([ti] G[ti])) from 3 and 4 by modus ponens.
6. □([ti] G[ti]) from 5 by the rule of eliminating &.
7. ([ti] G[ti]) from 4 and 6 by a rule of □ elimination. (The □ elimination rule is derivative one1.)
8. Aa (Ka & (da & d-Sa & □([tk] G[tk]))) from 1 by substituting: G for n; [tk] for p.
9. A a =) (Ka & (da & dh-Sa & □([tk] <h> G[tk]))) from 8 by the rule of eliminating <-»•.
10. Ka & (□ a & izi--Sa & d([tk] G[tk])) from 4 and 9 by modus ponens.
11. d([tk] G[tk]) from 10 by the rule of eliminating &.
12. ([tk] G[tk]) from 4 and 11 by the rule of □ elimination.
13. (t=+=tk) ^ (G[ti] <h>. G[tk]) axiom-scheme AX-6.
14. (ti=+=t]f) => (G[ti] G[tk]) from 13 by the rule of elimination.
15. (ti=+=tk) assumption.
16. (G[ti] <-;>• G[tk]) from 14 and 15 by modus ponens.
17.([ti] G[tk]) from 7 and 16 by the rule of transitivity of <->.
18. (G[tk] ^ [tk]) from 12 by the rule of commutativity of <->.
19. ([ti] <-;>• [tk]) from 17 and 18 by the rule of transitivity of <->.
20. Aa, (t=+=tk) ([ti] [tk]) by the succession 1-19.
21. Aa |-i (t=+=tk) => ([tj <-> [tk]) from 20 by the rule of =) introduction.
22. (G[ti] ^ G[tk]) =5 (t=+=tk) from 13 by the rule of elimination.
23. ([ti] <-;>• [tk]) assumption.
24. (G[ti] [ti]) from 7 by the rule of commutativity of <->.
25. (G[tJ <->■ G[tk]) from 24 and 17 by the rule of transitivity of <->.
26. (ti=+=tk) from 22 and 25 by modus ponens.
27. A a, ([ti] ** [tk]) |- (ti=+=tk) by the succession 1-26.
28. Aa |-i ([ti] [tk]) ZD (t=+=tk) from 27 by the rule of ZD introduction.
29. Aa |- ((t=+=tk) ^ ([ti] [tk])) from 28 and 21 by the rule of <h> introduction.
30. |- Aa => ((ti=+=tk) ([ti] [tk])) from 28 by the rule of => introduction.
Here you are2.
5. Discussing the Theorem Scheme and Arriving to the Conclusion. Moore (Moore 1903) undertook an attempt of systematical critique of arguments demonstrating rational moral philosophy statement of the existence of logical relationship between corresponding statements of being and statements of moral goodness (positive moral value). All possible attempts logically to bridge the gap between the two qualitatively different species of statements were labeled by him "naturalistic fallacies in ethics".
1 It is formulated as follows: Aa, dp |- p. This rule is not included into the above-given definition of Z, but it is easily derivable in Z by means of the axiom scheme AX-1 and modus ponens. (The rule dp |- p is not derivable in Z, and also Godel's necessitation rule is not derivable in Z. Nevertheless, a limited or conditioned necessitation rule is derivable in Z, namely, Aa, dp |- p.)
2 I am grateful to Grigori Olkhovikov for his examining the proof and for suggesting an option of making it more short one.
However, in relation to Moore's unconditional negating the arguments in general, the theorem (Aa n> ((ti=+=tk) ([ti] [tk]))) formally proved above in the present article (within the theory £) is a counter-example; under the rare (exotic) condition of knowledge a-priori-ness, formal-logic deriving statements of positive moral value from corresponding statements of being can be valid. In the above-defined interpretation of £: (ti=+=tk) is a purely evaluative statement as it is a formal-axiological equivalence of evaluation-functions; ([ti] [tk]) is a purely ontological statement as it is a logical equivalence of corresponding statements of being, consequently, the purely ontological statement implies logically the corresponding purely evaluative one (and conversely) under the condition that Aa.
It is worth noting here that there are publications on metaphysics as formal axiology, for instance, by Lobovikov (Lobovikov 2007; 2015), in which (for the sake of avoiding paradoxes) the following formal rule is suggested: (A) it is forbidden logically to infer ([ti] [tk]) from (ti=+=tk), and (B) it is forbidden logically to infer (ti=+=tk) from ([ti] [tk]). This prohibition based on philosophical empiricism conceptions by Hume (Hume 1874; 1994; 1998) and Moore (Moore 1903) seems to be in logic contradiction with the above-proved theorem, but, in my opinion, it only seems so, as the domain of relevant applicability of the above-formulated prohibition has limits: the ban is not absolutely, but relatively valid.
The empirical moral philosophy doctrines by Hume and Moore are only partly adequate: they are universally true within the restricted domain of facts (=contingent truths) and empirical arguments; they are quite right under the condition that Ea. But contingent moral truths and empirical moral arguments were beyond the aim and subject-matter of the present paper; hence, they were not involved into the discourse intentionally. In the article an abstraction from empirical aspect of the problem under discussion is accepted (this explains using not all axiom schemes of £ in this paper), consequently, the philosophical significance of the theorem formally proved in this paper is limited. Nevertheless, the unusual formal axiomatic theory £ and the psychologically unexpected deductive inference of the purely evaluative statement from the corresponding purely ontological one (under the condition that Aa) is interesting theoretically and worth discussing.
Vladimir O. Lobovikov, Institute of Philosophy and Law,
Ural Branch of the Russian Academy of Sciences, Yekaterinburg, Russia.
E-mail: vlobovikov@mail.ru
ORCID: 0000-0001-8760-0452
ResearcherID: K-4188-2018
SPIN-Kog: 3994-4289
Article received 16.12.2019, accepted29.02.2020, available online 11.01.2021
Knowledge logic and algebra of formal axiology: a formal axiomatic epistemology
theory Sigma used for precise defining the exotic condition under which Hume-and-Moore doctrine of logically unbridgeable gap between statements of being and statements of value is falsified
Abstract. For the first time, in the formal axiomatic epistemology theory Sigma such a theorem is formally proved which means (in the precisely defined interpretation) that under the condition of knowledge a-priori-ness, a statement of formal-axiological equivalence of moral-evaluation-functions is logically equivalent to logic equivalence of corresponding statements of being. For the first time it is shown that this theorem undermines universality of the conception of Hume and Moore. A precise definition is given for the formal axiomatic theory Sigma, which is a result of logical formalization of the universal philosophical epistemology; and a relevant interpretation of this formal theory is submitted. The formal proof of the theorem can be examined by readers step by step as it is accomplished in accordance with the formalism standards.
Keywords: formal-axiomatic-epistemology-theory; a-priori-knowledge; two-valued-algebra-of-formal-axiology; formal-axiological-equivalence; moral-evaluation-function; Hume-guillotine; naturalistic-fallacies-in-ethics; fact-value-dualism.
For citation: Lobovikov V.O. Knowledge Logic and Algebra of Formal Axiology: a Formal Axiomatic Epistemology Theory Sigma Used for Precise Defining the Exotic Condition Under Which Hume-and-Moore Doctrine of logically Unbridgeable Gap Between Statements of Being and Statements of Value is Falsified, Antinomii=Antinomies, 2020, vol. 20, iss. 4, pp. 7-23. DOI 10.24411/2686-7206-2020-10401.
References
Adler M.J. 1981. Six Great Ideas: Truth, Goodness, Beauty, Liberty, Equality, Justice; Ideas We Judge by, Ideas We Act On, New York, Collier/Macmillan, 243 p.
Ayer A.J. 1952. Language, Truth and Logic. New York, Dover Publications, 160 p.
Ayer A.J. 1954. Philosophical Essays, London, Mcmillan, 284 p.
Carnap R. 1931. Überwindung der Metaphysik durch logische Analyse der Sprache [Overcoming Metaphysics by Logical Analysis of Language], Erkenntnis, no. 2, pp. 219241. (in German).
Carnap R. 1956. Meaning and Necessity: a study in semantics and modal logic, Chicago, London, Univ. of Chicago Press, 258 p.
Descartes R. 1994a. Meditations on First Philosophy, M. Adler (ed.), Great Books of the Western World, Chicago, Auckland, London, Madrid, Encyclopedia Britannica, vol. 28, pp. 295-329.
Descartes R. 1994b. Discourse on the Method of Rightly Conducting the Reason, M. Adler (ed.), Great Books of the Western World, Chicago, Auckland, London, Madrid, Encyclopedia Britannica, vol. 28, pp. 265-291.
Dewey J. 1903. Logical Conditions of a Scientific Treatment of Morality, J.A. Boydston (ed.), John Dewey: The Middle Works, 1899-1924, Carbondale, IL, Southern Illinois Univ. Press, vol. 3, pp. 3-39.
Dewey J. 1929. The Quest for Certainty: A Study of the Relation of Knowledge and Action, New York, Minton, Balch and Co., 324 p.
Dewey J. 1938. Logic, the Theory of Inquiry, New York, H. Holt and Co., 546 p.
Dewey J. 1939. Theory of Valuation, Chicago, Univ. of Chicago Press, 67 p.
Hume D. A 1874. Treatise of Human Nature Being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects, T.H. Green, T.H. Grose (eds.), The Philosophical Works of David Hume in Four Volumes, London, Longmans, Green, and Co., vol. 2, pp. 1-374.
Hume D. 1994. An Enquiry Concerning Human Understanding, Mortimer J. Adler (ed.), Great Books of the Western World, Chicago, London, Encyclopedia Britannica, Inc., vol. 33, pp. 451-509.
Hume D. 1998. An Enquiry Concerning the Principles of Morals, Oxford, Oxford Univ. Press, 300 p.
Ivin A.A. 1970. Osnovanija logiki ocenok [Foundations of Evaluation Logic], Moscow, Izdatel'stvo Moskovskogo universiteta, 230 p. (in Russ.).
Leibniz G.W. 1903. Generales Inquisitiones de Analysi Notionum et Veritatum [General Investigations concerning the Analysis of Concepts and Truths], L. Couturat(ed.), Opuscules et Fragments Inédits de Leibniz: extraits de la Bibliothèque royale de Hanovre, Paris, Alcan, pp. 356-399. (in Latin).
Leibniz G.W. 1952. Theodicy: essays on the goodness of God, the freedom of man, and the origin of evil, London, Routledge & K. Paul, 448 p.
Leibniz G.W. 1969. Philosophical Papers and Letters, 2nd ed., Dordrecht, D. Reidel, 736 p.
Leibniz G.W. 1971. Elementa Juris Naturalis [Elements of the Natural Law], G. W. Leibniz, Philosophishe Schriften, Berlin, Akademie-Verlag, vol. 1, pp. 431-485. (in Latin).
Leibniz G.W. 1981. New essays on human understanding, Cambridge [Eng.], New York, Cambridge Univ. Press, 402 p.
Lewis C. I. 1946. An Analysis of Knowledge and Valuation, LaSalle, Illinois, Open Court, 567 p.
Lobovikov V.O. 1980. Algebraizatsiya otdel'nykh fragmentov etiki kak predposylka ikh formalizatsii [An Algebraization of Some Fragments of Ethics as a Prerequisite of Their Formalization], Tezisy konferentsii "Problemy i perspektivy ispolzovaniya logiko-kiberneticheskoi tekhniki", Sverdlovsk, Oblastnoi sovet NTO, pp. 49-51. (in Russ.).
Lobovikov V.O. 1984. Novaya nelogicheskaya interpretatsiya matematicheskogo apparata klassicheskoi logiki predikatov pervogo poryadka [A New Not-Logic Interpretation of Mathematical Apparatus of the Classical First-Order Predicate Logic], Logika, poznanie, otrazhenie, Sverdlovsk, Izdatel'stvo Ural'skogo universiteta, pp. 33-58. (in Russ.).
Lobovikov V.O. 1988. Iskusstvennyi intellekt, formal'naya etika i moralno-pravovoi vybor [Artificial Intelligence, Formal Ethics, and Moral-Legal Choice], Sverdlovsk, Izdatel'stvo Ural'skogo universiteta, 188 p. (in Russ.).
Lobovikov V.O. 1999. Mathematical Jurisprudence and Mathematical Ethics (A mathematical simulation of the evaluative and the normative attitudes to the rigoristic subsystems of the Positive Law and of the Natural-Law-and-Morals), Yekaterinburg, The Urals State University Press, The Urals State Law Academy Press, The Liberal Arts University Press, 124 p.
Lobovikov V.O. 2007. Matematicheskaya etika, metafizika i estestvennoe pravo (Algebra metafiziki kak algebra formal'noi aksiologii) [Mathematical Ethics, Metaphysics, and the Natural Law (Algebra of Metaphysics as Algebra of Formal Axiology)], Yekaterinburg, Institut filosofii i prava Ural'skogo otdeleniya Rossiiskoi akademii nauk, 408 p. (in Russ.).
Lobovikov V.O. 2014. Algebra of Morality and Formal Ethics, Benziman Y., Lobovikov V., Lublin R.I., Huang L., Bacon S., Szutta N., Bronk K., Looking Back to See the Future.
Reflections on Sins and Virtues, edited by Katarzyna Bronk, Oxford, Interdisciplinary Press, pp. 17-41.
Lobovikov V.O. 2015. The Trinity Triangle and the Homonymy of the Word "Is" in Natural Language (A Logically Consistent Discrete Mathematical Representation of the Trinity by Means of Algebra of Morality and Formal Ethics), Philosophy Study, vol. 5, no. 7, pp. 327-341. DOI 10.17265/2159-5313/2015.07.001.
Lobovikov V.O. 2017. Formal'nyj deduktivnyj vyvod ekvivalentnosti ocenochnyh modal'nostej dobra, polzy i udovolstviya v aksiomaticheskoj sisteme epistemologii iz dopushcheniya ob apriornosti znaniya (Aksiomaticheskoe opredelenie oblasti umestnoj primenimosti ucheniya Dzh. Mura o naturalisticheskih oshibkah v etike) [A Formal Deductive Proof of Equivalence of Evaluative Modalities of Moral Goodness, Utility and Pleasure within an Axiomatic System of Epistemology from the Assumption of A-priori-ness of Knowledge (An Axiomatic Definition of the Scope of Relevant Applying G. Moore's Doctrine of the Naturalistic Fallacies in Ethics)], Journal of Tomsk State University. Series: Philosophy, Sociology, Political Studies, vol. 39, no. 3, pp. 30-39. DOI 10.17223/1998863X/39/4. (in Russ.).
Lobovikov V.O. 2018a. Vindicating Godel's Uniting Logic, Metaphysics and Theology (God's omnipresence proved by computing compositions of evaluation-functions in two-valued algebra of metaphysics as formal axiology), Proceedings of the Round Table "Religion and Religious Studies in the Urals", Yekaterinburg, Delovaya Kniga, pp. 33-36.
Lobovikov V.O. 2018b. Proofs of Logic Consistency of a Formal Axiomatic Epistemology Theory E, and Demonstrations of Improvability of the Formulae (Kq -> q) and ( IUq -> q), Journal of Applied Mathematics and Computation, vol. 2, no. 10, pp. 483-495. DOI 10.26855/jamc.2018.10.004.
Lobovikov V.O. 2019. Analytical Theology: God's Omnipotence as a Formal-Axiological Law of the Two-Valued Algebra of Formal Ethics (Demonstrating the Law by "Computing" Relevant Evaluation-Functions), Tomsk State University Journal of Philosophy, Sociology and Political Science, no. 1(47), pp. 87-93. DOI 10.17223/1998863X/47/9.
MacIntyre A. 1981. After Virtue: A Study in Moral Theory, Notre Dame, Indiana, Univ. of Notre Dame Press, 252 p.
Mackie J.L. 1946. The Refutation of Morals, Australasian Journal of Philosophy, no. 24, pp. 77-90.
Mackie J.L. 1977. Ethics: Inventing Right and Wrong, Harmondsworth, Penguin, 249 p.
Marchetti G., Marchetti S. 2017. Behind and Beyond the Fact/Value Dichotomy, G. Marchetti, S. Marchetti (eds.), Facts and Values: The Ethics and Metaphysics of Normativity, New York, London, Routledge, pp. 1-23.
Moore G.E. 1903. Principia Ethica, Cambridge, Cambridge Univ. Press, 232 p.
Morris C. 1963. Pragmatism and Logical Empiricism, P. A. Schilpp (ed.), The Philosophy of Rudolf Carnap, La Salle, IL., Open Court, pp. 87-97.
Putnam H. 1981. Reason, Truth and History, Cambridge, Univ. Press, 224 p.
Putnam H. 2002. The Collapse of the Fact/Value Dichotomy. And Other Essays, Cambridge, MA, Harvard Univ. Press, 190 p.
Putnam H. 2004. Ethics without Ontology, Cambridge, MA, Harvard Univ. Press, 160 p.
Putnam H. 2015. Naturalism, Realism and Normativity, Journal of the American Philosophical Association, vol. 1, no. 1, pp. 312-328.
Putnam H. 2017. The Fact/Value Dichotomy and the Future of Philosophy, G. Marchetti, S. Marchetti (eds.), Facts and Values: The Ethics and Metaphysics of Normativity, New York, London, Routledge, pp. 27-44.
Quine W.V.O. 1980. From a Logical Point of View: Nine Logico-Philosophical Essays, 3rd ed., Cambridge, Mass., Harvard Univ. Press, 184 p.
Russell B. 1914. Our Knowledge of the External World as a Field for Scientific Method in Philosophy [The Lowell Lectures, 1914], London, Open Court Publishing Co., 245 p.
Russell B. 1918. Mysticism and Logic and Other Essays, New York, Longmans, Green & Co., 234 p.
Russell B. 1940. An Inquiry into Meaning and Truth, New York, W.W. Norton & Co., Inc., London, George Allen & Unwin, 445 p.
Russell B. 1948. Human Knowledge: Its Scope and Limits, London, George Allen and Unwin, 538 p.; New York, Simon and Schuster, 524 p.
Russell B. 1997. Religion and Science, Oxford, New York, Oxford Univ. Press, 272 p.
Schiller F.C.S. 1903. Humanism: Philosophical Essays, London, New York, Macmillan & Co., 297 p.
Schlick M. 1974. General Theory of Knowledge, Wien, Springer-Verlag, 410 p.
Schlick M. 1978. Philosophical Papers. Vol. 1. 1909-1925, H.L. Mulder and B.F. van de Velde-Schlick (eds.), Dordrecht, D. Reidel, 374 p.
Schlick M. 1979. Philosophical Papers. Vol. 2. 1925-1936, H.L. Mulder and B.F. van de Velde-Schlick (eds.), Dordrecht, D. Reidel, 538 p.
Stevenson C.L. 1937. The Emotive Meaning ofEthical Terms, Mind, no. 46, pp. 14-31.
Stevenson C.L. 1944. Ethics and Language, New Haven, Yale Univ. Press, 349 p.
Stevenson C.L. 1963. Facts and Values: Studies in Ethical Analysis, New Haven, Yale Univ. Press, Montreal, McGill Univ. Press, 244 p.
Weber G.F. 2017. The Fact-Value Dichotomy: A New Light on an Old Problem, Sociology Mind, no. 7, pp. 154-170. DOI 10.4236/sm.2017.74011, available: https://www. scirp.org/journal/paperinformation.aspx?paperid=78678, (accessed November 23, 2019).
Weir A. 2019. Formalism in the Philosophy of Mathematics, Edward N. Zalta (ed.),The Stanford Encyclopedia of Philosophy (Fall 2019 Edition), available at: https://plato.stanford. edu/archives/fall2019/entries/formalism-mathematics/ (accessed February 11, 2020).
Wittgenstein L. 1992. Tractatus logico-philosophicus, London, New York, Routledge & K. Paul, 207 p.
