公理としてのドメインモデルに基づく意味の規定について

抄録

言語の意味については様々な理論が存在するが、必要十分な意味規定が行える理論は存在しない。例えば、形式意味論では文の意味を述語論理で表現するが、述語の意味を規定する方法は存在しない。あらゆる言語表現の意味をゼロから規定することは不可能であるので、本稿では、ドメインごとにモデルを規定し、ドメインモデルの意味は定義なしに成立する公理であると考え、ドメインモデルに基づいて意味を規定する方法を提案する。