logical theory