Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Бочаров В.А., Маркин В.И. — Основы логики
Бочаров В.А., Маркин В.И. — Основы логики



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Основы логики

Авторы: Бочаров В.А., Маркин В.И.

Аннотация:

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


Язык: ru

Рубрика: Математика/

Серия: Сделано в холле

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

ed2k: ed2k stats

Год издания: 2008

Количество страниц: 336

Добавлена в каталог: 19.12.2011

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Абстракция изолирующая      250
Абстракция обобщающая      250
Аксиома      144
Активность причины      284
Алгоритм построения таблиц истинности      58
Алфавит      39
Алфавит логики высказываний      49
Алфавит логики предикатов      89 93
Алфавит силлогистики      176
Анализ вывода      150
Аналитическая таблица      128 136
Аналитическая таблица для проверки логического следования      136
Аналитическая таблица для проверки общезначимости      136
Аналитическая таблица замкнутая      136
Аналогия      319
Аналогия научная      321
Аналогия по отношениям      322
Аналогия по свойствам      320
Аналогия по сходству функций      323
Аналогия популярная      321
Антецедент      46
Аргумент      21
Атрибут (свойство)      173
Базис индукции      253 275
Базис рекурсии      255
Вероятность      267
Вероятность классическая (априорная)      268
Вероятность статистическая (апостериорная)      269
Вероятность условная      270
Видовое отличие      209
Возможная реализация языка (модель)      110
Вхождение переменной в формулу свободное      102
Вхождение переменной в формулу связанное      102
Выборка      277
Выборка репрезентативная      278
Выборка случайная      281
Вывод      149
Вывод в исчислении предикатов      166
Вывод в логике высказываний      149
Вывод завершенный      167
Вывод косвенный (от противного)      156
Вывод прямой      155
Выражение      50
Выражение, правильно построенное      50
Высказывание      19
Высказывание атрибутивное      172
Высказывание единичное      173
Высказывание единичноотрицательное      172
Высказывание единичноутвердительное      172
Высказывание категорическое      172
Высказывание логически истинное      36 63 123
Высказывание логически ложное      36 63 123
Высказывание логически недетерминированное      37 63 123
Высказывание множественное      173
Высказывание общее      173
Высказывание общеотрицательное      172
Высказывание общеутвердительное      172
Высказывание отрицательное      173
Высказывание утвердительное      173
Высказывание частное      173
Высказывание частноотрицательное      172
Высказывание частноутвердительное      172
Генеральная совокупность      277
Гипосгазирование      251
Гипотеза      309
Гипотеза ad hoc      311
Гипотеза конкурирующая      318
Гипотеза общая      317
Гипотеза теоретическая      317
Гипотеза частная      317
Гипотеза эмпирическая      317
Гипотетико-дедуктивный метод      308 311
Главный знак формулы      51
Действие (следствие)      283
Декартово произведение, n-ая декартова степень      109
Декартово произведение, вторая декартова степень      108
Декартово произведение, третья декартова степень      109
Деление понятий      234
Деление понятий дихотомическое      235
Деление понятий мереологическое      237
Деление понятий по видоизменению основания      236
Деление понятий, правильность деления      235
Делимое понятие      235
Детерминация (обусловленность)      284
Диагональные соотношения      186
Дилемма      77
Дилемма простая деструктивная      78
Дилемма простая конструктивная      78
Дилемма сложная деструктивная      78
Дилемма сложная конструктивная      78
Диспозиционный предикат      250
Доказательство      150 167
Доказательство, завершенное      167
Древо Порфирия      239
Заключение правила      147
Заключение рассуждения      143
Закон ассоциативности      73
Закон больших чисел      269
Закон введения двойного отрицания      74
Закон введения дизъюнкции      73
Закон введения кванторов      141
Закон введения конъюнкции      74
Закон введения отрицания      74
Закон взаимовыразимости кванторов      142
Закон де Моргана      74
Закон дистрибутивности      73
Закон Дунса Скота      74
Закон идемпотентности      73
Закон импортации      73
Закон исключенного третьего      72
Закон коммутативности      73
Закон конграпозиции      74
Закон контрарного противоречия      185
Закон логики высказываний      61
Закон логики предикатов      120 141
Закон монотонности      74
Закон непустоты предметной области      141
Закон обратного отношения между объемами и содержаниями понятий      231
Закон обратной контрапозиции      74
Закон отрицания антецедента      74
Закон отрицания импликации      74
Закон отрицания кванторов      142
Закон перестановки кванторов      142
Закон перестановочности антецедентов      73
Закон Пирса      73
Закон поглощения      73
Закон подчинения      141
Закон пронесения кванторов      142
Закон противоречия      72
Закон противоречия для a и o      186
Закон противоречия для e и i      186
Закон самодистрибутавности      73
Закон силлогистики      182
Закон силлогистического тождества      182
Закон сложной контрапозиции      74
Закон снятия двойного отрицания      74
Закон субконтрарного исключенного третьего      185
Закон тождества      72
Закон транзитивности      73
Закон удаления кванторов      141
Закон удаления конъюнкции      72
Закон утверждения консеквента      73
Закон экспортации      74
Знак      15
Знак выводимости      150
Знак каузальной импликации      283
Знак логического следования      62 65
Знак неописательный      17
Знак непустой      16
Знак Нико      53
Знак описательный      17
Знак правдоподобного следования      265
Знак пустой (мнимый)      16
Знак равенства по дефиниции      245
Знак эквивалентности по дефиниции      245
Значение знака (экстенсионал)      16
Значение универсалии      211
Имена      89
Имена простые (имена-ярлыки, собственные)      90
Имена сложные      90
Индивид      219
Индуктивное обобщение      277
Индуктивное предположение      275
Индуктивный шаг      253 275
Индукция установления причинных связей      См. "Исключающая индукция"
Интенсивная величина      300
Интенсивность (степень)      299
Интерпретатор знака      16
Интерпретационная функция      107
Интерпретация      34 55
Интерпретация индивидных (предметных) переменных      111
Интерпретация категорических атрибутивных высказываний      177
Интерпретация параметров      28
Интерпретация предикаторных констант      108
Интерпретация предметно-функциональных констант      109
Интерпретация предметных констант      107
Интерпретация пропозициональных переменных      55
Интерпретация термов      111
Интерпретация формул      111
Исключающая индукция      282 292
Исключающая индукция различия      295
Исключающая индукция совместного сходства и различия      297
Исключающая индукция сопутствующих изменений      298
Исключающая индукция статистическая      302
Исключающая индукция сходства      293
Истина      19
Истина условная      144
Исход массового события      266
Исход массового события благоприятный исход      269
Исчисление      145
Исчисление высказываний      143 145
Исчисление натуральное      145
Исчисление предикатов первого порядка      145 160
Качество высказывания      173
Квадрат логический      184
Квантор общности      93
Квантор существования      93
Классификация      238
Классификация дихотомическая      239
Классификация естественная      240
Классификация искусственная      240
Классификация по видоизменению основания      239
Классификация предельная      239
Количество высказывания      173
Конвенция (соглашение)      244
Консеквент      46
Концепция индетерминизма      305
Круги Эйлера      229
Логика      14
Логика высказываний      42
Логика дедуктивная      20 38
Логика классическая      41
Логика неклассическая      49
Логика предикатов      88
Логическая связка бинарная      43
Логическая связка дизъюнкция      44
Логическая связка истинностно-функциональная      47
Логическая связка модальная      49
Логическая связка предицирующая      173
Логическая связка пропозициональная      42
Логическая связка унарная      43
Логическая связка, конъюнкция      43
Логическая связка, материальная импликация      45
Логическая связка, материальная эквиваленция      46
Логическая связка, отрицание      43
Логическая связка, релевантная импликация      48
Логическая связка, строгая дизъюнкция      45
Логическая форма      26 33
Логический закон      36
Логическое следование      28 34 35
Логическое следование в логике высказываний      67
Логическое следование в логике предикатов      124
Логическое следование в силлогистике      181
Ложь      19
Мереологическое ограничение      233
Мереологическое членение      237
Местность предикатора      93
Местность терма      103
Местность формулы      103
Местность функции      90
Метод корреляции      306
Моделирование      323
Модель      см. "Возможная реализация языка"
Модель содержательных рассуждений      145
Модельная схема      177 229
Модус фигуры силлогизма      189
Модус фигуры силлогизма неправильный      193
Модус фигуры силлогизма правильный      193
Наблюдение      290
Набор значений пропозициональных переменных      55
Непрямой способ аргументации      22 79
Неявные определения      253
Неявные определения аксиоматические      255
Неявные определения индуктивные      253
Неявные определения рекурсивные      254
Неявные определения фундаментальные      259
Неявные определения через контекст      256
Нормативный характер логики      23
Область действия квантора      101
Обобщающая индукция      273
Обобщающая индукция научная      277
Обобщающая индукция неполная      276
Обобщающая индукция полная математическая      275
Обобщающая индукция полная по построению      274
Обобщающая индукция полная эмпирическая      273
Обобщающая индукция популярная      276
Обобщающая индукция статистическая      279
Обоснование (верификация) гипотезы      309
Обращение      186
Обращение с ограничением      187
Обращение чистое      187
Общие правила силлогизма      193
Общие правила силлогизма для посылок      193
Общие правила силлогизма для терминов      193
Объем понятия      211
Объем сказывания      180
Оператор объемности (множественности)      211
Операции с понятиями      224
Операции с понятиями, булевы операции      224
Операции с понятиями, взятие дополнения      226
Операции с понятиями, вычитание      225
Операции с понятиями, деление      234
Операции с понятиями, классификация      238
Операции с понятиями, обобщение      234
Операции с понятиями, объединение      225
Операции с понятиями, ограничение      232
Операции с понятиями, пересечение      224
Операции с понятиями, симметрическая разность      226
Описание предмета      263
Определение      242
Определение номинальное      257
Определение реальное      258
Определение родовидовое      259
Определение тавтологичное      262
Определение явное      См. "Явные определения"
Определяемая часть определения      245
Определяемый термин      245
Определяющая часть определения      245
Опровержение (фальсификация) гипотезы      309 312
Основание деления      235
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте