カントは判断を量・質・関係・様相の四つの観点から分類した。
Kant classified judgments under four headings: quantity, quality, relation, and modality.
命題の様相とは、それが必然的に真か、可能的に真かという区別である。
The modality of a proposition is the distinction between its being necessarily true and possibly true.
この論文は様相を扱う形式体系について論じている。
This paper discusses formal systems that deal with modality.