Логиканың төп маҡсаты (функцияһы) бер ҡасан да үҙгәрмәй: бер фекерҙән (раҫлау) нисек икенсе фекер килтереп сығарып булыуын тикшереү. Һығымта уға ингән раҫлауҙар, фекерҙәрҙең конкрет эстәлегенә түгел,ә бәйләнеш ысулына һәм төҙөлөшөнә генә бәйле тип фараз ителә. «Нимә нимәнән килеп сыға» икәнен өйрәнеп, дөрөҫ фекерләүҙең айырыуса ғөмүми булған йәки формаль шарттарын килтереп сығара. Логиканың конкрет ихтыяж өлкәһе уның тарихы дауамында һиҙелерлек үҙгәрә бара.