Warning: file_get_contents(): Filename cannot be empty in /var/www/clients/client21/web30/web/netcat/system/templating/nc_tpl_mixin_cache.class.php on line 357 Warning: file_put_contents(/var/www/ifp.uran.ru/web/netcat_template/css/2/mixins.css): failed to open stream: No such file or directory in /var/www/clients/client21/web30/web/netcat/system/templating/nc_tpl_mixin_cache.class.php on line 357 Warning: chmod(): No such file or directory in /var/www/clients/client21/web30/web/netcat/system/templating/nc_tpl_mixin_cache.class.php on line 359 Warning: filemtime(): stat failed for /var/www/ifp.uran.ru/web/netcat_template/css/2/mixins.css in /var/www/clients/client21/web30/web/netcat/system/templating/nc_tpl_mixin_cache.class.php on line 360 Institute of Philosophy and Law, Ural Branch of the Russian Academy of Sciences / Publications / Search of Publications / Axiomatizing philosophical epistemology, a formal theory “sigma + 2c” and philosophical foundations of mathematics
Historical Note
Main Fields of Research Activities
Directorate
Scientific Council
Persons
Contacts
Department of Law
Department of Philosophy
Udmurt branch of the Institute
Cathedra of philosophy
Cathedra of foreign languages
Search by Authors
Search of Publications
2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 and earlier
About
Search by Authors
Search by Articles
2024 Vol. 24
2023 Vol. 23
2022 Vol. 22
2021 Vol. 21
2020 Vol. 20
2019 Vol. 19
2018 Vol. 18
2017 Vol. 17
2016 Vol. 16
2015 Vol. 15
2014 Vol. 14
2013 Vol. 13
2012 Issue 12
2011 Issue 11
2010 Issue 10
2009 Issue 9
2008 Issue 8
2007 Issue 7
2005 Issue 6
2004 Issue 5
2003 Issue 4
2002 Issue 3
2001 Issue 2
1999 Issue 1
 
 Publications / Axiomatizing philosophical epistemology, a formal theory “sigma + 2c” and philosophical foundations of mathematics  Print Version   Site Map     Language Switch to Russain Switch to English
 
Search by Authors
Search of Publications
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997 and earlier

Axiomatizing philosophical epistemology, a formal theory “sigma + 2c” and philosophical foundations of mathematics

UDC 1(091)+16+17+51-7+510.2+510.687+510.82+512

Lobovikov V.O.
Axiomatizing philosophical epistemology, a formal theory “sigma + 2c” and philosophical foundations of mathematics // Аналитическая философия: траектории истории и векторы развития: сборник научных трудов Международной научной конференции, посвященной 80-летию научного руководителя Института философии и права СО РАН В. В. Целищева, Новосибирск, 25–26 февраля 2022 г. / под ред. А. В. Хлебалина.– Новосибирск: Офсет-ТМ, 2022.– P. 43-52. DOI: 10.47850/S.2022.1.7.
РИНЦ 

The paper is devoted to investigating Kant’s apriorism underlying Hilbert’s formalism in philosophical foundations of mathematics. The target is constructing a formal axiomatic theory of knowledge in which it is possible to invent formal inferences of formulae-modeling-Hilbert-formalism from the assumption of Kant apriorism concerning mathematics. The scientific novelty: a logically-formalized axiomatic system of universal philosophical epistemology called “Sigma +2C” is invented for the first time as a generalization of the already published formal epistemology system “Sigma +C”. In comparison with “Sigma +C”, a new symbol is included into the object-language-alphabet of ∑+2C, namely, the symbol standing for the perfection-modality “it is complete that…”. Also, one of axiomschemes of “Sigma +C” is generalized in “Sigma + 2C”. In “Sigma +2C”, it is proved deductively that under the assumption of a-piori-ness of mathematical knowledge, its completeness and consistency are equivalent.

Доклад посвящен исследованию кантовского априоризма, являющегося предпосылкой формализма Гильберта в философских основаниях математики. Цель - построение некой формальной аксиоматической теории знания, в которой возможно построение формальных выводов формул, моделирующих формализм Гильберта, из допущения кантовского априоризма математического знания. Научная новизна: впервые построена некая логически формализованная аксиоматическая система универсальной философской эпистемологии «Сигма + 2С» как обобщение уже опубликованной системы формальной эпистемологии «Сигма + С». В сравнении с «Сигма + С», некий новый символ включен в алфавит языка-объекта «Сигма + 2С», а именно, символ, обозначающий модальность идеала (совершенства) «это полно, что …». Также, в системе «Сигма + 2С», одна из схем аксиом системы «Сигмы + С» существенно обобщена. В «Сигма + 2С» дедуктивно доказано, что при допущении априорности математического знания, его полнота и непротиворечивость эквивалентны.

Full text>>

Дизайн и программирование
N-Studio беременность, мода, красота, здоровье, диеты, женский журнал, здоровье детей, здоровье ребенка, красота и здоровье, жизнь и здоровье, секреты красоты, воспитание ребенка православные знакомства, православный сайт творчeства, православные рассказы и стихи рождение ребенка,пол ребенка,воспитание ребенка,ребенок дошкольного возраста, дети дошкольного возраста,грудной ребенок,обучение ребенка,родить ребенка,загадки для детей,здоровье ребенка,зачатие ребенка,второй ребенок,определение пола ребенка,будущий ребенок
© 2006-2024
Institute of Philosophy and Law, Ural Branch of the Russian Academy of Sciences