Fictional truth, or truth in fiction/pretense, has been the object of extended scrutiny among philosophers and logicians in recent decades. Comparatively little attention, however, has been paid to its inferential relationships with time and with certain deliberate and contingent human activities, namely, the creation of fictional works. The aim of the paper is to contribute to filling the gap. Toward this goal, a formal framework is outlined that is consistent with a variety of conceptions of fictional truth and based upon (...) a specific formal treatment of time and agency, that of so-called stit logics. Moreover, a complete axiomatic theory of fiction-making TFM is defined, where fiction-making is understood as the exercise of agency and choice in time over what is fictionally true. The language \ of TFM is an extension of the language of propositional logic, with the addition of temporal and modal operators. A distinctive feature of \ with respect to other modal languages is a variety of operators having to do with fictional truth, including a ‘fictionality’ operator \ . Some applications of TFM are outlined, and some interesting linguistic and inferential phenomena, which are not so easily dealt with in other frameworks, are accounted for. (shrink)

The logic of fiction has been a stand-alone research programme only since the early 1970s.1 It is a fair question as to why in the first place fictional discourse would have drawn the interest of professional logicians. It is a question admitting of different answers. One is that, since fictional names are “empty”, fiction is a primary datum for any logician seeking a suitably comprehensive logic of denotation. Another answer arises from the so-called incompleteness problem, exemplified by the fact (or (...) apparent fact) that some fictional sentences – think of “Sherlock Holmes’ mother was nick-named ‘Polly’” − are neither true nor false. These are sentences to command the attention of logicians who work on non-bivalent logics. A further spur to logical engagement is the supposed fictionality of certain kinds of ideal models in science and certain classes of mathematical objects. No doubt, there are other features of fictional discourse that provide the logician with a natural entré, but perhaps it would also be correct to say that the fiction’s biggest draw for logicians is that our quite common beliefs about the fictional constitute what Nicholas Rescher calls “aporetic clusters”, so named after the Latinized Greek aporos for “impassable”.2 An aporetic cluster is a set of claims such that.. (shrink)