Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)

PEZLAR, Ivo. Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź). In Trends in Logic XIII - Studia Logica International Conference, Łódź, 2nd July - 5th July 2014. 2014.

Základní údaje

Originální název

Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)

Autoři

PEZLAR, Ivo (203 Česká republika, garant, domácí)

Vydání

Trends in Logic XIII - Studia Logica International Conference, Łódź, 2nd July - 5th July 2014, 2014

---

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Polsko

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14210/14:00076635

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

Jaśkowski; Calculus of Suppositions; Natural Deduction; Suppositional Logic

Štítky

rivok

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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.

---

Návaznosti

MUNI/A/0803/2013, interní kód MU

Název: Proměny a konstanty soudobé filozofie Investor: Masarykova univerzita, Proměny a konstanty soudobé filozofie, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty