Title: formal logic -Aristotelian logic vs. evolutionary integrated atomic logic