Logic and Logical Philosophy

TitlePropositional Logic Extended With A Pedagogically Useful Relevant Implication
Publication TypeJournal Article
Year of Publication2014
AuthorsBatens, D
JournalLogic and Logical Philosophy

First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant logic that has all classical theorems as theorems.

Citation KeyD:pcr
Download PDF (Author PDF)
PDF author (public):