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

A Four-Valued Logical Framework for Reasoning About Fiction
  • Home
  • /
  • A Four-Valued Logical Framework for Reasoning About Fiction
  1. Home /
  2. Archives /
  3. Vol. 31 No. 4 (2022): December /
  4. Articles

A Four-Valued Logical Framework for Reasoning About Fiction

Authors

  • Newton Peron Department of Philosophy, Federal University of Southern Frontier (UFFS), Chapecó, Brazil https://orcid.org/0000-0003-3724-1775
  • Henrique Antunes Department of Philosophy, Federal University of Minas Gerais (UFMG), Belo Horizonte, Brazil https://orcid.org/0000-0003-2089-8957

DOI:

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

Keywords

philosophy of fiction, fictional names, logic of fiction, four-valued logics

Abstract

In view of the limitations of classical, free, and modal logics to deal with fictional names, we develop in this paper a four-valued logical framework that we see as a promising strategy for modeling contexts of reasoning in which those names occur. Specifically, we propose to evaluate statements in terms of factual and fictional truth values in such a way that, say, declaring ‘Socrates is a man’ to be true does not come down to the same thing as declaring ‘Sherlock Holmes is a man’ to be so. As a result, our framework is capable of representing reasoning involving fictional characters that avoids evaluating statements according to the same semantic standards. The framework encompasses two logics that differ according to alternative ways one may interpret the relationships among the factual and fictional truth values.

References

Avron, A., and A. Zamansky, “Non-deterministic semantics for logical systems”, pages 227–304 in Handbook of Philosophical Logic, vol. 16, 2011.

Bacon, A., “Quantificational logic and empty names”, Philosophers’ Imprint, 13 (2013).

Badura, C., and F. Berto, “Truth in fiction, impossible worlds, and belief revision”, Australasian Journal of Philosophy, 97, 1 (2019): 178–193. DOI: http://dx.doi.org/10.1080/00048402.2018.1435698

Bencivenga, E., “Free logics”, pages 147–196 in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2 ed., vol. 5, Springer, 2002.

da Costa, N. C. A., “On the theory of inconsistent formal systems”, Notre Dame Journal of Formal Logic, 15, 4 (1974): 497–510. DOI: http://dx.doi.org/10.1305/ndjfl/1093891487

Evans, G., “Understanding demonstratives”, in Collected Papers, Oxford University Press, 1985.

Everett, A., “Against fictional realism”, The Journal of Philosophy, 102, 12 (2005): 624–649. DOI: http://dx.doi.org/10.5840/jphil2005102129

Frege, G., “Sense and reference”, The Philosophical Review, 57 (1948): 209–230.

Frege, G., Posthumous Writings, Blackwell, 1979.

Gottwald, S., “Many-valued logic”, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Summer 2020 edition, Stanford University. https://plato.stanford.edu/entries/logic-manyvalued/

Ivlev, J. V., “A semantics for modal calculi”, Bulletin of the section of logic, 17 (1988): 114–121.

Jaquette, D. (ed.), Philosophy of Logic, 5 ed., Handbook of the Philosophy of Logic, North Holland, 2007.

Kearns, J., “Modal semantics without possible worlds”, The Journal of Symbolic Logic, 46, 1 (1981): 77–86. DOI: http://dx.doi.org/10.2307/2273259

Kripke, S. A., “Quantified modality and essentialism”, Noûs, 51, 2 (2017): 221–234. DOI: http://dx.doi.org/10.1111/nous.12126

Lehmann, S., “Strict Fregean free logic”, Journal of Philosophical Logic, 23, 3 (1994): 307–336. DOI: http://dx.doi.org/10.1007/BF01048484

Lehmann, S., “More free logic”, pages 197–259 in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2 ed., vol. 5, Springer, 2002.

Marcos, J., “Nearly every normal modal logic is paranormal”, Logique et Analyse, 48 (2005): 279–300.

Nolt, J., “Free logics”, pages 1023–1060 in: Jaquette, D. (ed.), Philosophy of Logic, 5 ed., Handbook of the Philosophy of Logic, North Holland, 2007.

Omori, H., and T. Waragai, “Some observations on the systems LFI1 and LFI1∗”, pages 320–324 in F. Morvan, A. M. Tjoa, and R. Wagner (eds.), Proceedings of DEXA2011, 2011, IEEE computer society.

Orlando, L., “Fictional names without fictional objects”, Revista Hispanoamericana de Filosofía, 40 (2008): 111–127.

Priest, G., “Sylvan’s box: a short story and ten morals”, Notre Dame Journal of Formal Logic, 38, 4 (1997): 573–82. DOI: http://dx.doi.org/10.1305/ndjfl/1039540770

Sainsbury, R. M., Reference Without Referents, Oxford University Press, USA, 2005.

Sano, K., and H. Omori, “An expansion of first-order Dunn-Belnap logic”, Logic Journal of the IGPL, 22, 3 (2013): 458–481. DOI: http://dx.doi.org/10.1093/jigpal/jzt044

Sawyer, S., “The importance of fictional properties”, pages 208–229 in S. Brock and A. Everett (eds.), Fictional Object, Oxford University Press, 2015. DOI: http://dx.doi.org/10.1093/acprof:oso/9780198735595.003.0009

Suppes, P., Axiomatic Set Theory, 2 ed., Dover, 1972.

van Dalen, D., Logic and Structure, 5 ed., Springer, 2013. DOI: http://dx.doi.org/10.1007/978-1-4471-4558-5

Woods, J., “Fictions and their logic”, pages 1061–1126 in: Jaquette, D. (ed.), Philosophy of Logic, 5 ed., Handbook of the Philosophy of Logic, North Holland, 2007.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2022-05-25

How to Cite

1.
PERON, Newton & ANTUNES, Henrique. A Four-Valued Logical Framework for Reasoning About Fiction. Logic and Logical Philosophy [online]. 25 May 2022, T. 31, nr 4, s. 579–610. [accessed 24.3.2023]. DOI 10.12775/LLP.2022.020.
  • PN-ISO 690 (Polish)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 31 No. 4 (2022): December

Section

Articles

License

Copyright (c) 2022 Newton Marques Peron, Henrique Antunes

Creative Commons License

This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.

Stats

Number of views and downloads: 885
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

Tags

Search using one of provided tags:

philosophy of fiction, fictional names, logic of fiction, four-valued logics
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
  • Karmelitański Instytut Duchowości w Krakowie
  • 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
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • 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