The logic V is the basic logic of counterfactuals in the family of Lewis’ systems. It is characterized by the whole class of so-called sphere models. We propose a new sequent calculus for this logic. Our calculus takes as primitive Lewis’ connective of comparative plausibility ≼: a formula A ≼ B intuitively means that A is at least as plausible as B, so that a conditional A ⇒ B can be defined as A is impossible or A ∧ ¬B is less plausible than A. As a difference with previous attempts, our calculus is standard in the sense that each connective is handled by a finite number of rules with a fixed and finite number of premises. Moreover our calculus is “internal”, in the sense that each sequent can be directly translated into a formula of the language. The peculiarity of our calculus is that sequents contain a special kind of structures, called blocks, which encode a finite combination of ≼. We show that the calculus is terminating, whence it provides a decision procedure for the logic V.
A natural sequent calculus for Lewis logic of counterfactuals
POZZATO, GIAN LUCA
2015-01-01
Abstract
The logic V is the basic logic of counterfactuals in the family of Lewis’ systems. It is characterized by the whole class of so-called sphere models. We propose a new sequent calculus for this logic. Our calculus takes as primitive Lewis’ connective of comparative plausibility ≼: a formula A ≼ B intuitively means that A is at least as plausible as B, so that a conditional A ⇒ B can be defined as A is impossible or A ∧ ¬B is less plausible than A. As a difference with previous attempts, our calculus is standard in the sense that each connective is handled by a finite number of rules with a fixed and finite number of premises. Moreover our calculus is “internal”, in the sense that each sequent can be directly translated into a formula of the language. The peculiarity of our calculus is that sequents contain a special kind of structures, called blocks, which encode a finite combination of ≼. We show that the calculus is terminating, whence it provides a decision procedure for the logic V.File | Dimensione | Formato | |
---|---|---|---|
CILC 2015 CL official.pdf
Accesso aperto
Tipo di file:
PDF EDITORIALE
Dimensione
196.74 kB
Formato
Adobe PDF
|
196.74 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.