СЛОВАРЬ ЛОГИЧЕСКИХ терминов

1. Абдукция(от лат. abducere – приведение) – форма умозаключения, в котором из исходных суждений (описывающих свойства каких-то явлений) выбирается новое суждение (гипотеза), которое наилучшим образом объясняет или оценивает эти явления.

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

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

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

5. Алгоритм (от лат. algoritmi – предписание, правило, рецепт) – точное и легко понимаемое описание (предписание, правило) последовательного (шаг за шагом) единообразного решения той или иной задачи (принятие того или иного решения в научной и практической деятельности.

6. Антецедент ( лат. antecedens – предшествующий, предыдущий) – первый член импликации, которому предписано слово «если». «Если идёт дождь, то асфальт мокрый».

7. Алогизм (от греч. a –не + logos – разум) – нелогичность хода мысли, рассуждения, нарушающий определённые законченные правила логики и, поэтому всегда содержащий в себе логическую ошибку.

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

В

1. Верификация (от лат. verus – истинный + facio – делаю) – принцип проверки, установления осмысленности, т.е. возможность данного высказывания (утверждения) оказаться истинным или ложным.

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

Д

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

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

3. Дилемма(от греч. dia – дважды + lemma - предсказание или двойственное предположение) – условно-разделительное умозаключение, в котором разделительное суждение в форме альтернативы утверждает или основания, или следствия условных суждений.

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

5. Дефиниедум – (Dfd)– определяемое понятие в формуле классического

определения (Dfd=dfn); понятие, содержание которого требуется раскрыть.

6. Дефиниенс– (dfn) – понятие или набор понятий с известным значением,

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

7. Дихотомия(от греч. dicha и to me – разделяю на две части) – деление объёма

понятия на исчерпывающие объём делимого понятия.

З

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

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

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

4. Знаки-индексы – связаны с представляемыми ими объектами как следствия с причинами.

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

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

И

1. Импликация (от лат. implicite – тесно связывать) – логическая операция, связывающая два высказывания в сложное высказывание с помощью логической связки «если..., то…»

К

1. Квантор – это общее название для логических операций, ограничивающих область истинности какого-либо предиката.

2. Классификация (от лат. casus-разряд, facio – делаю) – распределение предметов на классы согласно наиболее существующим предметам данного рода.

3. Консеквент– второй член импликации, который является отрицанием антецедента, то есть это вывод, следствие (высказывание, идущее после слова «то» в конструкции «если.., то…»)

4. Контрадикторность (от лат. contradictories – противоречие) – отношения между противоречивыми суждениями, которые одновременно не могут быть истинными, ни ложными; из 2-х контрадикторных суждений одно-истинно, другое-ложно.

5. Контрарность (от лат. contrarius – противоположный) – отношения между противными или противоположными суждениями, которые одновременно не могут быть истинными, но могут быть ложными.

6. Конъюнкция (от лат. conjungo – соединение) – логическая операция, соединяющая два или более высказываний с помощью союза «и».

Л

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

М

1. Модальность суждения (от лат. modus – мера, образ, способ) – явно или неявно выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристик.

2. Модус (от лат. modus – мера, образ, способ) – свойство предмета, присущее ему только в некоторых состояниях и зависящее от окружения предмета и тех связей, в которых он находится.

3. Модус поненс– правило вывода в исчислении высказываний. Правило вывода позволяет от утверждения условного высказывания и утверждения его основания (антецедент) перейти к утверждению следствия (консеквента) этого высказывания.

4. Модус толленс – рассуждение от противного, переход от утверждения условного высказывания и отрицание его следствия (консеквента) к отрицанию основания (антецедента) данного высказывания.

О

1. Обобщение – мысленное объединение отдельных предметов в некотором пространстве.

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

3. Обращение – непосредственное дедуктивное умозаключение, в котором происходит перемена мест субъекта и предиката при сохранении качества суждения и распределённости терминов в суждениях.

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

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

6. Ограничение (понятий) – логическая операция перехода от родового понятия к видовому путём прибавления к содержанию родового понятия видообразующего признака.

7. Омонимы(от греч. homos – одинаковый, onoma – имя) – слова, совпадающие по звучанию и написано, но выражающие различные понятия.

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

9. Определённость – качество правильного мышления воспроизводить в структуре мысли качественную определённость самих предметов и явлений, их относительную устойчивость.

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

11. Основание – часть условного суждения, в которой отображается условие, от которого зависит истинность следствия.

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

13. Органон (от греч. organon - инструмент, метод): 1. Общее название логических категорий Аристотеля и вообще научной системы. 2. Сочинение, в котором изложена сущность какой-либо науки.

П

1. Парадигма (от греч. paradeigma — пример, образец) – образец, модель решения исследовательских задач, определяющая то или иное видение мира. Смена парадигмы рассматривается как научная революция.

2. Парадокс (от греч. paradoxos) – неразрешимые противоречия между двумя одинаково обоснованными утверждениями.

3. Паронимы (от пара и греч. ónyma — имя, название, слово) – близкие по звучанию однокоренные слова, имеющие разное значение или совпадающие в нём лишь частично.

4. Полемика – спор с целью доказать истинность своего тезиса и опровергнуть тезис оппонента.

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

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

7. Последовательность- результат последовательного выбора элементов заданного множества.

8. Постулат(от лат.- требование) –1) положение (суждение, утверждение), принимаемое в рамках какой-либо научной теории за истинное и в силу очевидности и поэтому играющее в данной теории роль аксиомы; 2) свойство, утверждение, принимаемое без доказательства.

9. Посылка – исходное высказывание, из которого выводится заключение.

1. Большая посылка - содержит предикат заключения.

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

10. Правильность мысли- 1)есть необходимое, но недостаточное условие для установления ее истинности. Чтобы быть истинной, мысль должна соответствовать действительности, верно отражать ее. 2) Соответствие мысли некоторым правилам ее построения.

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

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

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

14. Предмет - субъект, то на что направлено наше внимание, интеллект, разум.

15. Представление - наглядный образ предмета, воспроизведенный по памяти в воображении.

16. Признаки предмета - внешние и внутренние свойства предмета.

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

18. Пропозициональность - (логизированность) истинность или ложность высказываний.

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

меняется качество исходного суждения (связка меняется на противную),

меняется местами субъект и предикат его, и при этом субъект (или предикат)

выводного суждения должен противоречить предикату (или субъекту)

исходного.

Р

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

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

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

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

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

С

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

2. Семиозис (от. греч.- знаковая ситуация) состоит из трех частей: знак, его значение и интерпретатор.

3. Семиотика (от греч. - знак, признак) – наука о знаках. Общая теория знаковых систем, к числу которых относятся как естественные языки, так и специальные языки конкретных наук, искусственные языки и т.д.

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

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

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

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

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

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

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

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

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

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

14. Субконтрарность ( частичная противоположность) – совместимость по истинности, но несовместимость по ложности.

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

Т

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

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

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

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

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

6. Умозаключение - 1) умственное действие, связывающее в ряд «посылок» и «следствий» мысли различного содержания. 2) форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение. 3) способ получения нового знания, на основе уже имеющихся.

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

Ф

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

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

Э

1. Эристика (от греч. – искусство спорить) – искусство спора, диспута, полемики, разрабатывалась софистами.

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

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

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

5. Эпистемология - (от греч. - знание и слово, учение) - теория познания, изучение закономерностей и возможностей познания, отношение знания.

Я

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

2. Язык - система знаков, предназначенная для фиксирования, хранения, передачи и переработки информации.

ЛИТЕРАТУРА

1. Абачиев С.К. Формальная логика с элементами теории познания. Ростов н/Д.: Феникс, 2012.

2. Афанасьева О.В. Логика: учеб. пособие. М.: Проспект, 2009.

3. Бочаров В.А. Основы логики. М.: Космополис, 1994.

4. Вышивайло Е.К., Дегтярев М.Г. Логика: учеб. для вузов. М.: ВЛАДОС, 2010.

5. Гетманова А.Д. Логика. Словарь и задачник. М., 1998.

6. Горбатов В.В. Логика. М., 2008.

7. Ивин А.А. Логика. М.: Знание, 1997.

8. Ивлев Ю.В. Логика для юристов. М.: Дело, 2005.

9. Ивлев Ю.В. Логика. Сборник упражнений. М.: Кн. дом «Университет», 1998.

10.Ивлева М.И. Логика: учеб. пособие / М.И. Ивлева. 2-е изд. перераб. и доп. М.: Маркет ДС, 2008.

11.Кириллов В.И., Орлов Г.А., Фокина Н.И. Упражнения по логике: учеб. пособие / под ред. В.И. Кириллова. 6-е изд., перераб. и доп. М.: Проспект, 2011.

12.Кириллов В.И., Старченко А.А. Логика. Учебник. М.: Проспект,2011.

13.Кобзарь В.И. Логика в вопросах и ответах: учеб. пособие / В.И. Кобзарь. М.: Проспект, 2010.

14.Хоменко И.В. Логика: Конспект лекций / И.В. Хоменко. М.: Издательство Юрайт, 2010.