Словарь логики

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

  • отношение между именем и его денотатом, т. е. объектом, к которому относится имя; то же, что и отношение именования. О. о. является одним из фу

  • процедура проведения тех убедительных аргументов, или доводов, в силу которых следует принять к.-л. утверждение или концепцию. О. является,

  • приведение доводов (аргументов) в поддержку высказываемых оценок с намерением убедить аудиторию в их приемлемости. Напр., в качестве аргум

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

  • (лат. conversio) в традиционной логике вид непосредственного умозаключения, в котором вывод получается путем постановки предиката посылки на м

  • , см.: Понятие

  • , см.: Суждение

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

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

  • а- язык, выражения конторого относятся к некоторой области объектов, их свойств и отношений. Напр., язык механики описывает свойства механи

  • ОБЪЕКТНЫЙ (ПРЕДМЕТНЫЙ) ЯЗЫК - язык, выражения которого относятся к некоторой области объектов, их свойств и отношений. Напр., язык механики

  • одна из важнейших функций научной теории и науки в целом. Понятие О. используется и в повседневном языке - объяснить к.-л. явление означает с

  • логическая операция перехода от понятия с большим объемом к понятию с меньшим объемом, от рода к виду. Этот переход осуществляется за счет

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

  • (от лат. operator - действующий) одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, с

  • , см.: Высказывание дескриптивное

  • (англ. state description) термин, введенный австрийским логиком Р. Карнапом для обозначения одного из возможных распределений истинностных значен

  • , см.: Высказывание дескриптивное

  • , см.: Высказывание дескриптивное, Оценочное высказывание

  • (лат. definitio) логическая операция, раскрывающая содержание понятия. Напр., обычное О. термометра указывает, что это, во-первых, прибор и, во-вто

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

  • (от греч. genesis - происхождение, источник) классическое, или родо-видовое, определение, в котором спецификация определяемого предмета осущес

  • (Определение через род и видовое отличие) - определение, в котором предметы определяемого понятия вводятся в объем более широкого понятия

  • определение, не имеющее формы равенства двух понятий. К О. н. относятся определение контекстуальное, определение остенсивное, определение

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

  • определение физических величин (длины, массы, силы и др.) через описание совокупности специфицирующих их экспериментально-измерительных о

  • (от лат. ostentus - показывание, выставление напоказ) неявное определение, раскрывающее содержание понятия путем непосредственного показа, озн

  • определение, дающее описание каких-то объектов. О. р. противопоставляется определению номинальному, выражающему требование (предписание,

  • определение, имеющее форму равенства двух понятий. Напр.: "Манометр - это прибор для измерения давления" или "Графомания - это болезненное пр

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

  • наличие смысла, в противоположность бессмысленности - отсутствию смысла. Традиционно важной всегда считалась дихотомия истина - ложь и ос

  • части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием

  • (в логике) отождествляется с многоместным предикатом. Предикаты подразделяются на одноместные, соответствующие свойствам предметов, и мн

  • , см.: Множеств теория

  • (иррефлексивное) а- двухнместное отношение R, определенное на некотором множестве, такое, что для любого элемента х этого множества неверно,

  • двухместное отношение R, определенное на некотором множестве, такое, что для любого элемента х этого множества неверно, что оно находится в

  • см.: Множеств теория.

  • , см.: Множеств теория

  • бинарное (двухместное) отношение R, определенное на некотором множестве и отличающееся тем, что для любого х некоторого множества элемент

  • бинарное (двухместное) отношение R, определенное на некотором множестве и характеризующееся тем, что для любых элементов х и у этого множес

  • двухместное отношение R между предметами х и у области D (см.: Предметная область), удовлетворяющее следующим аксиомам (условиям): 1) аксиоме

  • двухместное отношение R, определенное на некотором множестве, характеризующееся тем, что для любых х, у, z этого множества из xRy и yRz следует x

  • бинарное (двухместное) отношение R, определенное на некотором множестве и характеризующееся тем, что каждому значению у отношения xRy соотв

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

  • , см.: Отрицание

  • , см.: Оценочное высказывание

  • раздел логики, изучающий логическую структуру и логические связи оценочных высказываний. О. л., являющаяся ветвью модальной логики, слагае

  • , см.: Аксиологическая модальность

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

  • нарушения к.-л. законов, правил и схем логики. Если ошибка допущена неумышленно, она называется паралогизмом; если правила логики нарушают