作者: Chris Swoyer
关键词:
摘要: In this paper I present a formal language in which complex predicates stand for properties and relations, assignments of denotations to extensions the relations they denote are both homomorphisms. This system affords fresh perspective on several important philosophical topics, highlighting algebraic features clarifying sense can be represented by their extensions. It also suggests natural modification current logics properties, one some while others do not.