Поданные тезисы (103)

Сортировать по фамилии Сортировать по статусу

Статус	Фамилия	Имя	Отчество	Доклад	Секция
	Anellis	Irving		How Peircean was the "Fregean" Revolution in Logic?	3. History of logic
	Malinowski	Grzegorz		Multiplying logical values	2. Philosophic logic
	Tomova	Natalya	E	On Some Functional Properties of Natural p-logics	1. Символическая логика
	Zaitsev	Dmitry	V	How to make your logic relevant	2. Philosophic logic
	Анисов	Александр	Михайлович	Вычислительная интерпретация концепции времени мутазелитов	1. Символическая логика
	Антаков	Сергей	Мирославович	Трансцендентальная логика и категория нелинейности в установлении единства концепции дополнительности Бора и теоремы о неполноте Гёделя	4. Логика научного познания
	Бажанов	Валентин	Александрович	Логика в России и православная церковь	3. История логики
	Баранец	Наталья	Григорьевна	О становлении научных теорий	4. Логика научного познания
	Бахтияров	Камил	Ибрагимович	ПСИ-фрактальность	1. Символическая логика
	Бирюков	Борис	Владимирович	Происхождение “прелогического” мышления и дуальная организация первобытного общества как система, удобная для компьютерного моделирования	3. История логики
	Болотов	Александр	Ефимович	Proof search algorithm for paraconsistent	1. Символическая логика
	Бочаров	Вячеслав	Александрович	Павел Флоренский и логика	1. Символическая логика
	Брюшинкин	Владимир	Никифорович	Cognitive maps of argument sets	4. Логика научного познания
	Быстров	Петр	Иванович	Logic of Unbelief	2. Философская логика
	Васильев	Олег	Станиславович	Сопряженные семиотические квадраты как фундаментальные конструкты в клинической логике	4. Логика научного познания
	Васюков	Владимир	Леонидович	Logical Pluralism and Non-Classical Category Theory	1. Символическая логика
	Веревкин	Андрей	Борисович	О становлении научных теорий	4. Логика научного познания
	Вяткина	Наталья	Борисовна	Бертран Рассел "Об обозначении": эволюция идеи.	3. История логики
	Герасимова	Ирина	Алексеевна	П. Флоренский о противоречии	1. Символическая логика
	Голубниченко	Артём	Николаевич	Классификация логических машин	3. История логики
	Гончарко	Оксана	Юрьевна	Понятие темпоральной строгой импликации Диодора Кроноса	3. История логики
	Горбатов	Виктор	Викторович	«Рогатка» для Крипке	2. Философская логика
	Горбунов	Игорь	Анатольевич	Дизъюнкция в дедуктивных системах	1. Символическая логика
	Григорьев	Олег	Михайлович	Bipartite truth and semi-negations	1. Символическая логика
	Гриненко	Галина	Валентиновна	Парадокс Лжеца и проблема "правдеца"	1. Символическая логика
	Демина	Лариса	Анатольевна	Образ науки: фаллибилизм и интерсубъективность	4. Логика научного познания
	Джаббехдари	Марьям	Ата	Определение в логическом учении Ибн-Сины	3. История логики
	Долгоруков	Виталий	Владимирович	Nash Equilibrium and Analysis of Ambiguity in Game Theoretic Pragmatics	2. Философская логика
	Домбровский	Борис	Тарасович	Индетерминизм Я.Лукасевича как оправдание третьей истинностной оценки	3. История логики
	Драгалина-Черная	Елена	Григорьевна	LOGIC АND PHENOMENOLOGY OF INVARIANCE	2. Философская логика
	Жалдак	Николай	Николаевич	Культура владения логическими средствами естественного языка	5. Cимпозиум «Логика и информатика»
	Жамбалдагбаев	Нима	Цыренович	Пульсовая диагностика как система знаний	4. Логика научного познания
	Журавлев	Александр	Николаевич	О количестве аксиом в силлогистике Аристотеля.	3. История логики
	Журавлева	Евгения	Вячеславовна	Сравнительный анализ логико-семантических концепций Г. Фреге и У. Оккама	3. История логики
	Зайцева	Наталья	Валентиновна	Современная логика –- время когнитивного поворота?	2. Философская логика
	Знаменская	Наталья	Андреевна	О выразимости операций характеристической матрицы логики PCont Розоноэра через операции характеристической матрицы логики LPF Аврона	1. Символическая логика
	Иванова	Ирина	Ивановна	Методология эмпирических исследований в истории индуктивной логики	1. Символическая логика
	Ивлев	Юрий	Васильевич	Функции и квазиоперации в неклассической логике	1. Символическая логика
	Карпенко	Александр	Степанович	Philosophical Problems of Foundations of Logic	2. Философская логика
	Катречко	Сергей	Леонидович	Абстрактная природа логико-математического знания и приращение информации	1. Символическая логика
	Кац	Людмила	Аркадьевна	Теория относительной истины для расплывчатых предикатов	4. Логика научного познания
	Кислов	Алексей	Геннадьевич	«СТРОГИЕ» ДЕОНТИЧЕСКИЕ ОПЕРАТОРЫ В ДИНАМИЧЕСКОЙ ЛОГИКЕ	2. Философская логика
	Клюева	Наталья	Юрьевна	O логике исследований в области искусственного интеллекта	4. Логика научного познания
	Козаченко	Надежда	Павловна	On the question of the primacy of doxastic operations: contraction and expansion	1. Символическая логика
	Кононова	Надежда	Михайловна	Суппозиция vs дескрипция	3. История логики
	Кохан	Ярослав	Алексеевич	Теоретико-модельный анализ предикатов	1. Символическая логика
	Кощеева	Анна	Константиновна	Новые константы в суперинтуиционистской логике L2	1. Символическая логика
	Кравчук	Надежда	Николаевна	Whitehead's Universal Algebra and its application to symbolic logic	3. История логики
	Красненкова	Анастасия	Владимировна	О проблеме доказательства непротиворечивости и полноты алгоритма поиска вывода для натуральных систем негативной силлогистики	5. Cимпозиум «Логика и информатика»
	Кузина	Елена	Борисовна	Доказать - значит убедить: о понятии доказательства	1. Символическая логика
	Кузичева	Зинаида	Андреевна	Понятие «логическое следование» в трактовке С.А. Яновской	3. История логики
	Кускова	Светлана	Михайловна	Система категорий Ч.С.Пирса	2. Философская логика
	Куслий	Петр	Сергеевич	Двухмерная семантика и референция единичных терминов	2. Философская логика
	Левин	Виталий	Ильич	1) Логическая теория множеств, 2) Из истории первой в СССР работы по логическому моделированию	1. Символическая логика
	Ледников	Евгений	Евгеньевич	Набросок динамической логической теории знания	2. Философская логика
	Лисанюк	Елена	Николаевна	От логики норм к деонтическим логикам действий	2. Философская логика
	Лобовиков / Lobovikov	Владимир / Vladimir	Олегович	A PROOF OF A FORMAL-AXIOLOGICAL INCONSISTENCY OF THE FORMAL ARITHMETIC INVESTIGATED BY K. GÖDEL (THE PROOF ESSENTIALLY USING OWN AXIOMS OF FORMAL AXIOLOGY)	1. Символическая логика
	Ляшов	Вячеслав	Васильевич	Средневековая диалектика как логическая практика и истина	1. Символическая логика
	Маркин	Владимир	Ильич	Альтернативы логическому квадрату в силлогистиках с нестандартными константами	1. Символическая логика
	Мигунов	Анатолий	Иванович	К прагматическому толкованию отношения следования.	2. Философская логика
	Микиртумов	Иван	Борисович	Что мы можем знать о значении предложения?	2. Философская логика
	Михайлов	Владимир	Емельянович	О возможности переинтерпретации и конкретизации формул сведения А.Р. Андерсона	1. Символическая логика
	Михайлов	Кирилл	Авенирович	Индуктивные игры как моделирование научного поиска: новые горизонты	4. Логика научного познания
	Моисеев	Вячеслав	Иванович	О формулировке критерия логической демаркации	2. Философская логика
	Мухачев	Виктор	Павлович	Решение обратных задач Смаллиана	1. Символическая логика
	Невдобенко	Оксана	Ивановна	Жесткие десигнаторы и дескрипции: анализ подходов	2. Философская логика
	Нечитайлов	Юрий	Вячеславович	Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением	1. Символическая логика
	Одинцов	Сергей	Павлович	Отрицание в логическом программировании и дедуктивные базы немонотонных логик	5. Cимпозиум «Логика и информатика»
	Ольховиков	Григорий	Константинович	A note on Ross's paradox	1. Символическая логика
	Павленко	Андрей	Николаевич	Следствия формального определения принципа наблюдаемости	4. Логика научного познания
	Павлов	Сергей	Афанасьевич	Logical semantics with only one reference	1. Символическая логика
	Павлов	Константин	Александрович	Логическая топология и процессы рассуждения	4. Логика научного познания
	Павлюкевич	Вадим	Иосифович	Симметричная минимизация базиса логических отношений в классической логике высказываний	2. Философская логика
	Попов	Владимир	Михайлович	Об отсутствии интерполяционного свойства у логик I3,w, I3,1 и всех логик между ними	1. Символическая логика
	Прядко	Игорь	Петрович	ОЦЕНКА РОЛИ ЛОГИКИ В ГУМАНИТАРНОМ ПОЗНАНИИ НА ПРИМЕРЕ СПОРОВ О РУССКОЙ КУЛЬТУРЕ XIX—XX ВВ.	3. История логики
	Пушкарский	Анатолий	Геннадьевич	Синтетический подход к методологии истории логики и исследование типов рациональности, лежащих в основе генезиса различных логических концепций	3. История логики
	Салем	Мохамед	Ахмед Ибрагим	К истории арабской логики	3. История логики
	Семенова	Вероника	Георгиевна	Специфика модели возможных миров	2. Философская логика
	Сидоренко	Елена	Геннадьевна	Учение стоиков о языке	3. История логики
	Скрипник	Константин	Дмитриевич	Логика в "Cursus Philosophicus Thomisticus" Д.Пуансо (Иоанна св.Фомы)	3. История логики
	Смирнова	Елена	Дмитриевна	Истинность и парадокс Лжеца	1. Символическая логика
	Сокулер	Зинаида	Александровна	"Знание как": характерные черты	4. Логика научного познания
	Солощенков	Артем	Андреевич	Аналитико-табличные аксиоматизации простых паранормальных логик	1. Символическая логика
	Сперанский	Станислав	Олегович	Quantification over propositional formulas in probability logic: computability issues	1. Символическая логика
	Степанов	Владимир	Алексеевич	Многозначная логика в динамической семантике атомарных самореферентных предложений	1. Символическая логика
	Стешенко	Николай	Иванович	3-значная логика изменения R	1. Символическая логика
	Титов	Андрей	Валентинович	О зависимости типа логического исчисления от структуры оценки.	1. Символическая логика
	Тоноян	Лариса	Грачиковна	"Неправильные" модусы в логической теории Боэция	3. История логики
	Труфанова	Александра	Сергеевна	Современные интерпретации неориторики Х. Перельмана.	3. История логики
	Уколов	Сергей	Юрьевич	Софизм как основание логической теории	4. Логика научного познания
	Федоров	Борис	Иванович	К вопросу о систематизации логики	1. Символическая логика
	Филипповский	Виталий	Александрович	Inference of definitional equivalence of two theories from their mutual immersion one into another	4. Логика научного познания
	Хаханян	Валерий	Христофорович	К обоснованию математики	1. Символическая логика
	Хоменко	Ирина	Викторовна	Logic in P.Yurkevich's manuscripts	3. История логики
	Черноскутов	Юрий	Юрьевич	О силлогистике Франца Брентано	3. История логики
	Чечулин	Виктор	Львович	Последовательность 6-ти этапов развития логики	3. История логики
	Шалак	Владимир	Иванович	Универсальность логических принципов	2. Философская логика
	Шангин	Василий	Олегович	A proof searching algorithm for a paraconsistent logic PCont	2. Философская логика
	Шапиро	Ольга	Александровна	Логический анализ конфликта: реконструкция и прогнозирование	2. Философская логика
	Шрамко	Ярослав	Владиславович	Понятие ложности в интуиционистской логике	1. Символическая логика
	Штаксер	Геннадий	Владимирович	Теоремы погружения для пропозициональных неклассических логик с кванторами по пропозициям и модели в эквивалентностях.	1. Символическая логика
	Яковлев	Владимир	Анатольевич	Познание как инновационный процесс	1. Символическая логика
	Яшин	Александр	Данилович	Новые константы в суперинтуиционистской логике L2	1. Символическая логика

	- в рассмотрении
	- отклонен
	- принят