1 Такие предложения, как известно, играют значительную роль и в методологии науки в связи с проблемой определения диспози-ционных понятий и вообще в связи с вопросом статуса теоретических терминов, в связи с такими проблемами, как уточнение понятия естественного закона, различение существенных и случайных свойств, экспликация понятия подтверждения и т. д. 56
Ввиду того что в предложении естественного языка речь может идти не только о том, что имеет место в мире, но и о том, что имело, будет иметь или могло бы иметь место при определенных обстоятельствах, в расширенном понимании референтной теории, представленном исследо--ваниями Льюиса, Монтегю, Каплана, Крессвелла, Крипке, Хинтикки и др., «выросшими» из семантики модальной логики (развитой в работах Крипке и Хинтикки), смысл предложения рассматривается неотделимо от информации о том, что данное предложение является истинным вообще относительно некоторого возможного или возможных миров. Тогда действительный мир рассматривается как один из возможных миров — тот, который имеет место, который реализован и в отличие от других возможных миров «заселен» реальными, а не возможными индивидами, обладающими теми или иными свойствами и отношениями. Другие возможные миры тогда рассматриваются как альтернативы данному миру, которые (логически, а не только физически) могли бы быть реализованы при другом ходе событий (например, в случае контрфактического предложения «Если Ионас играл бы, «Жальгирис» выиграл бы»: понимание этого предложения означает с этой точки зрения предположение возможного мира, в котором Ионас играет и «Жальгирис» выигрывает). Известно, что в логике первым использовал понятие «возможный мир» еще Лейбниц при рассмотрении необходимо истинных утверждений как истинных во всех возможных мирах, включая и действительный мир, и возможно истинных утверждений как истинных в некоторых возможных мирах. Витгенштейн в «Логико-философском трактате» утверждал, что понять предложение — значит знать, что имеет место в мире, если оно является истинным: смысл предложения сводится к способу, которым предложение разделяет возможные состояния дел на те, в которых оно истинно, и на те, в которых оно является, ложным. — 41 —
|