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 attempt to meet some criticisms that Williamson makes of my attempt to carry out Prior's project of reducing possibility discourse to actualist discourse.

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)

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)

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)

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.

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)

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)

I offer an interpretation and a partial defense of Kit Fine's ‘Argument from Passage’, which is situated within his reconstruction of McTaggart's paradox. Fine argues that existing A-theoretic approaches to passage are no more dynamic, i.e. capture passage no better, than the B-theory. I argue that this comparative claim is correct. Our intuitive picture of passage, which inclines us towards A-theories, suggests more than coherent A-theories can deliver. In Finean terms, the picture requires not only Realism about tensed (...) facts, but also Neutrality, i.e. the tensed facts not being ‘oriented towards’ one privileged time. However unlike Fine, and unlike others who advance McTaggartian arguments, I take McTaggart's paradox to indicate neither the need for a more dynamic theory of passage nor that time does not pass. A more dynamic theory is not to be had: Fine's ‘non-standard realism’ amounts to no more than a conceptual gesture. But instead of concluding that time does not pass, we should conclude that theories of passage cannot deliver the dynamicity of our intuitive picture. For this reason, a B-theoretic account of passage that simply identifies passage with the succession of times is a serious contender. (shrink)

In his paper ‘The possibility of vagueness’ (Fine in Synthese 194(10):3699–3725, 2017), Kit Fine proposes a new logic of vagueness, CL, that promises to provide both a solution to the sorites paradox and a way to avoid the impossibility result from Fine (Philos Perspect 22(1):111–136, 2008). The present paper presents a challenge to his new theory of vagueness. I argue that the possibility theorem stated in Fine (Synthese 194(10):3699–3725, 2017), as well as his solution to the (...) sorites paradox, fail in certain reasonable extensions of the language of CL. More specifically, I show that if we extend the language with any negation operator that obeys reductio ad absurdum, we can prove a new impossibility result that makes the kind of indeterminacy that Fine takes to be a hallmark of vagueness impossible. I show that such negation operators can be conservatively added to CL and examine some of the philosophical consequences of this result. Moreover, I demonstrate that we can define a particular negation operator that behaves exactly like intuitionistic negation in a natural and unobjectionable propositionally quantified extension of CL. Since intuitionistic negation obeys reductio, the new impossibility result holds in this propositionally quantified extension of CL. In addition, the sorites paradox resurfaces for the new negation. (shrink)

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)

This paper pursues the philosophical significance of a relatively unexplored point of Platonic aesthetics: the social dimension of beauty. The social dimension of beauty resides in its conceptual connection to shame and honour. This dimension of beauty is fundamental to the aesthetic education of the Republic, as becoming virtuous for Plato presupposes a desire to appear and to be admired as beautiful. The ethical significance of beauty, shame, and honour redound to an ethically rich notion of appearing before others which (...) corresponds to a public conception of virtue. I suggest how this dimension of beauty in Plato – particularly the emphasis on beautification – proves fruitful for reconsidering the scope and the nature of aesthetic experience. (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)

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)

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)

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)

In recent years, a growing discussion about how we should design our cities has emerged, particularly for the more controversial modes of design such as “defensive,” “hostile,” or “disciplinary” architecture (i.e., benches on which one cannot sleep, or metal studs on which one cannot skate). Although this debate is relatively mature, many studies have argued that these design notions are undertheorized and are, thus, challenging to study from an empirical and normative perspective. In this paper, I will defne the most (...) common terms used in the literature and show how they are interconnected by utilizing a set of “conditions of adequacy” from philosophy to facilitate a more transparent and well-grounded discussion of them. Terms such as “hostile” and “defensive” design are underlined by several diferent phenomena, not just one as is sometimes commonly assumed. I will also show that these phenomena and their conceptualizations require—and sometimes force us to use—diferent moral reasons when justifying the utilization of diferent designs. (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)

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. (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)

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)

A significant strand of the ethical psychology, aesthetics and politics of Plato's Republic revolves around the concept of poikilia, ‘fascinating variety’. Plato uses the concept to caution against harmful appetitive pleasures purveyed by democracy and such artistic or cultural practices as mimetic poetry. His aim, this article shows, is to contest a prominent conceptual connection between poikilia and beauty (kallos, to kalon). Exploiting tensions in the archaic and classical Greek concept, Plato associates poikilia with dangerous pleasures to redirect admiration toward (...) a distinctly philosophical pursuit of the nature of beauty. This is to displace a prominent and problematic cultural sensibility—the aesthetics of poikilia—not to deny that fascinating variety, even in mimetic poetry, may be beautiful. Rather, Plato's cultural critique lays bare an epistemological problem in the ethical psychology of beauty: since they cannot be distinguished from what seems beautiful, how should one respond to fascinating yet dangerous attractions? (shrink)

A crux of Plato’s Symposium is how beauty relates to the good. Diotima distinguishes beauty from the good, I show, to explain how erotic pursuits are characteristically ambivalent and opaque. Human beings pursue beauty without knowing why or thinking it good; yet they are rational, if aiming at happiness. Central to this reconstruction is a passage widely taken to show that beauty either coincides with the good or demands disinterested admiration. It shows rather that what one loves as beautiful does (...) not appear good, a proposal with ramifications for ethical psychology. (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)

This volume in the Oxford Readings in Philosophy looks at central areas in Plato's philosophy: ethics, politics, religion, and the soul. It includes essays on virtue, knowledge, and happiness; justice and happiness; pleasure; Platonic love; feminism; the ideally just state, democracy and totalitarianism; and the nature of the soul and moral motivation.

[Condensed abstract] Socrates' ironic use of 'makaria' (blessedness) in the Republic exhorts Glaucon to think more critically. Certain features of the supposedly ideal city, motivated by Glaucon's character, may be protreptic for Glaucon to practice philosophical courage and intellectual moderation.

This chapter presents several of the dominant ideas and intellectual debates about human beauty from archaic Greece to early Christianity. At issue are ideals of character, ethical ideals of who one should be and how one should live. What constitutes beauty and why beauty matters change alongside conceptions of body and soul, virtue and happiness, and the relationship between human beings and the divine.

Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of (...) disjunctive parthood in terms of a structural relation of refinement, which stands to disjunctive parthood much as mereological parthood stands to conjunctive parthood. Philosophically, this relation may be modelled on the determinable- determinate relation, or on a fact-to-fact notion of grounding. I discuss its connection to two other Finean notions: vagueness (understood via precisification) and arbitrary objects. I then investigate what a logic of truthmaking with refinement might look like. I argue that (i) parthood naturally gives rise to a relevant conditional; (ii) refinement underlies a relevant notion of disjunction; and so (iii) truthmaker semantics with refinement is a natural home for relevant logic. The resulting formal models draw on Fine’s (1974) semantics for relevant logics. Finally, I use this understanding of relevant semantics to investigate the status of the mingle axiom. (shrink)

This series aims to bring together important recent writing in major areas of philosophical inquiry, selected from a variety of sources. The editor of each volume contributes an introductory essay on the items chosen and on the questions with which they deal. A selective bibliography is appended as a guide to further reading.

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from (...) each of the two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (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 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)

Review of the first comprehensive companion to the growing scholarship on ancient Greek and Roman aesthetics.

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

The theory that Kit Fine calls 'semantic relationism' replaces standard semantic compositionality with an alternative according to which statements of the form '... A … A ...’ and ‘... A … B ...’ (e.g., ‘Cicero admires Cicero’ and ‘Cicero admires Tully’) differ in semantic content—even where the two terms involved are exactly synonymous—simply in virtue of the recurrence that is present in the former statement and absent from the latter. A semantic-relationist alternative to standard compositionality was first explicitly proffered (...) by Hilary Putnam in 1954 and later by others in the latter part of the 20th Century. However, semantic relationism had already been implicitly rejected in Frege’s 1892 landmark masterpiece "Über Sinn und Bedeutung" (“On Sense and Reference”). The present compilation of three previously published essays cuts through the hype and thoroughly rebuts semantic relationism, particularly Fine’s more developed version (2007). A fatal fallacy is exposed in Fine's high-flown purported formal disproof of Millianism with standard compositionality. Standard Millianism does not implode; Fine's overzealous attempt to demolish it does. The failure of his purported disproof renders Fine's central notion of coordination either redundant or empty. So-called coordination is non-semantic if it is anything real. (shrink)

Fine is widely thought to have refuted the simple modal account of essence, which takes the essential properties of a thing to be those it cannot exist without exemplifying. Yet, a number of philosophers have suggested resuscitating the simple modal account by appealing to distinctions akin to the distinction Lewis draws between sparse and abundant properties, treating only those in the former class as candidates for essentiality. I argue that ‘sparse modalism’ succumbs to counterexamples similar to those originally posed (...) by Fine, and fails to capture paradigmatic instances of essence involving abundant properties and relations. (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)

The project of grounding necessity in essence often goes together with the model of essence that assimilates the constitutive essence of an object to the definition of it. The paper argues that if the grounding project is to succeed, the definitional model must be questioned. Like any object whatever, a concrete individual is necessarily identical to that individual. It is argued that this necessity can have an essential ground only if the primitive identity property of it or its thisness is (...) essential to it, and the thisness is in its constitutive essence while not in the definition of it. A concrete individual is in essence partly definable but not fully explainable, for the definition of it forms a crucial part of its constitutive essence, but the constitutive essence includes something fundamental beyond definition or explanation. The definitional model must give way to a model of essence that accommodates this. (shrink)