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

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

Аналогия - умозаключение на основе сходства сравниваемых предметов (от одного частного явления к другому).

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

Аналогия предметов - то же, что и аналогия свойств.

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

Антецедент - первый член условного (импликативного) суждения (логическое основание).

Антитезис - положение, противоречащее тезису.

Аргументация - операция обоснования суждений, решений, оценок.

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

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

Большая посылка — посылка силлогизма, содержащая больший термин, предикат заключения.

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

 

Видовой признак - признак, отличающий подкласс внутри класса.

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

Вопрос восполняющий (<<что»-вопрос) - вопрос о новых признаках исследуемого предмета.

Вопрос закрытый — вопрос, предполагающий выбор ответа из прилагаемого списка.

Вопрос корректный - это вопрос, строго соответствующий предмету вопроса.

Вопрос некорректный - вопрос, не соответствующий предмету вопроса, нелепый, уводящий в сторону, представляющий предмет в ложном свете.

Вопрос наводящий - только подготавливает или облегчает человеку понимание темы вопроса.

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

Вопрос простой - вопрос, заключающий в себе одно требование о недостающей информации.

Вопрос прямой - служит непосредственно достижению поставленной цели.

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

Вопрос уточняющий - вопрос, не требующий новой информации о предмете, а предполагающий уяснение позиции опрашиваемого («ли»-вопрос).

Вопрос явный - выражается в языке полностью вместе со своими предпосылками и требованием установить неизвестное.

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

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

Вывод - последовательность суждений, логически вытекающих из некоторых исходных суждений - посылок.

Дедуктивное умозаключение - умозаключение от общего к частному другое название логически-необходимых умозаключений.

Деление понятий - логическая операция, раскрывающая объем понятия, путем перечисления его элементов, (подклассов).

Деление дихотомическое - деление на две части, в одну из которых входят предметы, обладающие каким-либо признаком, а в другую - не обладающие признаком, взятым в качестве основания (А - не-А).

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

Демонстративное умозаключение - то же, что и необходимое умозаключение.

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

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

Дефиниендум - определяемая часть дефиниции.

Дефиниенс - определяющая часть дефиниции.

Дефиниция понятия - то же, что и определение понятия.

Дизъюнкция слабая - логический союз (функтор), озвучиваемый как "или". Дает истинное сложное суждение, если истинно хотя бы одно из входящих в него суждений.

Дизъюнкция строгая - разделительный союз, образующий сложное суждение, истинное, когда истинно только одно из исходных суждений.

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

Дилемма - суждение, содержащее две альтернативы (несовместимые позиции).

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

Доказательство апагогическое - «отводящее», непрямое доказательство (то же, что и доказательство от противного, через антитезис).

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

Зависимые поднятия - понятия находящиеся между собой в отношениях рода и вида.

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

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

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

Закон мышления ~ необходимая, повторяющая связь мыслей.

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

Закон обратного соотношения объема и содержания понятия — закон, согласно которому, чем шире содержание по­нятия, тем уже его объем, и наоборот.

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

Закрытое понятие -регестрирующее

Знак - средство, указывающее на некоторый предмет, но не имеющее какого-либо сходства с этим предметом.

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

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

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

Индукция неполная - индуктивное умозаключение от знания части элементов класса к знанию обо всем классе.

Индукция через отбор - вывод о признаке класса, на основе отобранного образца (подмножества, подкласса).

Индукция популярная - стихийная форма индукции на основе обобщения всех ставших доступными случаев.

Индукция через простое перечисление - то же, что и популярная индукция.

Индукция через элиминацию - то же, что индукция методом исключения.

Искусственный язык - намеренно созданный для решения определённых задач конкретными людьми язык (знаковая система). Например, языки программирования, язык логики высказываний и т.д.

Истинность — соответствие мысли внешней, несобственной по отношению к ней действительности.

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

Квантор общности - квантор, указывающий на то, что субъект категорического суждения берется в полном объеме ("Все", "Ни один"...).

Квантор существования - квантор, указывающий на то, что субъект категорического суждения берется частично ("Некоторые", "Существует").

Класс - совокупность объектов с общими характеристическими признаками.

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

Классификация естественная - классификация на основе существенных признаков самих классифицируемых предметов.

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

Конкретные понятия - понятия, в которых мыслится предмет или совокупность предметов как нечто самостоятельно существующее

Консеквсит - второй член импликативного суждения (логическое следствие).

Контекстуальное определение - определение на основе знания отношений предмета с близкими ему объектами в некотором окружении (контексте).

Контрадикторность - то же, что и противоречивость.

Контрарность - то же, что и противоположность.

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

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

Косвенное доказательство - доказательство, основанное на введении антитезисов, т. е. несовместимых с тезисом положений, и доказательство их ложности.

Косвенное опровержение - аналогично косвенному доказательству; опирается на введение одного или нескольких антитезисов и установлении истинности одного из них.

Крайний термин - название каждого из двух терминов, субъекта и предиката, заключения категорического силлогизма.

Круги Эйлера - изображение объемов понятий с помощью кругов, предложенное математиком Л. Эйлером (1707- 1783).

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

Логика высказываний - то же, что и пропозициональная логика.

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

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

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

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

Логичность - соответствие логическим законам и принципам; последовательность, отсутствие логических ошибок.

Ложность - истинностная характеристика суждения, не соответствующего действительности.

Медиум - (посредник) В суждении – положительная или отрицательная связка, а в силлогизме - третий термин.

Меньшая посылка - посылка силлогизма, содержащая меньший термин, субъект заключения.

Меньший термин - субъект заключения простого категорического силлогизма.

Модальность суждении - заявленная в суждении позиция по отношению к тому, что в нём высказано (некоторая модификация основного содержания суждения), осуществляемая с помощью модальных терминов «хорошо», «плохо», «вероятно», «действительно», «разрешено», «запрещено», «по всей видимости» и т.д.

Модальность аксиологическая - модальность суждения, подразумевающая оценку сказанною с точки зрения того, хорошо это или плохо, лучше это или хуже.

Модальность алетическая - заключенная в суждении информация об условиях его истинности (истинно в данный момент - ассерторическая разновидность; может быть истинным - проблематическая; истинно при любых условиях - необходимо истинная — аподиктическая).

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

Модус умозаключения - разновидность умозаключения основанная на сочетании видов суждений в силлогизме..

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

Негативная посылка – см.отрицательная посылка

Необходимое умозаключение - умозаключение, в котором из истинности посылок с необходимостью выводится истинность заключения.

Не пустые понятия – понятия, имеющие в своем объеме один или более предметов.

Нераспределенный термин - субъект или предикат простого категорического суждения, если он выступает не в полном объеме.

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

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

Несовместимые понятия - понятия, у которых нет общих элементов.

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

Несравнимые понятия — понятия, у которых нет ни одного общего признака в содержании.

Нестрогая аналогия — частичная, неполная, основанная mi отношении гомоморфизма.

Неявное определение - определение, основанное на произвольных признаках, существенность которых еще не установлена.

Обобщение понятия - переход к более широкому по объему понятию.

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

Обращение - преобразование простого категорического суждения без изменения его качества путем подстановки на место субъекта его старого предиката, а на место предиката - ею старого субъекта.

Общее понятие - понятие, объём которого составляет более чем один предмет.

Объем понятия - количество предметов, на которые указывает данное понятие.

Ограничение понятия - операция образования нового понятия с меньшим объемом: переход от рода к виду.

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

Описание - перечисление всех признаков предмета, без учёта их существенности.

Определение пошипи - логическая операция, рас­крывающая понятия.

Определение аксиоматическое определение, в котором понятие вводится па основе некоторых исходных положений (аксиом).

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

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

Определение индуктивное - уточняющее определение.

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

Определение явное - определение, в котором содержится прямое указание на существенные признаки определяемых предметов.

Определение номинальное - определение понятие через указание содержание термина, обозначающего данное понятие (через наименование).

Определение остенсивное - определение значения сло­ва через непосредственное указание на сам предмет.

Определение реальное - определение понятия, через указания на признаки предмета, отображаемого данным понятием

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

Опровержение — операция по обоснованию ложности некоторого положения.

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

Основание деления - признак, на основе которого производится деление объёма понятия.

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

Ответ — связанное с вопросом суждение, уменьшающее или снимающее неопределенность, заключенную в вопросе.

Открытое понятие – нерегистрирующее.

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

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

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

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

Отношения противоречия – (контрадикторности) устанавливается между суждениями, разными как по качеству, так и по количеству.

Отношение субконтрарности - отношения частичной совместимости

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

Отношения частичной совместимости - это отношение между суждениями одинакового количества, но разного качества

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

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

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

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

Отношения включения - или субординации, когда объем одного понятия входит в объем другого.

Отношения противоположности – в логическом квадрате в них находятся суждения А и Е, которые не могут одновременно быть истинными.

Отношения частичного совпадения - в логическом квадрате это отношения между суждениями I и O, у которых одинаковые субъекты и предикаты, но которые отличаются по качеству.

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

Пересечение понятий - отношения между понятиями с частично совпадающими объемами.

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

Подкласс - часть класса.

Подчинение понятий - отношение между понятиями, когда объем одного полностью входит в объем другого в качест­ве части.

Подчинение суждений отношение между суждениями, при котором, если одно (подчиняющее) истинно, то второе (под­чиненное) обязательно истинно, но не наоборот.

Полисиллогизм - сложный силлогизм.

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

Полная индукция - индуктивное умозаключение, осно­ванное на знании каждого элемента класса и формирующее это знание в виде общего суждения.

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

Понятие абстрактное - понятие, которое указывает на свойства, отношения, состояния, не существующие отдельно от самих предметов их носителей.

Понятие единичное - понятие, объем которого состав­ляет один предмет.

Понятие конкретное - понятие, указывающее на сам, а не на его свойства, состояния, отношения, мыслимые отдельно от него самого.

Понятие несобирательное - понятие, приложимое к отдельному предмету, вещи.

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

Понятия совместимые - понятия, у которых есть общие элементы в объемах.

Понятие отрицательное - понятие, в содержании кото­рого указывается на отсутствие у предмета некоторых свойств.

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

Понятия безотносительные - это такие понятия, в ко­торых мыслятся как самостоятельные, вне зависимости от дру­гих.

Понятия соотносительные - понятия, которые существуют только в связке друг с другом. Например, «правое – левое», «начальник – подчинённый», «учитель — ученик».

Понятия регистрирующие - общие понятия, предполагающие закрытый (фиксируемый определённым числом) объём.

Понятия нерегистриругощие - понятия с открытым объёмом.

Понятия равнообъемные - то же, что и тождественные понятия.

Посылки умозаключения - суждения, из которых в умозаключении выводится новое суждение (заключение).

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

Превращение - преобразование простого категориче­ского суждения в новое суждение противоположного качества,

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

Представление – чувственный образ предмета, который возникает в сознании человека, в отсутствие этого предмета

Признак предмета - то, в чем предмет сходен с другими или отличен от них.

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

Позитивная посылка – см. позитивная предпосылка вопроса

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

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

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

Полисиллогизм -силлогизм в котором посылка – заключение предыдущего силлогизма

Предикат -то, что утверждается о субъекте

Признак - все то, на основе чего мы отличаем предметы друг от друга.

Признак существенный - признак, без которого данный предмет не мыслим.

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

Производный признак - признак, который выводится из основных

Просиллогизм - простой силлогизм, предшествующий другому силлогизму в сложном силлогизме.

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

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

Противоположные суждения - суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными.

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

Противоречивые суждения - суждение и его отрицание, одно из них обязательно истинное, а другое ложно.

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

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

Пустое понятие – понятие, которому не соответствует ни один предмет реального мира.

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

Разделительное доказательство - вид косвенного доказательства, в котором истинность тезиса выводится из ложности всех антитезисов.

Разделительное суждение (см. Дизъюнктивное)

Распределенность терминов категорического суждения - соотношение объёмов субъектов и предикатов суждения.

Распределенный термин - субъект или предикат, взятый по отношению к другому термину в полном объеме.

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

Регистрирующее понятие – понятие, конечное по объему, в содержании которого есть признаки, отвечающие на вопросы где? когда? какого рода?

Рефлексивность - свойство двуместных отношений, при котором предмет находится в этом отношении к самому себе (равенство).

Родовой признак - признак, присущий всем группам данного класса предметов.

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

Селективная индукция - то же, что и индукция через отбор.

Символическое выражение отношений – формула описывающая логическую форму мысли.

Симметричность - свойство двуместных отношений. при котором это отношение сохраняется, если предметы поменять местами.

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

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

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

Силлогизм сложносокращенный - сложный силлогизм, в котором пропущена часть посылок.

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

Содержание понятия - отраженные в понятии признаки предметов.

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

Соединительное суждение – см. Коньюнктивное

Соподчиненные понятия - понятия, объемы которых составляют непересекающиеся части некоторого третьего понятия.

Сорит - сложносокращенный силлогизм, с регулярно пропускаемой большей или меньшей посылкой.

Сравнение - установление сходства и различия между рассматриваемыми предметами.

Сравнимые понятия - понятия, у которых есть ближайший общий род. Например, "собака" и "кошка" - сравнимые понятия: ближайший общий род "животные". Ещё сравнимыми понятиями называют такие понятия, в содержании которых присутству­ет, по крайней мере, один общий признак.

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

Средний термин - термин категорического силлогизма, который встречается в обеих посылках и отсутствует в заключении; связывает крайние термины.

Субординация – см. отношения включения.

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

Субъект суждения (логическое подлежащее) - понятие, обозначающее предмет, о котором нечто утверждается или отрицается в простом категорическом суждении.

Суждение - логическая форма мысли, в которой что-либо утверждается или отрицается относительно предмета.

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

Суждение единичное - суждение об одном предмете.

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

Суждение категорическое - суждение, взятое в простейшей форме: субъект, предикат, связка и квантор. Противо­полагается суждениям условным и разделительным.

Суждение общеотрицательное - суждение, в котором отрицается наличие признака у всех элементов некоторого класса.

Суждение общеутвердительное - суждение, в котором утверждается наличие признака у каждого элемента некоторого класса.

Суждение отношения – суждение, в котором говорится о том, что определенные отношения имеют место (или не имеют места) между элементами двух, трех и т. д. предметов

Суждение о существовании – см. Суждение экзистенциальное

Суждение простое - суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката.

Суждение с отношением (реляционное) - суждение, в котором утверждается или отрицается наличие отношения между какими-либо предметами.

Суждение сложное - суждение, в котором несколько субъектов и предикатов.

Суждения совместимые - суждения, которые могут быть одновременно истинными.

Суждение существования - то же, что и экзистенциальное суждение.

Суждение частноотрицательное - суждение, в котором что-либо отрицается относительно части, подмножестве некоторого класса.

Суждение частноутвердителыюе - суждение, в котором нечто утверждается относительно части, подмножестве некоторого класса.

Суждение экзистенциальное - суждение, в котором утверждается или отрицается существование чего-либо.

Существенное свойство – свойство, являющееся основным для отличения предмета от похожих, но не совпадающих с ним.

Сходные понятия -понятия, у которых общая неглавная часть (не вид, а род)

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

Тезис - положение, которое обосновывается (как истинное для доказательства, как ложное для опровержения).

Термин – слово или понятие, с однозначно закреплённым за ним содержанием.

Транзитивность - свойство двуместных отношений, при котором, если отношение имеет место между первым и вторым предметом, а также вторым и третьим, то оно имеет место между первым и третьим.

Третий термин в силлогизме - средний термин: входит в обе посылки, но не входит в заключение.

Умозаключение - логическая форма мысли, в которой на основе одного или нескольких исходных суждений, именуе­мых посылками, получают новое суждение, именуемое заключением.

Умозаключение непосредственное - умозаключение па основе одной посылки.

Умозаключение опосредованное - умозаключение на основе нескольких посылок.

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

Условно-категорический силлогизм – силлогизм, одна из посылок которого является условным, другая категорическим суждением, и вывод которого является категорическим суждением

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

Форма мышления (логическая) - способ связи элементов содержания мысли.

Функтор – логический союз

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

Частное суждение - суждение, в котором содержание предиката относится только к части субъекта.

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

Эквивалентность суждений - это отношение между суждениями, у которых субъект и предикат выражены одни и теми же или равнозначными понятиями (хотя и разными словами), причем и количество и качество одни и те же.

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

Энтимема - простой силлогизм, в котором пропущено одно из трех составляющих его суждений.

Энумеративная индукция - то же, что и индукция через простое перечисление.

Эписиллогизм - простой силлогизм, следующий за другим простым в составе сложного силлогизма.

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

Эпихейрема - особая разновидность сложносокращенного силлогизма, в котором обе посылки - энтимемы, т. е, простые сокращенные силлогизмы.

Язык - система чувственно воспринимаемых знаков, используемая дл

Поделиться:

Воспользуйтесь поиском по сайту: