Дело в том, что в философии и, в частности, в аналитической, разделяют различные способы существования - например, существование в возможности. Далеко не все из них признаются большинством, но всё же на сегодняшний день мы имеем мощные системы модальной логики. Логики, в которой оперируют не только классическими правилами вывода, но также используют операторы "необходимо" и "возможно": http://en.wikipedia.org/wiki/Modal_logic
Для интерпретации или иллюстрации действия этих операторов часто используют модель возможных миров. Так возможное - имеется в некотором возможном мире. Необходимое - в каждом. Актуальное - в нашем мире :)
Comments 4
Reply
Reply
Вот это можно по-русски?
Reply
Дело в том, что в философии и, в частности, в аналитической, разделяют различные способы существования - например, существование в возможности. Далеко не все из них признаются большинством, но всё же на сегодняшний день мы имеем мощные системы модальной логики. Логики, в которой оперируют не только классическими правилами вывода, но также используют операторы "необходимо" и "возможно": http://en.wikipedia.org/wiki/Modal_logic
Для интерпретации или иллюстрации действия этих операторов часто используют модель возможных миров. Так возможное - имеется в некотором возможном мире. Необходимое - в каждом. Актуальное - в нашем мире :)
Reply
Leave a comment