#logical proposition #philosophical proposition #statement evaluation #formal statement