Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Một Logic Thống Nhất cho Tình Huống và Tai Nạn
Tóm tắt
Như đã chỉ ra trong Fan (Tạp chí Logic Triết học, 48, 425–445, 2019), có một số điểm tương đồng giữa tình huống và tai nạn. Dựa trên điều này, người ta có thể tự nhiên đặt ra câu hỏi liệu chúng ta có thể thống nhất hai phép toán này để thể hiện tất cả những điểm tương đồng giữa chúng hay không. Trong bài viết này, thay vì xem xét sự tương tác giữa hai phép toán như trong Fan (Tạp chí Logic Triết học, 48, 425–445, 2019), chúng tôi chuyển sự chú ý sang những sự tương đồng giữa hai phép toán. Chúng tôi mở rộng phương pháp thống nhất trong Fan (Tạp chí Logic của IGPL, 2020) đến bối cảnh hiện tại. Các kết quả chính bao gồm một số kết quả lý thuyết mô hình, chẳng hạn như khả năng biểu đạt, khả năng xác định khuôn khổ, đồng mô phỏng, và một số kết quả định lý hóa.
Từ khóa
#tình huống #tai nạn #phép toán #logic #đồng mô phỏng #lý thuyết mô hình #định lý hóaTài liệu tham khảo
Bakhtiari, Z., van Ditmarsch, H., & Hansen, H. H. (2017). Neighbourhood contingency bisimulation. In Indian conference on logic and its applications (pp. 48–63). Berlin: Springer.
Balbiani, P., & Fan, J. (2017). A complete axiomatization of Euclidean strong non-contingency logic. In Proceedings of 12th Tbilisi Symposium of Language, Logic and Computation (TbiLLC) (pp. 43–48). Lagodekhi.
Costa-Leite, A. (2016). Interplays of knowledge and non-contingency. Logic and Logical Philosophy, 25(4), 521–534.
Cresswell, M. (1988). Necessity and contingency. Studia Logica, 47, 145–149.
Fan, J. (2015). Logics of essence and accident. arXiv:1506.01872. unpublished manuscript.
Fan, J. (2018). Neighborhood contingency logic: a new perspective. Studies in Logic, 11(4), 37–55.
Fan, J. (2019). Bimodal logics with contingency and accident. Journal of Philosophical Logic, 48, 425–445.
Fan, J. (2019). A family of neighborhood contingency logics. Notre Dame Journal of Formal Logic, 60(4), 683–699.
Fan, J. (2019). Symmetric contingency logic with unlimitedly many modalities. Journal of Philosophical Logic, 48, 851–866.
Fan, J. (2020). A family of Kripke contingency logics. Theoria, 86(4), 482–499.
Fan, J. (2020). Logics of (in)sane and (un)reliable beliefs. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzaa052.
Fan, J. (2021). Bimodal logic with contingency and accident: Bisimulation and axiomatizations. Logica Universalis, 15, 123–147. https://doi.org/10.1007/s11787-021-00270-9.
Fan, J., & van Ditmarsch, H. (2015). Neighborhood contingency logic. In M. Banerjee S. Krishna (Eds.) Logic and Its Application, volume 8923 of Lecture Notes in Computer Science (pp. 88–99). Springer.
Fan, J., Wang, Y., & van Ditmarsch, H. (2014). Almost necessary. In Advances in modal logic, (Vol. 10 pp. 178–196).
Fan, J., Wang, Y., & van Ditmarsch, H. (2015). Contingency and knowing whether. The Review of Symbolic Logic, 8(1), 75–107.
Gilbert, D. R., & Venturi, G. (2016). Reflexive-insensitive modal logics. The Review of Symbolic Logic, 9(1), 167–180.
Humberstone, L. (1995). The logic of non-contingency. Notre Dame Journal of Formal Logic, 36(2), 214–229.
Humberstone, L. (2013). Zolin and Pizzi: Defining necessity from noncontingency. Erkenntnis, 78(6), 1275–1302.
Humberstone, L. (2021). Propositional variables occurring exactly once in candidate modal axioms. Filosofiska Notiser, 8(1), 27–73.
Kuhn, S. (1995). Minimal non-contingency logic. Notre Dame Journal of Formal Logic, 36(2), 230–234.
Marcos, J. (2005). Logics of essence and accident. Bulletin of the Section of Logic, 34(1), 43–56.
Montgomery, H., & Routley, R. (1966). Contingency and non-contingency bases for normal modal logics. Logique et Analyse, 9, 318–328.
Montgomery, H., & Routley, R. (1968). Modal reduction axioms in extensions of S1. Logique et Analyse, 11, 492–501.
Montgomery, H., & Routley, R. (1968). Non-contingency axioms for S4 and S5. Logique et Analyse, 11(43), 422–424.
Montgomery, H., & Routley, R. (1969). Modalities in a sequence of normal non-contingency modal systems. Logique et Analyse, 12, 225–227.
Mortensen, C. (1976). A sequence of normal modal systems with non-contingency bases. Logique et Analyse, 19, 341–344.
Pizzi, C. (2007). Necessity and relative contingency. Studia Logica, 85(3), 395–410.
Steinsvold, C. (2008). Completeness for various logics of essence and accident. Bulletin of the Section of Logic, 37(2), 93–101.
Steinsvold, C. (2008). A note on logics of ignorance and borders. Notre Dame J. Formal Logic, 49(4), 385–392.
van der Hoek, W., & Lomuscio, A. (2004). A logic for ignorance. Electronic Notes in Theoretical Computer Science, 85(2), 117–133.
Zolin, E. (1999). Completeness and definability in the logic of noncontingency. Notre Dame Journal of Formal Logic, 40(4), 533–547.
Zolin, E. (2001). Infinitary expressibility of necessity in terms of contingency. In Proceedings of the sixth ESSLLI student session (pp. 325–334).