1. Мы знаем, что такое человек. Иными словами, мы можем перечислить совокупность свойств, которым должен обладать предмет, чтобы называться человеком.

2. Сократ – это нечто, также обладающее какими-то свойствами. При этом пока не важно, человеческими или нет.

3. И, наконец, тире (заменим его на явное «является»). Мы выполнили сравнение свойств, которыми обладает Сократ, и свойств, которыми должен обладать человек, и установили, что все те свойства, которыми должен обладать человек, присутствуют у Сократа. И это свое установление мы зафиксировали. Мы высказали суждение.

И вот здесь начинается самое неподдельное веселье. Заключается оно в том, что в любом суждении лежит достоверно непроверяемое предположение, основанное только на наших текущих представлениях о предмете суждения и его свойствах. И по-другому мыслить мы в принципе не можем. Разумеется, это было замечено сразу, тогда же, когда и были сформулированы основные формально-логические константы (а возникающие на основе этого неизбежные казусы продолжаются, начиная с рассуждений в платоновских диалогах о том, что такое прекрасное само по себе, до настоящего времени с его рассуждениями о том, что такое гуманизм сам по себе). Сразу было установлено, что истинность вывода в силлогизме при использовании силлогизма правильной формы однозначно обеспечивается только истинностью большей и меньшей посылок. То есть, когда мы суждение «Сократ-человек» помещаем в модус «Barbara» как меньшую посылку рядом с суждением «Все человеки смертны» как большую посылку, то автоматически истинным суждение «Сократ – смертен» будет только в случае, если истинны обе посылки. Именно поэтому логика сразу благоразумно заняла место, – в котором и пребывает до настоящего времени, – только в формальном, но не в содержательном ряде наук. Она прочно закрепила за собой статус науки о формах правильного мышления. Как, впрочем, и математика, не смотря на то, что она является наукой об управлении количеством. Видимо, «учитель тех, кто знает», представив будущим поколениям «Первую аналитику», понимал, что произойдет, если этого не сделать.

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

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