Jaakko Hintikka created a new paradigm in the domainofinterpretation on the "Cogito, ergo sum" proposition, namely the Performatory interpretation.
雅克·欣提卡在诠释笛卡尔的“我思故我在”命题时创造了一种新的范式——践言性诠释。
2
When the domainofinterpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
当解释的论域是一个固定大小的有限集合时,一阶逻辑公式的可满足性问题可以等价地归约为SAT 问题。
3
The interpretationof the message is left to the application domain; the MQ infrastructure imposes no semantics or structure onto the message.