Intuitionistic PUC-Logic for Constructive Counterfactuals

TL;DR

This paper introduces an intuitionistic version of PUC-Logic and a constructive approach to Lewis' counterfactuals, demonstrating that classical absurdity is unnecessary in this context.

Contribution

It develops a new intuitionistic framework for PUC-Logic and offers a constructive method for counterfactual reasoning, avoiding classical absurdity.

Findings

The intuitionistic PUC-Logic is consistent with constructive principles.

Counterfactuals can be modeled without classical absurdity.

The approach broadens the applicability of constructive logic in counterfactual reasoning.

Abstract

We present the intuitionistic version of PUC-Logic. After that, we present a constructive approach to Lewis' counterfactual abstraction to show that it does not require the classical absurd rule.