本质主义与模态逻辑

谈论事物的方式决定了模态逻辑承诺了本质主义。回避本质妨碍了量化模态逻辑的发展。本文提出了必然的一种本质主义解释。这种解释为亚里士多德的混合模态三段论提供了一个漂亮的语义模型。