Корректное вероятностное рассуждение при противоречии, неконсистентности и неполноте
Аннотация
Полный текст:
PDFЛитература
Besnard P., Lung J. Possibility and necessity functions over nonclassical logic // Proceedings of the Tenth International Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann Publishers Inc., UAI’94, San Francisco, CA, USA, 1994. P. 69–76.
Bueno-Soler J., Carnielli W. A. Experimenting with consistency // The Logical Legacy of Nikolai Vasiliev and Modern Logic / V. Markin and D. Zaitsev (Eds.). P. In print. 2015.
Bueno-Soler J., Carnielli W. A. Paraconsistent probabilities: Consistency, contradictions and bayes theorem // Entropy. Vol. 18(9), 2016.
Carnielli W. A., Coniglio M. E. Paraconsistent Logic: Consistency, Contradiction and Negation. // Logic, Epistemology, and the Unity of Science. Springer International Publishing, 2016.
Carnielli W. A., M. E. Coniglio, Marcos J. Logics of formal inconsistency // D. Gabbay, F. Guenthner, (Eds.). Handbook of Philosophical Logic. Amsterdam, SpringerVerlag. Vol. 14, 2007. P. 1–93.
Carnielli W. A., M. E. Coniglio, Podiacki R., Rodrgues T. On the way to a wider model theory: Completeness theorems for first-order logics of formal inconsistency // Review of Symbolic Logic. Vol. 3, 2015. P. 548–578.
Carnielli W. A., Marcos J., de Amo S. Formal inconsistency and evolutionary databases // Logic and Logical Philosophy. Vol. 8, 2000. P. 115–152.
Carnielli W. A., Rodrigues A. A logic for evidence and truth // CLE e-prints, 15(5), 2015. ftp://ftp.cle.unicamp.br/pub/e-prints/ vol.15,n_5,2015.pdf.
Dubois D., Prade H. Possibility theory, probability theory and multiplevalued logics: A clarification // Annals of Mathematics and Artificial Intelligence. Vol. 32, 2001. P. 35–66.
Field H. Logic, meaning, and conceptual role // The Journal of Philosophy. Vol. 84(7), 1977. P. 379–409.
Mares E. Paraconsistent probability theory and paraconsistent Bayesianism // Logique et Analyse. Vol. 160, 1997. P. 375–384.
Morgan C., Leblanc H. Probabilistic semantics for intuitionistic logic // Notre Dame Journal of Formal Logic. Vol. 24(2), 1983. P. 161–180.
Morgan C. There is a probabilistic semantics for every extension of classical sentence logic // Journal of Philosophical Logic. Vol. 11, 1982. P. 431–442.
Mundici D. Coherence of de Finetti coherence // Synthese. doi:10.1007/s11229-016-1126-9, 2016.
Priest G. In Contradiction: A Study of the Transconsistent. Amsterdam: Martinus Nijhoff, 1987.
Roberts L. Maybe, maybe not: Probabilistic semantics for two paraconsistent logic // Frontiers of Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency / Batens D., Mortensen C., Priest G., van Bendegem J. P. (Eds.). Logic and Computation, SeriesP. Baldock: Research Studies Press, King’s College Publications, 2000. P. 233–254.
Weatherson B. From classical to intuitionistic probability // Notre Dame Journal of Formal Logic. Vol. 44, 2003. P. 111–123.
Williams J. N. Inconsistency and contradiction // Mind. Vol. 90, 1981. P. 600–602.
Ссылки
- На текущий момент ссылки отсутствуют.
(c) 2017 Д. Буэно-Солер, В. Карниелли
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.