Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)
| Autoři | |
|---|---|
| Rok publikování | 2014 |
| Druh | Další prezentace na konferencích |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | We sketch the basics of Calculus of Suppositions (CoS), which can be viewed as a functional interpretation of Jaśkowski's suppositional logic from his 1934 paper "On the Rules of Suppositions in Formal Logic" with couple of additional modifications. Jaśkowski's original system relied on a novel concept of composite expressions with prefixes and we try to explore this approach further in the framework of CoS. |
| Související projekty: |