Эпистемическая логика - доклад по философии

 

Тезисы:

  • Для этого оператора, дополнительно к аксиомам классической логики, можно принять следующие постулаты.
  • При этом активно задействуются результаты философского анализа понятий знания и убеждения.
  • Начнем с оператора убеждения.
  • Субъект всегда имеет определенность относительно высказываний о собственных убеждениях.
  • Перейдем теперь к оператору знания.
  • Следующей важной задачей является установление взаимосвязи между операторами знания и убеждений.
  • Определение 2. Кр U Вр U Jp U р.
  • Такой анализ осуществляется в ходе доказательства новых теорем.
  • Можно было бы рассмотреть возможность принятия этих формул в качестве дополнительных аксиом.
  • Это, однако, требует предварительного содержательного оправдания данных принципов.

 

 

Похожие работы:

Предметы

Все предметы »

 

 

Актуальные доклады по философии