57 В современной модальной логике, занимающейся экспликацией логических отношений предложений, содержащих модальные понятия необходимости и возможности, лейбницевское понятие возможных миров получило «новую жизнь» благодаря введенному Крипке (при построении семантики для модальной логики) понятию отношения достижимости между возможными мирами (187). Утверждение считается необходимо истинным в мире W, если и только если оно истинно во всех возможных мирах, достижимых в мире (из мира) W. В зависимости от специфического содержания, вкладываемого в понятие достижимости, результирующая семантика соответствует различным модальным логикам. Интуитивное обоснование использования понятия возможных миров при определении смысла предложений естественного языка заключается в следующем. Истинностное значение предложения определяется двумя факторами: тем, что говорится в предложении, и тем, каков мир. Таким образом, смысл предложения, или его интенсию, можно рассматривать как функцию (или правило), переносящую нас от мира к определенному истинностному значению (экстенсии предложения). Вообще смысл языкового выражения можно рассматривать как функцию (интенсию выражения) от мира к определенным его объектам (экстенсии выражения). Но поскольку представления носителя языка о мире меняются (не говоря уже о том, что они могут иметь различные или даже несовместимые представления о мире), поскольку наряду с дру-I гими предложениями ему приходится рассматривать предложения относительно гипотетических и воображаемых ! ситуаций (на основе возможности такого рассмотрения : зиждутся как практические, так и теоретические рассуж-: дения), необходима функция, принимающая в качестве 1 своего аргумента не только актуальное состояние мира, - или актуальный мир, но и различные возможные миры. Носители языка постоянно, хотя, возможно, и неосознанно, имеют дело с возможными мирами как с тем, чему соответствуют, с чем совместимы их представления, убеждения, мнения, предположения, стремления, желания, сомнения и т. д. Например, предложениям, которыми носитель языка высказывает свое мнение, вовсе не обязательно предваряя его фразой «Я думаю, что», соответствует определенное множество возможных миров, в которых эти предложения являются истинными. Понимание такого 58
— 42 —
|