Paper 6
A proximity-based understanding of conditionalsAuthors: Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, and Luiz Carlos Pinheiro Dias Pereira |
AbstractThe 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 satises the normalization theorem. |