Человеческий мозг не способен создавать сложные модели предметов и просчитывать их взаимодействие быстро и безошибочно. Чтобы получать полезное знание о связях предметов, наилучшим выходом является выделение из них примитивных абстракций и рассмотрение очень малого числа этих абстракций за один приём, а также совершение правильных логических операций с ними. Это автоматически подразумевает, что другие предметы и свойства не должны учитываться при таком сравнении. Иными словами, логическое умозаключение должно иметь вид мысленного эксперимента, где о предметах и условиях не известно абсолютно ничего, кроме того, что явно обозначено в простых исходных посылках. Таким образом, если суждение гласит, что все яблоки зелёные, неуместно будет отвергать его на основании нашего личного опыта наблюдения красных яблок, ведь для эффективного мышления мы должны уметь совершать мыслительные операции в числе прочего и с такой абстрактной моделью, где все яблоки зелёные. Если суждение гласит, что некий человек имеет рост более 180 сантиметров, то неуместно будет добавлять к этим исходным данным, что люди не могут иметь рост пять метров и более, ведь мы должны уметь обращаться в числе прочего и с такой моделью, где люди бывают любого роста. При этом во всех моделях подразумевается, что любые неназванные предметы и свойства могут как существовать, так и не существовать, а также могут находиться в любых отношениях друг с другом, то есть все предметы во Вселенной могут являться страусами, яблоки могут иметь массу тысяча тонн каждое, а наличие в модели камней не означает, что существуют ещё камни кроме этих. Коротко это правило формулируется так:
Исходные посылки исключают некоторые частные версии модели, где изначально возможно вообще всё, на основании второго закона логики: если известно, что существует множество белых птиц, то уже не может оказаться, что белые птицы не существуют, потому что два высказывания, которые одновременно утверждают и отрицают что-либо, не могут оба быть верными.
Когда люди только обучаются правильному логическому рассуждению, они часто тренируются на ничего не значащих примерах, и потому им бывает трудно понять, зачем представлять себе модель без красных яблок, когда достоверно известно, что такие яблоки существуют. Это происходит потому, что большинство современных людей не заняты исследовательской работой и привыкли взаимодействовать только с хорошо знакомыми им предметами, о которых они за долгое время собрали много эмпирического опыта. Если такой человек видит дом, он знает, какие ещё бывают дома, если он видит облако, он знает, какие ещё бывают облака. Но когда человек начинает заниматься научными опытами или криминалистикой, ситуация изменяется. Если учёный установил, что некоторое вещество излучает свет при пропускании через него электрического тока, он не может знать, есть ли такое же свойство у других веществ; если криминалист точно установил, что все отпечатки пальцев в помещении принадлежат одному человеку, он не может знать, что здесь побывал только один человек. Следовательно, умение мыслить о вещах изолированно, без добавления в модель личного опыта и догадок, критически важно при познании мира — оно позволяет верно определить связи между предметами в условиях полного неведения.
Когда высказывание сообщает что-либо об одном предмете через выражение его отношения к другому предмету, в некоторых случаях оно позволяет надёжно заключить что-либо и о втором предмете. Эта логическая операция называется обращением суждения. Разные по смыслу и структуре суждения обращаются по-разному или не поддаются обращению, то есть не позволяют заключить что-либо о втором предмете. Например, высказывание «все озёра являются пресными водоёмами» можно обратить в высказывание «некоторые пресные водоёмы — озёра», и это будет верно. Но высказывание «некоторые озёра не являются пресными водоёмами» не позволяет понять что-либо об отношении пресных водоёмов к озёрам. Пресные водоёмы в данном случае могут все оказаться озёрами, может быть, что лишь некоторые пресные водоёмы — это озёра, и может быть, что ни один пресный водоём не является озером — все эти версии не противоречат исходному суждению. Это означает, что исходное высказывание не обращается. Чтобы получать больше полезных знаний из входящей информации, нужно изучить и применять правила обращения суждений.
