В количественной модальной логике , то Баркан формула и формула обратного Баркана (более точно, а не схемы формул) (я) синтаксический государственные принципы обмена между кванторами и условиями; (ii) семантически установить отношения между областями возможных миров. Формулы были введены как аксиомы Рут Баркан Маркус в первых расширениях модальной логики высказываний, включающих количественную оценку. [1]
Связанные формулы включают формулу Буридана .
Формула Баркана [ править ]
Формула Баркана:
- .
На английском языке схема гласит: если каждый x обязательно равен F, то необходимо, чтобы каждый x был F. Это эквивалентно
- .
Формула Баркана вызвала некоторое противоречие, потому что - с точки зрения семантики возможного мира - она подразумевает, что все объекты, которые существуют в любом возможном мире (доступном для реального мира), существуют в реальном мире, т.е. миры. Этот тезис иногда называют актуализмом, т. Е. Не существует просто возможных индивидов. Существуют некоторые споры относительно неформальной интерпретации формулы Баркана и ее обратного.
Неформальным аргументом против правдоподобия формулы Баркана может быть интерпретация предиката Fx как « x - это машина, которая может использовать всю энергию, запертую в волнах Атлантического океана, практичным и эффективным способом». В эквивалентной форме, приведенной выше, антецедент кажется правдоподобным, поскольку, по крайней мере, теоретически возможно, что такая машина могла существовать. Однако не очевидно, что это означает, что существует машина, которая могла бы использовать энергию Атлантики.
Формула Converse Barcan [ править ]
Обратная формула Баркана:
- .
Если фрейм основан на симметричном отношении доступности, то формула Баркана будет действительна во фрейме тогда и только тогда, когда обратная формула Баркана действительна во фрейме. В нем говорится, что домены не могут сжиматься по мере продвижения к доступным мирам, то есть что люди не могут прекратить свое существование. Обратная формула Баркана считается более правдоподобной, чем формула Баркана.
См. Также [ править ]
Ссылки [ править ]
- ^ Журнал символической логики (1946), 11 и (1947), 12 под Рут К. Баркан
Внешние ссылки [ править ]
- Баркан в обе стороны от Мелвина Фиттинга
- Условные объекты и формула Баркана Хаяки Рейна
 | Эта статья о логике - незавершенная . Вы можете помочь Википедии, расширив ее . |
