An axiomatization of philosophical epistemology (a conceptual synthesis of Leibniz' rationalism and the empiricism of Locke, Hume, Moore)
The paper submits a new (substantially expanded) system of own axioms for the general philosophical theory of knowledge. In comparison with the previous option of axiomatizing epistemology some novel terms are added to the language of the axiomatic theory, for instance, the term "an algorithm exists (a machine can be constructed) for deciding that p", where p stands for a proposition. Precise definitions of meanings of the newly introduced terms are given indirectly by adding corresponding new own axioms of epistemology to the axiomatic system which axioms have not been included into the system hitherto. The submitted new axiomatic epistemology system makes up new precise definitions of the notions "a-priori-knowledge" and "a-posteriori-one". In the axiomatic system the two kinds of knowledge are precisely defined by means of compositions of epistemic, alethic, de-ontic, axiological and other modalities. Systematically exploiting the hypothetic-deductive method the author investigates the set of logic consequences of accepting the mentioned hypothetical precise definitions of the epistemic modalities "a-priori-knowledge-of-being" and "a-priori-knowledge-of-value" and of the graphic representation of their logical interrelations by means of the logical square-and-hexagon. In particular, at the level of artificial language a strict formal derivation of "it is obligatory that p" from "there is a-priory knowledge that p" is constructed within the framework of the submitted axiomatic epistemology system. Within the same system at the same level a strict formal derivation of "it is good that p" from "there is a-priory knowledge that p" is constructed as well. Moreover it is formally proved in the present paper that in the axiomatic system under consideration there is the logic equivalence between the modalities "it is obligatory that p" and "it is good that p", if it is true that "there is a-priory knowledge that p". The submitted new (significantly transformed and complemented) axiomatic system is applied to the relevant concrete material of the history of philosophy, namely, to G.W. Leibniz', D. Hume's, and G.E. Moore's philosophical epistemology views.
Keywords
Moore' s-doctrine-of-naturalistic-fallacy,
Hume' s-guillotine,
Leibniz'-optimism,
a-priori-knowledge,
axiomatic-system-of-philosophical-epistemology,
учение Мура о натуралистической ошибке,
гильотина Юма,
оптимизм Лейбница,
априорное знание,
аксиоматическая система философской-эпистемологииAuthors
| Lobovikov Vladimir O. | Institute of Philosophy and Law, Ural Branch of Russian Academy of Sciences | vlobovikov@mail.ru |
Всего: 1
References
Мур Дж.Э. Природа моральной философии. М.: Республика, 1999.
Адлер М. Шесть великих идей. М.: Изд-во: Манн, Иванов и Фербер, 2015.
Lobovikov V. An Equivalence of Moore's Paradox and Godel's Incompleteness Sentence in Two-Valued Algebra of Formal Ethics // Philosophy Study, January 2016. Vol. 6, No 1. P. 34-55. (Doi: 10. 17265/2159-5313/2016.01.004).
Мур Дж.Э. Принципы этики. М.: Прогресс, 1984.
Фейс Р. Модальная логика. М.: Наука, 1974.
Лобовиков В.О. Новая форма аналитической философии права и морали - алгебраическая система формальной этики и естественного права: точное формальное определение области уместной применимости «Гильотины Юма» // Вестник Томского гос. ун-та. Философия. Социология. Политология. 2016. № 2 (34). C. 93-103.
Лобоеикое В.О. Уточнение статуса логико-философских принципов фальсификации и верификации (научного знания) в философской эпистемологии // Дискурс-Пи. 2015. № 1(18). С. 98-104.
Лобоеикое В.О. Логический квадрат и гексагон эпистемических понятий (Эволюционная эпистемология как явный абсурд с точки зрения древнегреческой философии абсолютного знания, и загадочная абсурдность этой древнегреческой онтологии и философии знания с точки зрения современной логики, методологии и философии науки: о возможности логически непротиворечивого «снятия» конфликта двух парадигм) // Эпистемы: Сб. науч. статей. Екатеринбург: Ажур, 2014. Вып. 9. С. 57-68.
Beziau J.-Y. The New Rising of the Square of Opposition / Ed. Jean-Yves Beziau and Dale Jacquette. Around and Beyond the Square of Opposition. Basel: Birkhauser, 2012. 3-19.
Beziau J.-Y. The Power of the Haxagon // Logica Universalis 6 (2012): 1-43.
Blanche R. Structures Intellectuelles. Essai sur l'organisation Systematique des Concepts. Paris: Vrin, 1966.
Kalinowski G. La Logique des normes. Paris: Presses Universitaires de France, 1972.
Sesmat A. Logique II. Les raisonnments, la logistique. Paris: Hermann, 1951.
Blanche R. Sur la structuration du tableau des connectifs interpropositionnels binaries // Journal of Symbolic Logic 22 (1957): 17-18.
Лобоеикое В.О. Историко-философский и логический аспекты проблемы взаимосвязи истинности и доказуемости: Г.В. Лейбниц; А. Тарский; К. Гёдель // Дискурс-П. 2015. № 3-4. С. 65-71.
Лобоеикое В.О. Графическое моделирование модальной логики знания a-priori и a-posteriori с помощью логического квадрата и гексагена // Тезисы докладов научной конференции «Современная логика: проблемы теории, истории и применения в науке» (22 -24 июня 2016, Санкт-Петербург). СПб.: СПбГУ, 2016. С. 85-86.
Лобоеикое В.О. Две новые аксиомы рационалистической эпистемологии (взаимосвязь доказуемости, истинности, невыразимости, непоколебимой веры и неопровержимого знания: Г.-В. Лейбниц; К. Гёдель; А. Тарский; Дж. Мур) // Дискурс-ПИ. 2016. № 2. С. 82-88.
Лобоеикое В.О. Еще одна аксиома рационалистической эпистемологии априорного знания: историко-философский и логический аспекты проблемы взаимосвязи истинности, доказуемости и алгоритмичности знания (Г.В. Лейбниц; К. Гёдель; А. Чёрч) // Дискурс-ПИ. 2016. № 1. С. 27-34.
Юм. Д. Трактат о человеческой природе. Мн.: Попурри, 1998.
Лобоеикое В.О. Аксиоматическая система эпистемологии // Известия Уральского федерального университета. Общественные науки. 2016. № 1 (149). С. 5-19.
Юм Д. Исследование о человеческом разумении. М.: Прогресс, 1995.
Локк Дж. Опыт о человеческом разуме // Дж. Локк. Избранные философские произведения: в 2 т. М.: Изд. Соц.-эк. лит., 1960. Т. 1.
Leibniz G.W. Elementa Juris Naturalis // G.W. Leibniz. Philosophishe Schriften. Erster Band (1663-1672). Berlin: Akademie-Verlag, 1971. S. 431-485.
Лейбниц Г.В. Опыты теодицеи о благости Божией, свободе человека и начале зла // Г.В. Лейбниц. Соч.: в 4 т. М.: Мысль, 1989. Т. 4. С. 49-554.
Лейбниц Г.В. Общие исследования, касающиеся анализа понятий и истин // Г.В. Лейбниц. Соч.: в 4 т. М.: Мысль, 1984. Т. 3. С. 572-616.
Лейбниц Г.В. Письмо к герцогу Ганноверскому // Г.В. Лейбниц. Соч. в 4 т. М.: Мысль, 1984. Т. 3. С. 491-493.
Лейбниц Г.В. Об универсальной науке, или философском исчислении // Г.В. Лейбниц. Соч.: в 4 т. М.: Мысль, 1984. Т. 3. С. 494-500.
Лейбниц Г.В. Переписка с королевой Пруссии Софией-Шарлоттой и курфюрстиной Софией // Г.В. Лейбниц. Соч.: в 4 т. М.: Мысль, 1984. Т. 3. С.371-394.
Лейбниц Г.В. Новые опыты о человеческом разумении автора системы предустановленной гармонии // Г.В. Лейбниц. Соч.: в 4 т. М.: Мысль, 1983. Т. 2. С. 47-545.
