Language Logic