Teaching Le\'sniewski's Prothetic with a Natural Deduction System
Computers and Society
2015-07-15 v1 Logic in Computer Science
Abstract
Protothetic is one of the most stimulating systems for propositional logic. Including quantifiers and an inference rule for definitions, it is a very interesting mean for the study of many questions of metalogic. Unfortunately, it only exists in an axiomatic version, far too complicated and unusual to be easily understood by nowadays students in logic. In this paper, we present a system which is a natural deduction (in Fitch-Ja\'skowski's style) version of protothetic. According to us, this system is adequate for teaching Le\'sniewski's logic to students accustomed to natural deduction.
Cite
@article{arxiv.1507.03668,
title = {Teaching Le\'sniewski's Prothetic with a Natural Deduction System},
author = {Pierre Joray},
journal= {arXiv preprint arXiv:1507.03668},
year = {2015}
}
Comments
Presented at the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015