Two Worlds, Two Languages, Two Semantics, Two Linguistic Principles of Compositionality, and Two Kinds of Nonsenses (Criticizing Wittgenstein’s philosophy of morals and of metaphysics by means of discrete mathematical modeling a formal-ethical aspect of his worldview)

Abstract

The paper represents a systematical critique of Wittgenstein’s attitude to semantics of the natural language of ethics and metaphysics. The critique is implemented by means of a discrete mathematical simulation of the famous principle of separation of facts and values. For precise mathematical formulating this separation principle a two-valued algebra of formal ethics is exploited. Being equipped with the fact-&-value-separation principle the author submits systematical separating two worlds, two opposite aspects of natural languages, two formal semantics, two kinds of meanings, two different principles of linguistic compositionality of meanings, and two kinds of nonsenses. The twin worlds, twin aspects of natural languages, twin formal semantics, twin kinds of meanings and twin kinds of nonsenses are inter-excluding and inter-complementing ones. The first elements of the twins are related to the world of “Tractatus”. The second elements of the twins are related to the world of pure values which world is transcendent to the one of “Tractatus”. The paper is targeted at explicating and precise tabular defining formal-axiological meanings of words and compound word-combinations of the natural language of morals and metaphysics. The author proclaims that according to the submitted (novel) formal-axiological principle of linguistic compositionality (of meanings), formal-axiological meaning of a compound word-combination (of the natural language of morals and metaphysics) is a composition of such moral-evaluation-functions which are formalaxiological meanings of the parts of the compound word-combination. The idea of computing formal-axiological meanings of compound word-combinations (of the language of morals and metaphysics) is exemplified by the submitted discourse about proper knowledge, alethic faith, and alethic tolerance. In the algebraic system of formal ethics a precise definition of the formal-ethicalequivalence relation among moral-evaluation-functions is given and formal-ethical equations are generated by means of computing relevant moral-evaluation-tables. Equations linking moralevaluation- functions “knowledge”, “assumption”, “ faith”, “doubt” are used as representative examples

В статье представлена систематическая критика точки зрения Винтгенштейна о семантике естественного языка этики и метафизики. Критика основана на дискретном математическом моделировании известного принципа разделения фактов и ценностей. Для точного математического формулирования данного принципа разделения используется двузначная алгебра формальной этики. Используя принцип разделения факта и ценности, автор предлагает систематическое разделение двух миров, двух противоположных аспектов естественных языков, двух формальных семантик, двух типов значений, двух различных принципов лингвистической композиционности значений и двух видов бессмыслицы. Парные миры, парные аспекты естественных языков, парные формальные семантики, парные типы значений и парные виды бессмыслицы являются взаимоисключающими и взаимодополняющими. Первые схожие элементы относятся к миру «Трактата». Вторые схожие элементы относятся к миру чистых значений, мир которых трансцендентен по отношению к миру «Трактата». Целью данной работы является толкование и точное табличное определение формально-аксиологических значений слов и составных словосочетаний естественного языка морали и метафизики. Автор отмечает, что в соответствии с представленным (новым) формально- аксиологическим принципом лингвистической композиционности (значений), формально- аксиологическим значением составного словосочетания (естественного языка морали и метафизики) выступает состав морально-оценочных функций, являющихся формально- аксиологическими значениями составных частей словосочетания. Идея вычисления формально-аксиологических смыслов составных словосочетаний (языка морали и метафизики) иллюстрируется представленным дискурсом соответствующих знаний, алетической веры и алетической толерантности. В алгебраической системе формальной этики дано точное определение соотношения формально-этической эквивалентности между морально-оценочными функциями. Формально-этические уравнения создаются посредством вычисления соответствующих морально-оценочных таблиц. В качестве иллюстрирующих примеров приводятся уравнения, связывающие морально-оценочные функции «знания», «допущения», «веры» и «сомнения»