Английский философ XIX века Джон Стюарт Милль выделил многие типы причин и связал их с конкретными методами исключения. Из всего множества возможных типов причин мы остановимся на четырех.
Тип 1. К этой категории относятся необходимые причины. Необходимая причина — это предпосылка, без которой наступление соответствующего следствия невозможно. Например, ВИЧ — необходимая причина развития СПИДа. СПИД не может развиться без первоначального заражения ВИЧ, но человек может быть носителем ВИЧ и при этом не заболеть СПИДом. У следствия может быть много причин, и все они необходимы, чтобы следствие наступило. Например, для возникновения ядерной реакции требуется наличие специальных радиоактивных химических элементов (например, урана или плутона), помещенных в особые условия (например, высокое давление и температура).
Тип 2. К этой категории относятся достаточные причины. Причину называют достаточной, если она всегда вызывает соответствующее следствие независимо от возможного существования других причин. Например, громкого и продолжительного звонка в дверь достаточно, чтобы разбудить спящего младенца. Это подтвердит каждый, у кого есть или были маленькие дети. Но ребенка можно разбудить множеством разных других способов, будь то собачий лай, автомобильный гудок или что-то еще. Точно так же, если вы хотите, чтобы ваша машина была чистой, достаточно вымыть ее моющим средством. Если вы ее помоете, она будет чистая. Это достаточная причина. Но есть и другие способы поддерживать машину в чистоте: съездить на автомойку или, если повезет, дождаться дождя.
Тип 3. Сюда относятся причины, которые можно назвать одновременно необходимыми и достаточными. Другими словами, причина этого типа всегда вызывает ожидаемый эффект, и без нее эффект не может наступить. Например, вращение Земли вокруг своей оси является необходимым и достаточным условием чередования дня и ночи. Без такого вращения не было бы смены дня и ночи. А с другой стороны, пока Земля вращается, день всегда будет сменять ночь (если не принимать во внимание возможность исчезновения самого Солнца).
Тип 4. В эту категорию попадает причинная зависимость одной переменной величины от другой. Вот как это работает. Если изменение одной переменной всегда вызывает соответствующие изменения другой переменной, тогда вторую переменную называют «причинно зависимой» от первой. Например, преподаватель говорит вам, что ваша окончательная оценка на 20 процентов будет зависеть от качества дипломной работы. Скажем, на данном этапе он оценивает ваши знания на «четыре», но, если вы напишете работу на «пять», ваша окончательная оценка соответственно повысится. Если вы напишете работу на «три», окончательная оценка соответственно понизится, а если напишете на «четыре», останется такой же. В данном примере ваша окончательная оценка зависит только от качества дипломной работы и ни от каких других факторов. В других примерах иные факторы могут оказывать влияние на результат. Давайте представим, что вы сидите у костра и жарите грибы. Тепло, которое вы ощущаете от костра, зависит от того, на каком расстоянии вы находитесь. Чем вы ближе к костру, тем вам теплее. Чем вы дальше, тем вам холоднее. Следствие здесь может иметь причинную связь с множеством разных факторов. Например, тепло, которое вы ощущаете, может зависеть еще и от того, насколько теплый свитер вы надели.
Как уже упоминалось выше, Милль разработал систематизацию не только разных типов причин, но и разных методов проверки того, имеет ли данная причина отношение к данному следствию. Дело в том, что, пытаясь постичь окружающий нас мир, мы стараемся понять природу причинно-следственных связей между наблюдаемыми предметами и явлениями (например, почему Майкл любит именно Лейлу, а не Кэти, Сьюзан или Марию). Милль разработал четыре методики критического мышления и утверждал, что каждый из этих логических методов оценки причинно-следственных связей лучше подходит к определенному типу причин. Среди них выделяют: метод согласия (который наилучшим образом соответствует причинам 1-го типа, т. е. необходимым причинам), метод различия (для причин 2-го типа, т.е. достаточных), метод остатков (для необходимых и достаточных причин 3-го типа) и метод сопутствующих изменений (причинных связей между переменными). Здесь в качестве примера мы ограничимся подробным рассмотрением двух методов: метода согласия и метода различия.