Основные типы неклассических логик. Часть 1

Доказательство как «игру со знаками» рассматривал немецкий философ

• И.Кант
• Г.Лейбниц
• Г.Фреге
• Г.Гегель

В основе логики детерминированности лежит

• логика времени
• логика предпочтений
• логика оценок
• логика изменения

На развитие неклассической логики стимулирующее воздействие оказали

• софизмы
• паралогизмы
• семантические парадоксы
• логика высказываний
• силлогистика
• антиномии теории множеств

В алгебре Д.Буля умножение соответствует в логике высказываний

• конъюнкции
• слабой дизъюнкции
• сильной дизъюнкции
• импликации

Исключить парадоксы материальной импликации удалось

• К.Льюису
• Н.Белнапу
• Ч.Пирсу
• Л.Брауэру

Телеологическая детерминация – это

• постдетерминация
• преддетерминация
• каузальная детерминация
• одновременная детерминация

Из сложного ассерторического высказывания «Если металлический стержень нагреть, то он удлинится» можно получить модальные высказывания

• Доказано, что если металлический стержень нагреть, то он удлинится
• Металлический стержень удлинится, если его нагреть
• Хорошо, что металлический стержень удлиняется, если его нагреть
• Средневековые алхимики были убеждены, что если металлический стержень нагреть, то он удлинится
• Металлический стержень нагрели
• После нагревания металлический стержень удлинился

Лингвистику как ветвь общей теории знаковых систем рассматривал

• Ч.Пирс
• Г.Фреге
• Б.Рассел
• Ф. де Соссюр

Математическим методом является

• моделирование
• эксперимент
• аксиоматизация
• индукция
• аналогия
• дедукция
• формализация

Принцип «Истинное однажды истинно во все последующие времена» относится к

• постдетерминации
• преддетерминации
• одновременной детерминации
• каузальной детерминации

Я.Лукасевич занимался вопросами приложения логической теории модальностей в

• истории логики
• физике
• социологии
• арифметике
• философии
• психологии

В результате критического осмысления основных принципов интуиционистской логики возникла логика

• многозначная
• релевантная
• конструктивная
• модальная

Суждение «Все детерминировано» является

• аналитически ложным
• фактически истинным
• аналитически истинным
• фактически ложным

Родоначальником математической логики является

• К.Льюис
• Д.Буль
• Г.Фреге
• Г.Лейбниц

Результатом мышления является

• представление
• рассуждение
• восприятие
• ощущение

Различие между логикой и алгеброй Д.Буль видел в том, что в алгебре не действует закон умножения

• коммутативный
• идемпотентности
• ассоциативный
• дистрибутивный

Первая попытка применения логико-математического аппарата к анализу экономических явлений принадлежит

• Г.Фреге
• У.Джевонсу
• К.Геделю
• Э.Шредеру

Автором «воображаемой логики» является русский логик

• А.Н.Колмогоров
• Н.А.Шанин
• А.А.Марков
• Н.А.Васильев

Понятие судьбы как предопределенности относится к

• одновременной детерминации
• постдетерминации
• преддетерминации
• каузальной детерминации

Г.Фреге, рассматривая отношение специального языка формул к естественному языку, сравнивает его с отношением микроскопа к глазу и тем самым использует умозаключение, построенное по законам

• дедукции
• индукции
• редукции
• аналогии

Методологическую, гносеологическую роль искусственных языковых систем как инструмента исследования содержательных процедур подчеркивал

• Б.Рассел
• Д. фон Нейман
• Г.Х.Вригт
• Г.Фреге

В процессе математизации формальной логики языковые конструкции стали рассматриваться в качестве

• символов
• структуры
• функций
• индексов

Пространство как свойство передается понятием

• совпадает»
• «дальше»
• «здесь»
• «ближе»

Из общего формального свойства модальных понятий «Случайно то, что…» следует

• не обязательно и не запрещено
• не является ни необходимым, ни невозможным
• безразлично
• недоказуемо и неопровержимо

Логика, основанная на принципе замещения равных, была основана

• Э.Шредером
• К.Геделем
• У.Джевонсом
• Г.Фреге

Логика изменения состоит из двух разделов

• логика причинности и логика времени
• паранепротиворечивая логика и логика причинности
• логика направленности и логика времени
• логика направленности и логика причинности

Понятие нормальной формы формулы ввел

• Г.Фреге
• У.Джевонс
• Э.Шредер
• К.Гедель

В алгебре Д.Буля сложение соответствует в логике высказываний

• импликации
• сильной дизъюнкции
• слабой дизъюнкции
• конъюнкции

Всякое возможное высказывание может быть

• только истинным
• только ложным
• и истинным, и ложным
• не истинным и не ложным

К логике времени относятся следующие утверждения

• всякое состояние либо сохраняется, либо возникает, либо исчезает
• существовать – это то же, что начинать исчезать, и то же, что переставать возникать
• не существовать – то же, что начинать возникать, и то же, что прекращать исчезать
• становление – это прекращение несуществования, а исчезновение – это возникновение несуществования
• при изменении состояние не может одновременно сохраняться и исчезать
• изменение не может начаться с логически противоречивых состояний

Критикой квантовой логики занимались физики

• Н.Бор
• В.Паули
• К.Вайцзеккер
• М.Борн
• В.Гейзенберг

Добро в качестве свойства передается понятием

• «хорошо»
• «равноценно»
• «лучше»
• «хуже»

Один из основных принципов логики Г.Лейбница: Набор простых понятий должен удовлетворять критерию

• обоснованности
• последовательности
• непротиворечивости
• определенности

Теорема о неполноте формализации знаний была доказана К. Геделем в

• 1933 г.
• 1930 г.
• 1932 г.
• 1931 г.

Обусловленность одних событий другими утверждает

• релятивизм
• детерминизм
• дуализм
• когерентность

Каузальная импликация является исходным понятием логики

• причинности
• норм
• знания
• изменения

Логика временных отношений – это логика

• императивная
• деонтическая
• темпоральная
• аксиологическая

Из общего формального свойства модальных понятий «Безразлично то, что…» следует

• не является ни необходимым, ни невозможным
• не обязательно и не запрещено
• недоказуемо и неопровержимо
• безразлично

Формулировка «В арифметике целых чисел имеются такие формулы, которые в ней не могут быть ни доказаны, ни опровергнуты» является

• принципом двузначности
• теоремой К.Геделя
• принципом переходности
• теорией логического следования

Добро как отношение передается понятием

• «безразлично»
• «лучше
• «плохо»
• «хорошо»

Основой наук о знаках, согласно Ф. де Соссюру, должна стать

• семасиология
• логика
• методология науки
• лингвистика

В логике времени к абсолютным модальным понятиям относят понятия

• «раньше»
• «одновременно»
• «есть»
• «будет»
• «было»
• «позже»

Способом построения всеобщей науки и универсальной философии, по Г.Лейбницу, являются

• комбинаторика и аналитика
• майевтика и ирония
• диалектика и метафизика
• логика и риторика

Развитие семиотики как науки о знаках связано с развитием

• лингвистики
• философии
• логики
• математики

Суждение «Одно и то же событие не может быть причиной двух несовместимых событий» является

• аналитически истинным
• аналитически ложным
• фактически ложным
• фактически истинным

Автором работы «Математический анализ логики» является

• Д.Буль
• Г.Фреге
• Г.Лейбниц
• К.Льюис

Основателем Львовско-Варшавской школы логики был

• А.Тарский
• Я.Лукасевич
• К.Твардовский
• Я.Воленьский

Бесскобочная логическая символика была введена

• Б.Расселом
• К.Льюисом
• Ч.Пирсом
• Я.Лукасевичем

Логика времени свои истоки берет из логики

• эпохи Средневековья
• эпохи Возрождения
• эпохи Нового времени
• античности

Утверждение «Всякое состояние либо сохраняется, либо возникает, либо исчезает» лежит в основе логики

• направленности
• времени
• причинности
• предпочтений