varlıkları gösteren - gösterilen ilişkisini temel alarak açıklayan bilim dalıdır.