[逻辑,哲学]论哲学的逻辑建模