“Truth in philosophy means that concept and external reality correspond.”