存在预设

存在预设（being presupposition），哲学-哲学-逻辑学-逻辑，预设分类之一。一个命题A预设B，当且仅当B有指称，即B所代表的对象存在。也就是说，B所指称的对象存在是命题A有真值的必要条件。如“开普勒死于贫困”，便预设“存在开普勒这个人”。所以，存在预设是语句有真值的前提，即只有预设存在，语句才可能为真。