We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely combinatorial (...) characterisation of polyhedrally complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov–Fine formulas of ‘starlike trees’ all of which are polyhedrally complete. The polyhedral completeness theorem for these ‘starlike logics’ is the second main result of this paper. (shrink)

The fine structure constant appears in several fields of physics and its value is experimentally obtained with a high accuracy. Its physical origin however is unsolved long-standing problem. Richard Feynman expressed the idea that it could be similar to the natural irrational numbers, pi, and e. Amongst the proposed theoretical expressions with values closer to the experimental one is the formula of I. Gorelik which is based on rotating dipole with two empirically suggested coefficients, while the physical origin is (...) unknown. BSM-Supergravitation Unified Theory suggests a physical mechanism defining the fine structure constant. The mathematical expression is based on a spatial precession mode of vibrations in a tetrahedron of spheres with specific properties. The value from the derived expression differs from the CODATA 98 value by 0.000008% only. The conclusion is that the fine structure constant is a natural irrational number. While the irrational number pi, is defined in a 2D space, the fine structure constant is related to a vibration property of a specific formation in 3D space. (shrink)

It is often argued that development aid can and should compensate the restrictions on migration. Such compensation, Shachar has recently argued, should be levied as a tax on citizenship to further the global equality of opportunity. Since citizenship is essentially a ‘birthright lottery’, that is, a way of legalizing privileges obtained by birth, it would be fair to compensate the resulting gap in opportunities available to children born in rich versus poor countries by a ‘birthright privilege levy’. This article sets (...) out a defence of three theses. The first states that equality of opportunity is incompatible with, and cannot be achieved in, segregated territories. The second posits that to believe that material equality compensates the injustice of restrictions on movement is to commit a ‘sedentarist mistake’. The third affirms that any citizenship levy, including the egalitarian and non-sedentarist formula I’m proposing, would be better understood as a penalty rather than a tax. (shrink)

The Simulation Hypothesis proposes that all of reality, including the earth and the universe, is in fact an artificial simulation, analogous to a computer simulation, and as such our reality is an illusion. In this essay I describe a method for programming mass, length, time and charge (MLTA) as geometrical objects derived from the formula for a virtual electron; $f_e = 4\pi^2r^3$ ($r = 2^6 3 \pi^2 \alpha \Omega^5$) where the fine structure constant $\alpha$ = 137.03599... and $\Omega$ = (...) 2.00713494... are mathematical constants and the MLTA geometries are; M = (1), T = ($2\pi$), L = ($2\pi^2\Omega^2$), A = ($4\pi \Omega)^3/\alpha$. As objects they are independent of any set of units and also of any numbering system, terrestrial or alien. As the geometries are interrelated according to $f_e$, we can replace designations such as ($kg, m, s, A$) with a rule set; mass = $u^{15}$, length = $u^{-13}$, time = $u^{-30}$, ampere = $u^{3}$. The formula $f_e$ is unit-less ($u^0$) and combines these geometries in the following ratio M$^9$T$^{11}$/L$^{15}$ and (AL)$^3$/T, as such these ratio are unit-less. To translate MLTA to their respective SI Planck units requires an additional 2 unit-dependent scalars. We may thereby derive the CODATA 2014 physical constants via the 2 (fixed) mathematical constants ($\alpha, \Omega$), 2 dimensioned scalars and the rule set $u$. As all constants can be defined geometrically, the least precise constants ($G, h, e, m_e, k_B$...) can also be solved via the most precise ($c, \mu_0, R_\infty, \alpha$), numerical precision then limited by the precision of the fine structure constant $\alpha$. (shrink)

There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated by (...) a true double negation is grounded in that stated by the doubly-negated formula. This commitment is encapsulated in the system GG axiomatized and semantically characterized by [deRosset and Fine, 2023] (following [Fine, 2012]). On the other hand, there has been a great deal of important formal work on “flatter” theories of ground, yielding logics very different from GG [Correia, 2010] [Fine, 2016, 2017b]. For instance, these theories identify the fact stated by a self-conjunction $$(\phi \wedge \phi )$$ with that stated by its conjunct $$\phi $$. Since, in these systems, no fact grounds itself, the “flatter” theories are inconsistent with the principles of GG. This bifurcation raises the question of whether there is a single notion of ground suited to fulfill the philosophical ambitions of grounding enthusiasts. There is, at present, no unified semantic framework employing a single conception of ground for simultaneously characterizing both GG and the “flatter” approaches. This paper fills this gap by specifying such a framework and demonstrating its adequacy. (shrink)

What is money? Paraphrasing Goodman, I say that’s the wrong question to ask. The right question is, When is money? And to get the answer, Searle’s general formula for social objects (X couns as Y in context C) is fine, as long as you give it a different reading.

In this chapter, we focus on collective action and intention, and their relation to conventions, status functions, norms, institutions, and shared attitudes more generally. Collective action and shared intention play a foundational role in our understanding of the social. -/- The three central questions in the study of collective intentionality are: -/- (1) What is the ontology of collective intentionality? In particular, are groups per se intentional agents, as opposed to just their individual members? (2) What is the psychology of (...) collective intentionality? Do groups per se have psychological states, in particular propositional attitudes? What is the psychology of the individuals who participate in collective intentional behavior? What is special about their participatory intentions, their we-intentions, as they are called (Tuomela and Miller 1988), as opposed to their I-intentions? (3) How is collective intentionality implicated in the construction of social reality? In particular, how does the content of we-intentions and the intentional activity of individual agents create social institutions, practices and structures? -/- We first discuss collective action and shared intention in informal groups. Next we discuss mechanisms for constructing institutional structures out of the conceptual and psychological resources made available by our understanding of informal joint intentional action. Then we extend the discussion of collective action and intention to institutional groups, such as the Supreme Court, and explain how concepts of such organizations are constructed out of the concepts of a rule, convention, and status function. Finally we discuss collective attitudes beyond intention. (shrink)

We argue that there is a variety of convention, effective coordinating agreement, that has not been adequately identified in the literature. Its distinctive feature is that it is a structure of conditional we-intentions of parties, unlike more familiar varieties of convention, which are structures of expectations and preferences or obligations. We argue that status functions constitutively involve this variety of convention, and that what is special about it explains, and gives precise content to the central feature of status functions, namely, (...) that objects with status functions can perform their functions only insofar as they have been collectively accepted as having them. (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.

Throughout the history of mankind, energy security has been always seen as a means of protection from disruptions of essential energy systems. The idea of protection from disorders emerged from the process of securing political and military control over energy resources to set up policies and measures on managing risks that affect all elements of energy systems. The various systems placed in a place to achieve energy security are the driving force towards the energy innovations or emerging trends in the (...) energy sector. Our paper discusses energy security status and innovations in the energy sector in European Union (EU). We analyze the recent up-to-date developments of the energy policy and exploitation of energy sources, as well as scrutinize the channels of energy streaming to the EU countries and the risks associated with this energy import. Moreover, we argue that the shift to the low-carbon production of energy and the massive deployment of renewable energy sources (RES) might become the key issue in ensuring the energy security and independency of the EU from its external energy supplies. Both RES, distributed energy resources (DER) and “green energy” that will be based on the energy efficiency and the shift to the alternative energy supply might change the energy security status quo for the EU. (shrink)

Epistemic paternalism is the practice of interfering in the process of inquiry of another,without prior consultation and for the sake of her epistemic good. We will examine two main types of epistemic paternalism: eudaimonic and strict. In the case of eudaimonic epistemic paternalism, epistemic improvement is used only as a means to achieve non-epistemic benefits. In the case of strict epistemic paternalism, epistemic improvement is valued as a good in itself. The main objection against each type of epistemic paternalism is (...) that this practice leads to a violation of personal autonomy. We will defend a more moderate form of strict epistemic paternalism which is motivated by both epistemic and non-epistemic benefits. At the same time, this moderate form leads to the development of specific epistemic virtues, which results in an increase rather than a violation of personal autonomy. We will show that the question of the justification of epistemic paternalism is especially relevant in crises, such as the current pandemic caused by the covid-19 virus. (shrink)

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)

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

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.

According to a prominent narrative, the problem of recognition arises in the modern period in opposition to premodern notions of honor. This chapter invites us to reconsider this narrative by examining two views of honor in ancient Greek thought. I first show that Homeric honor includes contestable norms of reciprocal respect and esteem for individual virtue. I then show how Plato appropriates the Homeric view in his ethical psychology yet articulates a competing view of the nature and value of honor. (...) By showing that ancient Greek honor is more continuous with theories of recognition than has been appreciated, this chapter offers fresh perspectives on a central strand of ancient Greek ethics and its relevance to social and political thought. (shrink)

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.

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

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.

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)

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.

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)

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.

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)

Although recent commentators have attended to dramatic and ironic aspects of Plato’s Republic, a more sustained examination of the relation between irony and the exchanges of Socrates and Glaucon is required because a crucial purpose and presentation of the irony have largely gone unnoticed. This paper argues that Socratesemploys irony in part to parody Glaucon’s extremism and that he does so to exhort Glaucon to think critically. First, it examines how Socrates uses the term makaria primarily ironically and pedagogically. Then, (...) a possible reason for this use of makaria is advanced: aspects of Kallipolis are a parody of Glaucon and that the parody aims to instruct Glaucon intellectually. This paper hopes to show that such a reading deserves further articulation and examination. (shrink)

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

Abstract: Proponents of the this-universe objection to fine-tuning arguments for a multiverse claim that while the multiverse hypothesis raises the probability that some universe is fine-tuned for life, it fails to raise the probability that this one is. Because that is so, they further argue, those who take the fine-tuning of this universe as evidence for the multiverse hypothesis are guilty of a probabilistic fallacy. I argue that a proper evaluation of the this-universe objection requires the development of a general, (...) formal framework for reasoning probabilistically with evidence statements expressed using indexical terms (such as the statement This universe is fine-tuned). I proceed to develop such a framework and then to apply it to the this-universe objection. While my primary aim is to defend the this-universe objection from recent rebuttals, a secondary aim is to exhibit the utility of the framework itself, which has the potential for wider application. (shrink)

Proponents of the this-universe objection to fine-tuning arguments for a multiverse claim that while the multiverse hypothesis raises the probability that some universe is fine-tuned for life, it fails to raise the probability that this one is. Because that is so, they further argue, those who take the fine-tuning of this universe as evidence for the multiverse hypothesis are guilty of a probabilistic fallacy. I argue that a proper evaluation of the this-universe objection requires the development of a general, formal (...) framework for reasoning probabilistically with evidence statements expressed using indexical terms (such as the statement [This universe is fine-tuned]). I proceed to develop such a framework and then to apply it to the this-universe objection. While my primary aim is to defend the this-universe objection from recent rebuttals, a secondary aim is to exhibit the utility of the framework itself, which has the potential for wider application. (shrink)

ABSTRACT Kit Fine recently described and defended a novel position in the philosophy of time, fragmentalism. It is not often that a new option appears in this old field, and for that reason alone these two essays merit serious attention. I will try to present briefly but fairly some of the considerations that Fine thinks favour fragmentalism. I will also weigh the merits of fragmentalism against the view that Fine presents as its chief rival, relativism, as well as the merits (...) of both against the view that he calls anti-realism. Along the way, we should pick up a clearer picture of fragmentalism itself. (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)

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)

In this paper, I propose that, in addition to the multiverse hypothesis, which is commonly taken to be an alternative explanation for fine-tuning, other than the design hypothesis, the simulation hypothesis is another explanation for fine-tuning. I then argue that the simulation hypothesis undercuts the alleged evidential connection between ‘designer’ and ‘supernatural designer of immense power and knowledge’ in much the same way that the multiverse hypothesis undercuts the alleged evidential connection between ‘fine-tuning’ and ‘fine-tuner’ (or ‘designer’). If this is (...) correct, then the fine-tuning argument is a weak argument for the existence of God. (shrink)

A central objection to McDowell’s conceptualism about empirical content concerns the fine-grained phenomenology of experience, which supposedly entails that the actual content of experience cannot be matched in its particularity by our concepts. While McDowell himself has answered this objection in recourse to the possibility of demonstrative concepts, his reply has engendered a plethora of further objections and is widely considered inadequate. I believe that McDowell’s critics underestimate the true force of his reply because they tend to read unrecognized empiricist (...) presuppositions into his account of experience. To show this, I introduce a new hylomorphic reading of McDowell’s account of experience and argue that the objections to his reply all rest on a specific empiricist assumption, which is untenable because it conflates the form of experience with its content. Consequently, conceptualism so understood can resist all of these objections, as I attempt to show by systematizing and answering them. (shrink)

This paper seeks to explicate and analyze an alternative response to fine-tuning arguments from those that are typically given—namely, design or brute contingency. The response I explore is based on necessity, the necessitarian response. After showing how necessity blocks the argument, I explicate the reply I claim necessitarians can give and suggest how its three requirements can be met: firstly, that laws are metaphysically necessary; secondly, that constants are metaphysically necessary; and thirdly, that the fundamental properties that determine the laws (...) and constants are necessary. After discussing each in turn, I end the paper by assessing how the response fares when running the fine-tuning argument in two ways, as an inference to best explanation and as a Bayesian argument. (shrink)

According to the Fine-Tuning Argument, the existence of life in our universe confirms the Multiverse Hypothesis. A standard objection to FTA is that it violates the Requirement of Total Evidence. I argue that RTE should be rejected in favor of the Predesignation Requirement, according to which, in assessing the outcome of a probabilistic process, we should only use evidence characterizable in a manner available before observing the outcome. This produces the right verdicts in some simple cases in which RTE leads (...) us astray, and, when applied to FTA, it shows that our evidence does confirm HM. (shrink)

The fine-structure constant, which determines the strength of the electromagnetic interaction, is briefly reviewed beginning with its introduction by Arnold Sommerfeld and also includes the interest of Wolfgang Pauli, Paul Dirac, Richard Feynman and others. Sommerfeld was very much a Pythagorean and sometimes compared to Johannes Kepler. The archetypal Pythagorean triangle has long been known as a hiding place for the golden ratio. More recently, the quartic polynomial has also been found as a hiding place for the golden ratio. The (...) Kepler triangle, with its golden ratio proportions, is also a Pythagorean triangle. Combining classical harmonic proportions derived from Kepler’s triangle with quartic equations determine an approximate value for the fine-structure constant that is the same as that found in our previous work with the golden ratio geometry of the hydrogen atom. These results make further progress toward an understanding of the golden ratio as the basis for the fine-structure constant. (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)

Kant’s most prominent formulation of the Categorical Imperative, known as the Formula of Universal Law (FUL), is generally thought to demand that one act only on maxims that one can will as universal laws without this generating a contradiction. Kant's view is standardly summarized as requiring the 'universalizability' of one's maxims and described in terms of the distinction between 'contradictions in conception' and 'contradictions in the will'. Focusing on the underappreciated significance of the simultaneity condition included in the FUL, (...) I argue, by contrast, that the principle is better read as requiring that one be able to will two things simultaneously without self-contradiction, namely, that a maxim be one's own and that it be a universal law. This amounts to a new interpretation of the FUL with significant interpretive and philosophical advantages. (shrink)

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a (...) bridge principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

Do philosophers use intuitions? Should philosophers use intuitions? Can philosophical methods (where intuitions are concerned) be improved upon? In order to answer these questions we need to have some idea of how we should go about answering them. I defend a way of going about methodology of intuitions: a metamethodology. I claim the following: (i) we should approach methodological questions about intuitions with a thin conception of intuitions in mind; (ii) we should carve intuitions finely; and, (iii) we should carve (...) to a grain to which we are sensitive in our everyday philosophising. The reason is that, unless we do so, we don’t get what we want from philosophical methodology. I argue that what we want is information that will aid us in formulating practical advice concerning how to do philosophy responsibly/well/better. (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)

It is commonly argued that the fact that our universe is fine-tuned for life favors both a design hypothesis as well as a non-teleological multiverse hypothesis. The claim that the fine-tuning of this universe supports a non-teleological multiverse hypothesis has been forcefully challenged however by Ian Hacking and Roger White. In this paper we take this challenge even further by arguing that if it succeeds, then not only does the fine-tuning of this universe fail to support a multiverse hypothesis, but (...) it tends to favor a single-universe hypothesis instead. (shrink)

Fine (2017) 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 (2008). The present paper presents a challenge to his new theory of vagueness. I argue that the possibility theorem stated in Fine (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)

Could God have created a better universe? Well, the fundamental scientific laws and parameters of the universe have to be within a certain miniscule range, for a life-sustaining universe to develop: the universe must be ‘Fine Tuned’. Therefore the ‘embryonic universe’ that came into existence with the ‘big bang’ had to be either exactly as it was or within a certain tiny range, for there to develop a life-sustaining universe. If it is better that there exist a life-sustaining universe than (...) not, then it was better that the embryonic universe was one of this small set of very similar embryonic universes than that it was not. Furthermore, there are no firm grounds for claiming that of this small set of very similar embryonic universes, there is one which would have developed into a universe better than ours. Therefore there are no firm grounds for claiming that God could have created a better universe than ours. (shrink)

Formula thinking is a kind of thinking strictly by route in which the thinker never deviates from a set course. Craft thinking involves a rough approximation to a set course but allows for deviation. The arts involve craft thinking. Repairing a machine involves formula thinking. America has become almost completely dominated by formula thinking.

The fundamental constants that are involved in the laws of physics which describe our universe are finely-tuned for life, in the sense that if some of the constants had slightly different values life could not exist. Some people hold that this provides evidence for the existence of God. I will present a probabilistic version of this fine-tuning argument which is stronger than all other versions in the literature. Nevertheless, I will show that one can have reasonable opinions such that the (...) fine-tuning argument doesn’t lead to an increase in one’s probability for the existence of God. (shrink)

I present a novel objection to fine-tuning arguments for God's existence. On any values of the physical constants, the psychophysical laws could be set to permit intelligent and happy beings, so the specific values of the physical constants in our world provide little evidence for God's existence. For example, even if the physical constants didn't allow carbon or any atoms larger than hydrogen, the psychophysical laws could be set so that charge is sufficient to realize romantic desire. Then every hydrogen (...) atom would be a proton and electron in love. (shrink)