Еще одним случаем, когда современная символическая логика просто манипулирует ментальными символами, в то время как традиционная Аристотелева логика выражает постижение объективной реальности, является интерпретация условных (или «гипотетических») предложений, таких как «Если пойдет дождь, то я промокну». Аристотелевская логика, как и здравый смысл, объясняет это предложение как понимание истинной причинности: дождь является причиной того, что я промок. Я предсказываю следствие из причины. Но символическая логика не допускает этой простой и понятной интерпретации. Она скептически относится к «наивному» допущению эпистемологического реализма о том, что мы можем знать истинные причины. Это и создает радикально противоречащую здравому смыслу (или, как они очень мягко говорят, «контр-интуитивную») «проблему практического применения».
Помимо эпистемологического реализма Аристотелева логика также внутренне предполагает и метафизический реализм. (Метафизика – это раздел философии, который изучает, что такое реальность, а эпистемология изучает, что такое познание). Эпистемологический реализм заявляет, что объектом познания выступает реальный мир. Метафизический реализм утверждает, что реальность познаваема, что она упорядоченна. То есть, когда мы, например, говорим «человек – это разумное животное», мы не приносим порядок в непознаваемый мир случайности и хаоса; но тем самым мы открываем уже существующий порядок, а не творим его. То есть такие понятия как «человек», «животное», «вещь», «свойство» берутся из реально существующего мира, а не навязываются реальности нашим языком и мышлением.
Метафизический реализм совершенно естественно следует за эпистемологическим реализмом. Технически метафизический реализм означает уверенность в том, что обобщения соответствуют реальности, что у вещей действительно есть общая природа, что такие универсалии, как «человеческая природа» реально существуют, и мы можем их познать.
Существует две формы метафизического реализма: Платон считал универсалии реальными вещами-в-себе; в то время как Аристотель, что более соответствует здравому смыслу, считал универсалии реально существующими аспектами вещей, которые мы мысленно из них абстрагируем.
Противоположность реализма – номинализм, то есть вера в то, что универсалии есть только имена (nomini), сотворенные человеком. Тогда универсалии связаны между собой лишь как субъект и предикат в утверждении («Яблоки – это фрукты». «Человек – это смертное существо»).
