四、本体论与典型论