Oxford: Basil Blackwell, 1980. - 172 p. На англ. языке.
Крипке С. Именование и Необходимость
Идеи книги базируются на результатах исследований в области модальной логики, полученных автором в 60е и развитые в 70е годы ХХ века. Теория модальной логики позволяет выявить такую же, как и у закона противоречия интуитивную очевидность принципа тождественности неразличимых вещей. Более того становится возможной формализации данного принципа в рамках идеи о том, что идентичность – это внутреннее отношение (x) и (y), в рамках которого (x) (y) (x = y ? ?x = y). В то же время данный принцип не вытекает из факта того, что у некоторого (x) нет внутренней необходимости существования. Возможность выявления внутренней необходимости принципа тождественности неразличимых вещей вытекает из интерпретации (x) и (y) в качестве ригидных диссигнаторов (rigid designators) (a) и (b), обозначающих какую-либо одну и только одну вещь во всех возможных мирах.
Крипке С. Именование и Необходимость
Идеи книги базируются на результатах исследований в области модальной логики, полученных автором в 60е и развитые в 70е годы ХХ века. Теория модальной логики позволяет выявить такую же, как и у закона противоречия интуитивную очевидность принципа тождественности неразличимых вещей. Более того становится возможной формализации данного принципа в рамках идеи о том, что идентичность – это внутреннее отношение (x) и (y), в рамках которого (x) (y) (x = y ? ?x = y). В то же время данный принцип не вытекает из факта того, что у некоторого (x) нет внутренней необходимости существования. Возможность выявления внутренней необходимости принципа тождественности неразличимых вещей вытекает из интерпретации (x) и (y) в качестве ригидных диссигнаторов (rigid designators) (a) и (b), обозначающих какую-либо одну и только одну вещь во всех возможных мирах.