• DocumentCode
    3267441
  • Title

    Many valued probability theory

  • Author

    Morgan, Charles G.

  • Author_Institution
    Philos. Dept., Victoria Univ., BC, Canada
  • fYear
    2004
  • fDate
    19-22 May 2004
  • Firstpage
    294
  • Lastpage
    299
  • Abstract
    The apparent conflict between many valued logic and probability theory is resolved if we treat the probability of a sentence as the probability that the sentence has some specified truth value. The classical probability of a sentence is the probability that the sentence is classically true. In an analogous way, we develop a class of probability theories appropriate for any finite valued logics; the probability of a sentence is interpreted as the probability that the sentence takes some value in a specified subset of the semantic range. We show that for any finite valued logic, there is an appropriate many valued probability theory providing a characteristic probabilistic semantics for which the logic is both sound and complete.
  • Keywords
    multivalued logic; probability; semantic networks; finite valued logics; many valued logic; many valued probability theory; probabilistic semantics; semantic range subset; semantically compositional logic; sentence specified truth value probability; Cost accounting; Frequency; Heart; Multivalued logic; Probabilistic logic;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 2004. Proceedings. 34th International Symposium on
  • ISSN
    0195-623X
  • Print_ISBN
    0-7695-2130-4
  • Type

    conf

  • DOI
    10.1109/ISMVL.2004.1319958
  • Filename
    1319958