必然、蕴涵、世界与关系 模态逻辑的历史和基本理论探究

逻辑学不割断历史，逻辑学是在对语言不断完善的过程中发展起来的，这是撰写本书的两个基本出发点。依据这两个出发点，本书选择了四个基本范畴，必然、蕴涵、可能世界和可通达关系，并且讨论了这四个基本范畴的历史沿革，讨论了逻辑学家对这些范畴的基本观点。本书的第三个出发点是对模态逻辑内容的限定，模态基本理论，原则上限定在模态命题逻辑的范围之内。