A proximity-based understanding of conditionals

Authors: Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, and Luiz Carlos Pinheiro Dias Pereira

Volume 34 (2017)


The aim of the present paper is to introduce a new logic, PUC-Logic, which will be used to give a systematic account of well-known counterfactuals conditionals on the basis of a concept of proximity. We will formulate a natural deduction system for PUC-Logic, the system PUC-ND, that will be shown to be sound and complete with respect to the semantics of PUC-Logic. We shall also prove that PUC-Logic is decidable and that the system PUC-ND satis es the normalization theorem.