양식 논리

내용 의 가능성, 불가능 성, 우발성 또는 필요성을 주장하거나 거부하는 것에 따라 논리적 제안에서 논리적 제안의 분류. 이러한 개념의 논리적 인 특징을 연구하는 모달 논리는 아리스토텔레스에서 유래했으며 고대와 유럽 중세 시대의 논리 학자에 의해 광범위하게 연구되었으며, 대부분 현대 수학 논리에서 부활 할 때까지 르네상스 이후에는 무시되었습니다. 가장 현대적인 논의에서 가정 된이 주제에 대한 기본 진술은 Symbol Lewis (1932)의 CI Lewis와 Cooper Harold Langford에 의해“if”의 논리적 힘을 해석하기위한“엄격한 의미”의 모달 시스템을 개발합니다… 그때."