Sa lògica moderna est partzida in teoria de sa ricorsione, teoria de sos modellos e teoria de sa proa, e est vinculada a forte cun s’iscièntzia teorètica de sos elaboradores, e a sa teoria de sa categoria puru.