Discovering Logic and its Applications