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