Modal fictionalism

Last updated

Modal fictionalism is a term used in philosophy, and more specifically in the metaphysics of modality, to describe the position that holds that modality can be analysed in terms of a fiction about possible worlds. The theory comes in two versions: Strong and Timid. Both positions were first exposed by Gideon Rosen starting from 1990. [1]

Contents

Types

Modal fictionalism is a philosophical perspective that centers on the assertion that possible worlds are fictional entities. This perspective seeks to explain our apparent commitment to possible worlds in a manner akin to our engagement with other fictional constructs, such as ideal gases or frictionless surfaces. One of the pioneering works in this field was presented by Rosen in 1990, wherein he and other scholars formulated modal fictionalism as a theory equating talk of possible worlds with discussions about paradigmatically fictional objects, such as Sherlock Holmes. For example, statements like "There is a (non-actual) possible world at which there are blue swans" are understood through an analogy with "There is a brilliant detective at 221b Baker Street," as proposed by Rosen. [2]

Modal fictionalism involves at least a partial account of how paradigmatically fictional claims are to be treated, asserting that these claims are, in a literal and strict sense, false. According to modal fictionalists, there are no merely possible worlds, situations, outcomes, or objects. In strict terms, there is no sculpture created on a particular morning, even though the potential for its creation existed. Similarly, when a coin flip results in heads, there is no outcome in which it lands tails, strictly speaking.

However, within the context of the modal fiction or the fiction of possible worlds, there exists a (merely possible) sculpture that could have been created that morning and an (unactualized) outcome where the coin lands tails. While discussions about merely possible worlds and objects are generally literally false, more elaborate discussions about what is true according to the fiction of possible worlds are considered literally true.

Some proponents of modal fictionalism, such as Hinckfuss (1993), suggest that discussions about possible worlds should be governed by implicit presuppositions known to be false. This approach ensures that statements in the language of possible worlds do not necessitate a belief in their actual existence but rather commit one to more economical propositions, such as "if there were possible worlds of a certain kind, then..." or "given the presupposition that there are possible worlds...". Alternatively, other accounts of how talk about possible worlds functions may be proposed. For instance, Nolt (1986) proposes treating typical "possibilistic discourse" as a form of make-believe, although the specific theory of make-believe is not explicitly defined. Notably, Stephen Yablo (Yablo 1996) employs Walton's theory of make-believe in his modal fictionalism, which he also refers to as figuralism.

One of the primary advantages of adopting a fictional approach to possible worlds is the ability to utilize the language of possible worlds without committing to their literal existence. This approach is particularly appealing when considering merely possible objects, such as blue swans or dragons, which are often characterized by their non-actual existence.

Central to modal fictionalism are biconditionals that establish connections between truths about necessity and possibility and the contents of the modal fiction. These biconditionals, exemplified by schemas like "Possibly P iff according to the fiction of possible worlds, P is true at some possible world" and "Necessarily P iff according to the fiction of possible worlds, P is true at all possible worlds," are crucial for understanding the relationship between modal claims and the modal fiction. While these biconditionals can inter-define necessity and possibility, their precise workings may vary among different modal fictionalists. [2]

In conclusion, modal fictionalism offers a unique perspective on the nature of possible worlds, allowing for the exploration of these concepts while avoiding the ontological commitment to their actual existence. The diversity of approaches within modal fictionalism highlights the rich philosophical discussions and debates surrounding this intriguing viewpoint. [3] [2]

Strong fictionalism about possible worlds

According to strong fictionalism about possible worlds (another name for strong modal fictionalism), the following bi-conditionals are necessary and specify the truth-conditions for certain cases of modal claims:

  1. It is possible that P iff the translation of P into the language of a fiction F (containing possible worlds) holds according to F.
  2. It is necessary that P iff the translation of P into the language of a fiction F (containing possible worlds) always holds.

Recent supporters of this view added further specifications of these bi-conditionals to counter certain objections. In the case of claims of possibility, the revised bi-conditional is thus spelled out: (1.1) it is possible that P iff At this universe, presently, the translation of P into the language of a fiction F holds according to F. [4]

Timid fictionalism about possible worlds

According to a timid version of fictionalism about possible worlds, our possible worlds can be properly understood as involving reference to a fiction, but the aforementioned bi-conditionals should not be taken as an analysis of certain cases of modality.

Objections and criticisms

Modal fictionalism has encountered various objections and concerns on more conceptual and philosophical grounds. These concerns are not uniformly applicable to all forms of modal fictionalism and often target specific versions of the doctrine.

Artificiality

One significant concern relates to the artificial nature of fictions. Fictional stories are human creations, typically authored by individuals who exercise a significant degree of control over the content and truth within those narratives. When considering modal fictionalism, it becomes evident that not just any narrative about possible worlds can serve as the modal fiction, especially if it is meant to provide heuristic and explanatory advantages similar to realist theories of possible worlds. The worry here is that talk of possible worlds may not be as flexible as typical fictional narratives, as the choice of which story about possible worlds should be the modal fiction might not be entirely within our discretion.

Modal fictionalists can argue that the constraints of the fiction are necessary, just as specific constraints govern the creation of fictional stories about other topics. However, defining these constraints can be challenging, and determining why they are appropriate is no simple task. Even if such constraints are established, there may still be a degree of artificiality in the choice of details left undetermined by these constraints, though this is unlikely to be a fatal problem.

A more specific concern arises regarding the contingency of whether a modal fiction exists at all. If sentient beings had never existed, no stories about possible worlds would have been told. Even if modal fiction is viewed as a Platonic entity (such as a collection of propositions), it might not have been considered fiction if it had never been expressed by storytellers. This concern is particularly relevant when modal truth is thought to depend on the contents of the fiction, as the possibility of blue swans, for instance, should not be contingent upon whether stories have been told. Various responses to this concern have been proposed in the literature. [5]

Incompleteness

Fictions, including modal fictions, often exhibit incompleteness by being silent on certain issues. For example, the Sherlock Holmes stories do not specify the exact population of India or the number of hairs on Dr. Watson's head. Similarly, the modal fiction might also exhibit incompleteness, leaving some propositions without determinate truth values within the fiction.

This incompleteness can pose challenges. For instance, there is the "incompleteness problem," where a fictionalist may remain silent on certain modal issues, not because they believe there is no answer, but because the fiction itself is silent on those issues. This can lead to difficulties in determining the truth or falsity of related modal claims. Different solutions have been proposed, including treating modal claims as indeterminate when the fiction is silent on corresponding questions about possible worlds.

Another concern is that a modal fiction must represent a vast amount of information about possible worlds, as there are infinitely many claims about possible worlds necessary to correspond to all modal claims. However, the finite resources of description can limit the extent to which these propositions can be explicitly stated. While generalizations about possible worlds can help, strong modal fictionalists aiming to reductively analyze modality in terms of the fiction face challenges in representing the implicit content of the fiction without relying on modal notions like implication. [6]

Selection of fiction

A critical aspect of modal fictionalism is the specification of the fiction of possible worlds to be used. Selecting one from many potential candidate stories and justifying this choice is essential, yet often overlooked. While some modal fictionalists offer justifications, many do not.

Timid modal fictionalism provides a straightforward answer to this question by relying on independently obtaining modal truths. Strong modal fictionalists, however, must ensure that the content of the fiction aligns with the modal claims they wish to make. Nonetheless, this doesn't help them determine the content of the fiction itself. Specifying this content without relying on modal notions like implication is a challenge faced by strong modal fictionalists.

Constraints on the choice of fiction may be drawn from various sources, such as conformity with pre-theoretic modal judgments, inclusion of literal truths about our actual world, and considerations of our imaginative practices when forming modal beliefs. Even with these constraints, there might still be multiple equally suitable fictions, raising questions about how to handle differing fictional choices and their implications for modal claims.

Theoretical primitives

Modal fictionalism relies on the "According to PW..." operator as a central theoretical tool. This operator poses a challenge, as it appears to be a modal notion. For modal fictionalists interested in analyzing modality in terms of their fiction, this operator should not be analyzed in terms of standard modal devices or possible worlds. Whether it should be considered a primitive or analyzed further remains a matter of debate and is a concern for those seeking a reductive analysis of modality.

Possible worlds semantics

Some philosophers[ who? ] have argued that modal fictionalism may not provide all the benefits of standard possible worlds semantics for modal discourse. John Divers, in particular, has raised objections to this aspect of modal fictionalism, questioning whether it can fully capture the advantages of traditional possible worlds semantics.[ citation needed ]

Three more concerns

Modal fictionalism has also faced additional objections and concerns:

These concerns are part of ongoing debates surrounding modal fictionalism and its compatibility with various philosophical positions. [3] [7]

See also

Related Research Articles

In logic and related fields such as mathematics and philosophy, "if and only if" is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either both statements are true or both are false. The connective is biconditional, and can be likened to the standard material conditional combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other, though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, P if and only if Q means that P is true whenever Q is true, and the only case in which P is true is if Q is also true, whereas in the case of P if Q, there could be other scenarios where P is true and Q is false.

<span class="mw-page-title-main">Saul Kripke</span> American philosopher and logician (1940–2022)

Saul Aaron Kripke was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. From the 1960s until his death, he was a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.

Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this sense, philosophical logic can be seen as identical to the philosophy of logic, which includes additional topics like how to define logic or a discussion of the fundamental concepts of logic. The current article treats philosophical logic in the narrow sense, in which it forms one field of inquiry within the philosophy of logic.

Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula can be used to represent the statement that is known. In deontic modal logic, that same formula can represent that is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula as a tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false.

<span class="mw-page-title-main">David Lewis (philosopher)</span> American philosopher (1941–2001)

David Kellogg Lewis was an American philosopher. Lewis taught briefly at UCLA and then at Princeton University from 1970 until his death. He is closely associated with Australia, whose philosophical community he visited almost annually for more than 30 years.

Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tree may be said to be true because there actually is a green tree. But if there were no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else. Expressed more generally, truthmaker theory is the thesis that "the truth of truthbearers depends on the existence of truthmakers". A perceptual experience is the truthbearer in the example above. Various representational entities, like beliefs, thoughts or assertions can act as truthbearers. Truthmaker theorists are divided about what type of entity plays the role of truthmaker; popular candidates include states of affairs and tropes.

A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not.

A philosophical zombie is a being in a thought experiment in the philosophy of mind that is physically identical to a normal human being but does not have conscious experience.

In analytic philosophy, actualism is the view that everything there is is actual. Another phrasing of the thesis is that the domain of unrestricted quantification ranges over all and only actual existents.

Fictionalism is a view in philosophy that posits that statements appearing to be descriptions of the world should not be construed as such, but should instead be understood as cases of "make believe", thus allowing individuals to treat something as literally true.

Modal realism is the view propounded by philosopher David Lewis that all possible worlds are real in the same way as is the actual world: they are "of a kind with this world of ours." It is based on four tenets: possible worlds exist, possible worlds are not different in kind from the actual world, possible worlds are irreducible entities, and the term actual in actual world is indexical, i.e. any subject can declare their world to be the actual one, much as they label the place they are "here" and the time they are "now".

<span class="mw-page-title-main">Nathan Salmon</span> American philosopher

Nathan U. Salmon is an American philosopher in the analytic tradition, specializing in metaphysics, philosophy of language, and philosophy of logic.

<i>Language, Truth, and Logic</i> 1936 book by A. J. Ayer

Language, Truth and Logic is a 1936 book about meaning by the philosopher Alfred Jules Ayer, in which the author defines, explains, and argues for the verification principle of logical positivism, sometimes referred to as the criterion of significance or criterion of meaning. Ayer explains how the principle of verifiability may be applied to the problems of philosophy. Language, Truth and Logic brought some of the ideas of the Vienna Circle and the logical empiricists to the attention of the English-speaking world.

Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialized analyses of reasoning such as probability, correct reasoning, and arguments involving causality. One of the aims of logic is to identify the correct and incorrect inferences. Logicians study the criteria for the evaluation of arguments.

<span class="mw-page-title-main">Quietism (philosophy)</span> View on the purpose of philosophy

Quietism in philosophy sees the role of philosophy as broadly therapeutic or remedial. Quietist philosophers believe that philosophy has no positive thesis to contribute; rather, it defuses confusions in the linguistic and conceptual frameworks of other subjects, including non-quietist philosophy. For quietists, advancing knowledge or settling debates is not the job of philosophy, rather philosophy should liberate the mind by diagnosing confusing concepts.

Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterisation, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness.

Gideon Rosen is an American philosopher. He is a Stuart Professor of Philosophy at Princeton University, where he specializes in metaphysics, philosophy of mathematics, and ethics.

Abilities are powers an agent has to perform various actions. They include common abilities, like walking, and rare abilities, like performing a double backflip. Abilities are intelligent powers: they are guided by the person's intention and executing them successfully results in an action, which is not true for all types of powers. They are closely related to but not identical with various other concepts, such as disposition, know-how, aptitude, talent, potential, and skill.

This is a glossary of logic. Logic is the study of the principles of valid reasoning and argumentation.

References

  1. ↑ Gideon Rosen, Modal Fictionalism, Mind, 99, 395 (1990), pp. 327-54.
  2. 1 2 3 ROSEN, GIDEON (1990). "Modal Fictionalism". Mind. XCIX (395): 327–354. doi:10.1093/mind/xcix.395.327. ISSN   0026-4423.
  3. 1 2 Nolan, Daniel (2022), "Modal Fictionalism", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Winter 2022 ed.), Metaphysics Research Lab, Stanford University, retrieved 2023-09-09
  4. ↑ Seahwa Kim, 'Modal Fictionalism and Analysis', in Mark Kalderon (ed.) Fictionalism in Metaphysics (Oxford: Clarendon Press), pp. 116-33.
  5. ↑ WOODWARD, RICHARD (2011-11-02). "Is Modal Fictionalism Artificial?". Pacific Philosophical Quarterly. 92 (4): 535–550. doi: 10.1111/j.1468-0114.2011.01411.x . ISSN   0279-0750.
  6. ↑ Woodward, Richard (2011-09-15). "Fictionalism and Incompleteness". Noûs. 46 (4): 781–790. doi:10.1111/j.1468-0068.2010.00826.x. ISSN   0029-4624.
  7. ↑ Skiba, Lukas (2016-01-19). "Fictionalism and the incompleteness problem". Synthese. 194 (4): 1349–1362. doi: 10.1007/s11229-015-1000-1 . ISSN   0039-7857.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.