Giuseppe Spolaore

Agency and fictional truth: a formal study on fiction-making

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

Not Just a Coincidence. Conditional Counter-examples to Locke's Thesis

\mathcal {L}

Michelangelo’s Puzzle

L of TFM is an extension of the language of propositional logic, with the addition of temporal and modal operators. A distinctive feature of

The Actual Future is Open

\mathcal {L}

Gunky time and indeterminate existence

L with respect to other modal languages is a variety of operators having to do with fictional truth, including a ‘fictionality’ operator