Логика. Учебное пособие
.pdf
Логическиеосновыаргументации
смысленных фраз. Эта уловка особенно действует тогда, когда противник сознает свою слабость и привык делать вид, что все ему понятно, слушая то, что на самом деле не понимает. Дан- ная уловка неприменима к тем, кто относится к собеседнику серьезно и вдумчиво.
Тесты
1. Целью аргументации является:
а) обоснование истинности или приемлемости какого-то положения;
б) обоснование приемленности какого-то высказывания; в) обоснование истинности какого-либо суждения.
2.Структура аргументации состоит из аргументов:
а) тезиса, содержания; б) вывода, формы; в) тезиса, формы.
3.Аргументами могут быть:
а) рассуждения; б) высказывания; в) понятия.
4.Основные виды аргументации:
а) генетическая; б) индукционная; в) дедукционная; г) по существу.
5.Аргументация может быть построена по формам:
а) правдоподобных рассуждений; б) дедуктивных умозаключений; в) индуктивных представлений.
131
Логика
6.Доказательная аргументация – это:
а) опровержение; б) доказательство;
в) доказательство и представление.
7.Основные виды косвенной аргументации:
а) от противного; б) разделительная; в) ограничительная; г) обусловливающая.
8.Виды опровержений:
а) полное; б) прямое; в) частичное; г) косвенное.
9.Основные стороны диалектического спора:
а) защитник; б) оппонент; в) противник; г) пропонент.
10.Основные приемы тактики аргументации:
а) общеметодологические; б) логические; в) психологические;
г) диалектические; д) риторические; е) физиологические; ж) физические.
132
Словарь логических терминов
Словарь логических терминов
Абдукция (от лат. abducere – приведение) – форма умо- заключения, в котором из исходных суждений (описывающих свойства каких-то явлений) выбирается новое суждение (гипо- теза), которое наилучшим образом объясняет или оценивает эти явления.
Абсурд (от лат. absurdum – нелепый) – бессмыслица, не- лепость, привести к абсурду (reduction ad absurdum) – значит доказать противоречивость какого-либо положения или его ложность, и таким образом его опровергнуть.
Автонимия (от греч. autos-сам, опота — имя) – исполь- зование языковых выражений для обозначения их самих (знак означает сам себя).
Аксиома (от греч. axioma – значимое, бесспорное, обще- принятое положение) – истинное суждение, которое при де- дуктивном построении какой-либо теории принимается без доказательств в качестве исходного положения и, которое вхо- дит в основу доказательства, всех других положений данной теории.
Алгоритм (от лат. algoritmi – предписание, правило, ре- цепт) – точное и легко понимаемое описание (предписание, правило) последовательного (шаг за шагом) единообразного решения той или иной задачи (принятие того или иного ре- шения в научной и практической деятельности.
Антецедент (лат. antecedens – предшествующий, преды- дущий) – первый член импликации, которому предписано слово «если». «Если идёт дождь, то асфальт мокрый».
Алогизм (от греч. a –не + logos – разум) – нелогичность хода мысли, рассуждения, нарушающий определённые за- конченные правила логики и, поэтому всегда содержащий в себе логическую ошибку.
Антиномия (от лат. anti-против, nomos – закон, проти- воречие в законе) – противоположность между двумя сужде- ниями, взаимно-исключающими друг друга, но в то же время каждое может быть признано правильным.
133
Логика
Верификация (от лат. verus – истинный + facio – делаю)
– принцип проверки, установления осмысленности, т.е. воз- можность данного высказывания (утверждения) оказаться ис- тинным или ложным.
Выборка – конечный набор прецедентов (объектов, слу- чаев, событий), некоторым способом выбранных из множества всех возможных прецедентов, называемого генеральной сово- купностью.
Демонстрация (от лат. demonstration – показывание) –
логическая форма рассуждения, в процессе которого из аргу- ментов выводится истинность или ложность тезиса.
Дизъюнкция (от лат. disjunction – разобщение, разделе- ние, различие) – логическая операция, выражающаяся в со- единении двух или более высказываний с помощью логиче- ского союза «или» в новое, сложное высказывание.
Дилемма (от греч. dia – дважды + lemma – предсказание или двойственное предположение) – условно-разделительное умозаключение, в котором разделительное суждение в форме альтернативы утверждает или основания, или следствия ус- ловных суждений.
Дефиниция (от лат. defeno – определение) – краткое ло- гическое определение, устанавливающее существенные отли- чительные признаки предмета или значение понятий – его содержание и границы.
Дефиниедум – (Dfd) – определяемое понятие в формуле классического определения (Dfd=dfn); понятие, содержание которого требуется раскрыть.
Дефиниенс – (dfn) – понятие или набор понятий с из- вестным значением, выражающим существенные признаки определяемого понятия.
Дихотомия (от греч. dicha и to me – разделяю на две час- ти) – деление объёма понятия на исчерпывающие объём де- лимого понятия.
Закон мышления – это внутренняя, существенная ус- тойчивая, необходимая, повторяющаяся связь между элемен- тами мысли и самими мыслями.
134
Словарь логических терминов
Знак – объект, используемый интерпретатором в про- цессе познания или общения в качестве представления како- го-либо другого объекта.
Значение – содержание, связываемое с тем или иным языковым выражением.
Знаки-индексы – связаны с представляемыми ими объ- ектами как следствия с причинами.
Знаки-образы – знаки, которые сами по себе несут ин- формацию о представляемых ими объектах (карта местности, картина, чертеж), поскольку находится с обозначаемыми объ- ектами в отношении подобия.
Знаки – символы – не имеют сходства с обозначаемыми предметами, а связаны только посредством мысли.
Импликация (от лат. implicite – тесно связывать) – логи- ческая операция, связывающая два высказывания в сложное высказывание с помощью логической связки «если..., то…»
Квантор – это общее название для логических операций, ограничивающих область истинности какого-либо предиката.
Классификация (от лат. casus-разряд, facio – делаю) –
распределение предметов на классы согласно наиболее суще- ствующим предметам данного рода.
Консеквент – второй член импликации, который является отрицанием антецедента, т.е. это вывод, следствие (высказыва- ние, идущее послеслова «то» вконструкции«если.., то…»)
Контрадикторность (от лат. contradictories – противо-
речие) – отношения между противоречивыми суждениями, которые одновременно не могут быть истинными, ни лож- ными; из двух контрадикторных суждений одно-истинно, другое-ложно.
Контрарность (от лат. contrarius – противоположный) – отношения между противными или противоположными суж- дениями, которые одновременно не могут быть истинными, но могут быть ложными.
Конъюнкция (от лат. conjungo – соединение) – логиче- ская операция, соединяющая два или более высказываний с помощью союза «и».
135
Логика
Логика (от греч. logos — слово, понятие, рассуждение, разум) – нормативная наука о формах и приемах интеллекту- альной познавательной деятельности, осуществляемой с по- мощью языка.
Модальность суждения (от лат. modus – мера, образ,
способ) – явно или неявно выраженная в суждении дополни- тельная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристик.
Модус (от лат. modus – мера, образ, способ) – свойство предмета, присущее ему только в некоторых состояниях и за- висящее от окружения предмета и тех связей, в которых он находится.
Модус поненс – правило вывода в исчислении высказы- ваний. Правило вывода позволяет от утверждения условного высказывания и утверждения его основания (антецедент) пе- рейти к утверждению следствия (консеквента) этого высказы- вания.
Модус толленс – рассуждение от противного, переход от утверждения условного высказывания и отрицание его след- ствия (консеквента) к отрицанию основания (антецедента) данного высказывания.
Обобщение – мысленное объединение отдельных пред- метов в некотором пространстве.
Обоснованность – такое качество правильного мышле- ния, которое свидетельствует, что все мысли опираются на другие мысли, истинность которых доказана.
Обращение – непосредственное дедуктивное умозаклю- чение, в котором происходит перемена мест субъекта и пре- диката при сохранении качества суждения и распределённо- сти терминов в суждениях.
Объединение – логическая операция, позволяющая из исходных классов образовывать новый класс (множество), в который войдут все элементы из исходных классов.
Объём понятия – совокупность (множество) предметов, которые обобщаются мысленно в понятии.
136
Словарь логических терминов
Ограничение (понятий) – логическая операция перехо- да от родового понятия к видовому путём прибавления к со- держанию родового понятия видообразующего признака.
Омонимы (от греч. homos – одинаковый, onoma – имя) – слова, совпадающие по звучанию и написано, но выражаю- щие различные понятия.
Определение (понятий) – логическая операция, кото- рая раскрывает содержание понятия либо устанавливает зна- чение термина.
Определённость – качество правильного мышления вос- производить в структуре мысли качественную определённость самих предметов иявлений, их относительную устойчивость.
Опровержение (от лат. refutation) – это логическая опе- рация, в процессе которой обосновывается ложность какой- либо мысли с помощью других, истинных и связанных и кон- кретной практикой, доказательство ложности или несостоя- тельность какого-либо тезиса.
Основание – часть условного суждения, в которой ото- бражается условие, от которого зависит истинность следствия.
Ответ – новое суждение, уточняющее или дополняющее в соответствии с поставленными вопросом исходное задание.
Органон (от греч. organon – инструмент, метод): 1) об- щее название логических категорий Аристотеля и вообще на- учной системы;2) сочинение, в котором изложена сущность какой-либо науки.
Парадигма (от греч. paradeigma — пример, образец) – образец, модель решения исследовательских задач, опреде- ляющая то или иное видение мира. Смена парадигмы рас- сматривается как научная революция.
Парадокс (от греч. paradoxos) – неразрешимые противоре- чия междудвумяодинаково обоснованными утверждениями.
Паронимы (от пара и греч. ónyma — имя, название, сло- во) – близкие по звучанию однокоренные слова, имеющие разное значение или совпадающие в нём лишь частично.
Полемика – спор с целью доказать истинность своего те- зиса и опровергнуть тезис оппонента.
137
Логика
Полисиллогизм – сложный категорический силлогизм, который стоит из двух и более простых силлогизмов, опреде- лённым образом связанных между собой, так что заключение каждого последующего силлогизма становится посылкой дру- гого силлогизма.
Понятие (представление) – мысль, в которой на основа- нии некоторого выделяются из универсума и обобщаются в классы предметы, обладающие данным признаком.
Последовательность – результат последовательного вы- бора элементов заданного множества.
Постулат (от лат. – требование) –1) положение (сужде- ние, утверждение), принимаемое в рамках какой-либо науч- ной теории за истинное и в силу очевидности и поэтому иг- рающее в данной теории роль аксиомы; 2) свойство, утвер- ждение, принимаемое без доказательства.
Посылка – исходное высказывание, из которого выво- дится заключение: 1) большая посылка – содержит предикат заключения; 2) меньшая посылка – содержит субъект заклю- чения.
Правильность мысли – 1) есть необходимое, но недос- таточное условие для установления ее истинности. Чтобы быть истинной, мысль должна соответствовать действительно- сти, верно отражать ее; 2) соответствие мысли некоторым пра- вилам ее построения.
Прагматика (от др. греч. – «дело, действие») – раздел се- миотики, изучающий отношения между знаковыми системами и теми, ктовоспринимает, интерпретируетииспользуетих.
Превращение – непосредственное умозаключение, в ко- тором субъект заключения совпадает с субъектом посылки, а предикат заключения является термином, противоречащим предикату посылки.
Предикат (от лат. – сказуемое) – термин в простом атри- бутивном высказывании, играющий роль логического сказуе- мого. То, что говорится о субъекте.
Предмет – субъект, то на что направлено наше внима- ние, интеллект, разум.
138
Словарь логических терминов
Представление – наглядный образ предмета, воспроиз- веденный по памяти в воображении.
Признаки предмета – внешние и внутренние свойства предмета.
Проблема (от греч. – преграда, трудность, задача) – во- прос или целостный комплекс вопросов, возникших в ходе по- знания. Противоречивая ситуация, в которой имеются проти- воположные позиции при объяснении одних и тех же объек- тов, явлений и отношений между ними.
Пропозициональность – (логизированность) истин- ность или ложность высказываний.
Противопоставление – логическая операция, действие, в результате которого меняется качество исходного суждения (связка меняется на противную), меняется местами субъект и предикат его, и при этом субъект (или предикат) выводного суждения должен противоречить предикату (или субъекту) исходного.
Равнообъемность – отношение между двумя непустыми понятиями, объемы которых совпадают (они взаимно вклю- чаются друг в друга).
Распределенность – характеристика терминов в про- стых категорических суждениях (термина – субъекта и терми- на-предиката) с точки зрения их объема: термин распределен если он берется в полном объеме, и не распределен – если он рассматривается в части объема предметов, которые в нем мыслятся.
Релевантность (от лат. – поднимать, облегчать) – связь между высказываниями, выражающая изменение вероятности одного из них при учете второго: 1) позитивная – связь между двумя высказываниями, при которой вероятность первого по- вышается при учете второго; 2) негативная–связь между двумя высказываниями, при которой вероятность первого понижа- ется при учете второго.
Семантика (от греч. – правила приписывания значений)
– наука, исследующая отношения знаков с представляемыми
139
Логика
ими объектом (правила придания смысла и значения пра- вильно построенным выражениям языка).
Семиозис (от. греч. – знаковая ситуация) состоит из трех частей: знак, его значение и интерпретатор.
Семиотика (от греч. – знак, признак) – наука о знаках. Общая теория знаковых систем, к числу которых относятся как естественные языки, так и специальные языки определен- ных наук, искусственные языки и др.
Силлогизм (от греч. – рассуждение) – лог. умозаключе- ние, состоящее из двух суждений (посылок), из которых сле- дует третье суждение заключение, вывод
Синонимы (от греч. – одноимённый) – слова указываю- щие на одно и то же понятие и имеющие одинаковое лексиче- ское значение, различаются своей экспрессивной окрашенно- стью, закрепленным за определенным стилем.
Синтаксис (от др. греч. – построение, порядок, составле- ние) – правила комбинирования знаков. Раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.
Символическая логика – 1) современный этап развития формальной логики, направление в математической логике, изучающее формальные системы; 2) логика, изучаемая по- средством построения формализованных языков (главн. – символы).
Слово – одна из основных структурных единиц языка. Обозначение, имя объекта, его свойство, его поведение.
Совместимость – вид отношения между понятиями и суждениями. Два понятия называются совместимыми, если их объемы совпадают полностью или частично, т.е. имеют хотя бы один общий элемент. Совместимыми называют такие суж- дения, которые могут быть вместе истинными, т.е. истинность одного не исключает истинности другого.
Соподчинение – отношение между двумя непустыми понятиями, при котором они не имеют общих элементов объ- ема и не исчерпывают в сумме универсум.
140