На първо място - това е абстрахиране от обектите на мисленето в тяхното разнообразие, на второ - абстрахиране от потенциалните субекти на мислене, и на трето място - абстрахиране от различието между езиковите системи за запис на мисълта. Онова, което би следвало да остане е чистото мислене.
Невъзможността въпросните три абстракции да се проведат докрай (човекът е все пак крайно-разумно същество) спасява логиката от опасността да се превърне в плесенясала таксономия от правила.
