АЛЬТЕРНАТИВА (лат. alter — один из двух) — каждая из двух или нескольких исключающих друг друга возможностей, выбор между этими возможностями. Так, альтернативой является каждый из членов разделительного суждения (см.), составленного по формулам:
S есть или Ри или Р2;
S есть или Pj, или Р2, или Р3.
Напр., в разделительном суждении, изучаемом в формальной логике, — «Данная величина постоянная или переменная», две альтернативы: «Данная величина постоянная» и «Данная величина переменная», в разделительном суждении «Данный треугольник либо остроугольный, либо прямоугольный, либо тупоугольный» — три альтернативы. В таком разделительном суждении «или» имеет исключающий смысл: истинно или то, или другое, но не то и другое вместе.
В логике специально различают два значения союза «или»: 1) соединительно-разделительное значение, т. е. не исключающее (напр., «Советский шахматист Спасский победил американского шахматиста Решевского в отборочной встрече потому, что он много тренировался или хорошо знал предложенные противником варианты»). Оба псходных суждения («Спасский победил американского шахматиста Решевского потому, что много тренировался» и «Спасский победил американского шахматиста Решевского потому, что хорошо знал предложенные противником варианты»), входящие в данное сложное дизъюнктивное суждение, не исключают друг друга, так как победа могла быть результатом и тренировки, и знания вариантов шахматной игры; поэтому в данном случае нет альтернативы, т. е. нет необходимости выбирать что-то одно и отвергать другое; соединительно-разделительный союз «или» в математической логике обозначается символом \/ (см. Слабая дизъюнкция);
2) исключающее значение (напр., «это общество антагонистическое или неантагонистическое»). Исходные суждения («Это общество антагонистическое») и («Это общество неантагонистическое), входящие в сложное дизъюнктивно-исключающее суждение, альтернативны, т. е. исключают друг друга: если признано, что данное общество антагонистическое (напр., феодальное), то нельзя одновременно сказать, что это общество в данное время неантагоиистическое. Строго-разделительное дизъюнктивное суждение истинно тогда, когда лишь одно из двух входящих в него суждений истинное, а другое ложное. Строго-разделительный союз «или» в математической логике обозначается символом VV> a иногда символами -f- и у (см. Строгая дизъюнкция).
Альтернативные положения встречаются во всех науках. Высказывая свои предположения об историческом пути земледельческой общины, К. Маркс в третьем наброске ответа на письмо В. И. Засулич пишет: «Ее врожденный дуализм допускает альтернативу: либо собственническое начало одержит в ней верх над началом коллективным, либо же последнее одержит верх над первым» [709, стр. 419].
Вопрос о правильности выбора единственно возможной альтернативы, выражающей истинное положение вещей, можно решить при соблюдении следующих условий:
1) Должны быть перечислены все без исключения возможные альтернативы, как это сделано, напр., в таком случае: «данное арифметическое действие либо сложение, либо вычитание, либо умножение, либо деление». Поэтому, если нам известно, что данное арифметическое действие не является ни сложением, ни вычитанием, ни делением, то мы можем твердо решать, что ванное арифметическое действие есть умножение.
В том же случае, когда при перечислении возможностей упущена какая-либо альтернатива, то правильного вывода сделать невозможно, потому что в результате исключения останется не одна альтернатива, а несколько (одна оставшаяся после исключения плюс те альтернативы, которые не вошли в число упоминавшихся возможностей). А раз так, то возможно, что истинней будет та альтернатива, которая не вошла в перечисленные альтернативы и нам неизвестна. Так, напр., нельзя получить правильный вывод, если нам известно только следующее: «Данное суждение либо категорическое, либо разделительное». Если нам известно, что данное суждение не является категорическим, то отсюда было бы ошибочно сделать вывод, что данное суждение, следовательно, разделительное. Дело в том, что при перечислении возможных суждений упущено, что кроме категорических и разделительных суждений есть еще условное суждение. Поэтому, если нам известно, что данное суждение не является категорическим, то остаются еще две возможности.
2) Альтернативы должны исключать друг друга, как это сделано, напр., в таком случае: «Данный угол либо острый, либо прямой, либо тупой». Каждая альтернатива здесь исключает остальные альтернативы. Если данный угол прямой, то он не может быть одновременно ни острым, ни тупым. Но правильного вывода нельзя сделать, напр., в таком! случае: «данное число либо четное, либо нечетное, либо именованное». Если нам известно, что данное число именованное, то отсюда вовсе не следует, что оно, например, нечетное. Любое нечетное число может быть именованным. Больше того, каждое именованное число обязательно или четное, или нечетное, или дробное.
Когда соблюдены два указанных условия, можно заключать: 1) от ложности всех альтернатив, кроме одной, к истинности этой последней и 2) от истинности одной альтернативы к ложности всех остальных. От ложности одной альтернативы к истинности другой альтернативы можно заключать лишь тогда, когда имеется всего две альтернативы, между которыми имеется противоречащая противоположность, как например: белый и небелый, справедливый и несправедливый и т. п. Отсюда логически следует.что существуют две основные ошибки при выборе истинной альтернативы: 1) перечислены не все альтернативы, 2) перечисленные альтернативы перекрещиваются.
В обычном обиходе под альтернативой понимают необходимость выбора одного из двух или нескольких единственно возможных, исключающих друг друга решений.