Найдите правильное определение логики как науки

Вопрос № 1

?Найдите
правильное определение логики как
науки. Логика – это наука о

+формах
рационального мышления и логических
законах


умозаключениях и доказательствах

– мышлении

– формах
мышления и истинности суждений

– формах
чувственного познания

Вопрос № 2

?Формальная
логика появилась в

+античности

– Средние
века

– Новое
время

– XX веке

– Эпоху
возрождения

Вопрос № 3

?Основатель
формальной логики –

+Аристотель;

– Боэций

– Лейбниц

– Сократ

– Платон

Вопрос № 4

?

Традиционная
(формальная) логика называется также

+двухзначной


многозначной


символической


математической


диалектической

Вопрос № 5

?

К формам
чувственного познания относятся

+ощущение;
восприятие; представление

– понятие;
суждение; умозаключение


ощущение; восприятие; умозаключение


ощущение; восприятие; понятие


восприятие; представление; понятие

Вопрос № 6

?

Лишним
в приведенном списке является

+представление;

– понятие;


дедуктивное умозаключение


суждение.


индуктивное умозаключение

Вопрос № 7

?

Элементарная
форма абстрактного мышления, в которой
фиксируются существенные свойства,
признаки обозначаемого предмета, –

+понятие


представление

– суждение


умозаключение


силлогизм

Вопрос № 8

?

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

+умозаключение

– понятие

– суждение


рассуждение


предложение

Вопрос № 9

?

Форма
мышления, в которой что-то утверждается
или отрицается о предметах, их свойствах
и отношениях, –

+суждение

– понятие


умозаключение


предложение


рассуждение

Вопрос № 10

?

Найдите
понятие:

+Умный
человек.

– Этот
стол – деревянный.

– Акзера
красивая девушка.

– Вы
заболели?

– Я
говорю.

Вопрос № 11

?

Найдите
понятие:

+Студент
1 курса УМБ.

– Я
являюсь студентом УМБ.

– Этот
студент учится в УМБ.

– В нашей
группе есть студенты-отличники.

– В нашей
группе есть студенты-отличники.

Вопрос № 12

?

Любое
понятие выражается в форме

+слова
или словосочетания

– простого
предложения

– связного
текста

– сложного
предложения

– простого
силлогизма

Вопрос № 13

?

Любое понятие имеет

+объем

– величину

– размер

– фигуру

– модус

Вопрос № 14

?

Содержание
понятия – это

+существенные
признаки того объекта, который оно
выражает

– слово
или словосочетание, в котором оно
выражается


совокупность всех объектов, которые
оно охватывает

– то
суждение, в котором оно может употребляться


совокупность всех слов или словосочетаний,
которые могут его выражать

Вопрос № 15

?

Объем
понятия – это

+совокупность
объектов, охватываемых этим понятием

– наиболее
важные признаки того объекта, который
оно обозначает


совокупность всех слов или словосочетаний,
которые могут его выражать

– всех
рассуждения, в которых оно употребляется


существенные признаки того объекта,
который оно выражает

Вопрос № 16

?

Единичным
является понятие

+Аристотель

– Пустыня

– Студент
УМБ

– Студент
МАБ


Спортсмен

Вопрос № 17

?

Общим
понятием не является

+Эйфелева
башня

– Москвич


Спортсмен


Двигатель

– Глубокое
озеро

Вопрос № 18

?

Пустым
(нулевым) является следующее понятие

+Человек,
проживший 300 лет

– Москвич


Спортсмен


Двигатель

– Глубокое
озеро

Вопрос № 19

?

Опираясь
на закон обратного отношения между
объемом и содержанием понятий, выберите
правильное суждение:

+объем
понятия «учащийся» больше объема понятия
«студент»

– объем
понятия «учащийся» меньше объема понятия
«студент»

– объем
понятия «учащийся» равен объему понятия
«студент»

– объем
понятия «студент» равен объему понятия
«учащийся»


содержание понятия «студент» равно
содержанию понятия «учащийся»

Вопрос № 20

?

Опираясь
на закон обратного отношения между
объемом и содержанием понятий, выберите
правильное суждение:

+содержание
понятия «студент УМБ» больше содержания
понятия «студент»


содержание понятия «студент УМБ» меньше
содержания понятия «студент»


содержание понятия «студент УМБ» равно
содержанию понятия «студент»


содержание понятия «студент» равно
содержанию понятия «студент УМБ»


содержание понятия «студент» равно
содержанию понятия «студент МАБ»

Вопрос № 21

?

Понятие,
большее по объему, называется

+родовым

– видовым

– общим


единичным

– широким

Вопрос № 22

?

Найдите
правильный вариант ограничения понятия:

+столица
– столица России

– Москва
– столица России

– Москва
– город

– Москва
– район Москвы

– столица
России – столица

Вопрос № 23

?

Найдите
правильный вариант обобщения понятия:

+цветок
– растение

– цветок
– стебель

– цветок
– букет цветов

– цветок
– тюльпан

– цветок
– роза

Вопрос № 24

?

Найдите
правильный вариант ограничения понятия:

+столица
– столица Казахстана

– Астана
– столица Казахстана

– Астана
– город

– Астана
– район

– столица
Казахстана – столица

Вопрос № 25

?

Найдите
правильный вариант обобщения понятия:

+цветок
– растение

– цветок
– орхидея

– цветок
– тюльпан

– цветок
– нарцисс

– цветок
– роза

Вопрос № 26

?

Возможным
результатом ограничения для понятия
«карандаш» будет понятие

+сломанный
карандаш


письменная принадлежность


деревянный предмет

– изделие
человека

– учебная
принадлежность

Вопрос № 27

?

Пределом
логической цепочки ограничения любого
понятия всегда будет какое-либо

+единичное
понятие

– нулевое
понятие


абстрактное понятие

– родовое
понятие


конкретное понятие

Вопрос № 28

?

Несовместимые
понятия не могут находиться в отношениях

+подчинения


соподчинения


противоположности


противоречия


контрарности

Вопрос № 29

?

Несовместимые
понятия не могут находиться в отношениях

+равнозначности


соподчинения


противоположности


противоречия


контрарности

Вопрос № 30

?

Несовместимые
понятия не могут находиться в отношениях

+перекрещивания


соподчинения


противоположности


противоречия


контрарности

Вопрос № 31

?

Совместимые
понятия не могут находиться в отношениях

+противоречия


равнозначности


перекрещивания


пересечения


подчинения

Вопрос № 32

?

Совместимые
понятия не могут находиться в отношениях

+противоположности


равнозначности


перекрещивания


пересечения


подчинения

Вопрос № 33

?

Совместимые
понятия не могут находиться в отношениях

+соподчинения


равнозначности


перекрещивания


пересечения


подчинения

Вопрос № 34

?

Понятия
«Париж» и «столица Франции» находятся
в отношении

+равнозначности


подчинения


пересечения


соподчинения


противоположности

Вопрос № 35

?

Понятия
«спортсмен» и «студент» находятся в
отношении

+пересечения


равнозначности


подчинения


соподчинения


противоречия

Вопрос № 36

?

Понятия
«береза» и «дерево» находятся в отношении

+подчинения


равнозначности


пересечения


соподчинения


противоположности

Вопрос № 37

?

Понятия
«друг» и «враг» находятся в отношении

+противоположности


пересечения


соподчинения


противоречия


подчинения

Вопрос № 38

?

Понятия
«метро» и «трамвай» находятся в отношении

+соподчинения


подчинения


противоречия


противоположности


пересечения

Вопрос № 39

?

Понятия
«четное число» и «нечетное число»
находятся в отношении

+противоречия


противоположности


соподчинения


несравнимости


пересечения

Вопрос № 40

?

Определение
«Экзистенциализм – это философское
направление XX века, в котором рассматриваются
различные экзистенциальные вопросы и
проблемы»

+неправильное
(содержит в себе круг)


правильное


неправильное (слишком широкое)


неправильное (слишком узкое)


неправильное (двусмысленное)

Вопрос № 41

?

Определение
«Остров – это часть суши, окруженная
со всех сторон водой»

+неправильное
(слишком широкое)


неправильное (слишком узкое)


неправильное (содержит в себе круг)


правильное


неправильное (двусмысленное)

Вопрос № 42

?

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

+неправильное
(только отрицательное)


неправильное (несоразмерное)


неправильное (двусмысленное)


неправильное (содержит в себе круг)


правильное

Вопрос № 43

?

Определение
«Кавычки – парный знак препинания,
используемый для выделения прямой речи»

+неправильное
(слишком узкое)


правильное


неправильное (слишком широкое)


неправильное (содержит в себе круг)


неправильное (двусмысленное)

Вопрос № 44

?

Определение
«Наступление – лучшее средство обороны»

+неправильное
(двусмысленное).


правильное


неправильное (содержит в себе круг)


неправильное (слишком узкое)


неправильное (слишком широкое)

Вопрос № 45

?

Найдите
суждение:

+На
улице холодно.


Равносторонний треугольник.

– Первый
президент РК.


Сломанный карандаш.


Сотрудник правоохранительных органов.

Вопрос № 46

?

Найдите
суждение:

+Мы
сдали зачет.

– Сданный
зачет.


Несданный зачет по логике.

– Самый
сложный зачет в моей жизни.

– Сданный
зачет по логике.

Вопрос № 47

?

Суждение
выражается в форме

+повествовательного
предложения


вопросительного предложения


побудительного предложения


словосочетания

– группы
слов

Вопрос № 48

?

В
структуру простого суждения не входит

+силлогизм

– субъект
суждения

– предикат
суждения

– связка

– квантор

Вопрос № 49

?

Истинным
или ложным может быть

+суждение

– понятие

– термин

– квантор

– связка

Вопрос № 50

?

Рассуждение
«3 и 4 – это два разных числа, 3 и 4 – это
7, следовательно, 7 – это два разных
числа» является

+софизмом


парадоксом


паралогизмом


поспешным обобщением


гипотезой

Вопрос № 51

?

Преднамеренные
ошибки с целью запутать своего противника
и выдать ложное суждение за истинное
(внешне правильные доказательства
ложных мыслей) –

+софизм


паралогизм

– парадокс


противоречие


гипотезой

Вопрос № 52

?

Способ
связи аргументов с тезисом в доказательстве
называется

+демонстрацией


аргументацией


декларацией


обоснованием


опровержением

Вопрос № 53

?

В
структуру доказательства не входит:

+критика
аргументов

– форма
доказательства


аргументы

– тезис


демонстрация

Вопрос № 54

?

Простое
суждение «У птиц есть крылья» является

+общеутвердительным


частноутвердительным


общеотрицательным


частноотрицательным


единичным

Вопрос № 55

?

Найдите
общеотрицательное суждение:

+Привидения
не существуют.


Некоторые люди видели солнечное затмение.


Большинство людей знают английский
язык.

– Многие
все еще верят в злых духов.


Некоторые преступления не являются
преднамеренными.

Вопрос № 56

?

Найдите
общеутвердительное суждение:

+Все
люди смертные.


Некоторые люди видели солнечное затмение.


Большинство людей знают английский
язык.

– Многие
все еще верят в злых духов.


Некоторые преступления не являются
преднамеренными.

Вопрос № 57

?

Найдите
частноотрицательное суждение:

+Некоторые
преступления не являются преднамеренными.


Некоторые люди видели солнечное затмение.


Большинство людей знают английский
язык.

– Многие
все еще верят в злых духов.

– Все
люди смертные.

Вопрос № 58

?

Найдите
частноутвердительное суждение:

+Многие
все еще верят в злых духов.


Некоторые люди не видели солнечное
затмение.


Большинство людей не знают английский
язык.

– Все
люди смертные.


Некоторые преступления не являются
преднамеренными.

Вопрос № 59

?

Найдите
частноутвердительное суждение:

+Большинство
людей знают английский язык.


Некоторые люди не видели солнечное
затмение.

– Многие
не верят в злых духов.

– Все
люди смертные.


Некоторые преступления не являются
преднамеренными.

Вопрос № 60

?

Найдите
частноутвердительное суждение:

+Некоторые
люди знают французский язык.


Некоторые люди не видели солнечное
затмение.


Большинство людей не знают английский
язык.

– Все
люди смертные.


Некоторые преступления не являются
преднамеренными.

Вопрос № 61

?

Найдите
частноутвердительное суждение:

+Некоторые
люди являются вегетарианцами.


Некоторые люди не видели солнечное
затмение.


Большинство людей не знают английский
язык.

– Все
люди смертные.


Некоторые преступления не являются
преднамеренными.

Вопрос № 62

?

Укажите
тип следующего сложного суждения: «Вчера
он получил двойку не только по русскому
языку, но еще и по математике».

+конъюнкция


нестрогая дизъюнкция

– строгая
дизъюнкция


импликация


эквиваленция

Вопрос № 63

?

Укажите
тип следующего сложного суждения: «Если
лед нагреть до плюсовой температуры,
то он растает».

+импликация


нестрогая дизъюнкция

– строгая
дизъюнкция


конъюнкция


эквиваленция

Вопрос № 64

?

Строгой
дизъюнкцией является следующее суждение:

+Иван
или сын, или внук Петра Васильевича.

– Он
занимается живописью, или музыкой, или
литературой.

– Нелли
и Катя подруги или просто живут рядом.

– Если
число нечетное, то оно делится на два.

– Вчера
он получил двойку не только по русскому
языку, но еще и по математике.

Вопрос № 65

?

Импликацией
не является следующее суждение:

+Если
в огороде бузина, то в Киеве дядька.

– Если
я поем, я буду сыт.

– Курить
– здоровью вредить.

– Посеешь
ветер – пожнешь бурю.

– Если
пойдет дождь, то экскурсия не состоится.

Вопрос № 66

?

Гипотеза
форма знания, содержащая:

+Предположение,
истинное значение которого нуждается
в доказательстве


Проблему, которую необходимо познать

– Суждение
аксиоматического характера


Совокупность закономерных знаний о
ряде явлений


Фундаментальные понятия науки

Вопрос № 67

?

Укажите
тип следующего сложного суждения: «Уж
полночь близится, а Германа все нет».

+конъюнкция;

– дизъюнкция;


импликация;


эквиваленция.


эквиваленция

Вопрос № 68

?

Укажите
тип следующего сложного суждения: «Если
число нечетное, то оно делится на два».

+эквиваленция


нестрогая дизъюнкция

– строгая
дизъюнкция


импликация


конъюнкция

№ 69

?

Логическая
формула суждения «Если у меня будут
деньги, и я вовремя сдам экзамен по
философии, то я поеду отдыхать в Крым
или в Турцию»
будет выглядеть так:

+(a

(b 
с)) → (d 
e)

– a → b → c → d


(a 
b) → (c 
d)


(a 
b) → (c
d)


(b  с)
→ (d 
e)

Вопрос № 70

?

Логическая
формула суждения «В этот час джунгли
кишели дичью: стада антилоп разбегались
при появлении «лендровера», два
бородавочника едва успели выскочить
из-под колес; черногрудые аисты
величественно восседали на вершинах
деревьев»
будет выглядеть так:

+a

b 
c 
d


a 
b 
c 
d


a 
b 
c 
d


a → (b 
c 
d)


(b  с)
→ (d 
e)

Вопрос № 71

?

Индукция
– метод исследования, в котором вывод
строится на основе:

+Частных
посылок


Эксперимента

– Аксиом

– Гипотезы

– Теории

Вопрос № 72

?

Опираясь
на закон тождества, установите, в каком
случае сохраняется тождество
суждений, если выделенное понятие
заменить другим: Преступник, скрываясь
от преследования, свернул в
безлюдный
переулок.

+пустынный

– глухой

– темный

– узкий


просторный

Вопрос № 73

?

Укажите,
какой из формальных законов логики
нарушен в следующем рассуждении: «Этот
человек не болен, ведь у него не повышена
температура».

+закон
достаточного основания

– закон
исключенного третьего

– закон
непротиворечия

– закон
тождества

– закон
противоречия

Вопрос № 74

?

Укажите,
какой из формальных законов логики
нарушен в следующем рассуждении: Учащийся
спрашивает учителя: «Можно ли ругать
или наказывать человека за то, что он
не сделал?» – «Нельзя конечно же», –
отвечает учитель. «В таком случае не
ругайте и не наказывайте меня, – говорит
учащийся, – я не сделал сегодня домашнее
задание».

+закон
тождества;

– закон
непротиворечия

– закон
исключенного третьего

– закон
достаточного основания

– закон
противоречия

Вопрос № 75

?

Укажите,
какой из формальных законов логики
нарушен в следующем рассуждении: Узнав
от хозяина трактира, что поселившийся
в ней человек (Хлестаков) «другую уж
неделю живет, из трактира не едет,
забирает все на счет… и ни копейки не
хочет платить», Бобчинский и Добчинский
решили, что этот человек и есть ревизор.
(Гоголь, «Ревизор»)

+закон
достаточного основания

– закон
непротиворечия

– закон
исключенного третьего

– закон
тождества

– закон
противоречия

Вопрос № 76

?

Умозаключение
от суждений большей степени общности
к суждениям меньшей степени общности,
называется

+дедукция

– индукция

– аналогия

– сорит


силлогизм.

Вопрос № 77

?

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

+аналогия

– научная
индукция

– сорит

– дедукция

– простой
категорический силлогизм

Вопрос № 78

?

Найдите
умозаключение, построенное на основе
полной индукции:

+Каждое
государство имеет свой национальный
флаг.

– Все
цветы имеют запах.

– Все
лебеди белые.

– Все
слоны имеют бивни.

– Все
люди смертны.

Вопрос № 79

?

Найдите
умозаключение, построенное на основе
неполной индукции:

+Счастливые
часов не наблюдают.

– Все
ученики нашего класса увлекаются
спортом.

– Каждая
наука имеют свой предмет изучения.

– Каждое
государство имеет свой национальный
флаг.

– Все
стрелки, участвовавшие в соревновании,
получили призы.

Вопрос № 80

?

Найдите
умозаключение, построенное на основе
полной индукции:

+Каждая
наука имеют свой предмет изучения.

– Все
цветы имеют запах.

– Все
лебеди белые.

– Все
слоны имеют бивни.

– Все
люди смертны.

Вопрос № 81

?

Найдите
умозаключение, построенное на основе
полной индукции:

+Все
стрелки, участвовавшие в соревновании,
получили призы.

– Все
цветы имеют запах.

– Все
лебеди белые.

– Все
слоны имеют бивни.

– Все
люди смертны.

Вопрос № 82

?

Найдите
умозаключение, построенное на основе
полной индукции:

+Всю
неделю стояла холодная погода.

– Все
цветы имеют запах.

– Все
лебеди белые.

– Все
слоны имеют бивни.

– Все
люди смертны.

Вопрос № 83

?

Найдите
умозаключение, построенное на основе
полной индукции:

+Все
спортсмены нашей команды успешно
выступили на соревнованиях.

– Все
цветы имеют запах.

– Все
лебеди белые.

– Все
слоны имеют бивни.

– Все
люди смертны.

Вопрос № 84

?

Найдите
умозаключение, построенное на основе
полной индукции:

+Все
студенты нашей группы увлекаются
спортом.

– Все
цветы имеют запах.

– Все
лебеди белые.

– Все
слоны имеют бивни.

– Все
люди смертны.

Вопрос № 85

?

Умозаключение
«Все студенты имеют зачетные книжки.
Иванов – студент. Следовательно, Иванов
имеет зачетную книжку»
является

+дедукцией


индукцией


аналогией


превращением


обращением

Вопрос № 86

?

Умозаключение
«Все люди смертны. Сократ – человек.
Значит, Сократ смертен»
является

+дедукцией


индукцией


аналогией


превращением


обращением

Вопрос № 87

?

Умозаключение
«Планета Земля расположена в Солнечной
системе, на ней есть атмосфера, вода и
жизнь. Планета Марс расположена в
Солнечной системе, на ней есть атмосфера
и вода. Вероятно, на Марсе есть жизнь»

является

+аналогией


индукцией


дедукцией


превращением


обращением

Вопрос № 88

?

Умозаключение
«Грипп имеет инкубационный период.
Корь имеет инкубационный период. Гепатит
имеет инкубационный период. Все эти
заболевания – инфекционные. Значит,
все инфекционные заболевания имеют
инкубационный период»
является

+индукцией


аналогией


дедукцией


превращением


обращением

Вопрос № 89

?

Умозаключение
«Эта птица – страус, следовательно,
эта птица не летает»
является

+энтимемой


аналогией

– простым
категорическим силлогизмом

– соритом


обращением

Вопрос № 90

?

Силлогизм
Все металлы электропроводны.

Железо
– это металл.________________

Железо –
электропроводно.

построен
по

+первой
фигуре

– второй
фигуре

– третьей
фигуре


четвертой фигуре

– аналогии

Вопрос № 91

?

Силлогизм
Все цветы – растения.

Все
розы – цветы.________________

Все розы –
растения.

построен
по

+первой
фигуре

– второй
фигуре

– третьей
фигуре


четвертой фигуре

– аналогии

Вопрос № 92

?

«Преступление
могли совершить или Петров, или Иванов,
или Сидоров, но точно известно, что ни
Иванов, ни Сидоров его не совершали,
следовательно, преступление совершил
Петров».
Данное умозаключение
представляет собой:

+разделительно-категорическое
умозаключение

– простой
категорический силлогизм


условно-категорическое умозаключение

– дилемму

– сорит

Вопрос № 93

?

Умозаключение
«Если каждый угол треугольника равен
60
, то
треугольник – равносторонний. В
треугольнике АВС каждый угол равен 60
.
Треугольник АВС – равносторонний»
представляет собой:

+условно-категорическое
умозаключение

– простой
категорический силлогизм


разделительно-категорическое умозаключение

– дилемму

– сорит

Вопрос № 94

?

В простом
категорическом силлогизме

Законы
придумывают люди.

Всемирное
тяготение – это закон.

Всемирное
тяготение придумали люди.

допущена ошибка

+учетверение
терминов


поспешное обобщение

– вывод
сделан из двух частных посылок

– вывод
сделан из двух отрицательных посылок

– средний
термин не распределен ни в одной посылке

Вопрос № 95

?

В простом
категорическом силлогизме

Все герои
заслуживают награды.

Некоторые
военнослужащие – герои.

Все военнослужащие
заслуживают награды.

допущена ошибка

+при
одной частной посылке, вывод должен
быть частным


поспешное обобщение

– вывод
сделан из двух частных посылок

– вывод
сделан из двух отрицательных посылок


учетверение терминов

Вопрос № 96

?

«Некогда
в Англии был особый способ лечения,
состоящий в том, что так называемую
«мазь чести» прикладывали не к ране, а
к тому мечу, которым она была нанесена,
и на нем делали перевязки с правильными
промежутками; но в то же время перевязывали
и рану, оставляя ее в таком положении
на семь дней. Было замечено, что многие
излечивались таким способом, считая,
что излечение зависело от перевязки
меча».
В данном рассуждении допущена
ошибка

+после
этого, значит, по причине этого


поспешное обобщение

– подмена
условного безусловным

– подмена
тезиса


учетверение терминов;

Вопрос № 97

?

«Ассистент, присутствовавший на
экзамене, был удовлетворен ответами
трех первых студентов. Он высказал свое
мнение экзаменатору: «Ваши студенты
глубоко изучили предмет».
В данном
рассуждении допущена ошибка

+поспешное
обобщение

– после
этого, значит, по причине этого

Соседние файлы в папке +Логика- Тест-Понятие

  • #

    06.03.2016642 б18ASSIST.ini

  • #

    06.03.2016367 б15STAT_AS2.TXT

  • #

    06.03.2016286 б38ЛОГИКА ЭКЗАМЕН.log

  • #

    06.03.2016108.66 Кб15ЛОГИКА ЭКЗАМЕН.qst

  • #

    06.03.201621.74 Кб21ЛОГИКА ЭКЗАМЕН.qsz

  • #
  • #

    06.03.2016123 б17Понятие.log

  • #

    06.03.201615.86 Кб13Понятие.qst

  • #

    06.03.20163.69 Кб14Понятие.qsz

  • #
  • #

    06.03.201668 б25СУЖДЕНИЕ.log

1. Найдите правильное определение логики как науки. Логика – это наука о
формах рационального мышления и логических законах
умозаключениях и доказательствах
мышлении
формах мышления и истинности суждений
формах чувственного познания

2. Основатель формальной логики –
Аристотель
Боэций
Лейбниц
Сократ
Платон

3. К формам чувственного познания относятся
ощущение; восприятие; представление
понятие; суждение; умозаключение
ощущение; восприятие; умозаключение
ощущение; восприятие; понятие
восприятие; представление; понятие

4. Элементарная форма абстрактного мышления, в которой фиксируются существенные свойства, признаки обозначаемого предмета, —
понятие
представление
суждение
умозаключение
силлогизм

5. Форма мышления, в которой что-то утверждается или отрицается о предметах, их свойствах и отношениях, –
суждение
понятие
умозаключение
предложение
рассуждение

6. Найдите понятие:
Студент 1 курса УМБ.
Я являюсь студентом УМБ.
Этот студент учится в УМБ.
В нашей группе есть студенты-отличники.
В нашей группе есть студенты-отличники.

7. Любое понятие имеет
объем
величину
размер
фигуру
модус

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

9. Общим понятием не является
Эйфелева башня
Москвич
Спортсмен
Двигатель
Глубокое озеро

10. Опираясь на закон обратного отношения между объемом и содержанием понятий, выберите правильное суждение:
объем понятия «учащийся» больше объема понятия «студент»
объем понятия «учащийся» меньше объема понятия «студент»
объем понятия «учащийся» равен объему понятия «студент»
объем понятия «студент» равен объему понятия «учащийся»
содержание понятия «студент» равно содержанию понятия «учащийся»

11. Понятие, большее по объему, называется
родовым
видовым
общим
единичным
широким

12. Найдите правильный вариант обобщения понятия:
цветок – растение
цветок – стебель
цветок – букет цветов
цветок – тюльпан
цветок – роза

13. Найдите правильный вариант обобщения понятия:
цветок – растение
цветок – орхидея
цветок – тюльпан
цветок – нарцисс
цветок – роза

14. Пределом логической цепочки ограничения любого понятия всегда будет какое-либо
единичное понятие
нулевое понятие
абстрактное понятие
родовое понятие
конкретное понятие

15. Несовместимые понятия не могут находиться в отношениях
равнозначности
соподчинения
противоположности
противоречия
контрарности

Онлайн-тестыТестыФилософия и психологияЛогикавопросы


256. На учебном занятии ситуация аргументации возникает, когда
кто-то из студентов не согласен с тезисом преподавателя

257. На учебном занятии ситуация аргументации завершается, когда
студенты убеждаются в истинности тезиса преподавателя по спорному вопросу

258. Найдите общеотрицательное суждение:
Привидения не существуют.

259. Найдите понятие:
Студент 1 курса МФЮА

260. Найдите понятие:
Умный человек.

261. Найдите правильное определение логики как науки. Логика – это наука о:
формах рационального мышления и логических законах

262. Найдите правильный вариант обобщения понятия:
цветок – растение

263. Найдите правильный вариант ограничения понятия:
столица – столица России

264. Найдите суждение:
Мы сдали зачет.

265. Найдите суждение:
На улице холодно.

266. Найдите умозаключение, построенное на основе неполной индукции:
Счастливые часов не наблюдают.

267. Найдите умозаключение, построенное на основе полной индукции:
Каждое государство имеет свой национальный флаг.

268. Научная индукция — это:
умозаключение, в посылках которого наряду с повторяемостью признака у некоторых явлений класса содержится также информация о зависимости этого признака от определенных свойств явления

269. Нахождение некоторого алгоритма решения проблемы представляет собой метод
эвристический

270. Не признает объективного существования общего — общих понятий и (тем более) логических форм и законов — логико-философское направление
номинализм


 «Все мастера спорта — спортсмены. Петров — мастер спорта, значит, он спортсмен». Данное рассуждение является:
правильным простым категорическим силлогизмом

 «Все мастера спорта — спортсмены. Сидоров — спортсмен, а значит и мастер спорта». Данное рассуждение является:
неправильным простым категорическим силлогизмом

 «Всякий квадрат — ромб. Данная фигура — не квадрат. Она не ромб». Данное рассуждение является:
неправильным простым категорическим силлогизмом

 «Каждый участник общей долевой собственности имеет право на отчуждение своей доли другому лицу. Петров не является участником общей долевой собственности, так как он не имеет права на отчуждение своей доли другому лицу». Данное рассуждение является:
правильным простым категорическим силлогизмом

 «Каждый, совершивший преступление, должен быть подвергнут справедливому наказанию. Обвиняемый совершил преступление. Следовательно, он должен быть подвергнут справедливому наказанию». Данное рассуждение является:
правильным простым категорическим силлогизмом

 «Логика — наука философская» — это определение …
слишком широкое

 «Некоторые четные числа делятся на пять. Некоторые четные числа делятся на три. Следовательно: всякое, делимое на три, делится на пять». Данное рассуждение является:
неправильным простым категорическим силлогизмом

 «Некоторые юристы — спортсмены. Петров — юрист, значит, он спортсмен». Данное рассуждение является:
неправильным простым категорическим силлогизмом

 «Ни один невиновный не должен быть привлечен к уголовной ответственности. Обвиняемый не должен быть привлечен к уголовной ответственности, так как он невиновен». Данное рассуждение является:
правильным простым категорическим силлогизмом

 «Простое четное число больше двух» является понятием
нулевым (пустым)

 «Простое число» является понятием
общим, конкретным

 «Следователь Петров И.И.» является понятием
единичным, конкретным

 «Следователь по особым делам» является понятием
общим, конкретным

 «Смелость» является понятием
общим, абстрактным

 «Смелый поступок» является понятием
общим, конкретным

 «Студент — человек, обучающийся в учебном заведении» — это определение …
слишком широкое

 «Трезвость» является понятием
общим, абстрактным

 «Уральские горы» является понятием
единичным, конкретным

 «Четное число — число, которое делится на два» — это определение …
слишком широкое

  В данном рассуждении допущена ошибка:
поспешное обобщение

  В данном рассуждении допущена ошибка:
после этого, значит, по причине этого

  Данное умозаключение представляет собой:
разделительно-категорическое умозаключение

 

 

Данной схеме соответствует следующая группа понятий:
Мальчик. Девочка. Школьник.

  Данной схеме не соответствует следующая группа понятий:
Растение. Дерево. Сосна.

  Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Студент СГУ, 2. Московский студент, 3. Студент

  Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Число два, 2. Четное число, 3. Число

  Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Женщина, 2. Поэт, 3. Мужчина

 
Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Рабочий, 2. Шахматист, 3. Студент

 
Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Студент, 2. Певец, 3. Спортсмен

  Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Шахматист, 2. Студент, 3. Член ЛДПР

 


Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Беспартийный, 2. Член партии, 3. Член ЛДПР

  Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Четное число, 2. Нечетное число, 3. Число семь

  Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Дерево, 2. Лес, 3. Кустарник

  Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Областной суд, 2. Городской суд, 3. Районный суд

  Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Поэт, 2. Студент, 3. Рояль

  Круговой схеме, изображающей отношения между понятиями по объему, удовлетворяют понятия:
1. Простое число, 2. Четное число, 3. √-1

 Абстрактные понятия — это понятия, в которых …
мыслится не целый предмет, а какой-либо из признаков предмета

 Авторитет вышестоящего лица или органа называется ________________ авторитетом.
деонтическим

 Авторитет знатока, специалиста в какой-то области называется ________________ авторитетом.
эпистемическим

 Альтернативы в теории сложных суждений — это:
простые суждения, из которых состоит разделительное (дизъюнктивное) суждение

 Аналогия — это:
недедуктивное умозаключение, в котором суждение о присущности признака некоторому объекту выводится на основании его сходства с другим объектом

 Аналогия отношений — это:
умозаключение по аналогии, в которой переносимым признаком является признак-отношение

 Аналогия свойств — это:
умозаключение по аналогии, в котором роль переносимого признака играет признак-свойство

 Анонимная, стихийно сложившаяся система образцов, норм, правил и т.п., которой руководствуется в своем поведении достаточно обширная и устойчивая группа людей, называется:
традицией

 Аргумент — это суждение, истинность которого …
принимается в аргументации

 Аргументацией как ситуацией вербального взаимодействия и логико-коммуникативной процедурой можно назвать:
защиту дипломного проекта

 Аргументационная конструкция — это:
демонстрация логически обоснованной связи — следования тезиса из аргументов, выраженной вербально в ряде предложений

 Аргументационной конструкцией можно назвать:
текст доказательства теоремы

 Аргументацию-доказательство «то, что ты не терял, то ты имеешь. Рога ты не терял, следовательно, ты имеешь рога» можно логически опровергнуть путем
опровержения аргументов

 Аргументация, применимая в принципе в любой аудитории, — это ________________ аргументация.
универсальная

 Аргументация, эффективность которой ограничена определенными аудиториями, называется:
контекстуальной

 Аргументы к жалости, силе, публике — это:
запрещенные аргументы спора

 Атрибутивным является суждение:
Человек – это разумное живое существо.

 Безотносительные понятия — это понятия, в которых …
мыслятся предметы, существующие самостоятельно

 Безотносительные понятия — это понятия, которые …
отражают предметы, существующие раздельно и поэтому мыслящиеся вне отношения к другим предметам

 Будет правильно понимать математическую (символическую) логику как:
логическую науку, в которой применяют математические методы

 В аргументационной конструкции «то, что ты не терял, то ты имеешь. Рога ты не терял, следовательно, ты имеешь рога» по отношению к аргументации нарушено правило, что аргументы должны быть:
истинными суждениями

 В логической семиотике функтор, который из имен порождает высказывания, называют:
смешанным

 В логической семиотике функтор, который из имени порождает новое имя, является:
именным

 В логической семиотике функтор, который из элементарного функтора образует сложный, называют:
функторальным

 В логической семиотике функтор, посредством которого из высказываний (семантическая категория аргументобразуется новое, более сложное высказывание (вновь образуемая семантическая категория), называют:
пропозициональным

 В логическом анализе знаковую систему искусственного языка как логическое исчисление представляет:
синтаксис

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

 В основе классической логики суждений (высказываний) лежит принцип:
двузначности значений

 В простом категорическом силлогизме

допущена ошибка:
при одной частной посылке, вывод должен быть частным

 В простом категорическом силлогизме

допущена ошибка:
учетверение терминов

 В разработке определенного раздела науки логики более высоким уровнем (этапом) является:
адекватное представление логической системы средствами формализованных языков

 В разработке определенного раздела науки логики более низким уровнем (этапом) является:
вычленение области исследования и нахождение законов и правил, которым подчиняются правильные рассуждения в этой области

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

 В рассуждении «Х делится на 2 или делится на 3. Х делится на 2. Значит Х не делится на 3» нарушено правило:
разделительно-категорического умозаключения, что дизъюнкция должна быть строгой

 В рассуждении использован следующий метод опровержения:
опровержение тезиса

 В рассуждении использован следующий метод опровержения:
выявление несостоятельности демонстрации

 В рассуждении  использован следующий метод опровержения:
критика аргументов

 В рассуждении: «Это предложение вопросительное или повествовательное Оно не повествовательное. Значит оно вопросительное» нарушено правило:
что в первой посылке должны быть выдвинуты все альтернативы

 В реляционных суждениях выражаются отношения между предметами, которые могут иметь свойства рефлексивности, симметричности, транзитивности и эквивалентности. Для наличия свойства эквивалентности требуется наличие свойств:
рефлексивности, симметричности и транзитивности

 В реляционных суждениях выражаются отношения между предметами, которые могут иметь свойства рефлексивности, симметричности, транзитивности и эквивалентности. Если каждый элемент некоторого мно­жества находится в утверждаемом отношении к самому себе, то это отношение обладает свойством …
рефлексивности

 В реляционных суждениях выражаются отношения между предметами, которые могут иметь свойства рефлексивности, симметричности, транзитивности и эквивалентности. Когда для любых двух элементов множества (х, у) при условии, что если х находится в каком-либо отношении к у, то и у находится в этом же отношении к х, тогда это отношение обладает свойством …
симметричности

 В реляционных суждениях выражаются отношения между предметами, которые могут иметь свойства рефлексивности, симметричности, транзитивности и эквивалентности. Когда из наличия некоторого отношения между предметами х и у, у и z следует его наличие между предметами х и z, тогда это отношение обладает свойством …
транзитивности

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

 В реляционных суждениях выражаются отношения между предметами, которые могут иметь свойства рефлексивности, симметричности, транзитивности и эквивалентности. Отношение «дружит» можно оценить как:
нетранзитивное

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

 В реляционных суждениях выражаются отношения между предметами, которые могут иметь свойства рефлексивности, симметричности, транзитивности и эквивалентности. Отношение равенства на множестве чисел следует оценить как:
эквивалентное

 В символической записи умозаключений знак ” ” выражает:
отношение логического следования между посылками и заключением

 В символической записи умозаключений знак ” → ” выражает:
связку импликации в условном суждении

 В символической записи умозаключений знак ” ├ ” выражает:
отрицание суждения

 В символической записи умозаключений знак ” ├ ” выражает:
связку дизъюнкции в посылке разделительно-категорического умозаключения

 В символической записи умозаключений знак “а” выражает:
связь терминов в простом категорическом силлогизме

 В символической записи умозаключений знак “А” выражает:
тип суждения, играющего роль посылки или заключения в простом категорическом силлогизме

 В ситуации аргументации на судебном заседании аргументаторами выступают по большей части:
прокурор и адвокат

 В ситуации аргументации на судебном заседании реципиентами выступают прежде всего:
судья и присяжные заседатели

 В ситуации аргументации осуществляются операции определения и деления понятий. При этом возможны ошибки. Ошибка в операции «суждения делятся на атрибутивные, простые и сложные» состоит в том, что …
деление не по одному основанию. Члены деления не исключают друг друга

 В структуру доказательства не входит:
критика аргументов

 В структуру простого суждения не входит:
силлогизм

 В традиционной логике в структуре атрибутивного высказывания выделяются следующие элементы:
субъект, предикат и связка

 В утвердительном высказывании указывается:
на принадлежность признака, мыслимого в предикате, субъекту высказывания

 В этом шуточном четверостишии

(С.В. Михалков)
преднамеренно нарушен закон:
непротиворечия

 В языке науки совокупность специальных терминов (те слов, принимающих в рамках какой-либо теории одно-единственное значение) и выражений, фиксирующих объекты, их свойства и отношения из предметной области данной отрасли знания, представляет собой …
лексика

 Внешне безобидная фраза, содержащая второй (обидный смысл), это такой запрещенный прием спора, как …
заноза

 Внешние признаки предметов, как правило, отображает:
чувственное познание

 Внутреннюю, необходимую и существенную связь явлений называют:
законом

 Возбуждение в другой стороне жалости и сочувствия — это аргумент к …
жалости

 Возможность выражения смысла этого знака другими знаками, способными заменить его, считается значением знака …
структурным

 Возможным результатом ограничения для понятия  будет понятие:
сломанный карандаш

 Всякую систему, состоящую из непустого множества и какого-либо соответствия, относящего к каждому символу формализованного языка какое-нибудь отношение в данной области, или какую-либо операцию, или какой-нибудь элемент указанной предметной области, понимают как:
интерпретацию

 Вторая ступень познания включает:
понятие
умозаключение

 Выражаемое в суждении, высказывании отношение субъекта высказывания к положению дел называется:
модальностью

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

 Выражение, включающее именные функции или пропозициональные переменные и превращающееся в выска­зывание при подстановке на их место конкретных значений, называют:
пропозициональной функцией

 Выражение, которое служит для обозначения предметов (их классов, свойств и отношений) и записывается в виде отдельных букв, называют:
именной функцией

 Выражение, обозначающее предмет или совокупность предметов, которые могут быть либо физическими, либо абстрактными, либо фиктивными, в логической семиотике называют:
именем

 Выражение, связывающее переменные, — это:
оператор

 Выражение, служащее для образования новых, более сложных языковых конструкций из уже имеющихся, в логической семиотике называют:
функтором

 Высказывание, в котором выражается отношение между двумя и более предметами, называется:
реляционным

 Высказывание, в котором утверждается или отрицается свойство или состояние, присущее или неприсущее какому-либо предмету, называется:
атрибутивным

 Высказывание, в котором утверждается или отрицается факт существования (несуществования) предмета в действительности, называется:
экзистенциальным

 Высказывание, построенное из двух или более простых высказываний, называется:
сложным

 Высказывание, являющееся одновременно общим по количеству и отрицательным по качеству, — это высказывание …
общеотрицательное

 Высказывание, являющееся одновременно общим по количеству и утвердительным по качеству, — это высказывание …
общеутвердительное

 Высказывание, являющееся одновременно частным по количеству и отрицательным по качеству, — это высказывание …
частноотрицательное

 Высказывание, являющееся одновременно частным по количеству и утвердительным по качеству, — это высказывание …
частноутвердительное

 Высшую форму активного отражения, выражающуюся в целенаправленном познании существенных связей и отношений объективного мира, продуцировании новых идей, прогнозировании грядущих событий представляет собой …
мышление

 Глубоко искреннее, эмоционально насыщенное убеждение в справедливости какого-то положения или концепции называется:
верой

 Граница между контекстуальной и универсальной аргументацией
относительна

 Данное предложение «Доказано, что золото — металл» содержит указание модальности суждения
эпистемической

 Данное предложение «Запрещено продавать золото» содержит указание модальности суждения
нормативной

 Данное предложение «Золото лучше серебра» содержит указание модальности суждения
оценочной

 Данное предложение «Невозможно, что золото неэлектропроводно» содержит указание модальности суждения
физической

 Данное предложение «Необходимо, что золото — металл» содержит указание модальности суждения
физической

 Данное предложение «Необходимо, что истинно данное суждение, либо его отрицание» содержит указание модальности суждения
логической

 Данное предложение «Обязательно следует сдавать найденное золото» содержит указание модальности суждения
нормативной

 Данное предложение «Хорошо, что металл — золото» содержит указание модальности суждения
оценочной

 Данное предложение «Хорошо, что этот металл — золото» содержит указание модальности суждения
оценочной

 Два понятия «равносторонний треугольник» и «равноугольный треугольник» находятся в отношении
тождества

 Два понятия «спортсмен» и «футболист» находятся в отношении
подчинения

 Два понятия «треугольник» и «квадрат» находятся в отношении
противоположности

 Два понятия «четное число» и «нечетное число» находятся в отношении
противоречия

 Два понятия «юрист» и «шахматист» находятся в отношении
пересечения

 Два противоположных суждения о двух разных предметах:
могут быть какими угодно по истинности

 Два противоречащих суждения об одном предмете или предметах должны быть:
одно – истинным, другое – ложным

 Дедуктивные умозаключения — это умозаключения, …
в которох заключение является суждением с меньшей степенью общности, чем посылки

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

 Деление понятия «преступление» на государственные, должностные, воинские приводит к нарушению правила
непрерывности деления

 Демонстрацией называют:
логическое следование, некоторую схему умозаключений

 Демонстрация — это:
система умозаключений, показывающих логическое следование тезиса из аргументов

 Диалектическая логика создана немецким философом
Г.Ф. Гегелем

 Диалог, в основе которого лежит расхождение точек зрения и существует взаимное стремление преодолеть это расхождение, — это:
спор

 Для характеристики действий человека с точки зрения определенной системы норм служат модальные понятия
нормативные (деонтические)

 Доказательства делятся на:
прямые и косвенные

 Доказательство  является:
косвенным «методом исключения»

 Доказательство  является:
прямым

 Доказательство как логическая процедура — это:
комплексный прием обоснования истинности тезиса с помощью аргументов, путем указания демонстрации

 Доказательство:  является:
косвенным «методом от противного»

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

 Допущение: истинностное значение сложного высказывания определяется истинностным значением простых высказываний, входящих в него, и смыслом их связей, — принято в логике
классической

 Допущенная ошибка в элементе аргументационной конструкции «суждения делятся на простые, сложные и суждения об отношениях» состоит в том, что …
члены деления не исключают друг друга

 Достоверное умозаключение — это:
умозаключение, в котором логическое следование необходимо, те вероятно на 100%

 Единичным является понятие:
Аристотель

 Если «предложение» — делимое понятие, а члены деления — «подлежащее», «сказуемое», то в данном определении
операция не является делением

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

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

 Если «юрист» — делимое понятие, а члены деления — «адвокат», «прокурор», «судья», то в данной ситуации
деление неполно

 Если было, что всегда будет нечто, то оно всегда будет — это закон …
логики времени

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

 Если субъект убежден в чем-то, неверно, что он убежден также в противоположном — это закон …
эпистемической логики

 Задание алфавита, те конечной совокупности исходных знаков, предполагает построение
формализованного языка

 Задание семантических правил интерпретации исходных знаков и сложных выражений (правила интерпретации) предполагает построение
формализованного языка

 Заключением называют:
суждение, выводимое из посылок

 Закон исключенного третьего утверждает:
из двух противоречащих высказываний одно является истинным

 Закон логики времени гласит, что …
если было, что всегда будет нечто, то оно всегда будет

 Закон логики времени гласит, что …
неверно, что произойдет логически невозможное событие

 Закон логики времени гласит, что …
ни одно событие не происходит раньше самого себя

 Закон противоречия нарушен в следующем высказывании:
Ни в одном из этих высказываний

 Закон противоречия утверждает:
высказывание и его отрицание не могут быть одновременно истинными

 Закон тождества утверждает:
тождество высказывания самому себе

 Закон эпистемической логики гласит, что …
невозможно полагать что-то и, вместе с тем, сомневаться в этом

 Законы и нормы, реализующие принципы правильного мышления: непротиворечивости, последовательности, доказательности и принцип тождества, являются предметом изучения
формальной логики

 Знаковую систему, выступающую оптимальным средством выражения человеческого мышления и средством общения, представляет собой …
язык

 Идею интуиционизма в логике выдвинул:
Л. Брауэр

 Идею логицизма, суть которой в том, что математика сводится к логике, выдвинул:
Г. Фреге

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

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

 Из представленных словосочетаний, единичное понятие выражено:
самая высокая гора Урала

 Из представленных словосочетаний, единичное понятие выражено:
четное простое число

 Импликацией не является следующее суждение:
Если в огороде бузина, то в Киеве дядька.

 Индуктивное умозаключение — это:
эмпирическое обобщение, когда на основе повторяемости признака у явлений определенного класса заключают о его принадлежности всем явлениям этого класса

 Индуктивные умозаключения — это умозаключения, …
в которых заключение является суждением с большей степенью общности, чем посылки

 Инициатива, концентрация, неожиданный резерв, манера держаться относятся к:
тактике спора

 Информация о практических условиях и теоретических предпосылках той проблемной ситуации, в которой сформулировалась проблема, выраженная в вопросе, представляет собой …
предпосылку (базис) вопроса

 Искусственные языки …
ориентированы на строго ограниченные специальные задачи познания

 Искусство ведения спора — это:
эристика

 Исполнитель, получивший высокую оценку жюри, — это по объему понятие …
общее

 Исполнитель, получивший самую высокую оценку публики, — это по объему понятие …
единичное

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

 Истинность аргументов-посылок и правильность умозаключений в демонстрации являются необходимыми условиями доказанности
тезиса

 Истинные суждения об единичных фактах следует отнести к:
аргументам

 Истинным или ложным может быть:
суждение

 Исчисление, содержащее в себе процедуру выводимости или невыводимости некоторой произвольно взятой формулы, называется:
разрешимым

 К первой ступени познания следует отнести:
ощущения, восприятия, представления

 К типу I (частноутвердительному) относится суждение:
некоторые птицы летают

 К типу А (общеутвердительному) относится суждение:
все люди смертны

 К типу А (общеутвердительному) относится суждение:
всякое преступление опасно

 К типу Е (общеотрицательному) относится суждение:
ни один адвокат не является прокурором

 К типу О (частноотрицательному) относится суждение:
некоторые юристы — не адвокаты

 К формам чувственного познания относятся:
ощущение, восприятие, представление

 Квадрат — прямоугольник, у которого все стороны равны, — это определение …
соразмерное, ошибки несоразмерности нет

 Квадрат — четырехугольник, у которого все стороны равны, — это определение …
слишком широкое

 Клевета — письменное или печатное распространение заведомо ложных, позорящих другое лицо измышлений — это определение …
слишком узкое

 Клевета — распространение заведомо ложных, позорящих другое лицо измышлений — это определение …
соразмерное, ошибки несоразмерности нет

 Клевета — распространение позорящих другое лицо измышлений — это определение …
слишком широкое

 Ко второй ступени познания следует отнести
суждение

 Когда понятия, допущения, формально-математические структуры и т.п. из той области, где уже была продемонстрирована успешность их применения, переносятся в другую область, являющуюся для исследователя центром его проблемной ситуации, тогда применяется:
аналогия

 Когда условное суждение (высказывание) является законом логики, тогда имеет место отношение
логического следования

 Количество атрибутивного высказывания определяется исходя
из числа десигнатов (предметов), которые мыслятся в его субъекте

 Колобок в своем рассуждении

допустил ошибку:
поспешное обобщение

 Комплекс взглядов, представлений, идей, направленных на истолкование и объяснение каких-нибудь явлений — это:
научная теория

 Комплексный прием обоснования истинности тезиса с помощью аргументов (истинных суждений), путем указания демонстрации (логического следования тезиса из аргументов) называется:
доказательством

 Конкретизация отвлеченной идеи, представление ее в образной, наглядной форме нередко дает больше для схватывания этой идеи, чем длинное, основательное, но столь же абстрактное ее разъяснение, при этом используется вид умозаключения, который называется:
аналогией

 Конкретные понятия — это понятия, в которых …
отражены отдельные предметы или классы предметов

 Лишним в приведенном списке является:
представление

 Лишним является следующее суждение:
Иногда люди говорят глупости.

 Логическая операция, в результате которой образуется новый класс, включающий в себя все элементы уменьшаемого класса без элементов вычитаемого, называется:
исключением из класса (логическим вычитанием)

 Логическая операция, в результате которой образуется новый класс, состоящий из таких предметов, каждый из которых является элементом, по крайней мере, одного из слагаемых классов, — это:
объединение классов (логическое сложение)

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

 Логическая форма, с помощью которой наше мышление выделяет и обобщает предметы мыслимого мира на основе их отличительных свойств, называется:
понятием

 Логическая формула суждения «В этот час джунгли кишели дичью: стада антилоп разбегались при появлении «лендровера», два бородавочника едва успели выскочить из-под колес; черногрудые аисты величественно восседали на вершинах деревьев» будет выглядеть так:
a ≡ b c d

 Логическая формула суждения  будет выглядеть так:
(a (b с)) > (d e)

 Логические модальные понятия — это:
логически невозможно

 Логические модальные понятия — это:
логически необходимо

 Логические модальные понятия — это:
логически случайно

 Логический метод уточнения содержания мысли посредством уточнения ее логической формы называется:
формализацией

 Логический скелет любого спора — это:
доказательство и опровержение

 Логическое следствие, истинность, выполнимость, общезначимость, устанавливающие связь между выражениями знаковой системы и объектами из выбранной области интерпретации, являются основными категориями
семантики

 Любое понятие выражается в форме:
слова или словосочетания

 Любое понятие имеет:
объем

 Материальный чувственно воспринимаемый объект, выступающий в процессе познания и общения в качестве заместителя другого объекта и используемый для накопления, хранения и передачи информации о нем, называют:
знаком

 Между понятиями «женщина» (А), «мужчина» (В), «сын» (С) имеют место отношения
тождества, противоречия

 Между понятиями «многоугольник» (А), «треугольник» (В), «равносторонний треугольник» (С) имеют место отношения
подчинения

 Между понятиями «прокурор» (А), «адвокат» (В), «спортсмен» (С) имеют место отношения
пересечения, противоположности

 Между понятиями «юрист» (А), «адвокат» (В), «спортсмен» (С) имеют место отношения
подчинения, пересечения

 Метод аксиоматизации является:
общенаучным

 Метод единственного различия заключается в том, что если …
какое-то условие А имеет место, когда наступает исследуемое явление X, и отсутствует, когда этого явления нет, а все остальные условия остаются неизменными, то А представляет собой причину X

 Метод единственного сходства заключается в том, что если …
какое-то условие А постоянно предшествует наступлению исследуемого явления Х в то время, как иные условия изменяются, то это условие, вероятно, есть причина явления X

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

 Метод сопутствующих изменений заключается в том, что если …
с изменением условия А в той же степени меняется некоторое явление X, а остальные обстоятельства остаются неизменными, то вероятно, что А является причиной X

 Метод формализации является:
общенаучным

 Метод, который заключается в накоплении, описании, объяснении, классификации и систематизации фактов и результатов экспериментов называется:
эмпирическим

 Многозначность какого-либо слова — это:
полисемия

 Модусы простого категорического силлогизма — это:
разновидности силлогизма, различающиеся количеством и качеством посылок

 Мысленное выделение одних признаков предмета и отвлечение от других — это:
абстрагирование

 Мысленное объединение отдельных предметов в некотором понятии — это:
обобщение

 Мысленное расчленение предметов по существенным или несущественным признакам называется:
анализом

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

 Мысленное установление сходства или различия предметов по существенным или несущественным признакам — это:
сравнение

 На основе суждения: «Если Х делится на 2, то Х — четное» образуются правильные модусы:
все модусы условно-категорического умозаключения

 На основе суждения: «Если Х оканчивается на 2, то Х — четное» образуются правильные модусы:
p q, p q от утверждения основания к утверждению следствия и p q, p q от отрицания следствия к отрицанию основания

 На учебном занятии ситуация аргументации возникает, когда
кто-то из студентов не согласен с тезисом преподавателя

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

 Найдите общеотрицательное суждение:
Привидения не существуют.

 Найдите понятие:
Студент 1 курса МФЮА

 Найдите понятие:
Умный человек.

 Найдите правильное определение логики как науки. Логика – это наука о:
формах рационального мышления и логических законах

 Найдите правильный вариант обобщения понятия:
цветок – растение

 Найдите правильный вариант ограничения понятия:
столица – столица России

 Найдите суждение:
Мы сдали зачет.

 Найдите суждение:
На улице холодно.

 Найдите умозаключение, построенное на основе неполной индукции:
Счастливые часов не наблюдают.

 Найдите умозаключение, построенное на основе полной индукции:
Каждое государство имеет свой национальный флаг.

 Научная индукция — это:
умозаключение, в посылках которого наряду с повторяемостью признака у некоторых явлений класса содержится также информация о зависимости этого признака от определенных свойств явления

 Нахождение некоторого алгоритма решения проблемы представляет собой метод
эвристический

 Не признает объективного существования общего — общих понятий и (тем более) логических форм и законов — логико-философское направление
номинализм

 Невозможно полагать что-то и вместе с тем сомневаться в этом — это закон …
эпистемической логики

 Неполная индукция — это:
умозаключение, в котором на основе повторяемости признака у некоторых явлений определенного класса заключают о принадлежности этого признака всему классу явлений

 Непосредственные умозаключения — это:
умозаключения, состоящие из одной посылки

 Несобирательные понятия — это понятия, которые …
можно отнести к каждому предмету данного класса

 Несовместимые понятия — это понятия, которые …
имеют объемы, не совпадающие ни полностью, ни частично

 Несовместимые понятия не могут находиться в отношениях:
подчинения

 Ни одно событие не происходит раньше самого себя — это закон …
логики времени

 Нормативные модальные понятия — это:
безразлично

 Нормативные модальные понятия — это:
запрещено

 Нормативные модальные понятия — это:
обязательно

 Нормативные суждения (законы), действующие на момент аргументации, следует отнести к:
аргументам

 Образ предмета или явления, не воздействующего в данный момент на органы чувств, — это:
представление

 Обращение — это:
преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат — субъектом заключения

 Обращение к чувству вкуса, имеющемуся у аудитории и способному склонить ее к принятию выдвинутого положения, является аргументом к:
вкусу

 Общая теория знаковых систем называется:
семиотикой

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

 Общим понятием не является:
Сухая вода

 Объекты с точки зрения определенной системы ценностей характеризуют модальные понятия
оценочные

 Объем понятия – это:
совокупность объектов, охватываемых этим понятием

 Объем понятия планета Солнечной системы, в которой мы живем, — это:
Земля, Марс, Юпитер, Венера, Плутон, Нептун, Уран и др. (всего 9)

 Объем понятия Солнечная система, в которой мы живем, — это:
единое целое, составляющее Солнечную систему

 Одна из логических форм, с помощью которой мышление выделяет и обобщает предметы на основе их существенных отличительных свойств, — это:
понятие

 Одни и те же вещи, явления, события характеризуются прямо противоположным образом в зависимости от отношения к ним говорящего — это такой запрещенный прием спора, как …
предвзятая интерпретация

 Операции а) построения другого доказательства истинности антитезиса; б) выведения из тезиса следствий, противоречащих истинным суждениям («приведение к абсурду») являются опровержением
тезиса

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

 Операция обнаружения ложности аргументов является опровержением
аргументов

 Операция по разрушению доказательства называется опровержением
доказательства

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

 Опираясь на закон непротиворечия и исключенного третьего, установите, какие из пар суждений могут быть одновременно ложными.
Всякая ложь заслуживает порицания. Ни одна ложь не заслуживает порицания.

 Опираясь на закон обратного отношения между объемом и содержанием понятий, выберите правильное суждение:
объем понятия «учащийся» больше объема понятия «студент»

 Опираясь на закон обратного отношения между объемом и содержанием понятий, выберите правильное суждение:
содержание понятия «студент МФЮА» больше содержания понятия «студент»

 Опираясь на закон тождества, установите, в каком случае сохраняется тождество суждений, если выделенное понятие заменить другим: .
пустынный

 Опосредованное, обобщенное отражение действительности человеком в ее существенных связях и отношениях — это:
мышление

 Опосредованные умозаключения — это:
умозаключения, состоящие из двух и более посылок

 Определение :
неправильное (только отрицательное)

 Определение .
неправильное (слишком узкое)

 Определение .
неправильное (двусмысленное)

 Определение :
неправильное (слишком широкое)

 Определение :
неправильное (содержит в себе круг)

 Определенная совокупность предметов, имеющих некоторые общие признаки, — это:
класс или множество

 Определенные способы интеллектуальной деятельности предписывают:
законы мышления

 Определите, в каком из умозаключений вывод достоверен:
Судья не может участвовать в рассмотрении дела, если он участвовал в данном деле в качестве эксперта. Судья С. может участвовать в рассмотрении дела. Значит, он не участвовал в данном деле в качестве эксперта.

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

 Основателем индуктивной логики является:
Бэкон

 Основателем теории силлогизма является:
Аристотель

 Основатель формальной логики:
Аристотель

 Отличие софистического приема (софизма) от неправильного умозаключения состоит в том, что он
сознательно рассчитан на обман

 Относительные понятия — это понятия, в которых …
мыслятся предметы, существование одного из них предполагает существование другого

 Отношение логического следования ( ⊢ ) имеет место в формуле:
( p q ) p q

 Отношение логического следования ( ⊢ ) имеет место в формуле:
p q ¬ q ¬ p

 Отношение логического следования ( ⊢ ) имеет место в формуле:
p q p

 Отношение между понятиями «волк» и «хвост» выражается следующей схемой:

 Отрицательные понятия — это понятия, которые …
характеризуют отсутствие в предмете того или иного качества или отношения

 Отрицающе-утверждающий модус (modus tollendo ponens) — это:
меньшая посылка отрицает одну из альтернатив, заключение утверждает другую

 Отрицающий модус (modus tollens) — это:
умозаключение, в котором посылка, выраженная категорическим суждением, отрицает истинность следствия, а заключение отрицает истинность основания

 Оценочные модальные понятия — это:
безразлично

 Оценочные модальные понятия — это:
плохо

 Оценочные модальные понятия — это:
хорошо

 Ошибка в аргументационной конструкции «сложные суждения делятся на конъюнктивные, строго дизъюнк­тивные и импликативные» заключается в:
неполном делении

 Ошибка в операции «суждение — это логическая форма мышления, посредством которой мыслится наличие или отсутствие свойств у предметов» состоит в …
слишком узком определении

 Ошибка в операции «суждение — это форма мышления, посредством которой судят о мире» заключается в …
наличии круга в определении

 Ошибка, допущенная в операции «суждение можно определить как логическую форму мышления», состоит в:
слишком широком определении

 Первые в современной логике модальные системы были построены:
К.И. Льюисом и Я. Лукасевичем на рубеже 20-х годов XX века

 Переходя от понятия «мастер спорта» к понятию «спортсмен», мы совершаем операцию
обобщения

 Переходя от понятия «спортсмен» к понятию «мастер спорта», мы совершаем операцию
ограничения

 Переходя от понятия «студент СГУ» к понятию «студент», мы совершаем операцию
обобщения

 Переходя от понятия «четное число» к понятию «число два», мы совершаем операцию
ограничения

 Переходя от понятия «число» к понятию «простое число», мы совершаем операцию
ограничения

 По качеству высказывания бывают:
утвердительными и отрицательными

 По количеству высказывания бывают:
единичными, частными и общими

 По количеству участников спор бывает:
простой и сложный

 По наличию и отсутствию слушателей спор бывает:
наедине, публичный, для слушателей

 По отношению к аргументации в аргументационной конструкции «медь — электропроводна; железо — электропроводно; золото — электропроводно; ртуть — электропроводна. Следовательно, все металлы — электропроводны» нарушено правило, что аргументы должны быть:
достаточными

 По степени вероятности схема M a P, S a M S a P является умозаключением:
достоверным дедуктивным

 По степени вероятности схема p ^ q p является умозаключением:
достоверным

 По степени вероятности схема p q, p q является умозаключением:
достоверным умозаключением логики высказываний

 Полная индукция — это:
умозаключение, в котором на основе повторяемости признака у каждого из явлений определенного класса заключают о принадлежности этого признака всему классу явлений

 Положительные понятия — это понятия, в которых …
мыслятся предметы, существующие caмocтoятeльнo, их xapaктepизyeт наличие в предмете того или иного качества или отношения

 Понятие «истинно» относится к логике:
истины

 Понятие «ложно» относится к логике:
истины

 Понятие «лучше» относится к логике:
оценок

 Понятие «неопределенно» относится к логике:
истины

 Понятие «равноценно» относится к логике:
оценок

 Понятие «хуже» относится к логике:
оценок

 Понятие, большее по объему, называется:
родовым

 Понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» изучает:
эпистемическая логика

 Понятия  и  находятся в отношении:
подчинения

 Понятия  и  находятся в отношении:
противоположности

 Понятия  и  находятся в отношении:
соподчинения

 Понятия  и  находятся в отношении:
пересечения

 Понятия  и  находятся в отношении:
равнозначности

 Понятия  и  находятся в отношении:
противоречия

 Понятия, позволяющие охарактеризовать высказывание или описываемую в нем ситуацию с той или иной точки зрения, называются:
модальными понятиями

 Понятиям — 1) девушка, 2) футболист, 3) юноша — соответствует отношение по объему:

 Понятиям — 1) мужчина, 2) женщина, 3) незамужняя женщина — соответствует отношение по объему:

 Понятиям — 1) успевающий студент, 2) студент, 3) человек — соответствует отношение по объему:

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

 Построение и выдвижение аргументационной конструкции — это:
деятельность аргументатора

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

 Посылками называются(-ется):
суждения, из которых выводится новое знание (также имеющее форму суждения)

 Правдоподобное умозаключение — это:
умозаключение, в котором вероятность следования меньше 100%

 Правильное умозаключение — это:
то, в котором между посылками и заключением имеет место отношение логического следования

 Превращение — это преобразование …
одного суждения в другое, противоположное по качеству с предикатом, противоречащим предикату исходного суждения

 Пределом логической цепочки ограничения любого понятия всегда будет какое-либо:
единичное понятие

 Предикатом называется та часть высказывания, в которой
отображается признак предмета мысли

 Предложение «Аристотель был убежден, что у женщины меньше зубов, чем у мужчины» выражает модальное высказывание:
эпистемическое

 Предложение «Безразлично, как человек называет свою собаку» выражает:
деонтическое модальное высказывание

 Предложение «Во многих ВУЗах запрещено курение в помещениях» выражает:
деонтическое модальное высказывание

 Предложение «Военнослужащим разрешено носить рубашку без галстука, если температура воздуха свыше 20°» выражает:
деонтическое модальное высказывание

 Предложение «Всякий ли человек смертен?» следует рассматривать как:
уточняющий вопрос

 Предложение «Государственной служащий не должен брать взятки» выражает:
деонтическое модальное высказывание

 Предложение «Гражданин России, достигший возраста 18 лет, может принимать участие в выборах Президента Российской Федерации» выражает:
деонтическое модальное высказывание

 Предложение «Депутатам Государственной Думы позволено во время пленарного заседания выходить из зала» выражает:
деонтическое модальное высказывание

 Предложение «Доказуемо, что на Луне нет жизни» выражает модальное высказывание:
эпистемическое

 Предложение «Если число делится на 4, то оно делится на 2» выражает суждение
условное (импликативное)

 Предложение «Как повысить жизненный уровень народа» выражает:
восполняющий вопрос

 Предложение «Лучше синица в руках, чем журавль в небе» выражает:
оценочное модальное высказывание

 Предложение «Михаил старше Бориса» выражает суждение
об отношении (реляционное)

 Предложение «Мышления без языка не существует» выражает суждение
существования

 Предложение «На Марсе есть жизнь» выражает:
гипотезу

 Предложение «На президентских выборах победит Иванов или Сидоров?» следует рассматривать как:
сложный уточняющий вопрос

 Предложение «Не загребай жар чужими руками»
не выражает суждение

 Предложение «Необходимо повысить жизненный уровень трудящихся» выражает:
деонтическое модальное высказывание

 Предложение «Неразрешимо, каким будет автомобиль через сто лет» выражает модальное высказывание:
эпистемическое

 Предложение «Обязательно заботиться о близких» выражает:
деонтическое модальное высказывание

 Предложение «Опровержимо, что сумма углов квадрата равна 180°» выражает модальное высказывание:
эпистемическое

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

 Предложение «Платон сомневался в жизнеспособности античной демократии» выражает модальное высказывание:
эпистемическое

 Предложение «Презумпция невиновности есть принцип права» выражает суждение
атрибутивное

 Предложение «Приезжающие в г.Москву обязательно должны пройти регистрацию» выражает:
деонтическое модальное высказывание

 Предложение «Разрешено ездить в автобусе» выражает:
деонтическое модальное высказывание

 Предложение «Сократ отвергал возможность уклонения от вынесенного ему смертного приговора» выражает модальное высказывание:
эпистемическое

 Предложение «Хуже быть больным, чем здоровым» выражает:
оценочное модальное высказывание

 Предложение «Часовой не должен покидать пост без приказа начальника караула» выражает:
деонтическое модальное высказывание

 Предложение «Число 6 делится на 2 и на 3» выражает суждение
конъюнктивное

 Предложение «Что смолкнул веселия глас?»
не выражает суждение

 Предложение «Это число делится на 2 или оно делится на 3» выражает суждение
дизъюнктивное

 Предложение «Является ли Петров юристом?»
не выражает суждение

 Предложение «Является ли Петров юристом?» выражает:
проблему

 Предложение, которое может быть оценено как истинное или как ложное, называют:
высказыванием

 Предложение: «Вечный двигатель невозможен» выражает суждение
физической модальности

 Предложение: «Возможно, жизнь существует на других планетах Солнечной системы» выражает суждение
физической модальности

 Предложение: «Все люди смертны, а Сократ — человек, значит, он необходимо смертен» выражает суждение
логической модальности

 Предложение: «Необходимо, что Земля вращается вокруг Солнца» выражает суждение
физической модальности

 Предложение: «Необходимо, что каждый человек смертен» выражает суждение
физической модальности

 Предложение: «Необходимо, что при нагревании все металлы расширяются» выражает суждение
физической модальности

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

 Предмет, входящий в данный класс, — это ________________ класса.
элемент

 Преднамеренные ошибки с целью запутать своего противника и выдать ложное суждение за истинное (внешне правильные доказательства ложных мыслей), – это:
софизм

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

 Предписание, запрещающее выбирать в качестве альтернативы А или не-А еще какие-либо суждения, дано логическим законом
исключенного третьего

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

 Предписание, обязывающее различать реальные и мнимые противоречия, дано логическим законом
противоречия

 Предписание, определяющее критерий логичности рассуждения как непротиворечивость, дано логическим законом
противоречия

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

 Предписание, считающее обоснованием любую истинностную характеристику суждения (ложное суждение, вероятностное суждение), дано логическим законом
достаточного основания

 Предписание, трактующее универсальный прием логического мышления, согласно которому противоположное истине есть ложь, дано логическим законом
исключенного третьего

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

 Предписание, требующее достигать определенности мысли в термине (слове, выражении), дано логическим законом
тождества

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

 Предписание, требующее различать в обосновании суждений логическое обоснование (отношение вывода ло­гического следования) и фактическое обоснование, дано логическим законом
достаточного основания

 Предписание, устанавливающее отношение контрарности (противоположности) между альтернативами таким образом, что одна из них является отрицанием другой, дано логическим законом
исключенного третьего

 Предписание, утверждающее, что если какое-либо суждение является обоснованным, то допустимо использовать его в доказательстве, не воспроизводя его оснований, а лишь подразумевая их, дано логическим законом
достаточного основания

 Предписание, формулирующее альтернативность А и не-А и предлагающее сделать выбор между ними по истинностному признаку, дано логическим законом
исключенного третьего

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

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

 При защите дипломной работы в вузе главный аргументатор — это:
студент-дипломант, защищающий работу

 При защите дипломной работы в вузе основной, ответственный реципиент — это:
оппонент

 Признаки, присущие не только предметам, входящим в определенный класс, — это признаки …
неотличительные

 Признаки, присущие только предметам, входящим в определенный класс, — это признаки …
отличительные

 Признание единства и объективного существования законов и форм характеризует логико-философское направление
платонизм

 Признание существования общего (форм и законокак идей, смыслов определяет:
концептуализм

 Применение методов формализации и математических методов в изучении умозаключений, суждений, понятий, операций над ними послужило причиной появления:
классической логики

 Принцип «абстракция двузначности высказываний» принят в логике
классической

 Принцип «допущение о разрешимости любой проблемы» принят в логике
классической

 Принцип «область исследования составляют обыденные рассуждения» принят в логике
классической

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

 Принципы правильного мышления: непротиворечивости, последовательности, доказательности и принцип тождества являются предметом изучения
формальной логики

 Проблема индукции — это:
вопрос о том, как возможен переход от знания о конечном ограниченном множестве предметов к знанию обо всех предметах данного множества, включая и те, которые мы не наблюдали

 Пропозициональная функция, включающая именные переменные, — это:
предикат

 Простая деструктивная дилемма — это:
условная посылка содержит одно основание, из которого вытекает два возможных следствия; разделительная посылка отрицает оба следствия, заключение отрицает основание; рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания

 Простое суждение  является:
общеутвердительным

 Простой категорический силлогизм — это:
умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину

 Простой категорический силлогизм состоит из:
трех категорических суждений, два из которых посылки, связанные с третьим — заключением — отношением логического следования

 Противоположность между истиной и ложью выдается за расхождение во мнениях — это такой запрещенный прием спора, как …
тормоз

 Противопоставление предикату — это:
преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом — субъект исходного суждения

 Противоречие развивающегося (изменяющегося) знания — это:
диалектическое противоречие

 Пустым (нулевым) является следующее понятие:
Человек, проживший 300 лет.

 Пути и способы интерпретации формальных логических систем изучает раздел логики
семантика

 Раздел семиотики, в котором анализируется отношение отправителя-получателя какой-либо знаковой системы к самой знаковой системе, называется:
прагматикой

 Раздел семиотики, в котором рассматривается совокупность понятий, связанных с анализом значения и смысла знаковых выражений, называется:
семантикой

 Раздел семиотики, посвященный анализу структурных характеристик знаковых систем, безотносительно к их интерпретации, называется:
синтактикой (синтаксисом)

 Разделительно-категорическое умозаключение — это:
умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения

 Различают описательные выражения и три категории логических знаков. Языковое выражение «поэтому» в предложении «титан — металл, поэтому он электропроводник» относится к:
знакам, выражающим логическое следование ”

 Различают описательные выражения и три категории логических знаков. Языковое выражение ” Ни одно не есть” является выражением
связей в простых суждениях, соединяющих субъект и предикат

 Различают описательные выражения и три категории логических знаков. Языковое выражение “Все… есть” является выражением
связей в простых суждениях, соединяющих субъект и предикат

 Различают описательные выражения и три категории логических знаков. Языковое выражение “если… то…” относится к:
связкам, образующим сложное суждение из простого

 Различают описательные выражения и три категории логических знаков. Языковое выражение “и” относится к:
связкам, образующим сложное суждение из простого

 Различают описательные выражения и три категории логических знаков. Языковое выражение “или” относится к:
связкам, образующим сложное суждение из простого

 Различают описательные выражения и три категории логических знаков. Языковое выражение “либо” относится к:
связкам, образующим сложное суждение из простого

 Различают описательные выражения и три категории логических знаков. Языковое выражение “Меньше” относится к:
знакам отношений

 Различают описательные выражения и три категории логических знаков. Языковое выражение “Некоторые есть” является выражением
связей в простых суждениях, соединяющих субъект и предикат

 Различают описательные выражения и три категории логических знаков. Языковое выражение “Некоторые не есть” является выражением
связей в простых суждениях, соединяющих субъект и предикат

 Различают описательные выражения и три категории логических знаков. Языковое выражение “Смертен” относится к:
знакам свойств

 Различают описательные выражения и три категории логических знаков. Языковое выражение “Сократ” является выражением
терминов, обозначающих субъект и предикат суждения

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

 Рассуждение «Все первокурсники изучают логику Я — первокурсник Поэтому и я изучаю логику» построено по схеме:
M a P, S a M S a P

 Рассуждение «Это число делится и на два и на три. Значит, на два оно тоже делится» построено по схеме:
p ^ q p

 Рассуждение является:
софизмом

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

 Рассуждение: «Если N cовершил преступление, то он должен быть наказан. N совершил преступление. Значит, N должен быть наказан» является:
модусом от утверждения основания к утверждению следствия, правильно

 Рассуждение: «Если N совершил преступление, то он должен быть наказан. N не наказан. Значит, он не совершил преступления» является:
неправильным, поскольку построено по модусу от утверждения следствия к утверждению основания

 Рассуждение: «Если туман рассеется, вылет состоится. Туман рассеялся, значит, вылет состоится» является:
правильным, поскольку построено по модусу от утверждения основания к утверждению следствия

 Рассуждение: «Если Х клеветал, то Х привлекается к уголовной ответственности. Х привлекался к уголовной ответственности. Значит, он клеветал» является:
неправильным модусом от утверждения следствия к утверждению основания

 Рассуждение: «Если, и только если, суд признал, что N совершил преступление, то N — преступник N — преступник. Значит, суд признал, что он совершил преступление» является:
правильным модусом от утверждения следствия к утверждению основания, поскольку первая посылка является суждением эквивалентности

 Рассуждение: «Если, и только если, суд признал, что N совершил преступление, то N — преступник. Суд не признал, что N совершил преступление. Значит, N — не преступник» является:
построенным по модусу отрицания основания к отрицанию следствия, но является правильным, поскольку первая посылка — суждение эквивалентности

 Рассуждение: «Компьютер похищен либо Петровым, либо Сидоровым. Но у Петрова алиби Значит, Сидоров похитил компьютер» построено по схеме v:
p v q, p q

 Рассуждение: «Обвиняемый либо виновен, либо не совершил преступление. Суд установил, что обвиняемый виновен. Значит, он совершил преступление» является:
правильным модусом, утверждающе-отрицающим, разделительно-категорического умозаключения

 Рассуждение: «Обмен жилого помещения не допускается, если он носит корыстный или фиктивный характер. Данный обмен носит фиктивный характер. Значит, он не допускается» является:
правильным, поскольку это конструктивная дилемма

 Рассуждение: «Свидетель был на месте преступления или он находился в машине Установлено, что свидетеля в машине не было Значит, он находился на месте преступления» является:
неправильным, поскольку в первой посылке представлены не все альтернативы

 Рассуждение: «Собственность может быть общественной и частной. Это общественная собственность. Значит, она не частная» является …
правильным утверждающе-отрицающим модусом, разделительно-категорического умозаключения

 Рассуждение: «Собственность на средства производства может быть или общественной, или частной. Это не общественная собственность. Значит, это частная собственность» является …
неправильным модусом, отрицающе-утверждающим, разделительно-категорического умозаключения, представлены не все альтернативы

 Рассуждение: «Суждение может быть простым или сложным. Суждение ^ q» — не простое суждение. Значит, оно сложное» является:
правильным модусом, отрицающе-утверждающим, разделительно-категорического умозаключения

 Релевантная логика была развита:
американскими логиками А.Р. Андерсоном и Н.Д. Белнапом

 Роль умозаключения в мышлении и познании заключатся в том, что эта логическая форма
устанавливает связи между суждениями по истинности

 Ромб — прямоугольник, у которого все стороны равны, — это определение …
слишком узкое

 Российские математики А.Н. Колмогоров, В.А. Гливенко, А.А. Марков стояли у истоков логики
конструктивной

 Связи, относящиеся к доказуемости и к убеждению, характеризуют модальные понятия
теоретико-познавательные (эпистемические)

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

 Связи, устанавливаемые в соответствующих немодальных высказываниях с некоторой единой точки зрения — физической, или онтологической, характеризуют модальные понятия
физические

 Связка в атрибутивном суждении — это:
указание на то, в каком взаимоотношении находятся между собой предмет, мыслимый в субъекте, и его признак, мыслимый в предикате

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

 Силлогизм:

построен по:
первой фигуре

 Система знаний о мышлении, которая нужна, чтобы судить о правильности мышления, — это:
формальная логика

 Система индуктивной логики была разработана:
Ф. Бэконом

 Система основных терминов науки (в геометрии Евклида — это понятия точки, прямой, угла, плоскости и др.) формулируется, когда прибегают к методу …
аксиоматическому

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

 Система умозаключений, составляющих логическое следование тезиса из аргументов, является в аргументационной конструкции
демонстрацией

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

 Ситуация в споре, когда автор обращается не к своему партнеру, а к слушателям, зрителям, апеллируя к их чувствам в большей мере, чем к разуму, склоняет их принять свой тезис, называется аргументом к:
публике

 Ситуация популизма, когда аргументы основываются на желаниях большинства людей, является аргументом к:
массам

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

 Ситуация, когда внимание с тезиса и его аргументации смещается на личность того или иного участника, например обвиняемого, адвоката, прокурора и т.д., называется аргументом к:
личности

 Ситуация, когда истинность тезиса ассоциируется с именем человека авторитетного, является аргументом к:
авторитету

 Слова, имеющие одинаковое звучание, но различное значение, называются:
омонимами

 Слово «аргументация» следует понимать:
как и определенную ситуацию вербального взаимодействия, и конструкцию предложений, выражающую следование тезиса из аргументов, и процесс построения такой конструкции

 Сложная деструктивная дилемма — это:
условная посылка содержит два основания и два следствия; разделительная посылка отрицает оба следствия, заключение отрицает оба основания; рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований

 Сложная конструктивная дилемма — это:
условная посылка содержит два основания и два следствия; разделительная посылка утверждает оба возможных основания, заключение утверждает оба возможных следствия; рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий

 Сложное высказывание, истинное тогда и только тогда, когда все составляющие его простые высказывания истинны, называется:
конъюнктивным (соединительным)

 Сложное высказывание, истинное тогда и только тогда, когда истинно только одно из входящих в него высказываний, называется:
строго дизъюнктивным, или исключающе разделительным

 Сложное высказывание, истинное тогда и только тогда, когда истинно хотя бы одно из входящих в него высказываний, называется:
дизъюнктивным (разделительным)

 Сложное высказывание, которое истинно тогда и только тогда, когда составляющие его высказывания либо вместе истинны, либо вместе ложны, называется:
суждением эквивалентности

 Сложное высказывание, которое ложно тогда и только тогда, когда первое высказывание (антецедент) истинно, а последующее (консеквент) — ложно, называется:
импликативным (условным)

 Сложным является суждение:
Он – образованный человек и неправда, что у него неважная память.

 Собирательные понятия — это понятия, в которых …
группа однородных предметов мыслится как единое целое

 Совместимые понятия — это понятия, в которых …
объемы полностью или частично совпадают

 Совокупность предметов, которая мыслится в данном понятии, — это ________________ понятия.
объем

 Совокупность предметов, составляющих объем имени, понятия, называется:
классом

 Совокупность существенных признаков предмета, которая мыслится в данном понятии, — это ________________ понятия.
содержание

 Содержание понятия – это:
существенные признаки того объекта, который оно выражает

 Соединенный метод сходства и различия заключается в том, что если …
два или большее число случаев, когда наступает данное явление Х, сходны только в одном условии А, в то время как два или более случаев, когда данное явление Х отсутствует, отличаются от первых случаев только тем, что отсутствует условие А, то это условие А и есть причина X

 Создателем формальной логики, “отцом логики” называют:
Аристотеля

 Соотносительные понятия — это понятия, в которых …
отражаются предметы, признаками которых выступают их отношения друг к другу

 Соотношение взаимоисключающих суждений, взятых в одном контексте — это:
логическое противоречие

 Спор, в результате которого подменяются одни логические основания другими, используются некорректные приемы, называется:
эклектикой

 Спор, имеющий своей целью достижение победы над противоположной стороной с использованием как корректных, так и некорректных приемов, называется:
софистикой

 Спор, направленный на достижение истины и использующий только корректные приемы ведения спора, является:
дискуссией

 Спор, направленный на победу над противоположной стороной и использующий только корректные приемы, называется:
полемикой

 Способ построения системы знания, совокупность приемов и операций практического и теоретического освоения действительности — это:
метод

 Способ связи аргументов с тезисом в доказательстве называется:
демонстрацией

 Средства, позволяющие формулировать правила образования и преобразования сложных выражений, должен содержать:
метаязык

 Ссылка на неосведомленность, а то и на невежество противника в вопросах, относящихся к существу спора; упоминание таких фактов или положений, которых никто из спорящих не знает и не в состоянии проверить, является аргументом к:
невежеству

 Ссылка на непосредственную, интуитивную очевидность выдвигаемого положения является ________________ аргументацией.
интуитивной

 Столкновение мнений, позиций, в ходе которого каждая из сторон аргументирования отстаивает свое понимание обсуждаемых проблем и стремится опровергнуть доводы другой стороны, называется:
спором

 Строгая импликация в формулировке американского логика К. Льюиса имеет формулу:
р q = df ù ¸ (p ù q)

 Строгой дизъюнкцией является следующее суждение:
Иван или сын, или внук Петра Васильевича.

 Субъектом называется та часть высказывания, которая:
выражает предмет мысли

 Суждение — это:
такая форма мышления, в которой посредством утверждения связи между предметами, между редметами и свойствами выражается истина

 Суждение «4 >3» выражает:
суждение об отношении

 Суждение «4 = √16» выражает:
суждение об отношении

 Суждение «Большинство юристов — штангисты» выражает:
атрибутивное частноутвердительное суждение

 Суждение «Всякая измена есть преступление» относится к типу
А (общеутвердительное)

 Суждение «Всякий следователь — юрист» выражает:
атрибутивное общеутвердительное суждение

 Суждение «Если Петров следователь, то он юрист» выражает:
сложное импликативное (условное) суждение

 Суждение «Если Петров юрист, то он следователь» выражает:
сложное импликативное (условное) суждение

 Суждение «Если число делится на 2, то оно делится на 4» выражает:
сложное импликативное (условное) суждение

 Суждение «Если число делится на 4, то оно делится на 2» выражает:
сложное импликативное (условное) суждение

 Суждение «Кто желает практической отдачи от логики, должен хорошо упражняться» выражает:
нормативное (деонтическое) суждение

 Суждение «Михаил старше Бориса» выражает:
суждение об отношении

 Суждение «Москва ближе к Рязани, чем Париж» выражает:
суждение об отношении

 Суждение «Мышления без языка не существует» выражает:
суждение существования, отрицательное

 Суждение «Наука обширна, а жизнь коротка» выражает суждение
сложное конъюнктивное

 Суждение «Не загребай жар чужими руками» выражает:
нормативное суждение

 Суждение «Не существует √-1» выражает:
суждение существования, отрицательное

 Суждение «Некоторая измена есть преступление» относится к типу
I (частноутвердительное)

 Суждение «Некоторая измена не есть преступление» относится к типу
О (частноотрицательное)

 Суждение «Ни один адвокат не является прокурором» выражает:
атрибутивное общеотрицательное суждение

 Суждение «Ни одна измена не есть преступление» относится к типу
Е (общеотрицательное)

 Суждение «Петров — следователь» выражает:
простое атрибутивное, единичное суждение

 Суждение «Презумпция невиновности есть принцип права» выражает суждение
простое атрибутивное утвердительное

 Суждение «Существует жизнь на Марсе» выражает:
суждение существования

 Суждение «Число 6 делится на 2 и на 3» выражает:
сложное конъюнктивное суждение

 Суждение «Это число делится на 2 или оно делится на 3» выражает суждение
сложное слабо-дизъюнктивное (соединительно-разделительное)

 Суждение  является:
экзистенциональным

 Суждение выражается в форме:
повествовательного предложения

 Суждение, истинность которого доказывается, является в аргументационной конструкции
тезисом

 Суждение, истинность которого принимается в доказательстве, является в аргументационной конструкции
аргументом

 Схема представляет превращение суждения типа
А

 Схема представляет:
противопоставление предикату суждения типа А

 Схема представляет превращение суждения типа
О

 Схема представляет:
противопоставление предикату суждения типа О

 Схема представляет:
обращение суждения типа I

 Схема представляет превращение суждения типа
I

 Схема представляет превращение суждения типа
Е

 Схема представляет:
противопоставление предикату суждения типа Е

 Схема представляет:
обращение суждения типа Е

 Схема :
обращение суждения типа А

 Схема p q, p q представляет:
отрицающе-утверждающий модус разделительно-категорического умозаключения

 Схема p q, p ¬ q представляет:
утверждающе-отрицающий модус разделительно-категорического умозаключения

 Сходство слов по значению при различии их звучания называется:
синонимией

 Та мысль, которую выражает или воспринимает человек, вводящий или воспроизводящий знак, считается значением знака
смысловым

 Та сфера действительности, которую данный знак замещает, считается значением знака
предметным

 Такие разновидности споров, цели которых состоят в выяснении истины, в ее проверке, выработке некоторого общего мнения, во внушении своего мнения или ради победы, относятся к спорам
по характеру цели

 Тезис — это суждение, истинность которого …
доказывается в аргументации

 Тезис аргументационной конструкции должен удовлетворять трем требованиям:
быть логически определенным; оставаться тождественным в ситуации аргументации; однозначно пониматься аргументатором и реципиентом

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

 То, в чем предметы сходны друг с другом или отличны друг от друга, — это:
признаки

 Традиционная (формальная) логика называется также:
двухзначной

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

 Требование, что объем членов деления должен быть равен в своей сумме объему делимого понятия, выражает правило
соразмерности деления

 Угроза неприятными последствиями, в частности угроза применения насилия или прямое употребление каких-то средств принуждения, называется аргументом к:
физической силе («к палке»)

 Укажите вид отношения между понятиями «женщина» (А) и «дочь» (В):
А тождественно В

 Укажите вид отношения между понятиями «женщина» (А) и «мать» (В):
А подчиняет В

 Укажите вид отношения между понятиями «мужчина» (А) и «сын» (В):
А тождественно В

 Укажите вид отношения между понятиями «орудие преступления» (А) и «пистолет» (В):
А пересекается с В

 Укажите вид отношения между понятиями «преступление» (А) и «должностное» (В) преступление:
А подчиняет В

 Укажите вид отношения между понятиями «прокурор» (А) и «человек» (В):
В подчиняет А

 Укажите вид отношения между понятиями «прокурор» (А) и «шахматист» (В):
А пересекается с В

 Укажите вид отношения между понятиями «спортсмен» (А) и «мастер спорта» (В):
А подчиняет В

 Укажите вид отношения между понятиями «четное число» (А) и «простое число» (В):
А пересекается с В

 Укажите вид отношения между понятиями «число два» (А) и «простое четное число» (В):
А подчиняет В

 Укажите тип следующего сложного суждения: .
конъюнкция

 Укажите тип следующего сложного суждения: .
импликация

 Укажите тип следующего сложного суждения: .
эквиваленция

 Укажите тип следующего сложного суждения: .
конъюнкция

 Укажите, в какой из ситуаций не нарушены требования закона достаточного основания:
Этот человек обязан явиться в суд и дать показания, так как он вызван в качестве свидетеля.

 Укажите, какой из формальных законов логики нарушен в следующем рассуждении: .
закон непротиворечия

 Укажите, какой из формальных законов логики нарушен в следующем рассуждении: .
закон непротиворечия

 Укажите, какой из формальных законов логики нарушен в следующем рассуждении: .
закон достаточного основания

 Укажите, какой из формальных законов логики нарушен в следующем рассуждении: 
закон достаточного основания

 Укажите, какой из формальных законов логики нарушен в следующем рассуждении: .
закон тождества

 Умозаключение  является:
дедукцией

 Умозаключение  является:
дедукцией

 Умозаключение  является:
индукцией

 Умозаключение  является:
условно-категорическим умозаключением

 Умозаключение  является:
аналогией

 Умозаключение  является:
энтимемой

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

 Умозаключение от суждений большей степени общности к суждениям меньшей степени общности, называется:
дедукция

 Умозаключением называется(-ются):
такая форма мышления, посредством которой из одного или нескольких суждений (посылок), истинность которых известна, выводится новое суждение (заключение), также истинное

 Умозаключением не является:
Если лед нагреть, он растает.

 Условно-категорическое умозаключение — это:
умозаключение, в котором одна из посылок — условное, а другая посылка и заключение — категорические суждения

 Условно-разделительное (лемматическое) умозаключение — это:
умозаключение, в котором одна посылка условное, а другая — разделительное суждение

 Утверждающе-отрицающий модус (modus ponendo tollens) — это:
меньшая посылка — категорическое суждение — утверждает одну из альтернатив, заключение — также категорическое суждение — отрицает

 Утверждающий модус (modus ponens) — это:
умозаключение, в котором посылка, выраженная категорическим суждением, утверждает истинность основания, а заключение утверждает истинность следствия; таким образом, рассуждение направлено от утверждения основания к утверждению следствия

 Фальсификация гипотезы осуществляется рассуждением по форме от:
отрицания следствия к отрицанию основания

 Физические модальные понятия — это:
физически невозможно

 Физические модальные понятия — это:
физически необходимо

 Форма мысли, посредством которой из одного или нескольких суждений (называемых посылками) делается заключение (вывод) – это:
умозаключение

 Форма мышления, в которой посредством утверждения связи между предметами, между предметами и свойствами выражается истина, называется:
суждением

 Форма мышления, в которой что-то утверждается или отрицается о предметах, их свойствах и отношениях, – это:
суждение

 Форма мышления, посредством которой из одного или нескольких суждений (посылок), истинность которых известна, выводится новое суждение (заключение), также истинное, называется:
умозаключением

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

 Формальная логика появилась в:
античности

 Формула p Úù p выражает логический закон:
исключенного третьего

 Формула логики высказываний, дающая истинное высказывание при любых подстановках в нее конкретных высказываний, называется:
тавтологией

 Формула: ( ( p q ) ¨ p ) q классической логики выражает суждение:
логической модальности (тождественно истинное высказывание)

 Формула: ( ( p q ) ¨ ù q ) ù p классической логики выражает суждение:
логической модальности (тождественно истинное высказывание)

 Формула: ¨ А «ù ¸ ù А выражает закон модальной логики:
необходимо, что А тогда, и только тогда, когда невозможно, что не-А

 Формула: ¨ А А выражает закон модальной логики:
если необходимо, что А, то А

 Формула: ¸ А «ù ¨ ù А выражает закон модальной логики:
возможно, что А тогда, и только тогда, когда не необходимо, что не-А

 Формула: p ¨ ù p классической логики выражает суждение:
логической модальности (закон исключенного третьего)

 Формула: p « p классической логики выражает суждение:
логической модальности (закон тождества)

 Формула: ù ( p ¨ ù p ) классической логики выражает суждение:
логической модальности (закон противоречия)

 Формула: А ¸ А выражает закон модальной логики:
если А, то возможно, что А

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

 Формулировка “всякое верное положение должно быть обоснованным” определяет логический закон
достаточного основания

 Формулировка “если есть два суждения, из которых одно оказывается отрицанием второго, то одно (и только одно) из них является истинным” выражает логический закон
исключенного третьего

 Формулировка “неверно, что некоторое суждение и его отрицание” одновременно истинны выражает логический закон
противоречия

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

 Целью аргументации как логико-коммуникативной процедуры является:
воссоздание истинности суждения Т (тезиса) в вербальном взаимодействии аргументатора и реципиента

 Четное и вместе с тем простое число — это по объему понятие …
единичное

 Четное число — такое число, которое делится на два без остатка, — это определение …
соразмерное, ошибки несоразмерности нет

 Четное число — такое число, которое делится на два, — это определение …
слишком широкое

 Четное число — такое число, которое оканчивается на два, — это определение …
слишком узкое

 Четное число — это по объему понятие …
общее

 Чувства и желания человека, употребляющего данный знак (в случае использования его в конкретном контексте и в определенной ситуации), считаются значением знака
экспрессивным

 Чувственный опыт в качестве критерия истинности мышления признает логико-философское направление
эмпиризм

 Элементарная форма абстрактного мышления, в которой фиксируются существенные свойства, признаки обозначаемого предмета, – это:
понятие

 Элементы, полно составляющие структуру доказательства, — это:
тезис, аргументы, демонстрация

 Эпистемические модальные понятия — это:
доказуемо

 Эпистемические модальные понятия — это:
неразрешимо

 Эпистемические модальные понятия — это:
опровержимо

 Явное и строгое формулирование правил, позволяющих переходить от одних сложных выражений к другим (правила преобразования и правила замены по определению), предполагает построение
формализованного языка

 Явное и строгое формулирование правил, позволяющих строить сложные выражения из исходных (правила образования), предполагает построение
формализованного языка

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

 Язык науки отличается от естественного языка
лексикой

 Язык, который подвергается анализу, называют:
языком-объектом

 Язык, который строится по сформулированным заранее правилам и предназначен для решения каких-либо конкретных задач, называют:
искусственным языком

 Язык, на котором формулируются приемы анализа, фиксируются его результаты, называют:
метаязыком

 Языковой формой суждения является:
предложение

У этого термина существуют и другие значения, см. Логика (рассказ).

Грегор Рейш. «Логика представляет её центральные темы», Margarita Philosophica, 1503/08 (?). Две собаки veritas (с лат. — «истина») и falsitas (с лат. — «ложь») преследуют зайца problema (с лат. — «проблема»), логика, вооружённая саблей-силлогизмом, спешит позади. Слева внизу в гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию.

Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — нормативная наука о законах, формах и приёмах интеллектуальной деятельности[1].

Логика как наука возникла в недрах древнегреческой философии. Далее в течение почти двух с половиной тысячелетий до второй половины XIX века логика изучалась как часть философии и риторики. Начало современной логики, построенной в форме исчисления, положил Г. Фреге в сочинении «Begriffsschrift» («Запись в понятиях», в другом переводе — «Исчисление в понятиях», 1879).[2]

Основная цель логики и её функция: сохранить в неизменном виде законы выведения последующих утверждений из предыдущих[3]. При этом истинность выводов, зависит только от истинности входящих в вывод утверждений, и от правильной их связи между собой. Изучая, как одни мысли следуют из других, логика выявляет законы мышления.

Кроме главного значения, как науки, изучающей законы мышления со стороны формы мыслей, а не их содержания, слово «логика» обладает также близкими, но более специализированными значениями «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений».[4] В частности, этим словом может называться следующее:

  • в процессе мышления — когда говорится о логичном и нелогичном мышлении, где последовательность утверждений соответствует изученным в логике схемам, в отличие от полностью бессвязных и рассуждений по аналогии с произвольными понравившимися автору образами или стереотипами;
  • в электронике — вид схем, предназначенных для обработки информации и управления, в отличие от силовых схем трансформации и распределения энергии, и маломощных, но обрабатывающих атомарные сигналы: фильтрации, регистрации, генерации;
  • в произвольных явлениях — приписываемая или обнаруженная в их функционировании определённая схема, повторяющийся в процессах шаблон, которые могут быть описаны в логических категориях: состояние, подчинение, отражение, зависимость и т. п.

Основные сведения[править | править код]

Интеллектуальную деятельность, мышление изучают многие науки, в частности: психология, эпистемология, психолингвистика. Среди всех таких наук логика занимает особое место. В ней, в отличие от других наук, законы мышления изучаются со стороны формы мыслей, а не их содержания.[5]

Логика изучает такие формы мысли, а также их вербальные, символьные (знаковые) представления, которые находятся в корректном отношении (истинности, случайности, возможности, необходимости и т. д.) к положению дел в реальном мире, и которые, будучи применены к совокупностям корректных по форме мыслей (представлений), вновь приводят к корректным мыслям (представлениям).

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

Таким образом, логика изучает способы вывода новых истинных знаний не из непосредственно данного чувственного опыта, а из знаний, полученных ранее.

Характерной чертой современной логики является антипсихологизм[2]. Если в ХIX в. часто логика рассматривалась как часть психологии (Т. Липпс, Хр. Зигварт), то Г. Фреге показал, а под его влиянием Э. Гуссерль убедительно подтвердил, что это не так, что логика базируется на собственном основании, природа которого не психологическая. В то же время при анализе формулируемых субъектом оценочных предложений необходимо учитывать его знания, верования, убеждения. Для изучения таких предложений требуется строить специальные логики, включающие субъект.[2]

Изучение правил корректного мышления с применением символических представлений является областью исследований символической логики. Представления правил и операций корректного мышления в виде формализованных структур исследуются в формальной логике. Формализованные структуры, отражающие формальные аспекты корректного мышления и удовлетворяющие требованиям к математическим структурам, а также другие близкие к ним математические структуры изучаются в математической логике.[2]

Символы применял ещё Аристотель, а также все последующие учёные-логики.[6] По-видимому, термин «символическая логика» впервые был применен Дж. Венном в 1880.[7] Иногда термин «символическая логика» используется как синоним термина «математическая логика».[8] Определение «формальная» для логики, занимающейся анализом формальной стороной структуры высказываний и доказательств, было введено И. Кантом для отграничения её по главной особенности от других видов логик.[6]

Математическая логика представляет собой раздел математики, объединяющий исследования логических проблем с применением математических средств, что позволяет изучать формальную сторону корректного связного мышления более точно. Именно, математическая логика в настоящее время понимается, как современная логика.[2] Также утверждается, что «современная логика является логикой по предмету, и математикой по методу»,[2] и таким образом логика представляет собой отдельную сущность, не являющуюся частью математики. В настоящее время символьная, формальная и математическая логики часто рассматриваются как синонимы, особенно с добавлением «современная».[2]

Вследствие теоремы Гёделя о неполноте, математическая логика не может дать исчерпывающего решения всех общелогических проблем.[источник не указан 832 дня]

Поэтому исследования логических вопросов с использованием средств естественного языка в философии продолжаются, но уже дополнительно с применением идей и аппарата математической логики. Это позволяет прояснить основания логики более глубоко. Также это позволяет провести более глубокий и точный анализ и осмысление некоторых понятий и проблем философии. Такие исследования в философии дают новые импульсы к развитию современной логики.[6]

Логические исследования в современной философии не образуют целостной её области, а представляют собой совокупность отдельных логико-философских работ, которые, тем не менее, объединяются в раздел, называемый философской логикой.[6] В Новой философской энциклопедии (НФЭ) ИФ РАН в таким образом понимаемой философской логике выделяются две части: собственно «философская логика», изучающая философские проблемы средствами современной логики и «философия логики», исследующая основания логики средствами философии. При этом утверждается, что зачастую одно подменяется другим, хотя это два разных направления исследований.[9] Другие исследователи под философской логикой (точнее, под философскими логиками) понимают неклассические логики, в которых изучаются типы рассуждений, а также стороны познавательного процесса, в том числе требующие применения модальностей, не учитываемых в классических логиках, базирующихся на двузначном принципе.[2] В то же время в НФЭ ИФ РАН утверждается, что философская логика трактовалась как модальная (являющаяся частью совокупности неклассических логик) только первоначально. Также в этой энциклопедии выражается мнение, что различными специалистами философская логика понимается по-разному, и скорее, по-своему. Даже если она и выделяется как особая научная дисциплина, её предмет, границы применения и методы однозначно определить не удаётся.[9]

По мнению В. А. Бочарова и В. И. Маркина,[2] логика как наука включает множество частных различающихся логик. Более того, таких логик бесконечно много. Эти логики базируются на различных совокупностях типов отношений вещей и способов анализа, принятии разных предпосылок, абстракций и идеализаций, соответствующих использованной точки зрения, ракурсу взгляда и оценки объективной реальности. Однако никакие теоретические построения, на каких бы совокупностях абстракций и идеализаций они бы не основывались, не могут охватить полностью всю реальность — реальность всегда остается более богатой и динамичной, чем любые теории. Всё это приводит к постоянному появлению новых логик, логических теорий, направленных на исследования вновь открытых типов рассуждений, высказываний, правил и законов, базирующихся на различных совокупностях исходных предпосылок. Таким образом осуществляется постоянное развитие логики в целом, как науки.

Логика лежит в основе всех наук и используется в качестве одного из основных их инструментов.[10] Как было сказано выше, логика образует разделы философии и математики; раздел булевой алгебры — классической математической логики — является одной из основ информатики.[11]

По мнению В. А. Бочарова, в логике выделяются следующие основные разделы: теория рассуждений (включает теорию дедуктивных рассуждений и теорию правдоподобных рассуждений), металогика и логическая методология.[12][1]

Изучение мыслительной деятельности в логике сопряжено с исследованием язы­ко­вых кон­ст­рук­ций вербальных представлений мыслей в логической семиотике, при этом в аспекте синтаксиса в логической синтактике, семантики — в ло­ги­че­ской се­ман­ти­ке и прагматики — в логической прагматике.[1]

История логики[править | править код]

Подобно тому как умение говорить существовало ещё до возникновения науки грамматики, так и искусство правильно мыслить существовало задолго до науки логики. Логические операции: определение, классификация, доказательство, опровержение и другие — постоянно применяются людьми в их мыслительной деятельности, часто неосознанно и с погрешностями. Некоторые склонны считать собственное мышление естественным процессом, не требующим анализа и контроля больше, чем, скажем, дыхание или движение, но реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач также существенны: интуиция, эмоции, образное видение мира,[13] эвристика[14] и многое другое. Однако не полная строгость мышления ещё не значит, что в нём логика не применяется.[15]

Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской, индийской и греческой. Хотя точные даты возникновения и этапов развития логики в перечисленных традициях не слишком достоверны (особенно в случае Индии). Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции (аристотелевской логики), которая, однако, была воспринята не непосредственно, а через арабо-мусульманских философов и средневековых европейских логиков и их комментаторскую деятельность.

Можно выделить следующие исторические и региональные формы логики (приведены также их наименования, исторически существовавшие и принятые в литературе по истории формальной логики):[источник не указан 1090 дней]

  • Древнекитайская логика.
  • Индийская логика.
  • Европейская и ближневосточная логика: традиционная логика (в широком смысле)
    • Античная и раннесредневековая логика: диалектика;
    • Средневековая логика:
      • Арабская и еврейская средневековая логика;
      • Восточнохристианская средневековая логика;[16]
      • Западноевропейская средневековая логика: схоластическая логика, диалектика
    • Логика европейского Возрождения; диалектика;
    • Логика Нового времени: традиционная логика (в узком смысле), формальная логика.
  • Современная логика (общемировая, со второй половины XIX века): математическая логика, символическая логика, логистика (последнее — как правило, в западной литературе).

Логика в своём развитии прошла три порога:

  • порог формализации рассуждений (во всех трёх традициях);
  • введение условных (символических, буквенных и числовых) обозначений (только европейская традиционная логика);
  • научная революция, с которой началась современная логика, — математизация (внесение в логику математических методов).

Логика в Древнем Китае[править | править код]

Основные методологические исследования логической тематики древнекитайской философии были направлены на логико-лингвистический анализ и проблемы полемики, в их числе: определение терминов, ие­рар­хи­за­ция ка­те­го­рий, вы­яв­ле­ние па­ра­док­сов, клас­си­фи­ка­ция пра­виль­ных вы­ска­зы­ва­ний и многое другое. В целом эти исследования носят протологический характер, относясь к диалектике в изначальном смысле этого слова (использовался термин «бянь», который мог означать и крас­но­ре­чие, и спор, и диа­лек­ти­ку). Важнейший вклад сделан представителями «шко­лы имён» (мин цзя), шко­лы мо­и­стов (мо цзя) и философом Сюнь-цзы.[1]

Современник Конфуция Мо-цзы («Учитель Мо», «Мудрец Мо»; V—IV вв. до н. э) был известен как основатель моизма (школы мо цзя), представители которой занимались поиском источников достоверного рассуждения и условий его правильности. В области аргументации они предпочитали разработку рассуждения по аналогии разработки дедукции. В процессе анализа семантики языка моисты разработали метод классификации имён по степени их общности и деления вещей по видам (метод «трёх правил», «трёх фа»).

Одно из ответвлений моизма, логики (мин цзя, школа имён, V—III вв. до н. э), приступило к исследованию собственно формальной логики (её представители подошли к открытию категорического силлогизма ранее или одновременно с её формулировкой Аристотелем).

Позднее, при династии Цинь, эта линия исследований исчезла в Китае, поскольку тогда философия легизма жестоко подавляла все остальные философские школы. Вновь логика в Китае появилась только с проникновением туда индийской логики буддистов и далее сильно отстала от развития европейской и ближневосточной логики.[источник не указан 1090 дней]

Индийская логика[править | править код]

Истоки логики в Индии можно проследить в грамматических текстах V века до н. э.. Две из шести ортодоксально-индуистских (ведийских) школ индийской философии — ньяя и вайшешика — занимались методологией познания из этого проблемного поля и выделилась логика.

Само название школы «ньяя» значит «логика». Главным её достижением была разработка логики и методологии, ставших впоследствии общим достоянием (ср. аристотелевская логика в Европе). Основным текстом школы были Ньяя-сутры Акшапады Гаутамы (II век н. э.). Поскольку ньяики считали единственным путём освобождения от страданий достижение надёжного знания, они разрабатывали тонкие методы отличения надёжных источников знания от ложных мнений. Есть только четыре источника знания (четыре праманы): восприятие, умозаключение, сравнение и свидетельство. Строгая пятичленная схема умозаключения включала в себя: начальную посылку, основание, пример, приложение и вывод.

Буддийская философия (не входившая в число шести ортодоксальных школ) была главным оппонентом ньяиков в логике. Нагарджуна, основатель мадхьямики («срединного пути»), развил рассуждение, известное как «чатушкоти», или тетралемма. Этот четырёхсторонний аргумент систематически проверял и отклонял утверждение высказывания, его отрицание, соединение утверждения и отрицания и, наконец, отклонение и его утверждения, и его отрицания.

У Дигнаги и его последователя Дхармакирти буддийская логика достигла вершины. Центральным пунктом их анализа было установление (определение) необходимой логической присущности (включённости в определение), «вьяпти», также известное как «неизменное следование» или «убеждение». Для этой цели они развили учение об «апоха» или различении, о правилах включения признаков в определение или исключения их из него.

Школа навья-ньяя («новая ньяя», «новая логика») была основана в XIII веке Ганешей Упадхьяей из Митилы, автора «Таттвачинтамами» («Сокровище мысли о реальности»). Впрочем, и он опирался на работы своих предшественников X века.[источник не указан 1090 дней]

Европейская и ближневосточная логика[править | править код]

В истории европейской логики можно выделить этапы:[источник не указан 1090 дней]

  • аристотелевский (традиционный) продолжался сотни лет, в течение которых логика развивалась очень медленно;
  • схоластический этап развития, пик которого приходится на XIV век;
  • нововременной этап.

Логика античности[править | править код]

Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Его цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения».

После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан.[источник не указан 1090 дней]

Логика в Средневековье[править | править код]

По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870—950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.[источник не указан 1090 дней]

Логика в эпоху Возрождения и в Новое время[править | править код]

Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.

Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть индукции (обобщения) — в восхождении (в процессе познания) от частных случаев к общим правилам. Также необходимо искать причины своих ошибок.

В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.[1]

Новейшее время[править | править код]

Во второй половине XIX — начале XX были заложены основы математической логики, в которой для исследования истинности предложений естественного языка применяются математические методы. Именно использование математических методов является отличительной чертой, отделяющей современную логическую науку от традиционной.

Основателем математической логики считается Г. Фреге. Огромный вклад в развитие логики в этот период внесли также такие учёные, как Дж. Буль, О. де Морган, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки и математики.

Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым.

В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики и приложений на стыке логики и математики, как проблемы логического синтеза, логическое проектирование и проблемы логического моделирования логических устройств и средств вычислительной техники.[11]

В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования[17]. Началось создание экспертных систем с использованием и развитием автоматического доказательства теорем. Исследовались принципы логического программирования для компьютеров пятого поколения, а также применение языка исчисления предикатов для проектирования баз знаний. Были разработаны методы доказательного программирования для верификации алгоритмов и программ для ЭВМ.[18][19]

В 80-е годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники.[источник не указан 1090 дней]

Неформальная, формальная, символическая и диалектическая логика[править | править код]

Неформальная логика (термин принят прежде всего в англоязычной литературе) — исследование аргументации в естественном языке. Одной из главных её задач является исследование логических ошибок — см. Логическая семантика, философская логика, теория аргументации, логический анализ языка. Любой вывод, сделанный на естественном языке, обладает чисто формальным содержанием (смысл рассуждения может быть разделён на форму мысли и собственно содержание), если можно показать, что он является частным применением абстрактного универсального правила, которое отвлекается от всякого конкретного предмета, свойства или отношения. Именно этот вывод с чисто формальным содержанием называют логическим выводом и основным предметом логики. Анализ вывода, который раскрывает это чисто формальное содержание, называется формальной логикой.

Символическая логика изучает символические абстракции, которые фиксируют формальную структуру логического вывода.

Диалектическая логика — наука о мышлении в марксизме. Здесь понятие мышления употребляется в смысле Логоса как предмета античной философии, а диалектическая логика — уже в смысле отдельной науки, как физика или формальная логика. Диалектическое рассуждение учитывает законы формальной логики. Вместе с тем, осуществляя анализ динамики перехода понятий в свою противоположность, оно допускает, что противоположности совпадают, ориентируется на законы диалектики.

В рамках формальной логики имеется группа логик, именуемых неклассическими (иногда также используется термин «альтернативные логики»). Эта группа логик существенно отличается от классических логик путём различных вариаций законов и правил (например, логики, отменяющие закон исключённого третьего, меняющие таблицы истинности и т. д.). Благодаря этим вариациям возможно построение различных моделей логических следствий и логической истины[20].

Теория рассуждений[править | править код]

Важнейшим разделом логики яв­ля­ет­ся тео­рия рас­су­ж­де­ний, в которой наибольшее значение имеет теория дедуктивных рассуждений. Здесь оп­ре­де­ля­ют­ся по­ня­тия ло­ги­че­ско­го за­ко­на и ло­ги­че­ско­го сле­до­ва­ния, из которых создаются правила вывода. Использование этих правил гарантирует по­лу­че­ние ис­тин­но­го за­клю­че­ния при применении истинных предпосылок. Справедливость этих пра­вил за­ви­сит исключительно от их ло­гической формы и никаким образом не за­ви­сит от со­дер­жа­ния данных рас­су­ж­де­ний.[1]

Различные логические теории рассуждений различаются типами ана­ли­зи­руе­мых в них рас­су­ж­де­ний, ло­гическими пра­ви­ла­ми и ло­гическими за­ко­на­ми.[1]

По глу­би­не ана­ли­за вы­ска­зы­ва­ний различают ло­ги­ку вы­ска­зы­ва­ний, или про­по­зи­цио­наль­ную логику, и ло­ги­ку предикатов, включающую в себя кванторные тео­рии. В отличие от логики предикатов логика высказываний изучает ти­пы рас­су­ж­де­ний, не за­ви­сящие от внутренней струк­ту­ры про­стых пред­ло­же­ний.[1] Логику предикатов первого порядка расширяют логики высшего порядка.

Законы логики[править | править код]

Закон логики — это общезначимый принцип какой-либо логической теории, формула которого принимает значение «истина» при любых допустимых в этой теории значениях нелогических символов. В логических исчислениях их теоремы, доказуемые с использованием дедуктивных средств исчисления, тоже признаются логическими законами. В традиционной логике было четыре основных логических закона:[21]

  • Закон тождества постулирует, что в процессе рассуждения понятия и суждения должны употребляться в одном и том же смысле.[22]
  • Закон непротиворечия гласит, что два противоречащих суждения не могут быть одновременно истинными. По крайней мере одно из них ложно.[23]
  • Закон достаточного основания говорит о том, что каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинным.[24]
  • Закон исключённого третьего утверждает, что любое высказывание или истинно, или ложно, третьего не дано.[25]

В некоторых теориях современной логики применимы не все традиционные логические законы.[21]

Металогика[править | править код]

Метатеоретические проблемы логики[править | править код]

  • Непротиворечивость формализованных теорий.
  • Полнота формализованных теорий.
  • Разрешимость формализованных теорий.
  • Независимость аксиом формализованных теорий.
  • Корректность формальной системы.
  • Определимость.
  • Сравнительный анализ логических теорий.[источник не указан 1090 дней]

Концепции логики[править | править код]

Концепции логики[источник не указан 825 дней] различаются между собой прежде всего по способам решения метатеоретических проблем логики, связанных с основаниями математики:

  • Психологизм.
  • Логицизм.
  • Формализм (математика).
  • Интуиционизм.
  • Конструктивная математика.
  • Консерватизм (логика).[источник не указан 1090 дней]

Традиционная логика[править | править код]

Под традиционной логикой понимаются системы дедуктивной логики, не использующие формализованные языки математической логики. Её сущность содержится в силлогистике.[26] Развивалась с IV века до н. э. до конца XIX — начала XX века.[27]

Классическая математическая логика[править | править код]

Классическая традиционная логика создавалась в первую очередь для нужд математики поэтому её называют также математической логикой.[1]

Классическая логическая теория далеко не совершенна: основное её содержание формулируется на особом, созданном для своих целей языке, использует предметное мышление. В ней не предполагается использование контроля прагматических ошибок, погрешностей, нелинейностей используемых систем отсчёта, пограничных ошибок описания, релятивизма масштабирования (относительность предметов и их пространственных характеристик, к примеру: человек велик относительно муравья, но в то же время мал относительно слона) и т. п. Вследствие чего принято считать нормальным факт наличия в её языке парадоксов и априорных утверждений, кустовых эффектов словаря и т. п.

Аппарат математической логики[править | править код]

Пазлинка и перо

Этот раздел статьи ещё не написан.

Здесь может располагаться отдельный раздел. Помогите Википедии, написав его. (14 февраля 2021)

Исчисления и логические методы[править | править код]

Пазлинка и перо

Этот раздел статьи ещё не написан.

Здесь может располагаться отдельный раздел. Помогите Википедии, написав его. (14 февраля 2021)

  • Разрешимость.
  • Семантическое древо.
  • Таблицы Бета.
  • Аксиоматика.
  • Натуральный вывод.
  • Исчисление секвенций.

Логическая семантика[править | править код]

Пазлинка и перо

Этот раздел статьи ещё не написан.

Здесь может располагаться отдельный раздел. Помогите Википедии, написав его. (14 февраля 2021)

  • Алгебраические семантики.
  • Теоретико-множественные семантики.
  • Реляционные семантики возможных миров.
  • Проблема содержательности семантик логических систем.
  • Категорная семантика.
  • Теория семантических категорий.[источник не указан 1090 дней]

Теория моделей[править | править код]

Пазлинка и перо

Этот раздел статьи ещё не написан.

Здесь может располагаться отдельный раздел. Помогите Википедии, написав его. (14 февраля 2021)

Теория доказательств[править | править код]

Пазлинка и перо

Этот раздел статьи ещё не написан.

Здесь может располагаться отдельный раздел. Помогите Википедии, написав его. (14 февраля 2021)

Неклассические логики[править | править код]

Пазлинка и перо

Этот раздел статьи ещё не написан.

Здесь может располагаться отдельный раздел. Помогите Википедии, написав его. (14 февраля 2021)

Логики, отменяющие закон исключённого третьего[править | править код]

  • Интуиционистская логика.
  • Конструктивная логика.
  • Логика квантовой механики.

Многозначные логики[править | править код]

  • Многозначная логика.
    • Двузначная логика.
    • Трёхзначная логика.

Недедуктивные логические теории[править | править код]

  • Индуктивная логика.
  • Вероятностная логика.
  • Логика решений.
  • Логика нечётких понятий (логика нечётких множеств, нечёткая логика).
  • Аналогия (умозаключение по аналогии).

Другие неклассические логики[править | править код]

  • Деонтическая логика (от др.-греч. δέον — долг и логика; ло́гика норм, нормати́вная ло́гика) — раздел модальной логики. Оперирует понятиями: обязательство, разрешение, норма. «Ты обязан это сделать» («Твой долг это сделать») либо «Ты можешь это сделать».
  • Комбинаторная логика — направление математической логики, занимающееся фундаментальными (то есть не нуждающимися в объяснении и не анализируемыми) понятиями и методами формальных логических систем или исчислений.[28][29][уточните ссылку (уже 809 дней)]
  • Категориальная логика .[источник не указан 1090 дней]
  • Кондициональная логика (условная логика). Её предмет — истинность условных предложений (в частности, сослагательного наклонения). Логика контрафактических утверждений.[источник не указан 1090 дней]

Модальная логика[править | править код]

Мода́льная ло́гика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности (модальные операторы, другие названия: модальные понятия, модальные отношения, модальные характеристики, оценки).

Логическая теория является модальной, если:

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

Основные понятия науки логики[править | править код]

Основные понятия, используемые в логике:[30]

  • Абстракция
  • Адаптация
  • Аналогия
  • Антиномия
  • Аргументация
  • Ассоциация
  • Гипотеза
  • Дедукция
  • Доказательство
  • Доказуемость
  • Законы логики
  • Индукция
  • Истинность
  • Классификация
  • Обобщение
  • Определение
  • Опровержение
  • Парадокс
  • Паралогия
  • Понятие
  • Признак
  • Семантика
  • Силлогизм
  • Софизм
  • Софистика
  • Суждение
  • Тавтология
  • Теория
  • Умозаключение
  • Формальный язык

См. также[править | править код]

  • Автоматическое доказательство теорем
  • Аксиоматизация
  • Аналитическая философия
  • Динамическая логика
  • Доказательное программирование
  • Идеализация
  • Когнитивная психология
  • Логика в информатике
  • Логический парадокс
  • Логическое программирование
  • Методология науки
  • Список логических символов
  • Трансцендентальная логика
  • Философская логика
  • Формализация

Примечания[править | править код]

  1. 1 2 3 4 5 6 7 8 9 Логика. Большая российская энциклопедия. bigenc.ru. Дата обращения: 12 сентября 2020. Архивировано 30 ноября 2020 года.
  2. 1 2 3 4 5 6 7 8 9 Бочаров В. А., Маркин В. И. Введение в логику. — М.: ИД «ФОРУМ»: ИНФРА-М, 2010. С. 35-39. — 560 с. — ISBN 978-5-8199-0365-0 (ИД «ФОРУМ») ISBN 978-5-16-003360-0 («ИНФРА-М»)
  3. Кондаков Н.И. логический словарь-справочник. — г.москва: издательство наука, 1975. — С. 285.
  4. Ефремова Т. Ф. Новый словарь русского языка. Толково-словообразовательный. Архивная копия от 6 декабря 2007 на Wayback Machine — 2001—2002.
  5. Владимир Васюков. Логика // Энциклопедия «Кругосвет».
  6. 1 2 3 4 Горский Д. Н., Ивин А. А., Никифоров А. Л. Краткий словарь по логике. Статья — философская логика- М.: Просвещение, 1991. −208 с. — ISBN 5-09-001060-9
  7. Новая философская энциклопедия ИФ РАН: символическая логика. Дата обращения 01.03.21. Дата обращения: 27 февраля 2021. Архивировано 10 апреля 2021 года.
  8. Символическая логика. Большая российская энциклопедия. bigenc.ru. Дата обращения: 16 февраля 2021.
  9. 1 2 Новая философская энциклопедия ИФ РАН: философская логика. Дата обращения 23.02.21. Дата обращения: 27 февраля 2021. Архивировано 10 апреля 2021 года.
  10. Gauch H. G. The PEL model of full disclosure Архивная копия от 23 октября 2017 на Wayback Machine // Scientific Method in Practice.— Cambridge University Press, 2003.— p.124.— 435pp.— ISBN 978-0-521-01708-4
  11. 1 2 Бауэр Ф. Л., Гооз Г. Информатика: вводный курс. Перевод с нем. М. Мир. 1976 г. 484с.
  12. В. А. Бочаров. Логика // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
  13. Ивин А. А. Логика. — М.: Знание, 1998.
  14. Канеман Д. Думай медленно… решай быстро. — М.: АСТ, 2013. — 625 с.
  15. Тихонравов Ю. В. Философия: Учебное пособие. — М.: Инфра-М, 2000. — 269 с.
  16. Глава III Части первой. “Средневековая философия: теоцентризм” — Департамент философии. mipt.ru. Дата обращения: 5 мая 2022. Архивировано 8 сентября 2021 года.
  17. Логическое программирование: Пер. с англ. и фр. — М.: Мир, 1988. — 368 с., ил. ISBN 5-03-000972-8
  18. C. A. R. Hoare. «An axiomatic basis for computer programming Архивная копия от 17 июля 2011 на Wayback Machine». Communications of the ACM, 12(10):576—580,583 October 1969. doi:10.1145/363235.363259
  19. Дал У., Дейкстра Э., Хоор К. Структурное программирование. — Москва: Мир, 1972.
  20. John P. Burgess  (англ.) (рус.. Philosophical logic (неопр.). — Princeton University Press, 2009. — С. vii—viii. — ISBN 978-0-691-13789-6.
  21. 1 2 Логический закон / В. И. Маркин // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
  22. Тождества закон // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
  23. Непротиворечия закон / А. С. Карпенко // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
  24. Достаточного основания принцип / Б. В. Бирюков // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
  25. Исключённого третьего закон / С. И. Адян, Л. Д. Беклемишев // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
  26. Традиционная логика // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.
  27. Традиционная логика//Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А. А. Ивина. 2004.
  28. Под редакцией Ф. В. Константинова. Логика комбинаторная // Философская Энциклопедия. В 5-х т. — Советская энциклопедия. — М., 1960—1970.
  29. Кондаков, 1971.
  30. Гетманова А. Д. Учебник по логике Архивная копия от 29 июня 2018 на Wayback Machine. — М.: Владос, 1995. — ISBN 5-87065-009-7

Литература[править | править код]

  • В. А. Бочаров. Логика // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.

Исследования[править | править код]

  • Гуссерль Э. Логические исследования. Т. 1 // Философия как строгая наука. — Новочеркасск: Сагуна, 1994. — 357 с. — ISBN ISBN 5-7593-0138-1.
  • Васильев Н. А. Воображаемая логика. Избранные труды. — Наука, 1989. — 264 с. — 6200 экз. — ISBN 5-02-007946-4.

Учебная и справочная литература[править | править код]

  • Строгович М.С. Логика. — М.: Госполитиздат, 1949. — 363 с.
  • Богуславский В. М. Упражнения по логике для средней школы. М.: 1952
  • Виноградов С. Н., Кузьмин А. Ф. Логика. Учебник для средней школы. М.: 1954
  • Гетманова А. Д. Учебник по логике. — М.: Владос, 1995. — 303 с. — ISBN 5-87065-009-7
  • Кондаков Н. И. Логический словарь-справочник. — М.: Наука, 1975. — 720 с.
  • Кондаков Н. И. Введение в логику. — М.: Наука, 1967 на сайте Руниверс
  • Ивлев Ю. В. Учебник логики: Семестровый курс: Учебник. — М.: Дело, 2003. — 208 с — ISBN 5-7749-0317-6
  • Бочаров В. А., Маркин В. И. Основы логики: Учебник. — М.: ИНФРА-М, 2001. — 296 с. — ISBN 5-16-000496-3
  • Бочаров В. А., Маркин В. И. Глава I. Предмет и основные понятия логики // Основы логики: учебник. — М.: ИНФРА-М, 1998. — С. 224. — 9 с. — ISBN 5-86225-595-8. Архивная копия от 7 марта 2016 на Wayback Machine
  • Ивин А. А. Логика: Учебное пособие. — Изд. 2-е. — М.: Знание, 1998. — (На портале «Философия в России»; на сайте Славы Янко)
  • Ивин А. А., Никифоров А. Л. Словарь по логике — М.: Туманит, ВЛАДОС, 1997. — 384 с — ISBN 5-691-00099-3.
  • Горский Д. П. Логика: Учебное пособие для педагогических училищ.  (недоступная ссылка) — Изд. 3-е. — М.: Учпедгиз, 1961. — 160 с.
  • Челпанов Г. И. Учебник логики. — М., 1994.
  • Формальная логика / Под ред. И. Я. Чупахина, И. Н. Бродского. — Л.: ЛГУ, 1977. — 357 с.
  • Кондаков Н. И. Логический словарь. — М.: Наука, 1971. — 658 с.

Литература по истории логики[править | править код]

  • Бажанов В. А. История логики в России и СССР. — М.: Канон+, 2007. — 336 с. — ISBN 5-88373-032-9
  • Маковельский А. О. История логики. — М., 1967. — 504 с.
  • Попов П. С. История логики нового времени. — М., Издательство МГУ, 1960.
  • Стяжкин Н. И. Формирование математической логики. — М., 1967.
  • Scholtz H. Geschichte der Logik, 1931. (Concise History of Logic. — New York, 1961).
Литература по китайской логике
  • Спирин B. C. О «третьих» и «пятых» понятиях в логике древнего Китая // Дальний Восток. Сборник статей по филологии, истории, философии. — М., 1961.
  • Кроль Ю. Л. Спор как явление культуры древнего Китая // Народы Азии и Африки. — 1987. — № 2.
  • Крушинский А. А. Имена и реалии в древнекитайской логике и методологии (Обзор) // Современные историко-научные исследования: наука в традиционном Китае. — М., 1987.
  • Пань Шимо (КНР). Логика Древнего Китая (краткий очерк) // Философские науки. — 1991. — № 12.
  • Чжоу Юньчжи. Основные вехи развития древнекитайской логики мин бянь, её главные особенности и реальные достижения // Рационалистическая традиция и современность. Китай. 1993. №. — С. 152—178.
  • Крушинский А. А. Логика «И цзина». Дедукция в древнем Китае. — М., 1999.
  • Кварталова Н. П. Логические идеи трактата «Гунсунь Лун-цзы» // Человек и духовная культура Востока. Альманах. Вып. I. — М., 2003. — С. 167—172.
  • Кобзев А. И. Школа имен (мин цзя): коллизия логики и диалектики // Китай в диалоге цивилизации: К 70-летию академика М. Л. Титаренко. — М. 2004. — С. 550—557.

Ссылки[править | править код]

  • Институт Логики, Когнитологии и Развития Личности (ИЛКиРЛ)
  • Федеральный образовательный портал «Социально-гуманитарное и политологическое образование». Раздел «Философия». Подраздел «Логика»
  • Логика в Электронной библиотеке по философии
  • Философия в России — философский портал philosophy.ru
  • История античной культуры > История и культура Древней Греции > Подвиг Сократа

Добавить комментарий