Fitch’s paradox and ceteris paribus modalities

Abstract

The paper attempts to give a solution to the Fitch's paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.

Ceteris paribus logic in counterfactual reasoning

“…We apply this framework in a way which allows us to reason counterfactually without having our similarity order skewed by unlikely events. This continues the investigation of formal ceteris paribus reasoning, which has previously been applied to preferences [2], logics of game forms [11], and questions in decision-making [25], among other areas [18].…”

A Modal Logic of Supervenience

“…[51] for a survey. This notion has also been applied to analyse the notion of preference [7,53], counterfactual reasoning [10], agency and games [12,13], Fitch's paradox [50], and the future contingents problem [49], etc.. It may be interesting to combine ceteris paribus and supervenience, since in that case we can naturally express the statements such as "Ceteris paribus, B supervenes on A", or more general, "Ceteris paribus, B supervenes on A 1 , · · · , A n ".…”