Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability

Sergei P. Odintsov, Stanislav O. Speranski, Igor Yu Shevchenko

Результат исследования: Научные публикации в периодических изданияхстатья

2 Цитирования (Scopus)

Аннотация

Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics (abbreviated GTS) for independence-friendly first-order logic (IF-FOL), but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas.

Язык оригиналаанглийский
Страницы (с-по)637-670
Число страниц34
ЖурналStudia Logica
Том106
Номер выпуска3
DOI
СостояниеОпубликовано - 1 июн 2018

Fingerprint Подробные сведения о темах исследования «Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать