Основные типы неклассических логик
Автором работы «О принципе противоречия у Аристотеля» является
Я.Лукасевич
К.Гедель
Ч.Пирс
Б.Рассел
Логику времени с логикой причинности объединяет понятие
формы
истины
метода
познания
Ассерторическим высказыванием является высказывание
доказано, что Платон – автор «Тимея»
хорошо, что стекло не проводит ток
древние греки полагали, что Пегас – крылатый конь
снег бел
Объектом исследования модальной логики является
силлогистика Аристотеля
структура ассерторических высказываний
классификация неклассической логики
связь модальных высказываний с ассерторическими высказываниями
логическое значение ассерторических высказываний
логическое поведение модальных высказываний
Логика причинности находит приложение при обсуждении
детерминизма
онтологической необходимости
законов природы
законов мышления
ценностей
законов социальных отношений
Появление в ХVII веке предпосылок для создания классической механики относится к
преддетерминации
одновременной детерминации
постдетерминации
каузальной детерминации
Метаматематика изучает
понятия математики
формализованные математические теории
теорию доказательства при помощи построения символических языков
основания математики
предмет и объект математики
разделы математики
Классическая логика возникает в
ХХ–ХХI вв.
ХVIII–ХIХ вв.
ХVII–ХVIII вв.
ХIХ–ХХ вв.
В теории оценочных модальностей принцип полноты утверждает, что
каждое высказывание является или необходимым, или случайным, или невозможным
всякий объект является или хорошим, или плохим
всякое суждение или утверждает убеждение, или выражает сомнение, или отвергает
всякое действие или обязательно, или безразлично, или запрещено
Развитие семиотики связано с размежеванием
логики и психологии
психологии и философии
философии и логики
логики и математики
Квантовая логика поддерживалась физиками
К.Вайцзеккером
М.Борном
В.Гейзенбергом
Н.Бором
В.Паули
Формулировка «Суждение «р истинно и q ложно» не самопротиворечиво» относится к строгой
дизъюнкции
эквиваленции
конъюнкции
импликации
Всякое необходимое высказывание может быть
только истинным
не истинным и не ложным
только ложным
и истинным, и ложным
Учение Г.Лейбница строится на идее
логического исчисления
строгой импликации
неполноты формализации
универсальной символики
неуниверсальности закона исключенного третьего
В семантическую часть формализованного языка входит
интерпретация
алфавит
правило преобразования
правило образования
Изменение как отношение передается понятием
«исчезает»
«переходит»
«остается неизменным»
«возникает»
В квантовой логике исключается закон
идемпотентности
достаточного основания
тождества
коммутативности
исключенного третьего
ассоциативности
противоречия
дистрибутивности
В теории эпистемических модальностей принцип полноты утверждает, что
каждое высказывание является или необходимым, или случайным, или невозможным
всякое действие или обязательно, или безразлично, или запрещено
всякий объект является или хорошим, или плохим
всякое суждение или утверждает убеждение, или выражает сомнение, или отвергает
Положение, что модальные понятия должны относиться не к высказываниям, имеющим определенное истинностное значение, а только к пропозициональным функциям, относится к учению
Б.Рассела
Ч.Пирса
Я.Лукасевича
К.Льюиса
Из общего формального свойства модальных понятий «Неразрешимо то, что…» следует
недоказуемо и неопровержимо
безразлично
не обязательно и не запрещено
не является ни необходимым, ни невозможным
Модальным является высказывание
снег бел и холоден
доказано, что Платон – автор «Тимея»
стекло не проводит электрический ток
Тасмания открыта капитаном Куком
Модальное понятие «сомневается» относится к понятиям модальности
нормативной
эпистемической
логической
физической
Эпистемическая логика делится на логики
знания и убеждения
времени и причинности
знания и мнения
убеждения и веры
Формулировка «Высказывание не может быть необходимым и невозможным» является модальным аналогом закона
противоречия
достаточного основания
исключенного третьего
тождества
В трехзначной логике Я.Лукасевича отсутствует закон
тождества
исключенного третьего
противоречия
достаточного основания
Логика, которая утверждает, что суждения могут быть не только истинными или ложными, но и неопределенными, называется
деонтической
вероятностной
оценочной
многозначной
Против психологической трактовки законов логики выступают
Х.Зигварт
Дж.Милль
Э.Гуссерль
Б.Эрдман
Я.Лукасевич
Т.Липпс
Автором исчисления предикатов является
Ч.Пирс
Г.Фреге
Д.Буль
Б.Рассел
Принцип модальной полноты является аналогом закона
исключенного третьего
противоречия
достаточного основания
тождества
Искусственные языки как инструмент исследования, инструмент решения определенных познавательных задач рассматривал
Ч.Пирс
Г.Фреге
Б.Рассел
П.Эренфест
Деонтическое понятие с греческого языка означает
нужное, должное
причина
знание
ценность
Термины «возникает», «исчезает», «уже есть», «еще есть», «уже нет» относятся к логике
времени
направленности
предпочтений
причинности
Появление предпосылок в Западной Европе в ХV веке для модернизации и перехода от традиционного общества к индустриальному обществу относится к
одновременной детерминации
постдетерминации
каузальной детерминации
преддетерминации
Деонтическая логика свои истоки берет из логики
античности
эпохи Средневековья
эпохи Нового времени
эпохи Возрождения
Бессмысленное высказывание является
истинным и ложным
не истинным и не ложным
истинным, но не ложным
не истинным, но ложным
В теории логических модальностей принцип полноты утверждает, что
каждое высказывание является или необходимым, или случайным, или невозможным
всякий объект является или хорошим, или плохим
всякое действие или обязательно, или безразлично, или запрещено
всякое суждение или утверждает убеждение, или выражает сомнение, или отвергает
Высказывание «Завтра будет морское сражение» является
ложным
и истинным, и ложным
истинным
не истинным и не ложным
Время как свойство представляется понятием
«раньше»
«было»
«позже»
«одновременно»
Идея Лейбница – это идея формализации
подтверждения гипотез
доказательства
объяснения
опровержения
Предпосылки для формулировки развитой теории социализма в ХIХ веке относятся к
преддетерминации
постдетерминации
одновременной детерминации
каузальной детерминации
Идея создания общей теории знаков и знаковых систем родилась на рубеже
ХIХ–ХХ вв.
ХХ–ХХI вв.
ХVII–ХVIII вв.
ХVIII–ХIХ вв.
По закону логики оценок: Ничто не может быть хорошим и одновременно
невозможным
плохим
запрещенным
обязательным
Оценочные модальные понятия характеризуют объекты с точки зрения определенной системы
ценностей
норм
отношений
знаний
Изменение как свойство передается понятием
«совпадает»
«раньше»
«здесь»
«возникает»
Логика времени возникла в конце
40-х годов ХХ века
60-х годов ХХ века
70-х годов ХХ века
50-х годов ХХ века
Нормативные высказывания могут быть
конкретными или абстрактными
осмысленными или бессмысленными
целесообразными или нецелесообразными
истинными или ложными
Интуиционистская логика исключает закон
исключенного третьего
тождества
сведения к абсурду
противоречия
достаточного основания
двойного отрицания
К законам логики направленности относятся формулировки
существовать – это то же, что начинать исчезать, и тоже, что переставать возникать
не существовать – то же, что начинать возникать, и то же, что прекращать исчезать
изменение не может начаться с логически противоречивых состояний
становление – это прекращение несуществования, а исчезновение – это возникновение несуществования
при изменении состояние не может одновременно сохраняться и исчезать
всякое состояние либо сохраняется, либо возникает, либо исчезает
Автором работы «Исчисление понятий. Язык формул для чистого мышления, построенный по образцу арифметического» является
Г.Х.Вригт
Б.Рассел
Д. фон Нейман
Г.Фреге
Одним из первых авторов, систематически занявшихся проблематикой модальной логики в рамках современной логики, был
К.Гедель
Я.Лукасевич
Ч.Пирс
Б.Рассел