Advances in Peircean Mathematics
Kniha skúma Peirceove neštandardné myšlienky o syntetickom kontinuu, topologickej logike, existenciálnych grafoch a relačnej semiotike a ponúka úplný matematický vývoj v týchto oblastiach.
Konkrétne sú ponúkané tieto nové poznatky: (1) dve rozšírenia Peirceových existenčných grafov na intuicionistickú logiku (nový symbol pre implikáciu) a iné neklasické logiky (nové akcie na nerovnobežných plochách); (2) úplná formalizácia Peirceovho kontinua, zachytávajúca všetky pôvodné Peirceove požiadavky (všeobecnosť, nadmnožnosť, reflexivita, modalita), a to vďaka inverznému ordinálne iterovanému zväzku reálnych línií; (3) celý rad subformalizácií a dôkazov Peirceovej pragmatickej maximy prostredníctvom metód teórie kategórií, techník HoTT a modálnych logík.
Kniha bude relevantná pre Peirceových bádateľov, matematikov aj filozofov vďaka dôkladnému zhodnoteniu Peirceovho matematického dedičstva, kompaktnému prehľadu literatúry a novým perspektívam, ktoré ponúkajú formálne a moderné matematizácie skúmaných tém.
