Логика претендует на познание мира, хотя сама лишь оперирует конструкциями языка. Из одних конструкций языка она строит другие, при этом ей вполне хватает самого языка. Если наука строит модели реальности, лишь используя язык как удобный материал для моделирования, то логика пытается строить модели реальности путем трансформирования существующих уже конструкций языка, создавая на основе известных конструкций новую конструкцию. Она пытается добыть новое знание о мире из уже существующего и представленного в виде языковых конструкций, сопоставляя части известных конструкций в новой. Показательный пример неэффективности такой манипуляции с языковыми конструкциями убедительно продемонстрировал Х. Патнэм (1999):
Если все вороны черные и все черные вещи поглощают свет, то все вороны поглощают свет [с. 117].