어떤 sentence의 truth value는 각 domain별로 정해진다고 보는 것. 그 것이 상식인듯(?)

{set of sentences} 가 있고 각 domain(사회학,물리학,역사학, 군사학 등) 별로 machine이 있어서 어떤 sentence를 그 기계에 냅다 던지면 output으로 뱉어내는 값이 truth value이고, domain별 기계들과는 독립적으로 inference machine이 있어서 어떤 argument 던지면 validity가 튀어나오는거임! 이러한 방식으로 시뮬레이터 구현하면 좋겠다.

- dc official App