?
Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematic
Logical Investigations. 2017. Vol. 23. No. 2. P. 76-95.
It is well-known that the concept of da Costa algebra [3] reects most of the logical properties of paraconsistent propositional calculi Cn, 1< n <w introduced by N.C.A.da Costa. In [10] the construction of topos of functors from a small category to the category of sets was proposed which allows to yield the categorical semantics for da Costa's paraconsistent logic. Another categorical semantics for Cn would be obtained by introducing the concept of potos { the categorical counterpart of da Costa algebra (the name \potos" is borrowed from W.Carnielli's story of the idea of such kind of categories)
A Freedom beyond Conflict: The Logic of Internal Conflict and the Free Will in Maximus the Confessor
Lourié B., Scrinium: Journal of Patrology and Critical Hagiography 2018 Vol. 14 No. 1 P. 63-74
SummaryMaximus’ idea of appropriation of the divine will by deified humans, in any consistent interpretation, would mean their deprivation of their own freedom – exactly in the same manner as it could be in the case of servitude to sin. Maximus’ own logic, however, was paraconsistent when applied to the case of deification (whereas not ...
Added: October 8, 2018
Lečić N. D., Платоновские исследования 2016 № 2 С. 258-278
In Theaetetus (145a–148a), Plato brings up Theaetetus’ retelling of a lesson by Theodorus of Cyrene, in which the latter demonstrated the incommensurability of the sides of squares containing three, five, and up to seventeen square feet with the side of one square foot. In this paper, we analyse modern scholarly attempts to reconstruct the exact ...
Added: November 26, 2016
М. : ИД "Форум", 2018
Сборник статей отечественных и зарубежных авторов посвящен анализу оснований, источников нормативности и перспектив развития современной логики. ...
Added: January 25, 2018
Shamkanov D. S., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776-796
We consider Hilbert-style non-well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics. ...
Added: December 20, 2019
М. : Энциклопедия, Инфра-М, 2017
The New Russian Encyclopedia is a fundamental reference publication in 18 volumes that characterizes nature, population, economy, history, science, art, technology and other important aspects. Contains about 60,000 articles, about 30,000 biographies, about 15,000 color illustrations, maps, charts, diagrams, tables. Leaves since 2003. ...
Added: October 31, 2018
Gabbay D., Shapirovsky I., Shehtman V. B., Journal of Applied Logic 2014 Vol. 12 No. 4 P. 570-583
One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. ...
Added: March 24, 2015
Sadovnichii V. A., Akaev A., Korotayev A. et al., М. : Издательский Дом "Наука", 2014
В коллективной монографии представлены результаты моделирования развития стран БРИКС, полученные к настоящему времени в рамках исследований по проекту «Математическое моделирование глобальной и региональной динамики в условиях модернизации системы науки и образования» Программы фундаментальных исследований Президиума РАН «Экономика и социология науки и образования». ...
Added: October 23, 2014
Pashchenko T., Известия Уральского федерального университета. Серия 3: Общественные науки 2013 № 1(120)
Neologicism - the trend of modern philosophy of mathematics associated with attempts to resolve the contradictions of Frege’s "Foundations of mathematics" or to develop some other ways of deriving mathematics from logic. We try to examine some neologicist theories (C. Wright , B. Linsky and E. Zalta) and the relative philosophical discussions. Our purpose is ...
Added: February 18, 2014
Korotayev A., NY : The Edwin Mellen Press, 2004
This book provides a cross-cultural analysis of traditional social organization of the Old World Oikumene civilizations, which suggest that the world religions were its major determinant. The role of Christianity and Islam as determinants of social evolution is analyzed in more detail. Formal analysis performed in this book shows that though such factors as political ...
Added: March 10, 2013
Куркина Е. С., Knyazeva H., Известия высших учебных заведений. Прикладная нелинейная динамика 2013 Т. 21 № 4 С. 93-114
Sergei P. Kurdyumov (1928–2004) and his distinguished contribution in the development of the modern interdisciplinary theory and methodology of study of complex self- organizing systems, i.e. synergetics, is under consideration in the article. The matter of a mathematical model of evolutionary dynamics of complex systems elaborated by him is demonstrated. The nonlinear equation of heat ...
Added: November 25, 2013
М. : Центр гуманитарных исследований «Социум», 2014
Издание содержит статьи из различных научных направлений: исторических, культурных, филологических, политических, социологических и пр. ...
Added: July 29, 2014
Shamkanov D. S., / Cornell University. Series arXiv "math". 2023.
We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the cut-elimination theorem following the lines of so called continuous cut elimination. Our consideration also covers ordinary proofs of K+ since ...
Added: November 14, 2023
Vasyukov V. L., Logica Universalis 2007 Vol. 1 No. 2 P. 277-294
How, why and what for we should combine logics is perfectly well
explained in a number of works concerning this issue. But the interesting
question seems to be the nature and the structure of the general universe
of possible combinations of logical systems. Adopting the point of view of
universal logic in the paper the categorical constructions are introduced ...
Added: November 27, 2014
Vasyukov V. L., Logical Investigations 2019 Vol. 25 No. 1 P. 70-87
The paper is the contribution to quantum toposophy focusing on the abstract orthomodular structures (following Dunn-Moss-Wang terminology). Early quantum topo-sophical approach to "abstract quantum logic" was proposed based on the topos of functors [E, Sets] where E is a so-called orthomodular preorder category — a modification of categorically rewritten orthomodular lattice (taking into account that ...
Added: July 20, 2019
СПб. : Алетейя, 2020
Блез Паскаль — великий французский ученый и мыслитель XVII века. В книге систематизируются принципиальные факты, на основе анализа разнообразных материалов (в том числе ранее не публиковавшихся) освещаются различные пути воздействия личности и творчества Блеза Паскаля на мировоззрение и литературную деятельность русских писателей трех последних столетий. Особое внимание обращается на близость взглядов французского мыслителя XVII века ...
Added: July 26, 2020
Пенза : ПГУ, 2015
В сборник трудов включены доклады юбилейного ХХ-го Международного симпозиума «Надежность и качество», проходившего с 25 по 31 мая 2015 г. в городе Пензе.
Рассмотрены актуальные проблемы теории и практики повышения надежности и качества; эффективности внедрения инновационных и информационных технологий в фундаментальных научных и прикладных исследованиях, образовательных и коммуникативных системах и средах, экономике и юриспруденции; методов и ...
Added: May 31, 2015
Litchfield Park : Emergent Publications, 2013
We see globalization as the growth of the sizes of social systems and the increase in the complexity of intersocietal links. Thus, in certain respects, globalization may be regarded as a process connecting the past, the present, and the future—as a sort of bridge between the past and the future. The title and the composition ...
Added: April 17, 2013
Korotayev A., Вестник Института экономики Российской академии наук 2015 № 1 С. 149-162
The 19th century saw an explosive growth of the gap between the “First” and the “Third” World as regards per capita incomes and levels of life that has become to be known as the “Great Divergence”. In the 20th century the Great Divergence continued up to the early 1970s, and then – in the late ...
Added: December 3, 2015
М. : Либроком, 2010
Альманах принадлежит к ставшей уже популярной серии сборников, освещающих различные аспекты использования математических методов в исторических, обществоведческих и экономических исследованиях. Этот выпуск посвящен исследованию макроисторической динамики общества и государства на протяжении огромного периода истории, охватывающего время зарождения и существования Мир-Системы. Альманах представляет собой комплексное исследование ряда важнейших макроисторических процессов, с использованием разнообразных аналитических и формально-математических ...
Added: October 15, 2014
Lapina M., Носова Е. В., Fridman G., Бизнес и финансы 2011 № 3 С. 142-149
В статье проведен сравнительный анализ нескольких методов оценивания параметров нормально распределенной случайной величины по ее цензурированной выборке. Эта статистическая задача ежедневно решается всеми авиакомпаниями мира в процессе построения прогноза общего спроса на авиабилеты. Установлено, что статистические методы дают более точный результат, чем различные эвристические подходы, часто применяемые авиакомпаниями на практике. Это преимущество статистические методы особенно ...
Added: October 26, 2012
Berlin, Heidelberg : Springer, 2012
This book constitutes the refereed proceedings of the 12th Industrial Conference on Data Mining, ICDM 2012, held in Berlin, Germany in July 2012. The 22 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on data mining in medicine and biology; data mining for energy ...
Added: December 3, 2012
Екатеринбург : Изд-во УрФУ, 2018
Added: March 26, 2018
Хамдамов Т.В., Topos (Философско-культурологический журнал) 2022 № 1 С. 71-99
Experiments based on multilevel computer simulations, which are becoming widespread today in scientific research practices, are forcing philosophers of science to shift the focus of attention from traditional concepts of scientific experiments to a fundamentally new methodology for designing, setting up and conducting an experiment. The computational power of modern high-performance clusters, which allow creating ...
Added: September 5, 2022
Grinin L. E., Tsirel S. V., Korotayev A., Technological Forecasting and Social Change 2015 Vol. 95 P. 294-308
The role of China in the world economy is constantly growing. In particular we observe that it plays more and more important role in the support of theworld economic growth (as well as high prices of certain very important commodities). In the meantime the perspectives of the Chinese economy (as well as possible fates of ...
Added: October 25, 2014