1.1. ФУНДАМЕНТАЛЬНЫЕ ЛОГИЧЕСКИЕ ПОНЯТИЯ: ОТНОШЕНИЕ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ, ИСТИНА, ПРАВИЛЬНОСТЬ
Слово «логика» в русском языке, как и в других, многозначно. Оно происходит от греческого logos. В древнегреческо-русском словаре список его возможных переводов занимает полторы страницы энциклопедического формата. Среди них: «речь», «слово», «предложение», «суждение», «понятие», «закон», «правило», «сущность», «мысль» и многое другое. Отсюда и многозначность производного «логика». Люди, никогда не изучавшие логики, считают, что они в состоянии выносить оценки «логично», «нелогично». Под логикой может подразумеваться связность рассуждения («Не вижу логики!»), какая-либо закономерность («Такова логика футбола: не забиваешь ты – забьют тебе»), обоснованность рассуждений и поступков («Какая логика заставляет его делать это?») и многое другое. Вместе с тем есть очень древняя наука, которая именно так и называется. Ее содержание хотя и испытывало модификации на протяжении тысячелетий своего существования, остается, тем не менее, достаточно четко ограниченным. Приведенные выше словоупотребления не изучаются логикой непосредственно (изучивший логику не станет специалистом по логике футбола, логике предвыборных кампаний и т. д., не сможет легко разбираться в основаниях и причинах всего что угодно); тем не менее нельзя сказать, что все эти выражения не имеют никакого отношения к логике. Только это не значит, что все это непосредственно изучается наукой по имени Логика и что изучивший ее овладеет универсальной отмычкой для решения любых проблем.
Логика – наука о формальных законах правильного, корректного, доказательного рассуждения.
Рассуждение представляет собой переход от одних высказываний (суждений, предложений, утверждений), данных заранее, к некоторым новым. Элементарный шаг рассуждения называется умозаключением. Центральный вопрос логики состоит в том, когда такой переход делать можно, а когда нельзя, когда умозаключение является правильным, а когда нет. Центральный ответ состоит в том, что умозаключение является правильным в том случае, если оно удовлетворяет отношению логического следования. Чтобы объяснить, что под этим понимается, требуется ввести некоторые термины, без которых никогда не может обойтись изложение логики.