The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

Probabilistic Semantics for a Discussive Temporal Logic

På svenska

Author

  • Carlo Proietti
  • Roberto Ciuni

Summary, in English

The paper introduces a probabilistic semantics for the paraconsistent temporal logic Ab presented by the authors in a previous work on future contingents. Probabilistic concepts help framing two possible interpretations of the logic in question - a `subjective' and an `objective' one - and explaining the rationale behind both of them. We also sketch a proof-method for Ab and address some considerations regarding the conceptual appeal of our proposal and its possible future developments.

Publishing year

2013

Language

English

Publication/Series

The Logica Yearbook

Document type

Conference paper

Publisher

College Publications

Topic

  • Philosophy

Keywords

  • Probability
  • Discussive Logic
  • Future Contingents

Status

Inpress