In this paper, I argue that theories of perception that appeal to Helmholtz’s idea of unconscious inference (“Helmholtzian” theories) should be taken literally, i.e. that the inferences appealed to in such theories are inferences in the full sense of the term, as employed elsewhere in philosophy and in ordinary discourse. -/- In the course of the argument, I consider constraints on inference based on the idea that inference is a deliberate acton, and on the idea that inferences depend on the (...) syntactic structure of representations. I argue that inference is a personal-level but sometimes unconscious process that cannot in general be distinguished from association on the basis of the structures of the representations over which it’s defined. I also critique arguments against representationalist interpretations of Helmholtzian theories, and argue against the view that perceptual inference is encapsulated in a module. (shrink)

An approach to implementing variational Bayesian inference in biological systems is considered, under which the thermodynamic free energy of a system directly encodes its variational free energy. In the case of the brain, this assumption places constraints on the neuronal encoding of generative and recognition densities, in particular requiring a stochastic population code. The resulting relationship between thermodynamic and variational free energies is prefigured in mind–brain identity theses in philosophy and in the Gestalt hypothesis of psychophysical isomorphism.

I attempt to meet some criticisms that Williamson makes of my attempt to carry out Prior's project of reducing possibility discourse to actualist discourse.

We challenge Bruineberg et al's view that Markov blankets are illicitly reified when used to describe organismic boundaries. We do this both on general methodological grounds, where we appeal to a form of structural realism derived from Bayesian cognitive science to dissolve the problem, and by rebutting specific arguments in the target article.

The theory of embodiment is used in providing an account of the identity of acts and in providing solutions to various puzzles concerning acts.

An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of (...) entailment, showing that it is compact and decidable. We then investigate the effect of various restrictions on the semantics. We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results. (shrink)

I argue that, in one sense, collective wisdom can save civilization. But in a more important sense, collective wisdom should be understood as a form of civilization, as the result and expression of a moral civilizing-process that comes about through the creation and transmission of collective interpretations of human experience and human nature. Collective wisdom traditions function in this manner by providing an interpretation of what it means to be human and what thoughts, skills, and actions are required to live (...) a successful human life at the most general level of analysis. Collective wisdom can have a civilizing effect on individuals, and indirectly on societies, by providing a type of orienting framework for understanding the proper relationship between the self, others, and the world. Such traditions in effect provide a “blueprint” for the successful human life as such, by providing guidance on thought and action, on what is appropriate to think, feel, desire, and do in theoretical and practical contexts. A wise individual will be a 'civilized' individual in this moral sense, an individual who is properly habituated and educated so as to now reflectively endorse and desire thinking and acting in virtuous ways. However, this understanding of collective wisdom and civilization is in many ways today controversial and met with justified critiques and skeptical criticisms. To defend this way of approaching and answering our question against these critiques, I turn to ancient wisdom traditions from ancient India, China, and Greece as paradigms for understanding exactly how collective wisdom can achieve the end of civilizing humanity. Based on this analysis, I sketch the outlines of a revitalized ancient wisdom tradition able to civilize individuals today, but such a tradition must be updated to reflect the advancement of modern natural science and to meet the demands of living in our diverse, pluralistic, and globalized world. (shrink)

This essay attempts to explain the traditional and contemporary philosophical neglect of disability by arguing that the philosophical prioritization of rationality leads to a distinctly philosophical conception of disability as a negative category of non-normative embodiment. I argue that the privilege given to rationality as distinctive of what it means to be both a human subject and a moral agent informs supposedly rational norms of human embodiment. Non-normative types of embodiment in turn can only be understood in contradistinction to these (...) rationalized norms, which are predicated on the elimination of certain features and types of embodiment deemed inimical to reason. To establish this thesis, I focus on Platonic philosophy and the Republic as Platonic conceptions of reason and normative types of embodiment have a historical and conceptual influence on contemporary assumptions concerning rational human nature, medicine, mental health, vice, disease, and impairment. (shrink)

Our aim in this paper is to extend the semantics for the kind of logic of ground developed in (deRosset and Fine, 2023). In that paper, we very briefly suggested a way of treating universal and existential quantification over a fixed domain of objects. Here we explore some options for extending the treatment to allow for a variable domain of objects.

This paper is concerned with the semantics for the logics of ground that derive from a slight variant GG of the logic of (Fine, 2012) that have already been developed in (deRosset and Fine, 2023). Our aim is to outline that semantics and to provide a comparison with two related semantics for ground, given in (Correia, 2017) and (Kraemer, 2018). This comparison highlights the strengths and difficulties of these different approaches.

This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of the original pure system (...) with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b). (shrink)

The alliance between Appalachian churches and the coal industry has brought Appalachia to its knees. For over two centuries, Appalachian ministers and priests have pressured their congregants to sell land, manipulate papal documents, exploit church properties for personal gain, and frame incomplete economic data regarding the coal industry with sound theological arguments. In response to this institutional corruption favoring the coal industry, a new theory of Appalachian liberation theology needs development to break the coal-church alliance. Through examining papal documents, theological (...) work by Michael Iafrate and the Catholic Committee of Appalachia, and jobs and economic data from agencies like the Appalachian Research Commission and Energy Futures Initiative, liberation theologians can begin to chart the first contours of Appalachian liberation theology. Such a theology involves the exaltation of the local church, grassroots change, support for green energy, and the empowering of youth voices through granting them positions that enable institutional change. (shrink)

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

A review of Eric Schwitzgebel's book "A Theory of Jerks and Other Philosophical Misadventures" (2020).

Kit Fine, the leading proponent of the metaphysical project of grounding theory, has offered a number of potentially devastating objections to truthmaker theory, the branch of metaphysics dedicated to exploring the ontological grounds for truths. In this paper I show what presuppositions about truthmaker theory Fine’s objections are based upon, and why they are false. I discuss four objections that Fine raises, and demonstrate how truthmaker theorists may respond to them. I then showcase the positive contribution that truthmaker theory can (...) make to metaphysics, including its ability to speak to a core metaphysical topic (the ontological grounds for truths) that Fine’s approach to grounding must ultimately remain silent on. I conclude by exploring what I take to be the best option when it comes to understanding how truthmaking and grounding fit together. (shrink)

Special commendation from the Hans-und-Lea-Grundig Prize by the Rosa-Luxemburg-Foundation 2015 - - I - - How do we perceive the world and pictures? The book is based around the hypothesis that we initially perceive the world as well as pictures by feelings and that there is a direct connection between the two. By debating fascination and horror, such as can be triggered by Anselm Kiefer´s Deutschlandbilder, the author discusses their consequences and conclusions for our cultural self-perception. The author develops (...) a comprehensive theory on image and culture which is new in this field of research and also includes the special status of the art. (shrink)

The Lewisean counterpart theorist– despite not defending a genuinely essentialist view of what is possible, de re, of individuals – generally has a way to make essentialist claims come out as true, in those contexts in which they are endorsed by a committed essentialist. In this paper, I am going to show that the normal system that the Lewisean adopts when she wants to make the essentialist a truth-teller does not work with Kit Fine: his essentialist beliefs, which support his (...) counterexamples to the modal account of essentialism, cannot come out as true, in any contexts whatsoever, under the Lewisean view. After arguing that this represents a genuine problem for Lewis’s theory, I will propose a solution. I will indeed show that the Lewisean has a principled way to account for Fine’s essentialist beliefs, consistently with her own counterpart-theorist reading of them. (shrink)

Ensayo introductorio para mi traducción del influyente artículo "Essence and Modality" de Kit Fine.

A review of Kit Fine's book, Vagueness: A Global Approach.

Kit Fine has replied to my criticism of a technical objection he had given to the version of Millianism that I advocate. Fine evidently objects to my use of classical existential instantiation in an object-theoretic rendering of his meta-proof. Fine’s reply appears to involve both an egregious misreading of my criticism and a significant logical error. I argue that my rendering is unimpeachable, that the issue over my use of classical EI is a red herring, and that Fine’s original argument (...) commits the straw-man fallacy. I argue further that contrary to Fine’s gratuitous attribution, what Kripke’s Pierre lacks and a typical bilingual has is not knowledge of a “manifest-making” premise, but the capacity to recognize London when it is differently designated. Fine’s argument refutes a preposterous theory no one advocates while leaving standard Millianism unscathed. The failure of his argument threatens to render Fine’s central notion of “coordination” redundant or empty. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, which appeals (...) to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...) with its centrality in Fine’s system, threatens to undermine the extent to which this formalization offers clarity and precision. In this paper, I show how to overcome this problem. I describe a system, the logic of strict ground (LSG) and demonstrate its adequacy; I specify a translation scheme for interpreting Fine’s weak grounding claims; I show that the interpretation verifies all of the principles of Fine’s system; and I show that derivability in Fine’s system can be exactly characterized in terms of derivability in LSG. I conclude that Fine’s system is reducible to LSG. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted solutions (...) to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ express different (...) propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (shrink)

This paper will focus on a philosophically significant construction whose semantics brings together two important notions in Kit Fine’s philosophy, the notion of truthmaking and the notion of a variable embodiment, or its extension, namely what I call a ‘variable object’. This is the construction of definite NPs like 'the number of people that can fit into the bus', 'the book John needs to write', and 'the gifted mathematician John claims to be'. Such NPs are analysed as standing for variable (...) objects, which are part of the 'shallow', construction-driven ontology of natural language, yet are real. (shrink)

Written over the course of two months in early 2008, Art as "Night" is a series of essays in part inspired by a January 2007 visit to the Velázquez exhibition at the National Gallery of Art, London, with subsequent forays into related themes and art-historical judgments for and against theories of meta-painting. Art as "Night" proposes a type of a-historical dark knowledge crossing painting since Velázquez, but reaching back to the Renaissance, especially Titian and Caravaggio. As a form of formalism, (...) this "night" is also closely allied with forms of intellection that come to reside in art as pure visual agency or material knowledge while invoking moral agency, a function of art more or less bracketed in modern art for ethical and/or political agency. Not a theory of meta-painting, Art as "Night" restores coordinates arguably lost in painting since the separation of natural and moral philosophy in the Baroque era. It is with Velázquez that we see a turning point, an emphasis on the specific resources of painting as a form of speculative intellect, while it is with contemporary works by Gerhard Richter and Anselm Kiefer that we see the return of the same after the collapse of modernism, and after subsequent postmodern maneuvers to make art discursive yet without the austerities of the formal means present in Art as Art. Art as "Night" argues for a nondiscursive form of intellection fully embodied in the work of art – and, foremost, painting. A synoptic and intentionally elusive and allusive survey of painting, through the collapse of the art market in late 2007, Art as "Night" suggests by way of this critique of an elective "night" crossing painting that the art world is an endlessly deferred version of pleroma , a fully synthetic world given to an exploration and appropriation of the given through classical mimesis and epistemology and its complete incorporation and transfiguration in a theory of knowledge and art as pure speculative agency. In effect, Art as "Night" is an incarnational theory of art as absolute knowledge. (shrink)

It is common to think of essence along modal lines: the essential truths, on this approach, are a subset of the necessary truths. But Aristotle conceives of the necessary truths as being distinct and derivative from the essential truths. Such a non-modal conception of essence also constitutes a central component of the neo-Aristotelian approach to metaphysics defended over the last several decades by Kit Fine. Both Aristotle and Fine rely on a distinction between what belongs to the essence proper of (...) an object and what merely follows from the essence proper of an object. In order for this type of approach to essence and modality to be successful, we must be able to identify an appropriate consequence relation which in fact generates the result that the necessary truths about objects follow from the essential truths. I discuss some proposals put forward by Fine and then turn to Aristotle’s account: Aristotle’s central idea, to trace the explanatory power of definitions to the causal power of essences has the potential to open the door to a philosophically satisfying response to the question of why certain things are relevant, while others are irrelevant, to the nature or essence of entities. If at all possible, it would be desirable for example to have something further to say by way of explanation to such questions as ‘Why is the number 2 completely irrelevant to the nature of camels?’. (shrink)

For years philosophers argued for the existence of distinct yet materially coincident things by appealing to modal and temporal properties. For instance, the statue was made on Monday and could not survive being flattened; the lump of clay was made months before and can survive flattening. Such arguments have been thoroughly examined. Kit Fine has proposed a new set of arguments using the same template. I offer a critical evaluation of what I take to be his central lines of reasoning.

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to the general (...) problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...) and ‘y’ are synonymous, since sentences differing by the total, proper substitution of ‘x’ for ‘y’ always agree in meaning. We offer a precise interpretation of the challenge posed by (i) and (ii). We then develop some neglected passages of Tarski to show that his semantics for variables has the resources to resolve the antinomy without abandoning standard compositional semantics. (shrink)

Recently, Kit Fine's (1994) view that modal truths aretrue in virtue of,grounded in, orexplained byessentialist truths has been under attack. In what follows we offer two responses to the wave of criticism against his view. While the first response is pretty straightforward, the second is based on the distinction between, what we call,Reductive Finean EssentialismandNon-Reductive Finean Essentialism. Engaging the work of Bob Hale onNon-Reductive Finean Essentialism, we aim to show that the arguments against Fine's view are unconvincing, while we acknowledge (...) the presence of a deep standoff between the two views. (shrink)

An essential property of a thing tells us about the real definition of that thing. In this dissertation, I argue that a real definition states conditions on the identity of things and explains how they differ from other individuals or members of other kinds. I then apply this account to show that some essential properties are discovered by science. I also argue contrary to reductionist accounts of essence and show that several of Kit Fine's applications of the notion of essence (...) to ontological dependence and to the reduction of modality, are spurious. Finally, I argue that the real definition of each human person accounts for their personal identity over time. (shrink)

Kit Fine (2000) breaks with tradition, arguing that, pace Russell (e.g., 1903: 228), relations have neither directions nor converses. He considers two ways to conceive of these new "neutral" relations, positionalism and anti-positionalism, and argues that the latter should be preferred to the former. Cody Gilmore (2013) argues for a generalization of positionalism, slot theory, the view that a property or relation is n-adic if and only if there are exactly n slots in it, and (very roughly) that each slot (...) may be occupied by at most one entity. Slot theory (and with it, positionalism) bears the full brunt of Fine's (2000) symmetric completions and conflicting adicities problems. I fully develop an alternative, plural slot theory (or pocket theory), which avoids these problems, key elements of which are first considered by Yi (1999: 168 ff.). Like the slot theorist, the pocket theorist posits entities (pockets) in properties and relations that can be occupied. But unlike the slot theorist, the pocket theorist denies that at most one entity can occupy any one of them. As a result, she must also deny that the adicity of a property or relation is equal to the number of occupiable entities in it. By abandoning these theses, however, the pocket theorist is able to avoid Fine's problems, resulting in a stronger theory about the internal structure of properties and relations. Pocket theory also avoids a serious drawback of anti-positionalism. (shrink)

In `Essence and Modality', Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity obeys the (...) laws of the modal logic S5. In order to get S5 for metaphysical necessity, he assumes a controversial principle about the nature of all objects. I will show that the addition of this principle to his original system E5 leads to inconsistency with an independently plausible principle about essence. In response, I develop a theory that avoids this inconsistency while allowing us to maintain S5 for meta- physical necessity. However, I conclude that our investigation of Fine's Thesis in the context of LE motivates the revisionary conclusion that metaphysical necessity obeys the principles of the modal logic S4, but not those of S5. I argue that this constitutes a distinctively essentialist challenge to the received view that the logic of metaphysical necessity is S5. (shrink)

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), both of which (...) are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (shrink)

Rather infamously, Kit Fine provided a series of counter-examples which purport to show that the modalist program of analysing essence in terms of metaphysical necessity is fundamentally misguided. Several would-be modalists have since responded, attempting to save the position from this Finean Challenge. This paper evaluates and rejects a trio of such responses, from Della Rocca, Zalta, and Gorman. But I’m not here arguing for Fine’s conclusion – ultimately, this is a fight amongst friends, with Della Rocca, Zalta, Gorman, and (...) I all wanting to be modalists, but disagreeing on the details. As such, while my primary aim is to show what’s wrong with this trio, the secondary aim is demonstrating how what’s right about them in fact pushes one towards my own sparse modalist account. So while the primary conclusion of this paper is negative, the secondary, positive, conclusion is that modalists shouldn’t give up hope – plausible responses to Fine are still out there. (shrink)

Aesthetic value empiricism claims that the aesthetic value of an object is grounded in the value of a certain kind of experience of it. The most popular version of value empiricism, and a dominant view in contemporary philosophical aesthetics more generally, is aesthetic hedonism. Hedonism restricts the grounds of aesthetic value to the pleasure enjoyed in the right kind of experience. But hedonism does not enjoy any clear advantage over a more permissive alternative version of value empiricism. This alternative is (...) aesthetic liberalism. On this view, an object’s aesthetic value is fully grounded in any value—not just the hedonic value—of a correct and complete experience of its sensory features. To demonstrate the advantages of liberalism over hedonism, I apply both views to analyze the aesthetic value of the Spring Temple Buddha and Anselm Kiefer’s Seraphim. I detail four advantages of liberalism over hedonism, and I conclude by defending liberalism from two kinds of objection. (shrink)

I argue—contra moderate grounding pluralists such as Kit Fine and more extreme grounding pluralists such as Jessica Wilson—that there is fundamentally only one grounding/in-virtue-of relation. I also argue that this single relation is indispensable for normative theorizing—that we can’t make sense of, for example, the debate over consequentialism without it. It follows from what I argue that there is no metaethically-pure normative ethics.

In this paper I will present three arguments (based on the notions of constitution, metaphysical reality, and truth, respectively) with the aim of shedding some new light on the structure of Fine’s (2005, 2006) ‘McTaggartian’ arguments against the reality of tense. Along the way, I will also (i) draw a novel map of the main realist positions about tense, (ii) unearth a previously unnoticed but potentially interesting form of external relativism (which I will label ‘hyper-presentism’) and (iii) sketch a novel (...) interpretation of Fine’s fragmentalism (which I contrast with Lipman’s 2015, 2016b, forthcoming). (shrink)

Fragmentalism was first introduced by Kit Fine in his ‘Tense and Reality’. According to fragmentalism, reality is an inherently perspectival place that exhibits a fragmented structure. The current paper defends the fragmentalist interpretation of the special theory of relativity, which Fine briefly considers in his paper. The fragmentalist interpretation makes room for genuine facts regarding absolute simultaneity, duration and length. One might worry that positing such variant properties is a turn for the worse in terms of theoretical virtues because such (...) properties are not involved in physical explanations and hence theoretically redundant. It will be argued that this is not right: if variant properties are indeed instantiated, they will also be involved in straightforward physical explanations and hence not explanatorily redundant. Hofweber and Lange, in their ‘Fine’s Fragmentalist Interpretation of Special Relativity’, object that the fragmentalist interpretation is in tension with the right explanation of the Lorentz transformations. It will be argued that their objection targets an inessential aspect of the fragmentalist framework and fails to raise any serious problem for the fragmentalist interpretation of special relativity. (shrink)

Fine (2005, 2006) has presented a ‘trilemma’ concerning the tense-realist idea that reality is constituted by tensed facts. According to Fine, there are only three ways out of the trilemma, consisting in what he takes to be the three main families of tense-realism: ‘presentism’, ‘(external) relativism’, and ‘fragmentalism’. Importantly, although Fine characterises tense-realism as the thesis that reality is constituted (at least in part) by tensed facts, he explicitly claims that tense realists are not committed to their fundamental existence. Recently, (...) Correia and Rosenkranz (2011, 2012) have claimed that Fine’s tripartite map of tense realism is incomplete as it misses a fourth position they call ‘dynamic absolutism’. In this paper, I will argue that dynamic absolutists are committed to the irreducible existence of tensed facts and that, for this reason, they face a similar trilemma concerning the notion of fact-content. I will thus conclude that a generalised version of Fine’s trilemma, concerning both fact-constitution and fact-content, is indeed inescapable. (shrink)

Recent work on interpretability in machine learning and AI has focused on the building of simplified models that approximate the true criteria used to make decisions. These models are a useful pedagogical device for teaching trained professionals how to predict what decisions will be made by the complex system, and most importantly how the system might break. However, when considering any such model it’s important to remember Box’s maxim that "All models are wrong but some are useful." We focus on (...) the distinction between these models and explanations in philosophy and sociology. These models can be understood as a "do it yourself kit" for explanations, allowing a practitioner to directly answer "what if questions" or generate contrastive explanations without external assistance. Although a valuable ability, giving these models as explanations appears more difficult than necessary, and other forms of explanation may not have the same trade-offs. We contrast the different schools of thought on what makes an explanation, and suggest that machine learning might benefit from viewing the problem more broadly. (shrink)

In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (in: (...) Kiefer and Ruwet (eds.) Generative grammar in Europe, 1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, they also shed some light on other asymmetries between prima and dopo, which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (Philos Rev 73:3–24, 1964). (shrink)

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

I propose an apparatus for handling intrasentential change in context. The standard approach has problems with sentences with multiple occurrences of the same demonstrative or indexical. My proposal involves the idea that contexts can be complex. Complex contexts are built out of (“simple”) Kaplanian contexts by ordered n-tupling. With these we can revise the clauses of Kaplan’s Logic of Demonstratives so that each part of a sentence is taken in a different component of a complex context. I consider other applications (...) of the framework: to agentially distributed utterances (ones made partly by one speaker and partly by another); to an account of scare-quoting; and to an account of a binding-like phenomenon that avoids what Kit Fine calls “the antinomy of the variable.”. (shrink)