А.А. Ивин, А.Л. Никифоров
Словарь по логике
Содержание
Список сокращений, принятых в словаре АБСОЛЮТИЗАЦИЯ АБСОЛЮТНЫЕ И СРАВНИТЕЛЬНЫЕ МОДАЛЬНОСТИ АБСТРАКТНЫЙ ПРЕДМЕТ (англ. – abstract entity) АБСТРАКЦИЯ (от лат. abstractio – отвлечение) АБСУРД (от лат. absurdus – нелепый, глупый) АВТОМАТ (от греч. automatos – самодействующий) АВТОНИМНОЕ УПОТРЕБЛЕНИЕ ВЫРАЖЕНИЙ (от греч. autos-сам, опота – имя) АКСИОЛОГИЧЕСКАЯ МОДАЛЬНОСТЬ (от греч. axios – ценный, logos – понятие, учение), или: Оценочная модальность, АКСИОМА (от греч. axioma – значимое, принятое положение) АКСИОМАТИЧЕСКИЙ МЕТОД АКСИОМАТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ АЛГЕБРА БУЛЯ АЛГОРИТМ (АЛГОРИФМ) АЛОГИЗМ (от греч. а – не, logos – разум) АМФИБОЛИЯ (от греч. amphibolia – двусмысленность, двойственность) АНАЛИЗ И СИНТЕЗ. А. (от греч. analysis – разложение) АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ (в логике). АНАЛОГИЯ (от греч. analogia – соответствие) АНТЕЦЕДЕНТ И КОНСЕКВЕНТ (от лат. antecedent – предшествующий, предыдущий и consequens – следствие) АНТИНОМИЯ (от греч. antinomia – противоречие в законе) АНТИНОМИЯ РАССЕЛА АНТИТЕЗИС (от греч. antithesis – противоположение) АПОДИКТИЧЕСКИЙ (от греч. apodeiktikos – доказательный, убедительный) АПОРИЯ (от греч. aporia – затруднение, недоумение) АРГУМЕНТ (лат. argumentum) АРГУМЕНТАЦИИ ТЕОРИЯ АРГУМЕНТАЦИЯ (от лат. argumentatio – приведение аргументов) АРГУМЕНТАЦИЯ КОНТЕКСТУАЛЬНАЯ АРГУМЕНТАЦИЯ ТЕОРЕТИЧЕСКАЯ АРГУМЕНТАЦИЯ ЭМПИРИЧЕСКАЯ АРГУМЕНТ К АВТОРИТЕТУ (от лат. i pse dixit – сам сказал) АРГУМЕНТ К АУДИТОРИИ АРГУМЕНТ К ЖАЛОСТИ АРГУМЕНТ К НЕЗНАНИЮ, или невежеству, АРГУМЕНТ К СИЛЕ («палочный» довод) АРГУМЕНТ К СКРОМНОСТИ АРГУМЕНТ К ТЩЕСЛАВИЮ АССЕРТОРИЧЕСКИЙ (от лат. asserto – утверждаю) БЕССМЫСЛЕННОЕ «БРИТВА ОККАМА» ВЕРА ВЕРБАЛЬНОЕ ОПРЕДЕЛЕНИЕ ВЕРИФИКАЦИЯ (от лат. verificatio – доказательство, подтверждение) ВЕРОЯТНОСТНАЯ ЛОГИКА ВЕРОЯТНОСТЬ ВОЗМОЖНОСТЬ ЛОГИЧЕСКАЯ ВОЗРАЖЕНИЕ ВОПРОС ВОПРОСОВ ЛОГИКА, или: Эротетическая, интеррогативная логика, ВЫВОД ЛОГИЧЕСКИЙ ВЫСКАЗЫВАНИЕ ВЫСКАЗЫВАНИЕ ДЕСКРИПТИВНОЕ (от англ. description – описание), или: Высказывание описательное, ВЫСКАЗЫВАНИЕ КАТЕГОРИЧЕСКОЕ ВЫСКАЗЫВАНИЕ (ПРЕДЛОЖЕНИЕ) КОНТРФАКТИЧЕСКОЕ (от лат. contra – против, factum – событие) ГЕРМЕНЕВТИКА (от греч. hermeneuo – разъясняю, истолковываю) ГИПОСТАЗИРОВАНИЕ (от греч. hypostasis – сущность, субстанция) ГИПОТЕЗА (от греч. hipothesis – основание, предположение) ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД ГИПОТЕТИЧЕСКОЕ УТВЕРЖДЕНИЕ ГОМОМОРФИЗМ, ИЗОМОРФИЗМ ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН ДВУЗНАЧНАЯ ЛОГИКА ДВУЗНАЧНОСТИ ПРИНЦИП ДЕДУКЦИЯ (от лат. deductio – выведение) ДЕЛЕНИЕ ЛОГИЧЕСКОЕ ДЕНОТАТ (от лат. denoto – обозначаю), или: Десигнат, предметное значение, ДЕОНТИЧЕСКАЯ ЛОГИКА (от греч. deon – долг, правильность), ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ (от греч. deon – долг, правильность), ДЕСКРИПЦИЯ ОПРЕДЕЛЕННАЯ (от лат. descriptio – описание) ДИАГРАММЫ ВЕННА ДИАЛЕКТИЧЕСКАЯ ЛОГИКА ДИЗЪЮНКТИВНЫЙ СИЛЛОГИЗМ ДИЗЪЮНКЦИЯ (от лат. disjunctio – разобщение, различение) ДИЛЕММА (от греч. di(s) – дважды и lemma – предположение) ДИСКУРСИВНЫЙ (от лат. discursus – рассуждение, довод, аргумент) ДИСКУССИЯ (от лат. discussio – рассмотрение, исследование) ДИСТРИБУТИВНЫЕ И КОЛЛЕКТИВНЫЕ СВОЙСТВА. Д. с. ДИХОТОМИЯ (от греч, dicha и tome – рассечение на две части) ДОКАЗАТЕЛЬСТВО ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО ДОКАЗАТЕЛЬСТВО ПО СЛУЧАЯМ, или: Доказательство разбором случаев, ДОКАЗУЕМОСТЬ ДОПОЛНЕНИЕ К МНОЖЕСТВУ ДОСТАТОЧНОГО ОСНОВАНИЯ ПРИНЦИП ДОСТАТОЧНОЕ УСЛОВИЕ ДОСТОВЕРНОСТЬ ЗАБЛУЖДЕНИЕ ЗАКОН АССОЦИАТИВНОСТИ (от лат. associatio – соединение) ЗАКОН ГИПОТЕТИЧЕСКОГО СИЛЛОГИЗМА ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН ДЕ МОРГАНА ЗАКОН ДИСТРИБУТИВНОСТИ (от англ. distribution – распределение, размещение) ЗАКОН ДУНСА СКОТА ЗАКОН ИМПОРТАЦИИ ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН КЛАВИЯ ЗАКОН КОММУТАТИВНОСТИ (от лат. commutatio – изменение, перемена) ЗАКОН КОММУТАЦИИ (от лат. commutatio – изменение, перемена) ЗАКОН КОМПОЗИЦИИ (от лат. compositio – сочинение, составление) ЗАКОН КОСВЕННОГО ДОКАЗАТЕЛЬСТВА ЗАКОН ЛОГИКИ ЗАКОН МЫШЛЕНИЯ ЗАКОН ПРОТИВОРЕЧИЯ ЗАКОН ЭКСПОРТАЦИИ ЗНАК ЗНАНИЕ ЗНАЧЕНИЕ ИДЕАЛИЗАЦИЯ ИДЕМПОТЕНТНОСТИ ЗАКОН (от лат. idempotens – сохраняющий ту же степень) ИЛЛЮСТРАЦИЯ (от лат. illustratio – прояснять) ИМПЛИКАЦИЯ (от лат. implicatio – сплетение, от implico – тесно связываю) ИМПЛИКАЦИЯ МАТЕРИАЛЬНАЯ ИМЯ ИНДИВИД (от лат. individuum – неделимое) ИНДУКТИВНАЯ ЛОГИКА ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ ИНДУКЦИИ КАНОНЫ (от греч. canon – правило, предписание) ИНДУКЦИЯ (от лат. inductio – наведение) ИНДУКЦИЯ МАТЕМАТИЧЕСКАЯ, ПОЛНАЯ МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ ИНДУКЦИЯ НЕПОЛНАЯ ИНДУКЦИЯ ПОЛНАЯ ИНДУКЦИЯ ПОПУЛЯРНАЯ ИНТЕНСИОНАЛ И ЭКСТЕНСИОНАЛ ИНТЕРПРЕТАЦИЯ (от лат. interpretatio – разъяснение, истолкование) ИНТЕРСУБЪЕКТИВНЫЙ (от лат. inter – между) ИНТУИТИВНАЯ ЛОГИКА ИНТУИЦИОНИЗМ ИНТУИЦИОНИСТСКАЯ ЛОГИКА ИНТУИЦИЯ (от лат. intuitio – пристальное, внимательное всматривание, созерцание) ИРРАЦИОНАЛЬНОЕ (от лат. irrationalis – неразумный, бессознательный) ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ ИСТИНА ИСТИННОСТНОЕ ЗНАЧЕНИЕ ИСЧИСЛЕНИЕ КАВЫЧКИ КАТЕГОРИЧЕСКОЕ СУЖДЕНИЕ КАТЕГОРИЯ (от греч. kategoria – высказывание, обвинение, признак) КАУЗАЛЬНАЯ МОДАЛЬНОСТЬ КЛАСС, МНОЖЕСТВО (В ЛОГИКЕ И МАТЕМАТИКЕ) КЛАССИФИКАЦИЯ КЛАССИЧЕСКАЯ ЛОГИКА КОНВЕНЦИЯ (от лат. conventio – соглашение) КОННОТАЦИЯ (от лат. connotatio – добавочное значение) КОНСТРУКТИВНАЯ ЛОГИКА КОНТЕКСТ (от лат. contextus – сцепление, соединение, связь) КОНТЕКСТУАЛЬНОЕ ОПРЕДЕЛЕНИЕ КОНТРАДИКТОРНАЯ ПРОТИВОПОЛОЖНОСТЬ (от лат. contradictorius – противоречащий) КОНТРАПОЗИЦИИ ЗАКОН КОНТРАРНАЯ ПРОТИВОПОЛОЖНОСТЬ (от лат. contrarius – противоположный) КОНЦЕПТ (от лат. conceptus– понятие) КОНЪЮНКЦИЯ (от лат. conjunctio – союз, связь) КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО КРУГ В ДОКАЗАТЕЛЬСТВЕ (лат. – circulus in demonstrando) КРУГ В ОПРЕДЕЛЕНИИ ЛЕММА (от греч. lemma – предположение) «ЛЖЕЦА» ПАРАДОКС ЛОГИКА (от греч. logos – слово, понятие, рассуждение, разум), или: Формальная логика, ЛОГИКА ВРЕМЕНИ, или: Временная логика, ЛОГИКА ВЫСКАЗЫВАНИЙ, или: Пропозициональная логика, ЛОГИКА ДЕДУКТИВНАЯ ЛОГИКА ИЗМЕНЕНИЯ ЛОГИКА КВАНТОВОЙ МЕХАНИКИ ЛОГИКА КЛАССИЧЕСКАЯ ЛОГИКА КЛАССОВ ЛОГИКА КОМБИНАТОРНАЯ (от лат. combinare – соединять, сочетать) ЛОГИКА МНОГОЗНАЧНАЯ ЛОГИКА НАУЧНОГО ПОЗНАНИЯ, или: Логика науки, ЛОГИКА НЕКЛАССИЧЕСКАЯ ЛОГИКА НОРМ ЛОГИКА ОТНОШЕНИЙ ЛОГИКА ПРЕДИКАТОВ, или: Функциональная логика, теория квантификации, кванторная логика, ЛОГИКА ТРАДИЦИОННАЯ ЛОГИКА ЭПИСТЕМИЧЕСКАЯ (от греч. episteme – знание) ЛОГИСТИКА ЛОГИЦИЗМ ЛОГИЧЕСКАЯ МАШИНА ЛОГИЧЕСКАЯ ПРАВИЛЬНОСТЬ ЛОГИЧЕСКАЯ ФОРМА ЛОГИЧЕСКИЕ КОНСТАНТЫ ЛОГИЧЕСКИЕ ОПЕРАЦИИ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ АВТОМАТИКИ ЛОГИЧЕСКИЙ АНАЛИЗ ЛОГИЧЕСКИЙ КВАДРАТ ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ ЛОГИЧЕСКИЙ СИНТАКСИС ЛОГИЧЕСКОГО АНАЛИЗА ФИЛОСОФИЯ ЛОГИЧЕСКОЕ ПРОТИВОРЕЧИЕ ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ УДАРЕНИЕ ЛОГОС (греч. logos) ЛОЖЬ, см. Истинностное значение. МАТЕМАТИЧЕСКАЯ ЛОГИКА МАТЕРИАЛЬНАЯ СУППОЗИЦИЯ МЕТАМАТЕМАТИКА МЕТАТЕОРИЯ (от греч. meta – после, за, позади) МЕТАФОРА (от греч, metaphora – перенос, образ) МЕТАЯЗЫК (от греч. meta – после, за, позади) МЕТОД (от греч. methodos – путь, способ исследования, обучения, изложения) МЕТОДОЛОГИЧЕСКАЯ АРГУМЕНТАЦИЯ МЕТОДОЛОГИЯ НАУКИ МНОГОЗНАЧНАЯ ЛОГИКА МНОГОЗНАЧНОСТИ ПРИНЦИП МНОГОЗНАЧНОСТЬ МНОЖЕСТВ ТЕОРИЯ МОДАЛЬНАЯ ЛОГИКА МОДАЛЬНОСТЬ (от лат., modus – мера, способ) МОДЕЛЬ (от лат. modulus – мера, образец, норма) МОДЕЛЬ СЕМАНТИЧЕСКАЯ МОДУС (лат. modus – мера, способ, образ, вид) МОДУС ПОНЕНДО ТОЛЛЕНС (лат. modus ponendo tollens) МОДУС ПОНЕНС (лат. modus ponens) МОДУС ТОЛЛЕНДО ПОНЕНС (лат. modus tollendo ponens) МОДУС ТОЛЛЕНС (лат. modus tollens) МЫШЛЕНИЕ НАУКА «НЕ ВЫТЕКАЕТ», «НЕ СЛЕДУЕТ» (лат. поп sequitur) «НЕДОКАЗАННОЕ ОСНОВАНИЕ» ДОКАЗАТЕЛЬСТВА НЕЗАВИСИМОСТЬ (в логике и математике) НЕКЛАССИЧЕСКАЯ ЛОГИКА НЕОБХОДИМОСТЬ (логическая) НЕОБХОДИМЫЕ И ДОСТАТОЧНЫЕ УСЛОВИЯ (в логике и математике) НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ (в традиционной логике) НЕПРАВИЛЬНОЕ УМОЗАКЛЮЧЕНИЕ НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ НЕПРОТИВОРЕЧИВОСТЬ НЕПРОТИВОРЕЧИЯ ЗАКОН НЕСОБСТВЕННЫЕ СИМВОЛЫ НЕТОЧНОСТЬ НЕЧЕТКОЕ МНОЖЕСТВО НЕЯСНОСТЬ НОМОЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ (от греч. nomos – закон, logos – учение, понятие) НОРМА НОРМАЛЬНОЕ МНОЖЕСТВО НОРМАТИВНАЯ ЛОГИКА НОРМАТИВНАЯ МОДАЛЬНОСТЬ НОРМАТИВНОЕ ВЫСКАЗЫВАНИЕ, или: Деонтическое высказывание, ОБОБЩЕНИЕ (лат. generalisatio) ОБОЗНАЧЕНИЯ ОТНОШЕНИЕ ОБОСНОВАНИЕ ОБОСНОВАНИЕ ОЦЕНОК ОБРАЗЕЦ ОБРАЩЕНИЕ (лат. conversio) ОБЩЕЕ ПОНЯТИЕ ОБЩЕЕ СУЖДЕНИЕ ОБЪЕДИНЕНИЕ (СЛОЖЕНИЕ) КЛАССОВ (МНОЖЕСТВ) ОБЪЕКТИВНОСТЬ ОБЪЕКТНЫЙ (ПРЕДМЕТНЫЙ) ЯЗЫК ОБЪЯСНЕНИЕ ОГРАНИЧЕНИЕ ПОНЯТИЯ ОМОНИМИЯ (от греч. homos – одинаковый, опута – имя) ОПЕРАТОР (от лат. operator – действующий) ОПИСАНИЕ ОПИСАНИЕ СОСТОЯНИЯ (англ. state description) ОПИСАТЕЛЬНОЕ ВЫСКАЗЫВАНИЕ ОПИСАТЕЛЬНО-ОЦЕНОЧНОЕ ВЫСКАЗЫВАНИЕ ОПРЕДЕЛЕНИЕ (лат. definitio) ОПРЕДЕЛЕНИЕ АКСИОМАТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ГЕНЕТИЧЕСКОЕ (от греч. genesis – происхождение, источник) ОПРЕДЕЛЕНИЕ КЛАССИЧЕСКОЕ, или: Определение через род и видовое отличие, ОПРЕДЕЛЕНИЕ НЕЯВНОЕ ОПРЕДЕЛЕНИЕ НОМИНАЛЬНОЕ ОПРЕДЕЛЕНИЕ ОПЕРАЦИОНАЛЬНОЕ ОПРЕДЕЛЕНИЕ ОСТЕНСИВНОЕ (от лат. ostentus – показывание, выставление напоказ) ОПРЕДЕЛЕНИЕ РЕАЛЬНОЕ ОПРЕДЕЛЕНИЕ ЯВНОЕ ОПРОВЕРЖЕНИЕ ОСМЫСЛЕННОСТЬ ОСНОВАНИЕ И СЛЕДСТВИЕ ОТНОШЕНИЕ (в логике) отождествляется с многоместным предикатом. ОТНОШЕНИЕ ВКЛЮЧЕНИЯ КЛАССА В КЛАСС ОТНОШЕНИЕ НЕРЕФЛЕКСИВНОЕ (иррефлексивное) ОТНОШЕНИЕ ПРИНАДЛЕЖНОСТИ ЭЛЕМЕНТА КЛАССУ (МНОЖЕСТВУ) ОТНОШЕНИЕ РЕФЛЕКСИВНОЕ ОТНОШЕНИЕ СИММЕТРИЧНОЕ ОТНОШЕНИЕ ТИПА РАВЕНСТВА ОТНОШЕНИЕ ТРАНЗИТИВНОЕ ОТНОШЕНИЕ ФУНКЦИОНАЛЬНОЕ (ОДНОЗНАЧНОЕ) ОТРИЦАНИЕ ОТРИЦАТЕЛЬНОЕ ВЫСКАЗЫВАНИЕ ОЦЕНКА ОЦЕНОК ЛОГИКА ОЦЕНОЧНАЯ МОДАЛЬНОСТЬ ОЦЕНОЧНОЕ ВЫСКАЗЫВАНИЕ ОШИБКА ЛОГИЧЕСКАЯ ПАРАДИГМА (от греч. paradeigma – пример, образец) ПАРАДОКС (греч. paradoxos) ПАРАДОКСЫ ИМПЛИКАЦИИ ПАРАЛОГИЗМ (от греч. paralogismos – неправильное, ложное рассуждение) ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА ПЕРЕМЕННАЯ ПЕРЕСЕЧЕНИЕ КЛАССОВ (МНОЖЕСТВ) ПОДМЕНА ТЕЗИСА (лат. ignoratio elenchi) ПОДТВЕРЖДЕНИЕ ПОЗНАНИЕ ПОЛЕМИКА ПОЛНОТА (в логике и дедуктивных науках) ПОНИМАНИЕ ПОНЯТИЕ ПОРОЧНЫЙ КРУГ «ПОСЛЕ ЭТОГО ЗНАЧИТ ПО ПРИЧИНЕ ЭТОГО» (лат. post hoc ergo propter hoc) ПОСПЕШНОЕ ОБОБЩЕНИЕ ПРАВИЛО ВЫВОДА ПРАВИЛО ЛОККА ПРАГМАТИКА ПРАВИЛО ОТДЕЛЕНИЯ ПРЕВРАЩЕНИЕ (лат. obversio) в традиционной логике «ПРЕДВОСXIЩЕНИЕ ОСНОВАНИЯ» (лат. petitio principii) ПРЕДИКАТ (от лат. praedicatum – сказанное) ПРЕДЛОЖЕНИЕ ПРЕДМЕТНАЯ ОБЛАСТЬ, или: Универсум рассуждения, область теории, ПРЕДПОЧТЕНИЙ ЛОГИКА ПРЕДСКАЗАНИЕ ПРЕСКРИПТИВНОЕ ВЫСКАЗЫВАНИЕ ПРИВЕДЕНИЕ К АБСУРДУ, или: Редукция к абсурду, приведение к нелепости (лат. reductio ad absurdum), ПРИМЕР ПРИНЦИП ВЗАИМОЗАМЕНИМОСТИ ПРИНЦИП МНОГОЗНАЧНОСТИ ПРИНЦИП ОБЪЕМНОСТИ (экстенсиональности) (от лат. extentio – протяжение) ПРИНЦИП ОДНОЗНАЧНОСТИ ПРИНЦИП ПРЕДМЕТНОСТИ ПРИЧИННАЯ СВЯЗЬ ПРИЧИННОСТИ ЛОГИКА ПРОБЛЕМА (от греч. problema – преграда, трудность, задача) ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ ПРОТИВОПОЛОЖНОСТЬ ЛОГИЧЕСКАЯ ПРОТИВОПОСТАВЛЕНИЕ ПРЕДИКАТУ ПРОТИВОРЕЧИЕ РАВЕНСТВО РАВНОЗНАЧНОСТЬ (равносильность, эквивалентность) РАВНООБЪЕМНОСТЬ РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ РАЗДЕЛИТЕЛЬНО-УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ РАЗРЕШАЮЩАЯ ПРОЦЕДУРА РАЗРЕШЕНИЯ ПРОБЛЕМА, или: Разрешимости проблема, РАЗРЕШИМАЯ ТЕОРИЯ РАЦИОНАЛЬНОСТЬ (от лат. ratio – разум) РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ (от лат. recurso – возвращаюсь) РЕЛЕВАНТНАЯ ИМПЛИКАЦИЯ РЕЛЕВАНТНАЯ ЛОГИКА РЕФЕРЕНТ (от лат. refero – называть, обозначать) РЕФЕРЕНЦИЯ СВОЙСТВО СВЯЗКА СЕМАНТИКА ЛОГИЧЕСКАЯ СЕМАНТИЧЕСКАЯ КАТЕГОРИЯ СЕМАНТИЧЕСКИЕ ПАРАДОКСЫ СЕМАНТИЧЕСКОЕ ПОНЯТИЕ ИСТИНЫ СЕМИОТИКА СИЛЛОГИЗМ (от греч. sillogismos) категорический СИМВОЛ (от греч. symbolon – знак, опознавательная примета) СИМВОЛИКА ЛОГИЧЕСКАЯ СИМВОЛИЧЕСКАЯ ЛОГИКА СИМВОЛЫ СОБСТВЕННЫЕ И НЕСОБСТВЕННЫЕ СИНКАТЕГОРЕМАТИЧЕСКОЕ ВЫРАЖЕНИЕ СИНОНИМИЯ СИНТАКСИС (греч. syntaxis – построение, порядок) СИНТАКСИЧЕСКАЯ КАТЕГОРИЯ СЛЕДОВАНИЕ СЛЕДСТВИЕ СЛОЖНОЕ ВЫСКАЗЫВАНИЕ СЛУЧАЙНОСТЬ ЛОГИЧЕСКАЯ СМЫСЛ СОВМЕСТИМОСТИ УСЛОВИЕ СОБИРАТЕЛЬНОЕ ПОНЯТИЕ СОВМЕСТИМОСТЬ СОВРЕМЕННАЯ ЛОГИКА СОДЕРЖАНИЕ И ФОРМА СОДЕРЖАНИЕ ПОНЯТИЯ СОРИТ (от греч. soros – куча) СОФИЗМ СПОР СРАВНИТЕЛЬНЫЕ МОДАЛЬНОСТИ СТРОГАЯ ИМПЛИКАЦИЯ СТРОГОСТЬ СУЖДЕНИЕ СУППОЗИЦИЯ (от лат. suppositio – подкладывание, подмена) СУЩЕСТВЕННЫЙ ПРИЗНАК СХОДСТВО ТАБЛИЦА ИСТИННОСТИ ТАВТОЛОГИЯ ТЕЗИС ТЕОРЕТИЧЕСКОЕ И ЭМПИРИЧЕСКОЕ ТЕОРЕТИЧЕСКОЕ МЫШЛЕНИЕ ТЕОРИЯ (от греч. theoria – наблюдение, рассмотрение, исследование) ТЕОРИЯ ПОЗНАНИЯ ТЕРМИН (от лат. terminus – граница, предел, конец ч.-л.) ТЕРМИН ТЕОРЕТИЧЕСКИЙ ТЕРМИН ЭМПИРИЧЕСКИЙ ТЕРМИНЫ СИЛЛОГИЗМА ТИПОВ ТЕОРИЯ ТИПОЛОГИЯ (от греч. tipos – отпечаток, форма) ТОЖДЕСТВА ЗАКОН ТОЖДЕСТВО ТРАДИЦИОННАЯ ЛОГИКА ТРАНЗИТИВНОСТИ ЗАКОН УМОЗАКЛЮЧЕНИЯ ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ УМОЗАКЛЮЧЕНИЕ УМОЗАКЛЮЧЕНИЕ СТАТИСТИЧЕСКОЕ УНИВЕРСУМ РАССУЖДЕНИЯ УСЛОВНОЕ ВЫСКАЗЫВАНИЕ УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ УЧЕТВЕРЕНИЕ ТЕРМИНОВ (лат. quaternio terminorum) ФАКТ (от лат. factum – сделанное, совершившееся) ФАЛЬСИФИКАЦИЯ (от лат. falsus – ложный, facio – делаю) ФИГУРА СИЛЛОГИЧЕСКАЯ ФИЗИЧЕСКАЯ МОДАЛЬНОСТЬ «ФИЛОСОФСКАЯ ЛОГИКА» ФОРМАЛИЗАЦИЯ (от лат. forma – вид, образ) ФОРМАЛЬНАЯ ЛОГИКА, или: Л о г и к а, ФОРМАЛЬНАЯ СУППОЗИЦИЯ ФОРМАЛЬНАЯ ТЕОРИЯ ФОРМЫ МЫСЛИ, или: Формы мышления, ФУНКТОР ФУНКЦИЯ (от лат. functio – осуществление, выполнение) ЦЕЛЕВОЕ ОБОСНОВАНИЕ ЦЕЛЬ-СРЕДСТВО ЧАСТНОЕ СУЖДЕНИЕ ЭВРИСТИКА (от греч. heurisko – отыскиваю, открываю) ЭЙЛЕРА КРУГИ ЭКВИВАЛЕНТНОСТЬ, или: Равнозначность, ЭКВИВОКАЦИЯ ЭКЗИСТЕНЦИАЛЬНОЕ ВЫСКАЗЫВАНИЕ (от лат. existentia – существование) ЭКЛЕКТИКА ЭКСПЛИКАЦИЯ (от лат. explicatio – разъяснение) ЭКСТЕНСИОНАЛЬНОСТЬ ЭЛЛИПТИЧЕСКОЕ ВЫСКАЗЫВАНИЕ ЭМПИРИЧЕСКОЕ И ТЕОРЕТИЧЕСКОЕ ЭНТИМЕМА (от греч. in thymos – в уме) ЭПИХЕЙРЕМА (от греч. epiheirema – умозаключение) ЭРИСТИКА (от греч. eristika – искусство спора) – искусство ведения спора. «ЮМА ПРИНЦИП» ЯЗЫК ЯЗЫКА ФУНКЦИИ, или Употребление языка, ЯЗЫК ЛОГИКИ ЯЗЫК НАУКИ ЯЗЫК СЕМАНТИЧЕСКИ ЗАМКНУТЫЙ ЯСНОСТЬ
Словарь представляет собой справочник, излагающий основные понятия, операции и законы логики. Его задача – познакомить читателя с логикой как одной из теоретических основ информатики. Словарь будет полезен учителям, учащимся старших классов, студентам педагогических институтов, а также всем, интересующимся проблемами логики.
От редакции
Цель издания словаря – дать широкому читателю доходчивый, удобный в пользовании справочник, разъясняющий основные, наиболее употребительные понятия и термины современной логики. Словарь рассчитан прежде всего на преподавателей средней школы, но будет полезен студентам, школьникам и всем тем, кто стремится самостоятельно овладеть основами логики.
Специфика словаря наложила определенные ограничения на полноту словника. В результате многие узкоспециальные понятия либо не вошли в словарь, либо включены в статьи более общего характера. Главное внимание уделено раскрытию фундаментальных понятий, операций и законов логики, описанию основных разделов современной логики, совершенствованию практических навыков последовательного и доказательного мышления.
Статьи словаря позволяют читателю получить относительно полный объем сведений, относящихся к интересующему его предмету. В состав словаря включен ряд терминов, используемых как в логической литературе, так и в философии, педагогике, методологии научного познания и т. д.
В словаре применяются обычные для справочных изданий сокращения (их список приводится ниже). Вместо полного названия статьи в ее тексте приводятся лишь первые буквы составляющих это название слов. Ссылки на другие статьи даются курсивом.
Редакция будет благодарна читателям за отзывы и пожелания, которые помогут ей в дальнейшей работе над словарем.