Submitted:
09 December 2025
Posted:
10 December 2025
You are already at the latest version
Abstract
Keywords:
1. Introduction
2. A Resource-Sensitive Theory of Truth
3. Examples and Applications
4. Challenges and Responses
5. Conclusions
Appendix A. Formal Underpinnings of Resource-Sensitive Truth
References
- Alston, William P. A Realist Conception of Truth; Cornell University Press: Ithaca, 1996. [Google Scholar]
- Andreoli, Jean-Marc. Logic Programming with Focusing Proofs in Linear Logic. Journal of Logic and Computation 1992, 2(no. 3), 297–347. [Google Scholar] [CrossRef]
- Asher, Nicholas; Lascarides, Alex. Logics of Conversation; Cambridge University Press: Cambridge, 2003. [Google Scholar]
- Baelde, David. Least and Greatest Fixed Points in Linear Logic. ACM Transactions on Computational Logic 2012, 13(no. 1), 1–44. [Google Scholar] [CrossRef]
- Barroso-Nascimento, Victor; Piotrovskaya, Ekaterina; Pimentel, Elaine. “A Proof-Theoretic Approach to the Semantics of Classical Linear Logic.” arXiv:2504.08349 [cs.LO], version 4. 2025. Available online: https://arxiv.org/abs/2504.08349.
- Bellin, Gianluigi; Scott, Philip J. On the π-Calculus and Linear Logic. Theoretical Computer Science 1994, 135(no. 1), 11–65. [Google Scholar] [CrossRef]
- Blanshard, Brand. The Nature of Thought; Allen & Unwin: London, 1939; Vol. 2. [Google Scholar]
- Boghossian, Paul. Content and Justification: Philosophical Papers; Oxford University Press: Oxford, 2003. [Google Scholar]
- Capps, John. A Common-Sense Pragmatic Theory of Truth. Philosophia 2020, 48(no. 2), 463–481. [Google Scholar] [CrossRef]
- Cartwright, Nancy. How the Laws of Physics Lie; Oxford University Press: Oxford, 1983. [Google Scholar]
- Chang, Hasok. Is Water H2O? Evidence, Realism and Pluralism; Springer: Dordrecht, 2012. [Google Scholar]
- Girard, Jean-Yves. Linear Logic. Theoretical Computer Science 1987, 50, 1–101. [Google Scholar] [CrossRef]
- Davidson, Donald. Inquiries into Truth and Interpretation; Clarendon Press: Oxford, 1984. [Google Scholar]
- Dummett, Michael. The Seas of Language; Oxford University Press: Oxford, 1993. [Google Scholar]
- Feldman, Richard. Internalism Defended. Philosophical Studies 1981, 40(no. 3), 255–72. [Google Scholar]
- Franklin, Allan. The Neglect of Experiment; Cambridge University Press: Cambridge, 1994. [Google Scholar]
- Gettier, Edmund L. Is Justified True Belief Knowledge? Analysis 1963, 23(no. 6), 121–23. [Google Scholar] [CrossRef]
- Girard, Jean-Yves. Linear Logic. Theoretical Computer Science 1987, 50(no. 1), 1–101. [Google Scholar] [CrossRef]
- Girard, Jean-Yves. The Blind Spot: Lectures on Logic; European Mathematical Society: Zurich, 2011. [Google Scholar]
- Haack, Susan. Evidence and Inquiry: Towards Reconstruction in Epistemology; Blackwell: Oxford, 1996. [Google Scholar]
- Hacking, Ian. Representing and Intervening: Introductory Topics in the Philosophy of Natural Science; Cambridge University Press: Cambridge, 1983. [Google Scholar]
- Hoffmann, Glen. The Minimalist Theory of Truth: Challenges and Concerns. Philosophy Compass 2010, 5(10), 938–949. [Google Scholar] [CrossRef]
- Jalali, Raheleh. Proof Complexity of Substructural Logics. Annals of Pure and Applied Logic 2021, 172(7), Article 102972. [Google Scholar] [CrossRef]
- Kamp, Hans; Reyle, Uwe. From Discourse to Logic: Introduction to Model-Theoretic Semantics of Natural Language; Kluwer: Dordrecht, 1993. [Google Scholar]
- Kvanvig, Jonathan L. The Value of Knowledge and the Pursuit of Understanding; Cambridge University Press: Cambridge, 2003. [Google Scholar]
- Martin-Löf, Per. On the Meanings of the Logical Constants and the Justifications of the Logical Laws. Nordic Journal of Philosophical Logic 1996, 1(no. 1), 11–60. [Google Scholar]
- Miller, Alexander. Philosophy of Language; Routledge: London, 2008. [Google Scholar]
- Niiniluoto, Ilkka. Critical Scientific Realism; Oxford University Press: Oxford, 1999. [Google Scholar]
- Peregrin, Jaroslav. Inferentialism: Why Rules Matter; Palgrave Macmillan: London, 2014. [Google Scholar]
- Peirce, Charles S. How to Make Our Ideas Clear. Popular Science Monthly 12(1878), 286–302.
- Pollock, John L.; Cruz, Joseph. Contemporary Theories of Knowledge; Rowman & Littlefield: Lanham, 1999. [Google Scholar]
- Prawitz, Dag. Ideas and Results in Proof Theory. In Proceedings of the Second Scandinavian Logic Symposium; Fenstad, J. E., Ed.; North-Holland: Amsterdam, 1971; pp. 235–307. [Google Scholar]
- Putnam, Hilary. Reason, Truth and History; Cambridge University Press: Cambridge, 1981. [Google Scholar]
- Quine, W. V. O. Philosophy of Logic. Foundations of Mathematics 1970, 1, 1–9. [Google Scholar]
- Ramsey, Frank P. Facts and Propositions. In Proceedings of the Aristotelian Society; 1927; pp. 153–70. [Google Scholar]
- Restall, Greg. An Introduction to Substructural Logics; Routledge: London, 2000. [Google Scholar]
- Rott, Hans. Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning; Oxford University Press: Oxford, 2001. [Google Scholar]
- Schroeder-Heister, Peter. Rules of Definitional Reflection. In Logic Colloquium ’90; Ebbinghaus, H.-D., et al., Eds.; Springer: Berlin, 1991; pp. 221–42. [Google Scholar]
- Schroeder-Heister, Peter. Validity Concepts in Proof-Theoretic Semantics. Synthese 2006, 148(no. 3), 525–71. [Google Scholar] [CrossRef]
- Sellars, Wilfrid. Science, Perception and Reality; Routledge & Kegan Paul: London, 1963. [Google Scholar]
- Strawson, P. F. Truth. Proceedings of the Aristotelian Society 24 vol.(1950), 129–56.
- Szaif, Jan. Plato and Aristotle on Truth and Falsehood. In The Oxford Handbook of Truth; Glanzberg, Michael, Ed.; Oxford University Press: Oxford, 2018; pp. 9–49. [Google Scholar]
- Tennant, Neil. The Taming of the True; Clarendon Press: Oxford, 1997. [Google Scholar]
- Troelstra, Anne S. Lectures on Linear Logic; CSLI Publications: Stanford, 1992. [Google Scholar]
- van Benthem, Johan. Logical Dynamics of Information and Interaction; Cambridge University Press: Cambridge, 2011. [Google Scholar]
- Walker, Ralph. The Coherence Theory of Truth. In The Oxford Handbook of Truth, edited by Michael Glanzberg; Oxford University Press: Oxford, 2018; pp. 219–237. [Google Scholar] [CrossRef]
- Williamson, Timothy. Knowledge and Its Limits; Oxford University Press: Oxford, 2000. [Google Scholar]
- James, William. Pragmatism: A New Name for Some Old Ways of Thinking; Longmans, Green & Co.: New York, 1907. [Google Scholar]
- Zagzebski, Linda. Virtues of the Mind: An Inquiry into the Nature of Virtue and the Ethical Foundations of Knowledge; Cambridge University Press: Cambridge, 2000. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).