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.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)
Authors PEZLAR, Ivo (203 Czech Republic, guarantor, belonging to the institution).
Edition Trends in Logic XIII - Studia Logica International Conference, Łódź, 2nd July - 5th July 2014, 2014.
Other information
Original language English
Type of outcome Presentations at conferences
Field of Study 60300 6.3 Philosophy, Ethics and Religion
Country of publisher Poland
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14210/14:00076635
Organization unit Faculty of Arts
Keywords in English Jaśkowski; Calculus of Suppositions; Natural Deduction; Suppositional Logic
Tags rivok
Tags International impact, Reviewed
Changed by Changed by: Mgr. Vendula Hromádková, učo 108933. Changed: 18/2/2015 10:10.
Abstract
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.
Links
MUNI/A/0803/2013, interní kód MUName: Proměny a konstanty soudobé filozofie
Investor: Masaryk University, Category A
PrintDisplayed: 3/9/2024 12:04