Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Conflict without contradiction: paraconsistency and axiomatizable conflict toleration hierarchies in Evidence Logic
  • Home
  • /
  • Conflict without contradiction: paraconsistency and axiomatizable conflict toleration hierarchies in Evidence Logic
  1. Home /
  2. Archives /
  3. No. 9 (2001) /
  4. Articles

Conflict without contradiction: paraconsistency and axiomatizable conflict toleration hierarchies in Evidence Logic

Authors

  • Don Faust Northern Michigan University, Marquette

DOI:

https://doi.org/10.12775/LLP.2001.009

Abstract

Evidence Logic (EL) goes beyond Classical Logic (CL) in its primitive expressivity by including both confirmatory and refutatory predications, additionally equipped with evidence level annotations. Previous work has characterized the Boolean Sentence Algebras (BSAs) of the monadic, functional, and undecidable varieties of EL [4], [5]. From the perspective that our knowledge of the world is often less-than-certain, that is to say “evidential”, application-wise EL is conceptually antecedent to CL and provides a broad foundational framework wherein axiomatizable extensions reach out to a number of the more domain-specific recent constructions of logics for the representation and processing of uncertainty in Artificial Intelligence (AI). In this paper we analyze EL from this point of view in sections 1 and 2. In Section 3 the relationship between this work and issues in paraconsistency is briefly explored.

Author Biography

Don Faust, Northern Michigan University, Marquette

Mathematics and Computer Science

References

Dempster, A., “Upper and lower probabilities induced by a multivalued mapping”, Annals Of Mathematical Statistics 388 (1967), 325–339.

Dempster, A., “A generalization of Bayesian inference”, J. Royal Statistical Society 30 (series B) (1968).

Faust, D., “The Boolean algebra of formulas of first-order logic”, Annals of Mathematical Logic 23 (1982), 27–53. (MR 84f:03007)

Faust, D., “The concept of evidence”, Inter. J. of Intelligent Systems 15 (2000), 477–493.

Faust, D., “The concept of evidence” (abstract), Journal of Symbolic Logic 59 (1994), 347–348.

Faust, D., “Aspects of negation related to evidential conflict”, submitted.

Faust, D., “Evidence and negation” (abstract), Bulletin of Symbolic Logic 3 (1997), p. 364.

Faust, D., “The concept of negation”, Logic and Logical Philosophy 5 (1998), 35–48.

Faust, D., “Evidence Logic” (abstract), Bulletin of Symbolic Logic vol. 4 (1998), p. 86.

Faust, D., “Conflict without contradiction: noncontradiction as a scientific modus operandi”, paper read at the World Congress of Philosphy, Boston (1998), available at www.bu.edu/wcp/Papers.

Popper, K., The Logic of Scientific Discovery, Harper, New York, 1965.

Priest, G., “What not? A defence of the dialetheic theory of negation”, to appear in Negation, D. Gabby & H. Wansing (ed.), published by Kluwer.

Quinlan, J., “Inferno: a cautious approach to uncertain inference”, Computer Journal 26 (1983), 255–269.

Russell, B., “Vagueness”, Australian Journal of Philosophy and Psychology 1 (1923), 84–92.

Shafer, G., A Mathematical Theory of Evidence, Princeton University Press, 1976.

Smiley, T., and G. Priest, “Can contradictions be true?”, Proceedings of the Aristotelian Society, Suppl. vol. 67 (1993), 17–54.

Downloads

  • PDF

Published

2004-01-19

How to Cite

1.
FAUST, Don. Conflict without contradiction: paraconsistency and axiomatizable conflict toleration hierarchies in Evidence Logic. Logic and Logical Philosophy. Online. 19 January 2004. Vol. 9, no. 9, pp. 137-151. [Accessed 6 July 2025]. DOI 10.12775/LLP.2001.009.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

No. 9 (2001)

Section

Articles

Stats

Number of views and downloads: 422
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop