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