Логиканың төп асылы, тәғәйенләнеше һәм функцияһы һәр ваҡыт үҙгәрешһеҙ ҡала: бер раҫлауҙан икенселәрен нисек сығарып булыуын тикшереү. Был осраҡта бындай һығымталар ғына ҡарала: улар тик аралашыу ысулына һәм һығымтаға индерелгән белдереүҙәрҙең структураһына ғына бәйле, ә уларҙың аныҡ йөкмәткеһенә түгел. Бер фекерҙәрҙең икенселәренән сығып эш итеүен өйрәнеп, логика дөрөҫ фекер йөрөтөүҙең дөйөм формаль шарттарын асыҡлай. Шул уҡ ваҡытта логиканың аныҡ мәнфәғәттәр өлкәһе формаль сығарыу шарттарын асыҡлауҙа уның тарихы дауамында һиҙелерлек үҙгәрҙе.