A logika az alakzatok összekapcsolásából általánosít
Innen általánosítjuk a logikai jellegű kapcsolódásokat és ez a logika (megfelelő kritikával kezelve) gondolkodási eszközünkké válhat, olyan formában is, mint amit az informatikában alkalmazni szoktunk.
Mai rendszerleírásainkban ugyanazokat a logikai kapcsolatokat, szillogizmusokat alkalmazzuk, amelyeket a görög filozófia rendszerbe fogalmazott, ezek szerepelnek a következtetésekről szóló programozás alapképleteiben is.
A modern logika mindezt a körülményektől függően kezeli, ezeket a körülményeket, például azt, hogy egy következtetés csak adott időszakban, adott emberek, tárgyak vonatkozásában érvényes, a modalitásokkal fejezi ki, amelyek szintén hasonló logikai leírásokat kapnak. Minderről bővebben a mesterséges intelligencia módszerekről bemutatott fejezetben szólunk.