Brian Haas

This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of LF, lays out some notational conventions, and states some basic technical facts about the system.

We often use the term “attachment” to describe our emotional connectedness to objects in the world. We become attached to our careers, to our homes, to certain ideas, and perhaps most importantly, to other people. Interestingly, despite its import and ubiquity in our everyday lives, the topic of attachment per se has been largely ignored in the philosophy literature. I address this lacuna by identifying attachment as a rich “mode of mattering” that can help to inform certain aspects of agency and emotion. First, drawing on insights from Ancient stoicism and developmental and clinical psychology, I suggest that the relevant form of attachment involves a felt need for its object and a particular relationship between the object and the attached agent’s sense of security. I then argue that these features serve to distinguish the attitude from the more philosophically familiar notion of caring. Finally, I show that recognizing this form of attachment as a distinct mode of mattering has important implications for understanding grief