양상 논리 필연성 필연적 틀:이산수학·수리논리학 수반 양상 樣 알빈 플란팅가 윌러드 밴 오먼 콰인 데이비드 루이스 실재론 본질 논리학 관련 정보 틀:논리학 수학철학 철학적 좀비 이름과 필연 게티어 문제 틀:수학기초론 논리학 분석철학 형이상학 철학/입문 조건문 相 고트프리트 빌헬름 라이프니츠 불가능 철학자 솔 크립키 가능세계