There is a newer version of the record available.

Published August 18, 2025 | Version v.1.
Preprint Restricted

One Function, Two Roles: A Model-Counting Measure That Also Induces Consequence

Authors/Creators

  • 1. ROR icon Pontifical University of John Paul II in Kraków

Contributors

  • 1. ROR icon Pontifical University of John Paul II in Kraków

Description

  • Important notice (Adam 24.11.2025):
    The present version contains a substantial error in the main theorem. A corrected and updated version is being prepared and will be released shortly.

  •  

  • Problem: CP=PC collapses when identifying probability of implication with conditional probability.

  • Contribution: a single function m that is both a model-counting measure and a generator of consequence via threshold 1; CP=PC holds operatorially for (B|A), not for material implication.

  • Results: Soundness/Completeness of Cn_m on the finite vocabulary; No‑collapse lemma; worked example (3 variables); optional regularization for m(A)=0.

  • Context: connects to Olszewski (2022, 2024) on logically probable sentences.

Files

Restricted

The record is publicly accessible, but files are restricted. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/16895346">Log in</a> to check if you have access.