Логическая структура суждений, выражающих предпосылки вопроса, подчёркивает специфику того типа, к которому данный вопрос относится. Обычно различают два типа вопросов. Вопросы первого типа выражаются предложениями с вопросительной частицей «ли» или просто имеющими знак вопроса, которые относятся ко всему предложению; например: «Является ли Н. Коперник основателем гелиоцентрической картины мира?». К вопросам второго типа относятся предложения, начинающиеся с вопросительных слов «кто», «что», «где», «когда», «почему» и т.д.. Например: «Кто является основателем гелиоцентрической картины мира?». Видно, что вопросы второго типа имеют лишь фрагмент осмысленного предложения.
Предпосылки вопросов в известной мере определяется правильностью их постановки. Для правильной постановки вопросов первого типа требуется, чтобы позитивные и негативные предпосылки их были логически нетипичными предложениями. При ложной позитивной предпосылке в классе возможных ответов на вопрос не содержится ни одного действительного ответа. В этом случае нарушается известный в традиционной логике закон исключённого третьего. В случае ложной негативной предпосылке не выполняется противоречия, что лишает вопрос всякого смысла. Например, вопрос «Бросил ли Петров курить?» имеет ложные предпосылки (позитивную и негативную) в том случае, если Петров никогда не курил; данные вопрос не имеет ни одного действительного ответа и является неправильно построенным вопросом.
Позитивные и негативные предпосылки вопросов второго типа не являются логическими тавтологиями, но для правильной постановки их также требуется истинность их предпосылок. В случае ложной позитивной предпосылки эти вопросы в классе своих возможных элементарных ответов не имеют ни одного действительного ответа. Отрицание любого элементарного ответа на такого рода вопрос будет его действительным ответом, вопрос в этом случае является излишним, так как его требование не имеет познавательного значения.
Пример: вопрос «Кто из людей был на Марсе?» имеет ложную позитивную предпосылку («Кто – то из людей бы на Марсе»), но истинную негативную посылку («кто – то из людей не был на Марсе»). Действительным ответом на этот вопрос является отрицание любого возможного элементарного ответа, которое будет логическим следствием негативного исчерпывающего ответа, выражаемого предложением «Никто из людей не был на Марсе». вопрос «В каком море вода солёная» имеет истинную позитивную предпосылку («В каком–то море вода солённая») и ложную негативную («В каком–то море вода несолёная»). Любой возможный элементарный ответ на данный вопрос является одновременно его действительным ответом. Как видим, решение этого вопроса является простым.
Требование истинности предпосылок не является единственным для правильной постановки вопросов. Вопрос, иногда, может быть правильно поставлен даже если и позитивная, и негативная предпосылки оказываются ложными. Допустим, на уроке учитель спрашивает учеников: «Кто выполнил домашнее задание?». Он может получить такой ответ: «Все выполнили домашнее задание» или «Никто не выполнил домашнее задание». При ложной негативной предпосылке истинным является первый ответ, при ложной позитивной предпосылке истинным оказывается второй ответ. В каждом из наших случаев этот вопрос не является неправильно поставленным.
Сама постановка вопросов предполагает более или менее очерчённую область потока ответов. Точность поиска ответа определяется логической корректностью постановка вопроса. Кроме указанной области поиска предполагаются также критерии, которым должны удовлетворять ответы. В соответствии с ними из множества возможных ответов выбираются те, которые являются истинными ответами на данный вопрос. Следовательно, постановка вопросов включает в себя и определение критериев обоснования ответов. Правильно постановленный вопрос означает, что он корректно сформулирован с логической точки зрения и что, по крайней мере, один какой – либо возможный ответ может быть обоснован надлежащим образом как ответ истинный. Требование надлежащей формулировки вопроса является требованием логического порядка; требование обоснованности ответов является требованием методологического порядка.
При формировании вопросов могут иметь место следующие логические ошибки.
Во-первых, выражение вопроса может не соответствовать синтаксическим и семантическим правилам языка; например: «По чём ты получил пятёрку на уроке?». Во-вторых, формулировка вопроса может быть неточной, неясной или многозначной ввиду того, что в вопросе встречаются неопределённые термины, неточные или случайные слова, например: «Чем определяется бесконечное количество атомов природе?». В-третьих, корректная формулировка вопроса означает, что все его составные элементы точно указаны. Поэтому некорректно сформулированным является широко распространённый вопрос «кто есть кто?». Не являются корректными с логической точки зрения и так называемые риторические вопросы, не содержащие в себе требования ответа; например: «Кто же не знает, что Париж – что столица Франции?».
В научном познании вопросы всегда формулируются в рамках тех или иных знаний. Истинность этих знаний составляет важнейшее условие для правильной постановки вопросов. Предполагаемая вопросов программа исследования должна быть направлена на изучение реальных объектов, что исключает априоризм в постановке и решении научных вопроса, подмену научного исследования спекулятивными рассуждениями. Спекулятивные вопросы оторваны, как правило, от реальной практики и научного познания. В силу направленности на несуществующие «предельные» основания объективного мира и человеческого познания ни один ответ на спекулятивный (или метафизический) вопрос не может быть обоснован надлежащим образом в качестве истинного ответа.
При анализе простых категорических суждений в них необходимо различать как качественную, так и количественную стороны.
С точки зрения качества связки суждения делятся на две группы: утвердительные и отрицательные.
В утвердительных суждениях логическая связка приписывает предикат суждения субъекту. Например, в суждении «Высокая степень квалификации специалиста требует его основательной предварительной подготовки» к субъекту суждения (S) «высокая степень квалификации специалиста» с помощью утвердительной связки (не высказанной в языке) приписывают предикат суждения, (Р) – «требует его основательной предварительной подготовки».
В отрицательных суждениях логическая связка отделяет предикат от субъекта суждения. Например: «Рыбы не являются млекопитающими». В этом суждении связка отрицательная, так как признак «млекопитающие», составляющий предикат суждения (Р), несовместим с понятием «рыбы» (S).
Логическая связка суждения считается отрицательной только в тех случаях, когда отрицательная частица «не» стоит перед связкой. Если же эта частица стоит после связки, то она входит в состав предиката, а суждение относится к разряду утвердительных. Например: «Творчество этого автора страдает безвкусицей» или «Мировоззрение Л.Н. Толстого содержит идею непротивления злу», и т.д.
Оба вида суждения не должны метафизически противопоставляться: с логической точки зрения любое из них может быть преобразовано в свою противоположность. Например: «Рыбы являются не млекопитающими существами» (это уже утвердительное суждение).
По количеству категорические суждения делятся на единичные, частные и общие. За критерий деления при этом берётся предмет мысли, который по объёму содержит или единичные явления, или часть явлений какого – либо класса, или все явления данного класса.
Единичные суждения – это те, объём субъекта которых содержит только один элемент (индивидуальная вещь, явление, событие, и т.д.). Например: «Харьков – первая столица Украины», «Д.И. Менделеев – основатель периодической системы элементов», «Саша – студент первого курса» и т.д..
Частные суждения характеризуются тем, что содержание предиката относится только к части объёма субъекта. Например: «Некоторые из нас автолюбители», «Большинство людей предпочитают развлечения» и т.д.. Частные суждения включают в себя «некоторые», «часть», «большинство», «меньшинство» и т.д.. Те частные суждения, где количественная сторона известна лишь частично (по крайней мере, некоторые), называются неопределёнными частными суждениями. Н6апример, мы опросили часть студентов группы и теперь можем сказать «некоторые студенты этой группы занимаются спортом». Под словом «некоторые» мы здесь понимаем «по крайней мере некоторые, а может быть и все». Другие частные суждения , где слово «некоторые» употребляется в точно определённом смысле, называется определёнными частными суждениями. Например: «Некоторые студенты группы являются победителями олимпиады», или «Некоторые государства являются монархиями» и так далее..
Более важной для познания формой суждения является общее суждение, где объём субъекта относится ко всем предметам данного класса. Например: «Все тела состоят из атомов», или «Все люди смертны», и так далее.. Во всех общих суждениях предикат относится (утвердительная или отрицательная) ко всем предметам того или иного класса.
В логике принято классифицировать категорические суждения по их объединённому признаку, учитывающему взаимосвязь как качественной, так и количественной стороны суждения.
В объединённой классификации суждения делятся на четыре вида.
1. Общеутвердительные суждения. Это суждение является общим по количеству и утвердительным по качеству. Символически эти суждения записываются следующим образом: «Все S есть P», где количественная («все») и качественная («есть») стороны суждения явно выражены в языке. Например: «Все звёзды светятся собственным светом», «Все птицы имеют крылья», «Все студенты сдают экзамены», и т. п.. Сокращённо общеутвердительные суждения обозначаются буквой А (первой буквой от латинского слова affirto, что в переводе означает утверждаю).