Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
Метафизическое значение категорий предмета и непредмета в логике, поясняемое примерами решения антиномии Рассела в теории типов и аксиоматической системе NBG
Get PDFМетафизическое значение категорий предмета и непредмета в логике, поясняемое примерами решения антиномии Рассела в теории типов и аксиоматической системе NB
Sound Probabilistic Reasoning under Contradiction, Inconsistency and Incompleteness
Get PDFI intend to show how probability theory can be regarded as logic-dependent, viewing probability as a branch of logic in a generalized way. A kind of meta-axiomatics permits us to define probability measures that are either classical, paraconsistent, intuitionistic, or simultaneously intuitionistic and paraconsistent, just by parameterizing on consequence relations. In particular, I intend to discuss theories of probability built upon the paraconsistent Logic of Formal Inconsistency Ci, and upon the paraconsistent and paracomplete Logic of Evidence and Truth LETj. I argue that Ci very naturally encodes an extension of the notion of probability able to express probabilistic reasoning under an excess of information (contradictions), while LETj encodes an extension of the notion of probability able to express probabilistic reasoning under lack of information (incompleteness), and is thus naturally connected to the notion of probability of evidence. I also discuss how interesting non-standard Bayesian updating can be defined in both cases. This is a joint project with J. Bueno-Soler and A. Rodrigues. and most results already appear in [1] and in [5]
ORGANICA LOGICA: ЛОГИЧЕСКИЕ ВЫВОДЫ И ДОКАЗАТЕЛЬСТВА (ШТРИХИ К ИСТОРИИ ТЕОРЕТИКО-ДОКАЗАТЕЛЬСТВЕННЫХ МЕТОДОВ В ЛОГИКЕ)
Get PDFThe conceptual analysis of the notions connected to the logical inference and logical demonstration, with the references to historical stuff is drawn in the paper. The outlines of some ways of defining of the concept of proof is proposed. It is also grounded that the appropriate concept of the valid inference cannot be drawn from the concept of logical consequence as defined by Tarski. The proof without gaps, which is able to stand any test only provides the foundation to state the coclusion. The results obtained are used in criticising thepoplar nowadays opinion of the alleged crisis of current logic.В статье осуществляется концептуальный анализ понятий, связанных с логическим выводом и логическим доказательством, с привлечением исторического материала. Предлагается набросок способов определения понятия доказательства. Обосновывается, что удовлетворительное понятие общезначимого вывода нельзя получить из понятия логического следования, определенного Тарским. Право утверждать заключение дает только выдержавшее любую проверку доказательство без пробелов. Полученные выводы используются для критики популярного последнее время мнения о кризисе современной логики
Knowledge-to-Fact Reasoning: Completing a Solution to the (Knowledgeable-)Prediction Paradox
No full textKnowledge-to-Fact Reasoning: Completing a Solution to the (Knowledgeable-)Prediction Parado
О взаимоотношении паранепротиворечивой логики Васильева и фундаментальной онтологии Хайдеггера
No full textО взаимоотношении паранепротиворечивой логики Васильева и фундаментальной онтологии Хайдеггер
The 1900 Turn in Bertrand Russell’s Philosophy of Mathematics and the Emergence of His Paradox
Get PDFThe 1900 Turn in Bertrand Russell’s Philosophy of Mathematics and the Emergence of His Parado
Вторая теорема Гёделя о неполноте не дезавуирует программу Гильберта
Get PDFВторая теорема Гёделя о неполноте не дезавуирует программу Гильберт
«Синопсис» Михаила Пселла и «Суммулы» Петра Испанского: проблема авторства
No full text«Синопсис» Михаила Пселла и «Суммулы» Петра Испанского: проблема авторств