Logic science