Текст книги "Логика в научном мышлении"

Автор книги: Лёвин Гаврилович

сообщить о нарушении

Текущая страница: 1 (всего у книги 2 страниц)

В. Г. Левин

ЛОГИКА

в научном мышлении

Учебное пособие

для молодых ученых

Издательство Эдитус

Москва

УДК      16(078)

ББК      87.4я7

Л36

Печатается по решению редакционно-издательского

Совета Центра интеллектуальных ресурсов (Самара).

Рецензент:

д. филос. н., проф. Ковшов Евгений Михайлович

Левин В. Г.

Л36      Логика в научном мышлении. – М.: Эдитус, 2019. – 48 с.

ISBN 978-5-00149-146-0

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

УДК      16(078)

ББК      87.4я7

Научно-популярное издание

12+

В. Г. Левин

ЛОГИКА В НАУЧНОМ МЫШЛЕНИИ

в авторской редакции

ISBN 978-5-00149-146-0                                    © Лёвин В. Г., 2019

Введение

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

В дальнейшем расцвет логики как науки связан с общим подъемом науки и научного познания. Значительный вклад в развитие логики в ее связи с научным познанием внесли Ф. Бэкон, Г. В. Лейбниц, И. Кант, Г. В. Ф. Гегель, Дж. Ст. Милль и др. В частности, была разработана новая теория индукции, которая применялась для исследования гипотез и обнаружения причин явлений (Ф. Бэкон). Г. Лейбниц сформулировал программу создания универсального искусственного языка, формализующего процесс рассуждения. Он же сделал попытку арифметизации силлогистики, что стимулировало в XIX столетии создание алгебры логики (Дж. Буль). Затем Г. Фреге в своем труде «Исчисление понятий» создал первое исчисление высказываний в строго аксиоматической форме. В дальнейшем этот ученый осуществил реконструкцию теории дедукции на основе искусственного исчисления, что позволило выявить ход дедуктивного доказательства. По пути совмещения языка формальной логики и языка математики двигался Дж. Пеано и ученики его школы.

Создание математической логики увенчалось успехом после выхода трехтомного труда Б. Рассела и А. Уайтхеда «Principia Mathematica», опубликованного в 1910-1913 гг. В этом фундаментальном сочинении систематизировано дедуктивно-аксиоматическое построение классической логики, создана так называемая теория типов, предназначенная для устранения ряда парадоксов математической логики.

В XX в. языки исчислений были плодотворно применены для формализации не только арифметики, но и алгебры, анализа, геометрии и ряда других разделов математики. При этом оказалось, что логика является образцом научной строгости. Через математическую логику осуществился также переход к новым разделам науки, называемым метанаукой (См.: Клини С.К. Введение в метаматематику. М., 1957).

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

В XX столетии логика активно занимается исследованиями в области «машинного мышления». Здесь были заложены основы теории алгоритмов, сыгравшей выдающуюся роль в кибернетике (К. Гедель, А. Тьюринг, А. Черч, А. Марков, А. Колмогоров и др.). Логика оказалась применимой ко многим разделам технических наук: созданы алгебраическая теория релейно контактных схем, общая теория анализа и синтеза конечных автоматов и др.

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

1. Понятия, их образование и определение

Понятие – это одна из базовых форм абстрактного мышления. Собственно, абстрактное мышление часто называют понятийным. Формируя понятия в науке, с помощью понятий отражаются изучаемые предметы, явления процессы. Таковые берутся в обобщенной форме на основании некоторых существенных признаков.

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

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

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

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

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

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

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

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

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

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

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

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

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

С логической точки зрения научные понятия имеют содержание – т.е. систему признаков, на основе которой произведено обобщение и выделяют предметы в понятии. Так, содержанием понятия «четное число» является признак «делимость на 2». Содержание понятия на языке современной логики выражается предикатом. Если использовать язык логики предикатов, то содержание вышеуказанного понятия выражается формулой (R(x,2)). Отметим, что есть логическое и фактическое содержание понятия. Логическое содержание – это та информация, которую несет логическая форма понятия. По логическому содержанию можно установить, является ли понятие универсальным, т.е. выделен ли в нем весь универсум рассуждения (род); можно также установить, является ли понятие пустым в том смысле, что в нем не выделяется ни один предмет из универсума и т.п.

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

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

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

Символически объем понятия хА(х) может быть обозначен так: WxA(x) – класс х, таких, что х есть А. В общем случае Wx, ..., х А(х, ..., х_п) – множество п-ок предметов, находящихся в отношении А.

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

Многие теоретические операции в науке учитывают разнообразные логические отношения между самими научными понятиями. Так, вводя новое понятие в теорию, важно выявить его соотношение с другими понятиями установить эквивалентность, противоречивость, противоположность, независимость, совместимость и др. Устанавливая с помощью логических средств те или иные отношения, ученые получают материал для достаточно строгой квалификации понятийных перестроек в науке. Рождаются и четкие ответы на вопросы: С каким знанием совместима новая система понятий? Какому знанию она противоречит? Сохранилась ли эквивалентность прежней системы понятий? И т.д.

В практике научного мышления широкое применение находят операции обобщения и ограничения понятий. Здесь осуществляется опора на закон обратного отношения между объемом и содержанием понятия. В процессе обобщения осуществляется переход от данного понятия к понятию с большим объемом, но с меньшим содержанием. Так, цепь обобщений в биологии: млекопитающее животное – живой организм. В истории познания есть такая цепь обобщения: арифметика – математика – научная дисциплина.

Ограничение – это логическая операция, обратная обобщению. Ее осуществление ведет к нахождению понятия В, объем которого содержится в объеме родового понятия А (т.е. В становится подчиненным А). Пределом ограничения являются единичные понятия. Например, понятие «животное, производящее орудие труда» является ограничением понятия «животное».

Для науки важное значение имеет также операция деления понятий. Различают деления двух типов – мереологическое и таксономическое (С. Левсневский, Ю.В. Ивлев). Операция, при которой целое расчленяется на части, называется мереологическим делением.      Операция,

посредством которой объем понятия (род) распределяется по классам (видам) в соответствии с некоторым признаком, называется таксономическим делением (В. Ф Берков., И. И. Терлюкович). При этом род называют также делимым понятием, виды – членами деления, а признак – его основанием (иногда – точкой зрения, аспектом рассмотрения). Таксономическое деление может быть классическим и неклассическим. При классическом делении как род, так и виды – понятия с четким объемом, при неклассическом они представляют собой нечеткие, расплывчатые понятия, или типы. Члены неклассического деления могут находиться в отношении пересечения и некоторые из предметов оказываются в «спорной зоне». Например, деление людей по росту на высоких, средних и низких не исключает того, что некоторые попадут в рядом расположенные разряды (Берков В. Ф., Терлюкович).

При таксономическом делении возможна ситуация, когда в качестве основания деления выступает признак, присущий лишь части предметов некоторого класса. В таком случае предметы делятся на группы, которые этим признаком обладают, и которые им не обладают. Например, числа делятся на четные и нечетные. Такое деление называется дихотомическим (греч. dicho – на две части, tome – сечение). В отличие от него деление по признаку, которым обладают все предметы рода и который варьируется в видах называется политомическим (греч. polis – много). Дихотомическое деление является более простым. Оно используется, как правило, на начальной стадии изучения предметов, когда есть знания относительно части предметов, обозначенных делимым понятием.

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

1) деление должно быть соразмерным. Это значит, что при таксономическом делении объединение объемов членов деления должно совпадать с объемом делимого понятия. В случае мереологического деления соединение членов значений членов деления должно составить делимый предмет. Ошибочным является «неполное деление», а также «деление с излишними членами».

2) деление должно проводится по одному основанию (признаку). Этот признак нельзя менять в ходе деления. Ошибкой является «сбивчатое деление».

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

4) деление должно идти от родового понятия к видовым понятиям одного уровня. Ошибка – это «скачок в делении».

Особой разновидностью деления является классификация, которая часто выступает как специальная задача научного познания. Обычно это – многоступенчатое, разветвленное таксономическое деление. Здесь каждый из членов, полученный в процессе этой операции, становится предметом дальнейшего деления. Результатом Развернутой классификации является система («дерево») соподчиненных понятий: делимое понятие обозначает некоторый род, новые понятия – виды, видов (подвиды) и т. д. Но существуют и другие способы классификации (Субботин А. Л.)

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

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

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

Логика указывает способы и правила определения, систематизирует типичные ошибки, возникающие при нарушении этих правил. Выделение системы существенных признаков тех или иных предметов – задача конкретных наук, причем задача нетривиальная. Часто с определением соседствуют сходные приемы: остенсивное указание, разъяснение посредством примеров, описание, характеристика, сравнение.

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

Характеристика. Давая характеристику, раскрывают все стороны предмета, важные в каком-то отношении, но не обязательно отличающие предмет от других предметов. Выражения языка могут разъясняться также при помощи такого приема, как сравнение. Пример: «злость сходна с кратковременным помешательством».

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

В структуре определения выделяется три части: а) определяемое имя или выражение, его содержащее (обозначается знаком Dfd – сокращением от лат. defmiendum); б) выражение, раскрывающее, уточняющее или формирующее значение определяемого имени (обозначается знаком Dfn – сокращением лат. defmiens); в) дефинитивная связка, соотносящая Dfd и Dfn по их значению (обозначается знаком =). Формально структура определения представляется выражением: Dfd = Dfn. (В. Ф Берков, И. И. Терлюкович).

В логике различаются несколько вводов определений. Они подразделяются на явные и неявные. Явным называется определение, в котором определяемое понятие синтаксически совпадает с Dfd и непосредственно приравнивается к значению Dfn.

Среди явных определений наиболее известно классическое определение. Оно строится по схеме: «А есть В и С», где A Dfd, В и С – Dfn, «есть» – дефинитивная связка. При этом В является родовым именем но отношению к А (А В), а С фиксирует отличительный признак, которым А выделяется среди видов, подчиненных В. Классическое определение сводится к определению через род и видовое отличие. Есть также генетические (или индуктивные – в другой терминологии) определения, описывающие предметы в соответствии со способами их образования, возникновения, построения (Берков В., Терлюкович П.). Однако не всякому понятию определение дается в явном виде. В частности, многие математические понятия не определяются явно. Здесь используется, например, система аксиом.

Определения через отношение к противоположному. Эти определения широко распространены в философии. В них определяются сразу два термина путем указания отношения предметов, обозначаемых одним термином, к предметам, обозначаемым другим термином. Приведем пример: «причина – это явление, которое при определенных условиях обязательно вызывает другое явление, называемое следствием».

Контекстуальные определения. В контекстуальных определениях выясняется смысл контекста, в который входит определяемый термин. Например, «Предложение «р» истинно, если и только если р». Контекстуальные определения имеют форму: К(а) = Т, где а – определяемое выражение (в приведенном выше примере «быть истинным»), входящее в сложное выражение К(а). (Если в качестве дефиниендума рассматривать все выражение К(а), то это определение можно будет считать явным.).

Определение требует выполнения ряда правил:

1. Правило соразмерности. Dfd и Dfn должны быть равнообъемны. Выполнение этого правила позволяет взаимозаменять Dfd и Dfn в одних и тех же контекстах. Отклонение от правила соразмерности приводит к различного рода дефектам. Если объем Dfn больше объема Dfd, то говорят об ошибке «слишком широкого определения». В случаях, если объем Dfn меньше объема Dfd, имеет место ошибка «слишком узкого определения».

2. Правило запрета порочного круга. Запрещается Dfd определять через Dfn, который в свою очередь определен через Dfd. Допускаемое при этом нарушение называется «порочный круг в определении». Частным случаем «порочного круга» является тавтология – повторение Dfd в Dfn.

3. Правило однозначности. Каждому Dfn в точности должен соответствовать один единственный Dfd и наоборот. Это правило устраняет явления синонимии и омонимии, запрещает использование      метафор, художественных образов в качестве научного определения.

4. Правило минимальности. Dfn должен выражаться описательным (явным) способом, когда определяемые предметы вводятся лишь своими основными признаками. В противном случае определение будет избыточным.

5. Правило компетентности. В Dfn могут входить лишь выражения, значения которых уже приняты или ранее определены. Отклонение от этого правила называется «определением неизвестного через неизвестное» – ошибка, весьма частая в процессах обучения.

2. Вопросы. Проблемное поле науки

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

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

Традиционно грамматической формой выражения запроса мысли в языке выступает вопросительное предложение (но вопросительное предложение не всегда – вопрос (пример: риторический вопрос)). Иногда вопрос ставится не в форме вопрошания (экзаменационный вопрос, темы научной работы).

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

Итак, постановка вопроса побуждает к поиску новой информации и введет к формированию ответа на поставленный вопрос.

Вопрос имеет особую структуру:

1) в нем обозначена область неизвестного, нечто искомое;

2) в вопросе содержатся знания (часто в неявном виде – гипотетично) о предпосылках самого вопроса;

3) в вопросе представлено требование перехода от незнания к знанию, от уже данного – к искомому.

Логики выделяют разные по структуре и функциям вопросы. Среди них: Правильно и неправильно поставленные вопросы. Вопрос явно или неявно включает либо опирается на определенное исходное, или базисное знание, выступающее предпосылкой вопроса. Качество базисного знания существенно влияет на логический статус вопроса, определяя правильность и неправильность постановки вопроса. Правильно поставленным считается вопрос, предпосылка которого представляет собой истинное и непротиворечивое знание. Неправильно поставленным считается вопрос с ложным или противоречивым базисом (напр., "Какой цвет может иметь энергия: светлый, темный?) В том случае, когда неправильно поставленный вопрос умышленно используется с целью запутать отвечающего, такой вопрос квалифицируют как улавливающий, или "провокационный».

Вопросы могут быть закрытыми и открытыми. Открытые вопросы предполагают возможность неограниченного количества ответов. Закрытые вопросы – это вопросы, на которые возможно дать ограниченное количество ответов. Это учитывают составители разных опросных анкет.

По логической структуре и познавательной функции вопросы подразделяются на два основных типа: уточняющие и восполняющие вопросы.

Уточняющий, т. е. ли-вопрос – это вопрос, направленный на выявление истинности выраженного в нем суждения. Грамматический признак уточняющих вопросов – наличие в предложении частицы "ли". Схема ли-вопроса в символической записи выглядит следующим образом ?(р), где "?" – оператор вопроса, "р" -суждение, истинность которого выясняется. Явно выраженная в ли-вопросе предпосылка – это знание о предмете и знание о возможном признаке этого предмета. Неизвестным в ли-вопросе является принадлежность предмету указанного признака. Область поиска ответа в ли-вопросе ограничена выбором одной из альтернатив: р v -р. Отсюда другое название этого вопроса – закрытый или альтернативный вопрос.

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

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

Постановка вопроса и поиск информации для конструирования ответа составляют особую, присущую любому познавательному процессу вопросно-ответную логическую форму развития знаний. Она всегда была направляющим началом в развитии естествознания и техники. Родоначальник индуктивной логики Фрэнсис Бэкон говорил, что мы должны уметь задавать вопросы природе. Таким же путем приобретается исходная информация в социологии, экономике, правоведении, медицине и других областях знания.

Ответ – это суждение или высказывание, субъектом которого является смысловое понятие предпосылки вопроса Правильный ответ – по содержанию ясный, понятный, истинный; по форме – достаточный, исчерпывающий, краткий. По содержанию и структуре ответ должен строиться в соответствии с поставленным вопросом. Лишь в этом случае ответ расценивается как релевантный, т.е. как ответ по существу поставленного вопроса, выполняющий свое основное назначение – уточнить неясную или неопределенную и доставить новую информацию. Если в качестве ответа приводят хотя и истинные, но содержательно не связанные с вопросом суждения, то их расценивают как ответы не по существу вопроса и обычно исключают из рассмотрения.

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

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

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

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

Полный ответ включает информацию по всем элементам или составным частям вопроса.

Неполный ответ включает информацию относительно лишь отдельных элементов или составных частей вопроса (Ю.В.Ивлев).

Логическая зависимость между вопросом и ответом означает, что качество ответа во многом определяется качеством вопроса. Не случайно в полемике действует правило: каков вопрос, таков ответ. Это значит, что на расплывчатый и двусмысленный вопрос трудно получить ясный ответ; если хочешь получить точный и определенный ответ, то сформулируй точный и определенный вопрос.

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