The empirical phenomenon at the center of this paper is projection, which we define (uncontroversially) as follows: (1) Definition of projection An implication projects if and only if it survives as an utterance implication when the expression that triggers the implication occurs under the syntactic scope of an entailment-cancelling operator. Projection is observed, for example, with utterances containing aspectual verbs like stop, as shown in (2) and (3) with examples from English and Paraguayan Guaraní (Paraguay, Tupí-Guaraní).1 The Guaraní example in (...) (2) and its English translation have at least the following implications: (i) Carla has previously smoked, and (ii) Carla stopped smoking. The first but not the second of these implications is also conveyed by the question version of sentence (2), as in (3a), or when (2) is embedded under entailment-cancelling sentential operators, such as negation, as in (3b), the antecedent of a conditional, as in (3c), or an epistemic modal, as in (3d). Hence, by the definition in (14), the first but not the second implication of (2) projects. (shrink)

Could having a sense of humor be a virtue? In this paper, we argue for an affirmative answer to this question. Like other virtues, a sense of humor enhances and inhibits the expression of various emotions, especially amusement, contempt, trust, and hope. Someone possesses a virtuous sense of humor to the extent that they are well-disposed to appropriately enhance or inhibit these emotions in themselves and others through both embodied reactions (e.g., smiling, laughter, eyerolls) and language (e.g., telling jokes, understanding (...) others’ jokes, etc.). Regarding the aims or purposes of a sense of humor, we argue that a sense of humor aids both its bearer and other people who are socially connected to the bearer with coping, connection, capability, and criticism. If this is on the right track, then the value of a sense of humor is pluralistic: a sense of humor doesn’t do just one thing, but several things simultaneously. We then explore four contexts in which a sense of humor is especially needed, namely hardship, social relationships, social and political cooperation, and existential reflection. (shrink)

Human relationships with cars are multifaceted and morally fraught. Cars serve multiple functions, and generate experiences characteristic of both fine art and everyday aesthetic experience – but they’re also the roots of dire eco-social ills. Recent theories tend to undermine the aesthetic aspects of human-automobile relationships in order to emphasize cars’ ethically problematic effects. But cars’ shameful consequences need not cancel out their beauty or their relevance to aesthetic theories. I suggest that David Hume’s aesthetic tenets demonstrate how and why (...) cars are beautiful, foregrounding considerations that automobile aesthetics can’t afford to ignore but that risk being obscured by cars’ positively and negatively charged status. For instance, Hume underscores rational choice as an element of aesthetic experience: we can choose how and when to experience cars’ beauty or ugliness. According to Hume, utility tends to inspire sentiments of beauty; and what is ethically good is most useful to humanity at large. But tension arises from this principle, as Hume finds that even socially harmful phenomena are yet aesthetically interesting. This provocative tension is at the heart of the aesthetic appreciation of cars, and is part of what makes such appreciation worthwhile. Hume paves the way to a realistic aesthetics of automobiles that can account for their problematic effects while refusing to downplay their aesthetic potential. This paper was presented at the 2011 Meeting of the American Society for Aesthetics in Tampa, Florida. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

The paper examines Cosmatos's work to date: the two feature films 'Beyond the Black Rainbow'(2010), and 'Mandy' (2018), and the episode ‘The Viewing’ (2022) from the Netflix series 'Guillermo del Toro's Cabinet of Curiosities'. I argue that Cosmatos's films act as a vernacular critique of popular culture iterations of Nietzsche's Übermensch, and as such addresses the political and psychological anxieties of a mass North American audience. I further argue that Cosmatos is a profoundly psychoanalytical film maker, staging as horror, (...) the subject who has weakened their ego in the name of transcendence, only to find the forces of super-ego and Id causing violent psychotic breakdown. The article takes an interdisciplinary approach to Cosmatos's contextualization (alongside more obvious peers) looking at the work of British artist Dexter Dalwood to help understand the political and philosophical aspects of Cosmatos's output. (shrink)

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that Ti∈ range(ℋ) iff Ti = ℋ(T). As a corollary, no fragment of HA extending iΠ1 belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of (...) H by different methods. We provide more examples of theories not in the range of ℋ. We show PA-normality of once-branching Kripke models of HA + MP, where it is not known whether the same holds if MP is dropped. (shrink)

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out (...) that the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics. (shrink)