크립키
"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
기술
- 📄
크립키 구조 - 크립키 구조는 가능한 세계의 집합, 세계 간의 접근 관계, 각 세계에서 원자 명제의 진리값을 할당하는 평가 함수로 구성되어 양상 논리의 의미론을 정의하며, 가능성과 필연성과 같은 모달 논리의 핵심 개념을 이해하는 데 기여한다.
인명
- 📄
솔 크립키 - 솔 크립키는 양상 논리, 언어 철학, 수학기초론에 기여한 미국의 철학자이자 논리학자로, 크립키 의미론 창시, 《이름과 필연》에서의 고유명사 이론 전개, '크립켄슈타인' 해석, 진리 이론 연구 등으로 알려져 있다.
- 📄
에릭 크립키 - 에릭 크립키는 《수퍼내추럴》, 《레볼루션》, 《타임리스》, 《더 보이즈》 등의 드라마 제작 및 각본에 참여한 미국의 텔레비전 및 영화 제작자, 각본가이다.
