Add to Quick Collection
All 2 Results
Showing items 1 - 2 of 2.
Add All Items to Quick Collection
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43
Type: статьи в журналах
Date: 2018
Description:
Анализируются некоторые способы ослабления универсальности условий выводимости Гильберта – Бернайса, связанные с применением модальной логики к теории доказательства, в частности при доказательстве Вт
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 41. С. 5-14
Type: статьи в журналах
Date: 2018
Description:
С эволюционной точки зрения формула «Если агент знает, что q, то q» парадоксальна. Предлагается заменить ее доказуемость на выводимость из некоторого эпистемически значимого допущения. Это допущение т
... More