Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
«О диалектике» Августина как логико-семиотический трактат
No full text«О диалектике» Августина как логико-семиотический тракта
Logics of restricted resources and their main methodological consequence
Get PDFLogics of restricted resources and their main methodological consequenc
On the ambiguity of descriptions: A defence of the world-pronoun theory
Get PDFOn the ambiguity of descriptions: A defence of the world-pronoun theor
О двух силлогистиках предпочтения для моделирования судебной аргументации
Get PDFО двух силлогистиках предпочтения для моделирования судебной аргументаци
An Axiomatization of Quantum Computational Logic
Get PDFAn Axiomatization of Quantum Computational Logi
Из истории аргументативных практик: диалог как формат полемики
No full textИз истории аргументативных практик: диалог как формат полемик
9 глава «Об истолковании» Аристотеля и фатализм
No full text9 глава «Об истолковании» Аристотеля и фатализ
Интересный «византийский» способ излагать логические головоломки
No full textИнтересный «византийский» способ излагать логические головоломк
Парадокс кратных миров Конкурентной динамической логики
Get PDFA multiple world paradox of the Concurrent Dynamic Logic is introduced. It may limit the implementation field of the Concurrent Dynamic Logic for the reasoning of the programs. The reasoning might be restricted, at least up to the independent atomic programs which do not form interfering concurrent compound processes.Сформулирован парадокс кратных миров Конкурентной динамической логики. Он может несколько ограничить область применения Конкурентной динамической логики в качестве средства рассуждения о выполнении программ, которое может свестись, по крайней мере, до независимых атомарных программ, которые не образуют взаимодействующие параллельные сложные процессы