Rozvoj logiky