Nuclear Logics: Contrasting Paths in East Asia and the Middle East

Nuclear Logics examines why some states seek nuclear weapons while others renounce them. Looking closely at nine cases in East Asia and the Middle East, Etel Solingen finds two distinct regional patterns. In East Asia, the norm since the late 1960s has been to forswear nuclear weapons, and North Korea, which makes no secret of its nuclear ambitions, is the anomaly. In the Middle East the opposite is the case, with Iran, Iraq, Israel, and Libya suspected of pursuing nuclear-weapons capabilities, with Egypt as the anomaly in recent decades.

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills.