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
For the first time in scientific literature the equivalence of moral goodness, utility and pleasure is derived deductively (formally) from the assumption of a-priori-ness of knowledge which assumption is precisely formulated in artificial language of modal logics. Constructing the formal inference is accomplished within the framework of an axiomatic system of universal philosophical epistemology making a synthesis of a-priori-ism (rationalism) and empiricism. Precise formulation of the used axiom system is submitted and references to the previously published initial options of it are given. In comparison with the previous publications the system of axioms has underwent significant transformations and additions. Concerning the paper under annotation first of all it is relevant to mention the addition of evaluative modalities: "it is useful that q"; "it is pleasant that q"; "it is beautiful that q", where q stands for a proposition. Without deliberate introducing and precise defining the modalities of utility and pleasure it would be impossible to obtain the main result of the paper. The paper exploits systematically the artificial languages and conceptual apparatus of contemporary symbolic logics (the classical symbolic logic and the various modal ones). The first previously not published new scientific result is submitting a formal deductive proof offor the theorem (Ap z> (Gp-oUp)) in the mentioned axiomatic epistemology system, where: p stands for a proposition; Ap stands for the modality "person a-priori knows that p"; Gp stands for the modality "it is morally good that p"; Up stands for the modality "it is useful that p"; the artificial symbols z> and o- stand for the binary logic operations "implication" and "equivalence", respectively. The second novel result previously not published elsewhere is constructing a formal deductive proof offor the theorem (Ap z> (Gp-оЖр)) in the mentioned axiomatic epistemology system, where Жp stands for the modality "it is pleasant that p". The third previously not published new scientific result is submitting a formal deductive proof offor the theorem (Ap z> (Up-оЖр)) in the mentioned axiomatic epistemology system. Accepting the definitions and formal deductive inferences submitted in this paper means precise axiomatic defining (formal limiting) the scope of relevance of G. Moore's doctrine of the naturalistic fallacies in ethics.
Keywords
логика,
натуралистические-ошибки-в-этике,
добро,
польза,
удовольствие,
logic,
naturalistic-fallacies-in-ethics,
goodness,
utility,
pleasureAuthors
| Lobovikov Vladimir О. | Institute of Philosophy and Law Ural Branch of Russian Academy of Sciences | vlobovikov@mail.ru |
Всего: 1
References
Целищев В.В. Философский переписчик: переводы и размышления. Новосибирск: ОмегаПресс, 2014.
Макинтайр А. После добродетели: исследования теории морали. М.: Академический проект, 2000.
Мур Дж. Принципыэтики. М.: Прогресс, 1984.
Мур Дж. Природа моральной философии. М.: Республика, 1999.
Бентам И. Введение в основания нравственности и законодательства. М.: РОССПЭН, 1998.
Милль Дж.-Ст. Обзор философии сэра Вильяма Гамильтона и главных вопросов, обсужденных в его творениях. СПб.: Русская книжная торговля, 1869.
Милль Дж.-Ст. Утилитарианизм. О свободе. СПб.: Изд. И.П. Перевозникова, 1900.
Фейерабенд П. Против метода. М.: ACT, 2007.
Адлер М. Шесть великих идей. М.: Изд-во: Манн, Иванов и Фербер, 2015.
Поппер К. Открытое общество и его враги. Т.1: Чары Платона. М.: Феникс. 1992.
Поппер К. Объективное знание. Эволюционный подход. М.: Эдиториал, 2002.
Поппер К. Логика научного исследования. М.: Республика, 2005.
Поппер К. Предположения и опровержения: рост научного знания. М.: ACT, 2008.
Hughes, G.E., andCresswell, M.J. A Companion to Modal Logic. London: Methuen, 1984.
Hilpinen, R. (ed.). Deontic Logic: Introductory and Systematic Readings. Dordrecht: D. Reidel, 1971.
Hintikka, J. Knowledge and Belief - An Introduction to the Logic of the Two Notions. Ithaca: Cornell University Press, 1962.
Иеин А.А. Основания логики оценок. М.: МГУ, 1970.
Лобоеикое В.О. Логический квадрат и гексагон эпистемических понятий // Эпистемы: Сб. науч. статей. Екатеринбург: Ажур, 2014. Вып. 9. С. 57-68.
Лобоеикое В.О. Историко-философский и логический аспекты проблемы взаимосвязи истинности и доказуемости: Г.В. Лейбниц; А. Тарский; К. Гёдель // Научный журнал «Дис-курс-П». 2015. № 3-4. С. 65-71.
Лобоеикое В.О. Аксиоматическая система эпистемологии // Известия Уральского федерального университета. Общественные науки. 2016. № 1 (149). С. 5-19.
Лобоеикое В.О. Еще одна аксиома рационалистической эпистемологии априорного знания: историко-философский и логический аспекты проблемы взаимосвязи истинности, доказуемости и алгоритмичности знания (Г.В. Лейбниц; К. Гёдель; А. Чёрч) // Научный журнал «Дискурс-ПИ». 2016. № 1. С. 27-34.
Лобоеикое В.О. Аксиоматизация философской эпистемологии (Концептуальный синтез рационализма Лейбница и эмпиризма Локка, Юма, Мура) // Вестник Томского гос. ун-та. Философия. Социология. Политология. 2016. № 4 (36). C. 69-78. DOI: 10.17223/1998863X/36/7.
Платон. Федон, Пир, Федр, Парменид. М.: Мысль, 1999.
Платон. Апология Сократа, Критон, Ион, Протагор. М.: Мысль, 1999.
Платон. Филеб, Государство, Тимей, Критий. М.: Мысль, 1999.
Лейбниц Г.В. Новые опыты о человеческом разумении автора системы предустановленной гармонии // Г.В. Лейбниц. Соч. в 4 т. М.: Мысль, 1983. Т. 2. С. 47-545.
Лейбниц Г.В. Переписка с королевой Пруссии Софией-Шарлоттой и курфюрстиной Софией // Г.В. Лейбниц. Соч. в 4 т. М.: Мысль, 1984. Т. 3. С. 371-394.
Лейбниц Г.В. Общие исследования, касающиеся анализа понятий и истин // Г.В. Лейбниц. Соч. в 4 т. М.: Мысль, 1984. Т. 3. С. 572-616.
Лейбниц Г.В. Опыты теодицеи о благости Божией, свободе человека и начале зла // Г.В. Лейбниц. Соч. в 4 т. М.: Мысль, 1989. Т. 4. С. 49-554.
Локк Дж. Опыт о человеческом разуме // Дж. Локк. Избранные философские произведения в 2 т. М.: Изд. Соц.-эк. лит., 1960. Т. 1.
Юм Д. Исследование о человеческом разумении. М.: Прогресс, 1995.
Юм. Д. Трактат о человеческой природе. Мн.: Попурри, 1998.
Мах Э. Анализ ощущений и отношение физического к психическому. М.: Территория будущего, 2005.
Рассел Б. Человеческое познание, его сферы и границы. Киев: Ника-Центр; Вист-С, 1997.
Рассел Б. Исследование значения и истины. М.: Идея-Пресс, 1999.
Витгенштейн Л. Логико-философский трактат. М.: Изд-во иностр. лит., 1958.
Stivenson C.L. Facts and Values: Studies in Ethical Analysis. New Haven and London: Yale University Press, 1963.
Лобоеикое В.О. Доказательство теоремы о калокагатии в аксиоматической системе философской эпистемологии (Оптимизм и предустановленная гармония: от древнегреческой и раннехристианской философии к А.Э. Шефтсбери, Г.В. Лейбницу и K. Гёделю.) // Научный журнал «Дискурс-П». 2016. № 4(25). С. 256-264.
Лобоеикое В.О. Аксиоматизация эпистемологии как средство экспликации теории права: «Дигесты» Юстиниана и проблема однородности естественного права // Научный журнал «Дискурс-П». 2016. № 3(24). С. 48-60.
Перетерский И.С. Дигесты Юстиниана: Избранные фрагменты. М.: Наука, 1984.
