В первом томе «Системы логики» Джон Стюарт Милль предпринимает попытку систематизировать интеллектуальные операции, лежащие в основе научного познания. Автор отходит от чисто схоластического понимания логики как искусства силлогизма, расширяя её границы до теории доказательства и исследования природы человеческого познания. Милль утверждает, что логика должна заниматься не только формальной правильностью выводов, но и методами, с помощью которых мы приходим к истине. Книга начинается с анализа языка как инструмента мысли: автор исследует природу имен (терминов) и суждений, утверждая, что логика имеет дело не с идеями, а с вещами, обозначаемыми именами.
Милль классифицирует имена на конкретные и абстрактные, коннотативные и неконнотативные, что становится фундаментом для его теории суждений. Он определяет суждение как утверждение или отрицание одного имени о другом, подчеркивая, что истинность суждения зависит от соответствия фактам природы. Важнейшей частью работы является критика аристотелевских категорий и попытка построить собственную классификацию «именуемых вещей», включающую чувства, субстанции, атрибуты и отношения.
Милль настаивает на том, что все наши знания о внешнем мире основаны на индукции — переходе от частных случаев к общим законам. Он подробно рассматривает природу причинности, определяя причину как совокупность условий, при которых явление неизменно следует за предшествующими фактами. Автор отвергает метафизические представления о «необходимых истинах» как врожденных, доказывая, что аксиомы математики и логики являются обобщениями опыта. В работе также затрагивается вопрос о методах наблюдения и эксперимента, которые служат инструментами для выявления причинных связей. Милль подчеркивает, что дедукция, включая силлогизм, не является самостоятельным источником нового знания, а лишь способом интерпретации уже имеющихся индуктивных обобщений. Фундаментальный тезис автора заключается в том, что все научное знание, включая математику, носит индуктивный характер, а достоверность выводов зависит от точности анализа причинно-следственных связей в природе.
