Ключи к тестам для амоконтроля 2
Вопросы для подготовки к экзамену
1. Мышление как предмет изучения логики. Чувственное познание и абстрактное мышление. Особенности абстрактного мышления.
2. Понятие правильного мышления. Логическая форма и логический закон: конкретное содержание и структура мысли; связь между мыслями. Истинность мысли и формальная правильность рассуждений.
3. Теоретическое и практическое значение логики. Роль логики в формировании научных убеждений. Логика и проблемы компьютеризации.
4. Роль языка в познании. Функции языка. Языки естественные и искусственные.
5. Понятие знака. Предметное и смысловое значение языковых выражений. Основные аспекты языка: синтаксический, семантический, прагматический («логический треугольник»).
6. Логический анализ языка как метод выявления логических форм и законов. Семантический анализ языка: дескриптивные (описательные) и логические термины.
7. Основные черты правильного мышления: определенность, последовательность, непрерывность, доказательность. Законы логики как выражение основных свойств правильного мышления.
8. Закон тождества и его значение для правильного мышления.
9. Закон непротиворечия (противоречия) и его значение для правильного мышления.
10. Закон исключенного третьего и его значение для правильного мышления.
11. Закон достаточного основания и его значение для правильного мышления.
12. Понятие как форма мышления. Основные логические приемы формирования понятий: анализ, синтез, сравнение, абстрагирование, обобщение.
13. Содержание понятия. Признаки предметов и их виды: существенные и несущественные, отличительные и неотличительные, признаки-свойства (атрибутивные) и признаки-отношения (релятивные).
14. Объем понятия. Объем понятия как логический класс. Элементы и подклассы логического класса.
15. Закон обратного отношения между объемом и содержанием понятия.
16. Виды понятий: общие и единичные, универсальные и с нулевым объемом («пустые»), конкретные и абстрактные, собирательные и несобирательные и др.
17. Отношения между понятиями. Сравнимые и несравнимые понятия. Совместимые и несовместимые понятия Типы совместимости и несовместимости.
18. Обобщение и ограничение понятий. Роль операций обобщения и ограничения понятий в формировании новых и конкретизации уже имеющихся знаний.
19. Операция деления понятий. Делимое, члены деления и основание деления. Виды деления понятий. Правила и ошибки деления понятий.
20. Классификация и ее виды. Понятие естественной и вспомогательной (технической) классификации. Значение операции деления понятий классификаций в науке и практике.
21. Определение (дефиниция) понятий. Определяемое понятие (дефиниендум) и определяющая часть (дефиниенс). Номинальные и реальные определения. Научная терминология.
22. Явные и неявные определения понятий. Определение через ближайший род и видовое отличие. Генетическое определение. Правила и ошибки определения.
23. Неявные определения: контекстуальное, индуктивное, через аксиомы. Приемы, сходные с определением понятий.
24. Общая характеристика суждения. Суждение и предложение. Простые и сложные суждения.
25. Состав простых суждений и их виды. Атрибутивные, релятивные (об отношениях) и экзистенциальные суждения. Суждения с простыми и сложными предикатами.
26. Простые категорические суждения и их виды: общеутвердительные, общеотрицательные и др. Круговые схемы отношений между терминами простых категорических суждений.
27. Распределенность терминов простых категорических суждений.
28. Сложные суждения и их образование из простых с помощью логических союзов (пропозициональных связок). Суждения с простыми и сложными предикатами.
29. Условия истинности сложных конъюнктивных и дизъюнктивных суждений. Строгая и нестрогая дизъюнкция. Построение таблиц истинности для этих суждений.
30. Условия истинности сложных импликативных суждений и суждений эквивалентности. Операция отрицания суждений. Построение таблиц истинности для этих суждений и операции отрицания.
31. Отношения между суждениями по истинности. Сравнимость и несравнимость суждений. Основные виды совместимости суждений: эквивалентность, перекрещивание, подчинение.
32. Основные виды несовместимости суждений: соподчинение, противоположность, противоречие. «Логический квадрат».
33. Модальность суждений и ее виды: алетическая, эпистемическая, деонтическая, аксиологическая.
34. Структура умозаключения: посылки, заключение, их связь (отношение следования). Виды следования: строгое (логическое) и нестрогое следование. Понятие о выводе.
35. Необходимые и правдоподобные (вероятностные) умозаключения. Дедуктивные, индуктивные и умозаключения по аналогии.
36. Умозаключения, основанные на отношениях между понятиями (терминами). Выводы из категорических суждений и суждений с отношениями.
37. Непосредственные умозаключения: превращение, обращение, противопоставление предикату. Выводы по логическому квадрату.
38. Категорический силлогизм и его структура. Модусы и фигуры простого категорического силлогизма. Правильные модусы и их круговые схемы.
39. Простой сокращенный категорический силлогизм (энтимема). Восстановление энтимемы до полного силлогизма.
40. Сложный силлогизм (полисиллогизм), его структура и виды. Понятие о сложносокращенном силлогизме (сорит, эпихейрема).
41. Выводы из суждений с отношениями. Свойства двуместных отношений: рефлексивность, симметричность, транзитивность.
42. Умозаключения, основанные на отношениях между сложными суждениями. Условные и условно-категорические умозаключения. Модусы условно-категорических умозаключений
43. Разделительно-категорические и условно-разделительные (лемматические) умозаключения, их модусы и виды. Простая и сложная, конструктивная и деструктивная дилеммы.
44. Индуктивные умозаключения. Популяция (генеральная совокупность) и выборка (образец). Полная и неполная индукция.
45. Индукция через простое перечисление (популярная, или энумеративная) и через отбор. Понятие о научной и ненаучной индукции.
46. Индуктивные методы установления причинных связей: метод сходства, метод различия, метод сопутствующих изменений, метод остатков.
47. Статистические обобщения. Понятие о частоте признака. Индуктивная природа статистических обобщений.
48. Аналогия и ее виды: аналогия свойств и аналогия отношений, строгая и нестрогая аналогия.
49. Понятие аргументации. Общая характеристика доказательства. Тезис, аргументы, демонстрация доказательства. Доказательство и убеждение.
50. Виды доказательства: прямое и косвенное, косвенное от противного (апагогическое) и косвенное по случаям (разделительной).
51. Опровержение и его виды. Критика тезиса, аргументов и демонстрации.
52. Правила и ошибки доказательства и опровержения.
53. Вопрос как форма мышления, его структура и виды. Ответы на вопросы; виды ответов.
ГЛОССАРИЙ
Абстрактное понятие – понятие, в котором отражён признак, взятый отдельно от предмета.
Аксиологическая модальность – модальность суждения, в котором выражается отношение говорящего к объекту высказывания.
Аксиоматическое определение – определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).
Алетическая модальность – заключенная в суждении информация об условиях его истинности.
Аналогия – умозаключение на основе сходства сравнённых предметов.
Аналогия отношений – аналогия, в основе которой лежит сходство признаков-отношений сравниваемых предметов.
Аналогия предметов – то же, что и аналогия свойств.
Аналогия свойств – аналогия, в основе которой лежит сходство признаков-свойств сравниваемых предметов.
Антецедент – первый член условного (импликативного) суждения.
Антитезис– положение, несовместимое с тезисом.
Апагогическое доказательство – то же, что и доказательство от противного.
Аргументация – операция обоснования суждений, решений, оценок.
Аргумент – истинное суждение, используемое для обоснования другого суждения (тезиса).
Аристотель (384-322 до н. э.) – др. гр. философ, логик, основатель традиционной формальной логики.
Ассоциативности закон – операция объединения и пересечения классов, взятые по отдельности, можно выполнять в любом порядке.
Атрибутивное суждение – суждение о свойствах предметов.
Безотносительные понятия – это такие понятия, в которых мыслятся предметы, существующие самостоятельно, вне зависимости от другого предмета.
Большая посылка – посылка силлогизма, содержащая большой термин, предикат заключения.
Буль Дж. (1815 -1864) – ирландский математик и логик, один из основоположников математической логики.
Бэкон Ф. (1561-1626) – английский философ, логик, внесший большой вклад в учение об индукции.
Вероятностные умозаключения – то же самое, что и правдоподобные умозаключения.
Версия – одно из нескольких возможных, отличных друг от друга объяснений какого-либо явления, события; разновидность гипотезы.
Видовой признак – признак, отличающий подкласс внутри класса.
Вопрос – это мысль, в которой выражено требование уточнить или получить новую информацию на основе уже имеющейся.
Вопрос не по существу – вопрос, не имеющий отношения к обсуждаемому предмету.
Восполняющий вопрос – вопрос о новых признаках исследуемого предмета.
Вывод – последовательность суждений (формул), логически вытекающих из некоторых исходных суждений (формул) – посылок.
Выделяющее суждение – суждение о принадлежности признака только определённым предметом и никаким другим.
Генеральная совокупность – то же, что и популяция.
Генетическое определение – определение, указывающее на происхождение, способ образования соответствующего предмета.
Гипотеза – обоснованное предположение о признаках предметов.
Гомоморфизм – частичное подобие предметов.
Дедуктивное умозаключение – умозаключение от общего к частному; другое название необходимых умозаключений.
Деление понятий – операция, с помощью которой устанавливается объём понятия путём перечисления его частей (подклассов).
Деление по видоизменению признака – деление, как правило, более чем на две части, каждой из которых присущ признак, взятый за основание, но в особом его проявлении.
Демонстративное умозаключение – то же, что и необходимое умозаключение.
Демонстрация – логическая связь аргументов и тезиса в доказательстве или опровержении.
Деонтическая модальность – выражение в суждении побуждения к действию.
Дефиниендум – определяемая часть дефиниции.
Дефиниенс - определяющая часть дефиниции.
Дефиниция понятия – то же, что и определение понятия.
Дизъюнкция – логический союз «или», даёт истинное сложное суждения, если истинно хотя бы одно из входящих в него суждений.
Дилемма – суждение, содержащее две альтернативы (несовместимые позиции)
Дихотомическое деление – деление на две части, в одну из которых входят предметы, обладающие признаком, в другую – не обладающие признаком, взятые в качестве основания.
Довод– то же, что и аргумент.
Доказательство– логическое обоснование истинности суждения.
Доказательство по случаям – то же, что и разделительное доказательство.
Доказательство от противного – доказательство, при котором истинность тезиса обосновывается с помощью противоречащего ему суждения (антитезиса).
Дополнение класса – операция образования множества из элементов предметной области, из которой исключены элементы дополняемого класса; аналог отрицания в логике.
Единичное понятие – понятие, объём которого составляет один предмет.
Единичное суждение – суждение об одном предмете.
Естественная классификация – классификация на основе существенных признаков самих классифицируемых предметов.
Естественный язык – звуковой язык, созданный тем или иным народом.
Заключение (вывод) умозаключения – суждение, вытекающее из посылок.
Закон достаточного основания – закон, по которому мысль признается истинной или ложной, если для этого имеется достаточно логическое основание (доказательство или опровержение).
Закон исключенного третьего – закон, согласно которому из двух противоречащих суждений одно обязательно истинно, а второе ложно.
Закон мышления – необходимая, повторяющая связь мыслей.
Закон непротиворечия – закон, по которому не могут быть одновременно истинными или ложными несовместимые, исключающие друг друга мысли (суждения)
Закон обратного отношения между объёмом и содержанием понятия – тем меньше его объём, и наоборот.
Закон тождества – закон, согласно которому всякая мысль в рассуждении должна быть тождественной сама себе, неизменной, сколько бы раз она не воспроизводилась.
Закрытый вопрос – вопрос, требующий уточнения, выбора содержащейся в нём альтернативы; вопрос на который имеется конечное, чаще достаточно ограниченное количество ответов.
Знак – чувственно воспринимаемый предмет, замещающий другой предмет.
Изоморфизм – полное взаимно-однозначное соответствие признаков двух предметов.
Импликация – логический союз «Если…, то…», образующий из двух суждений новое, истинное во всех случаях, кроме одного: оно ложно, когда первый член импликации истинное суждение, а второй – ложное.
Индуктивное определение – определение, согласно которому из исходных объектов по определённым правилам могут быть построены многие другие объекты теории.
Индуктивное умозаключение – умозаключение от частного к общему, от отдельных предметов к совокупностям предметов, от классов к более широким классам.
Индукция методов исключения - индуктивное умозаключение на основе подтверждающих обстоятельств и исключения обстоятельств, при которых причинная связь отсутствует.
Индукция через отбор – вывод о признаке класса, на основе отобранного образца (подмножества, подкласса).
Индукция через простое перечисление – то же, что и популярная индукция.
Индукция через элиминацию – то же, что индукция методом исключения.
Исключающее суждение – суждение о принадлежности признака классу, кроме некоторых его представителей.
Искусственная классификация – классификация, в основе которой лежит произвольно выбранный признак предметов.
Искусственный язык – созданный конкретными людьми язык, знаковая система, в частности в логике. Различают объектязык и метаязык.
Истина – соответствие мысли действительности.
Истинность, истинное значение – основное содержательное качество суждения, согласно которому оно является соответствующим действительности.
Категорическое суждение – суждение, взятое в простейшей форме: субъект, предикат, связка и квантор.
Квантор – логический оператор, указывающий на количественную характеристику субъекту категорического суждения по отношению к предикату.
Квантор общности – квантор, указывающий на то, что субъект категорического суждения берётся в полном объеме («Всё», «Ни один»…).
Квантор существования – квантор, указывающий на то, что субъект категорического суждения берётся частично («Некоторые», «Существует»).
Класс – совокупность объектов с общими характеристическими признаками.
Классификация– распределение предметов некоторого рода на пересекающиеся классы, при котором каждый класс получает определенное место.
Коммутативности закон – действия с операциями объединения и пересечения классов, взятыми по отдельности; производятся в обратном направлении.
Конкретное понятие – понятие о предмете, взятом как единое целое.
Консеквент – второй член импликативного суждения.
Контекстуальное определение – определение на основе значения отношений предмета с близкими ему объектами в некотором окружении (контексте).
Контрадикторность – то же, что и противоположность.
Контрарность – то же, что и противоположность.
Конъюнкция – логический союз «и», образующий сложное суждение, истинное, когда истинный все (каждое) входящие в него суждения.
Косвенное доказательство – доказательство, основанное на введении антитезисов, т.е. несовместимых с тезисом положений, и доказательстве их ложности.
Косвенное опровержение – аналогично косвенному доказательству опирается на введение одного или нескольких антитезисов и установлении истинности одного из них.
Крайний термин – название каждого из двух терминов, субъекта и предиката, заключения категорического силлогизма.
Критика – операция разрушения имеющегося процесса аргументации.
Круги Эйлера – изображение объёмов понятий с помощью кругов, предложенное математиком Л. Эйлером (1707-1783)
Лемма – каждое из следствий условно-разделительного силлогизма.
Лемматическое умозаключение – то же, что условно-разделительное умозаключение.
Логика – наука о законах и формах мышления.
Логика высказываний – то же, что и пропозициональная логика.
Логические союзы – операции («и», «или», «если…, то…» и т. д.), с помощью которых из нескольких простых образуются сложные суждения.
«Логический квадрат» -мнемоническая фигура, с помощью которой изображаются отношения между простыми категорическими суждениями по истинности.
«Логический треугольник» – мнемоническая фигура, с помощью которой изображаются основные аспекты языка (синтаксический, семантический и др.)
Логическое следование – отношением между посылками и заключением в необходимых умозаключениях, дающее истинное заключение при истинных посылках и соблюдении логической правильности.
Логичность – соответствие логическим законам и принципам; последовательность, отсутствие логических ошибок.
Ложность – истинностная характеристика суждения, не соответствующего действительности.
Меньшая посылка – посылка силлогизма, содержащая меньший термин, субъект заключения.
Меньший термин – субъект заключения простого категорического силлогизма.
Метод остатков – метод установления связи части причины и части следствия на основе знания отношений других частей причинный и следствия.
Метод различия – метод установления связи причины и следствия на основе выяснения повторяющегося и неповторяющегося в причине при наступлении следствия.
Метод сопутствующих изменений – метод установления связи причины и следствия на основе выявления коррелирующих изменений в причине и следствии (прямых и обратных).
Метод сходства – метод установления связи причины и следствия на основе выявления совпадений в причинном комплексе при наличии следствия.
Милль Дж. С. (1806-1873) английский философ и логик, разработал методы исследования причинных связей.
Модальность суждения – явная или неявная информация об условиях истинности, обоснованности, нормативности суждения.
Модус умозаключения – разновидность умозаключения.
Мышление– обобщенное, опосредованное, абстрактное, основанное на языке отражение действительности.
Modus ponendo-tollens (модус понендо-толленс) – модус разделительно-категорического силлогизма, заключение от утверждения одной части альтернативы к отрицанию другой её части.
Modus ponens (модус поненс) – модус условно – категорического умозаключения, вывод от утверждения основания к утверждению следствия.
Modus tollendo-ponens (модус толлендо-поненс) – модус разделительно-категорического силлогизма, вывод от отрицания одной части альтернативы к утверждению другой её части.
Modus tollens (модус толленс) – модус условно-категорического силлогизма, вывод от отрицания следствия к отрицанию основания.
Необходимое умозаключение – умозаключение, в котором из истинности посылок с необходимостью выводится истинность заключения.
Неполная индукция – индуктивное умозаключение от значения части элементов класса к знанию обо всё классе.
Непосредственное умозаключение – преобразование одного суждения.
Нераспределенный термин – субъект или предикат простого категорического суждения, если он выступает не в полном объёме.
Несобирательное понятие – понятие, применимое к отдельному предмету, вещи.
Несовместимые понятия – понятия, у которых нет общих элементов.
Несравнимые понятия – понятия, у которых нет ни одного общего признака в содержании, далёкие друг от друга.
Несравнимые суждения – суждения, состоящие из разных понятий, или разных более простых суждений.
Нестрогая аналогия – частичная, неполная, основанная на отношении гомоморфизма.
Неявное определение – определение, основанное на произвольных признаках, существенность которых ещё не установлена.
Номинальное определение – разъяснение слова, термина, введение нового выражения через указание на его значение.
Обобщение понятия – переход к более широкому по объёму понятию от вида к роду.
Обоснование – операция подтверждения суждения через приведение других, логически связанных с ним истинных суждений.
Образец– совокупность исследуемых случаев; может совпадать с популяцией.
Обращение – преобразование простого категорического суждения путём перестановки местами субъекта и предиката посылки.
Общеотрицательное суждение – суждение, в котором отрицается наличие признака у всех элементов некоторого класса.
Общеутвердительное суждение – суждение, в котором утверждается наличие признака у каждого элемента некоторого класса.
Общее понятие – понятие о некоторой совокупности, классе (множестве) предметов.
Объединение классов – операция, в результате которой образуется класс, состоящий из всех элементов объединяемых классов.
Объединённый метод сходства и различия– метод установления причинных связей на основе одновременной фиксации, как совпадений, так и несовпадений частей причины и наступления или ненаступления следствия.
Объём понятия – предмет или совокупность предметов, мыслимых в понятии.
Объяснительная гипотеза – предположение о причинах, законах вещей.
Ограничение понятия – операция образования нового понятия с меньшим объёмом: переход от рода к виду.
Оператор модальности – слово, указывающее на ту или иную модальность, например «необходимо», «доказано», «обязательно» и др.
Операции с понятиями – операции, с помощью которых производят действия с объемами и содержанием понятий , несколькими понятиями одновременно.
Описание – перечисление признаков предмета, которые более или менее исчерпывают его.
Описательная гипотеза – предположение о присущих предмету признаках.
Определение понятия – операция, раскрывающая содержание понятия.
Определение через род и видовое отличие – определение через указание ближайшего родового понятия, а затем видового признака, выделяющего определяемые предметы в рамках данного рода.
Опровержение – операция по обоснованию ложности некоторого положения.
Основание - то же, что и аргумент.
Основание деления – признак, взятый в качестве критерия выделения частей делимого понятия, разбиения его на виды.
Остенсивное определение – определение значения слова через указание на чувственно воспринимаемый предмет.
Ответ – связанное с вопросом суждение, уменьшающее или снимающее неопределённость, заключённую в вопросе.
Открытый вопрос – вопрос, требующий указания новой информации о признаках предметов. Это вопрос, на который существует бесчисленное множество ответов.
Отличительный признак – признак, присущий только данному предмету или классу предметов.
Относительное понятие – понятие, отображающее предметы в их связях с другими предметами, содержит указание на признаки-отношения.
Отрицание – операция образования нового суждения, с противоположным значением истинности.
Отрицательное понятие – понятие, в содержании которого указывается на отсутствие у предмета определенных свойств.
Отрицательное суждение – суждение, указывающее на отсутствие признаков, заключённых в предикате, у предметов, мыслимых в субъекте.
Пересечение классов – образование нового класса, в который войдут только общие элементы всех исходных классов.
Пересечение понятий – отношение, характеризующее понятия с частично совпадающими объёмами.
Пересечение суждений – отношение между суждениями, которые могут быть при определённых условиях одновременно истинными, но могут иметь и взаимно противоположные значения и не могут быть одновременно ложными.
Подкласс – часть класса.
Подчинение понятий – отношение между понятиями, когда объем одного полностью входит в объём другого в качестве части.
Подчинение суждений – отношение между суждениями, при котором если одно (подчиняющее) истинно, то второе (подчинённое) обязательно истинно, но не наоборот.
Познание – процесс формирования истинных знаний о мире.
Полисиллогизм– то же, что и сложный силлогизм.
Полная индукция - индуктивное умозаключение, основанное на знании каждого элемента класса и формирующее это знание в виде общего суждения.
Положительное понятие – понятие, в содержании которого указаны только те признаки, которые присущи предмету.
Понятие – форма мышления, отражающая существенные признаки предметов.
Популярная индукция – индукция на основе обобщения всех ставших доступными случаев.
Популяция– название всей совокупности предметов, подразумевающейся в заключении индуктивного умозаключения.
Посылки умозаключения – суждения, из которых в умозаключении выводится новое суждение (заключение).
Правдоподобное умозаключение – умозаключение, в котором нет необходимой логической связи между посылками и заключением.
Правильный модус – разновидность необходимого умозаключения, которая гарантирует истинность заключения при истинности посылок.
Прагматика – раздел семиотики, изучающий отношение носителя языка в новое суждение противоположного качества.
Предикат суждения – часть суждения, указывающая на признак, утверждаемый или отрицаемый относительно субъекта суждения.
Предположение – языковое выражение, обозначающее суждение, вопрос или побуждение.
Предпосылка вопроса – связанное с вопросом исходное наличное знание.
Признак – всё то, в чём предметы сходны или отличаются друг от друга.
Проверка гипотез - процесс установления истинности предположения.
Прогрессивный полисиллогизм – сложный силлогизм, в котором заключение предшествующего простого силлогизма становится большей посылкой следующего простого силлогизма.
Пропозициональная логика – раздел логики, изучающий рассуждения без учёта внутренней структуры простых суждений.
Просиллогизм – простой силлогизм, предшествующий другому силлогизму в сложном силлогизме.
Простая деструктивная дилемма – модус условно-разделительного умозаключения, вывод от утверждения двух разных оснований к одному следствию.
Простое суждение – суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката.
Простой вопрос – вопрос, заключающий в себе одно требование о недостающей информации.
Простой категорический силлогизм – умозаключение, состоящее из трёх категоричных суждения, включающих только три понятия.
Противоположные понятия – несовместимые понятия, которые могут оба быть неприменимыми к одному и тому же предмету.
Противоположные суждения – суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными.
Противопоставление предикату – преобразование простого категорического суждения, в результате которого на месте субъекта появляется отрицание предиката, а на месте предиката – субъект посылки. Результат последовательного применения превращения и обращения простого категорического суждения.
Противоречащие понятия – понятии, отрицающие друг друга, одно из которых обязательно применимо к любому объекту.
Противоречивые суждения – суждения и его отрицание, одно из них обязательно истинное, а другое ложно.
Прямое доказательство – доказательство, в котором истинность тезиса выводится из аргументов и их логических следствий, без привлечения антитезисов.
Прямое опровержение – опровержение, в котором ложность тезиса выводится из аргументов и следствий из них, без привлечения антитезисов.
Рабочая гипотеза – выдвигаемое на первых шагах исследования предположение, условное допущение, позволяющее группировать результаты наблюдений и экспериментов, дающее им первоначальное объяснение.
Равнообъемные понятия – то же, что и тождественные понятия.
Разделительно категоричное умозаключение – умозаключение, в котором вывод основывается на утверждении или отрицании частей разделительной посылки, а в заключении стоит суждение, являющееся утверждением или отрицанием другой части этой посылки.
Разделительное доказательство – вид косвенного доказательства, в котором истинность тезиса выводится из ложности всех антитезисов.
Распределенность терминов категорического суждения – количественная характеристика субъекта категорического суждения по отношению к предикату, и наоборот.
Распределённый термин – субъект или предикат, взятый по отношению к другому термину в полном объёме.
Рассел Б. (1872-19270) – английский философ и логик, один из основоположников современной формальной логики.
Реальное определение – определение, указывающее признаки самих определяемых предметов.
Регрессивный полисиллогизм – сложный силлогизм, в котором заключение предшествующего простого силлогизма становится меньшей посылкой следующего простого силлогизма.
Рефлективность – свойство двуместных отношений, при котором предмет находится в этом отношении к самому себе (например, равенство).
Родовой признак – признак, присущий всем видам некоторой области.
Связка суждения – элемент простого суждения, соединяющий субъект и предикат, может быть утвердительной и отрицательной.
Селективная индукция – то же, что и индукция через отбор.
Семантика – раздел семиотики, изучающий отношение знаков и их значений.
Семантический треугольник – то же, что и «логический треугольник»
Семиотика – наука, изучающая свойства знаковых систем (языков).
Символ – условный чувственно воспринимаемый объект, обозначающий что-либо (понятие, идею, предмет, событие и т. п.).
Симметричность – свойство двуместных отношений, при котором это отношение сохраняется, если предметы поменять местами.
Следование – отношение между посылками и заключением. Различают логическое следование (необходимое) и слабое следование.
Слово– основная значащая единица языка, служащая для закрепления образов сознания, мышления, прежде всего понятий.
Сложная деструктивная дилемма – модус дилеммы, в котором вывод делается от двух отрицаний следствий к отрицанию двух оснований.
Сложная конструктивная дилемма – модус дилеммы, в котором вывод делается от утверждения двух оснований к утверждению двух следствий.
Сложносокращённый силлогизм – сложный силлогизм, в котором пропущены посылки.
Сложное суждение – суждение, образованное из нескольких простых с помощью логических союзов (конъюнкции, дизъюнкции и т. д.).
Сложный вопрос –вопрос, включающий в качестве составных частей другие вопрос, объединённые логическими связками.
Сложный силлогизм – умозаключение, состоящее из нескольких простых силлогизмов, когда посылка предшествующего становится заключением следующего простого силлогизма.
Собирательные понятия – понятия, в которых группы однородных предметов мыслятся как единое целое.
Совместимые понятия – понятия, у которых есть общие элементы в объёмах.
Совместимые суждения- суждения, которые могут быть одновременно истинными.
Содержание понятия – отражённые в понятии признаки предметов.
Соотносительные понятия — это такие понятия, в которых мыслятся предметы, существование одного из которых предполагает существование второго. Например, «тёща» – «зять», «правый» – «левый», «истец» – «ответчик».
Соподчиненные понятия – отношение между понятиями, при которых их объёмы составляют непересекающиеся части некоторого третьего понятия.
Сорит – сложносокращённый силлогизм с регулярно пропускаемой большей или меньшей посылкой.
Сравнимые понятия – понятия, у которых есть близкий общий род. Например: «поезд» – «самолёт» — сравнимые понятия: ближайший общий род «транспортное средство». В противном случает понятия называются несравнимыми, как например, « самолёт» и «помидор».
Сравнимые суждения – суждения, состоящие из одних и тех же понятий, или из одних и тех же простых суждений (для сложных), отличающихся формой друг от друга.
Средний термин – термин категорического силлогизма, который встречается в обеих посылках и отсутствует в заключении; связывает крайние термины.
Стандартная форма простого категорического силлогизма – 1) большая посылка; 2) меньшая посылка; 3) заключение.
Статистическое обобщение – индуктивное рассуждение, основывающееся на переносе частоты признака с образца на популяцию.
Строгая аналогия – аналогия на основе полного подобия, изоморфизма.
Строгая дизъюнкция – разделительный союз, образующий сложное суждение, истинное, когда истинно только одно из исходных суждения.
Субъект суждения – понятие, обозначающее предмет, о котором нечто утверждается или отрицается в простом категорическом суждении.
Суждение– это мысль, в которой утверждается или отрицается а) свойство предмета (действие предмета, наличие некоторой ситуации); б) отношение между предметами или в) существование предмета.
Суждение с отношением – суждение, в котором утверждается или отрицается наличие отношения между какими-либо предметами.
Суждение существования – то же, что и экзистенциональное суждение.
Существенный признак – признак, выражающий ту или иную сторону сущности, основного содержания предмета.
Таблица истинности – таблица, с помощью которой определяются условия истинности сложного суждения на основе истинности простых.
Тезис – положение, которое обосновывается (как истинное для доказательства, как ложное для опровержения).
Термин – слово или словосочетание, обозначающее понятие, стоящее на месте субъекта или предиката категорическ<