Идея о том, что человеческое мышление можно свести к строгим правилам, занимала философов с античных времён. Аристотель первым систематизировал силлогизмы — формы правильных рассуждений, где из двух посылок следует заключение. Однако настоящий прорыв произошёл в середине XIX века, когда английский математик Джордж Буль опубликовал «Исследование законов мышления». Он предложил рассматривать логические утверждения не как фразы естественного языка, а как математические выражения, подчиняющиеся алгебраическим операциям...