The PhD thesis advances a new approach to vagueness as dispersion, comparing it with the main philosophical theories of vagueness in the analytic tradition.

A constant of Frege’s writing is his rejection of indeterminate predicates as found in natural language. This paper follows Frege’s remarks on vagueness from the early "Begriffsschrift” to his mature works, drawing brief parallels with the main contemporary theories of vagueness. I critically examine Frege’s arguments for the inconsistency of natural language and argue that the inability to accommodate vagueness in his mature ontology is mainly due to heuristic rules of thumb which Frege took as essential, not to a deep (...) problem in his fundamental apparatus. (shrink)

The neo-liberal upsurge of the last twenty years and the neo-liberal case against the welfare state has gained much of its emotional force from a sub-text which is highly gendered. Whereas social liberalism had contained the promise of more autonomy within the private sphere and more caring values in the public sphere, neo-liberalism depicts the results of social liberalism as a loss of self reliance – through ‘over-protection’ by the state in the public sphere and usurpation of male roles in (...) the private sphere. The identification of the welfare state as female (the ‘nanny state’) helps fuel resentment on the part of those already confused by rapidly changing gender roles. This paper tracks the sex change which took place in the image of the liberal state as it evolved out of the night watchman state – the link between the women's suffrage movement and social regulation, maternal principles of distribution and demands for the public organization of caring. It examines the neo-liberal rejection of the breast and neo-liberal claims that the maternal state is incompatible with ‘self-reliance’ and a barrier to competitiveness in the world market. (shrink)

No livro I da Ethica Eudemia, Aristóteles dedica um capítulo a considerações acerca de seu método. No entanto, analisando passagens de outros tratados do autor, é possível concluir que há algo comum que perpassa as diversas considerações acerca de seu método, a saber: que o ponto de partida de toda investigação é dado pelo que é mais cognoscível a nós, e todo o procedimento de investigação visa chegar ao que é mais cognoscível em si mesmo – o conhecimento estrito do (...) objeto, que inclui compreender suas causas. O objetivo deste trabalho é tentar compreender como esse procedimento acontece na investigação moral, que opera no âmbito do discurso e, portanto, das definições. Para isso, pretendemos analisar como acontece a passagem da análise do que é dado na experiência em direção ao conhecimento de suas causas, que é próprio de outros tratados aristotélicos, para a análise das opiniões vagas e imprecisas em direção às definições estritas com as quais a Ethica Eudemia pretende operar. (shrink)

This paper responds to comments and criticisms by Stefan Brandt and Eva-Maria Jung, directed at the book "Know-how as Competence. A Rylean Responsibilist Account".

Contextuality and entanglement are valuable resources for quantum computing and quantum information. Bell inequalities are used to certify entanglement; thus, it is important to understand why and how they are violated. Quantum mechanics and behavioural sciences teach us that random variables ‘measuring’ the same content (the answer to the same Yes or No question) may vary, if ‘measured’ jointly with other random variables. Alice’s and Bob’s raw data confirm Einsteinian non-signaling, but setting dependent experimental protocols are used to create samples (...) of coupled pairs of distant ±1 outcomes and to estimate correlations.Marginal expectations, estimated using these final samples, depend on distant settings. Therefore,a system of random variables ‘measured’ in Bell tests is inconsistently connected and it should be analyzed using a Contextuality- by-Default approach, what is done for the first time in this paper.The violation of Bell inequalities and inconsistent connectedness may be explained using a contextual locally causal probabilistic model in which setting dependent variables describing measuring instruments are correctly incorporated. We prove that this model does not restrict experimenters` freedom of choice which is a prerequisite of science. Contextuality seems to be the rule and not an exception; thus, it should be carefully tested. (shrink)

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

Recent experiments allowed concluding that Bell-type inequalities are indeed violated thus it is important to understand what it means and how can we explain the existence of strong correlations between outcomes of distant measurements. Do we have to announce that: Einstein was wrong, Nature is nonlocal and nonlocal correlations are produced due to the quantum magic and emerge, somehow, from outside space-time? Fortunately such conclusions are unfounded because if supplementary parameters describing measuring instruments are correctly incorporated in a theoretical model (...) then Bell-type inequalities may not be proven .We construct a simple probabilistic model explaining these correlations in a locally causal way. In our model measurement outcomes are neither predetermined nor produced in irreducibly random way. We explain in detail why, contrary to the general belief; an introduction of setting dependent parameters does not restrict experimenters’ freedom of choice. Since the violation of Bell-type inequalities does not allow concluding that Nature is nonlocal and that quantum theory is complete thus the Bohr-Einstein quantum debate may not be closed. The continuation of this debate is not only important for a better understanding of Nature but also for various practical applications of quantum phenomena. (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

Bell-CHSH inequalities are trivial algebraic properties satisfied by each line of an Nx4 spreadsheet containing ±1 entries, thus it is surprising that their violation in some experiments allows us to speculate about the existence of non-local influences in nature and casts doubt on the existence of the objective external physical reality. Such speculations are rooted in incorrect interpretations of quantum mechanics and in a failure of local realistic hidden variable models to reproduce quantum predictions for spin polarization correlation experiments (SPCE). (...) In these models, one uses a counterfactual joint probability distribution of only pairwise measurable random variables (A, A′, B, B′) to prove Bell-CHSH inequalities. In SPCE, Alice and Bob, using 4 incompatible pairs of experimental settings, estimate imperfect correlations between clicks registered by their detectors. Clicks announce the detection of photons and are coded by ±1. Expectations of corresponding random variables—E (AB), E (AB′), E (A′B), and E (A′B′)—are estimated and compared with quantum predictions. These estimates significantly violate CHSH inequalities. Since variables (A, A′) and (B, B′) cannot be measured jointly, neither Nx4 spreadsheets nor a joint probability distribution of (A, A′, B, B′) exist, thus Bell-CHSH inequalities may not be derived. Nevertheless, imperfect correlations between clicks in SPCE may be explained in a locally causal way, if contextual setting-dependent parameters describing measuring instruments are correctly included in the description. The violation of Bell-CHSH inequalities may not therefore justify the existence of a spooky action at the distance, super-determinism, or speculations that an electron can be both here and a meter away at the same time. In this paper we review and rephrase several arguments proving that such conclusions are unfounded. Entangled photon pairs cannot be described as pairs of socks nor as pairs of fair dice producing in each trial perfectly correlated outcomes. Thus, the violation of inequalities confirms only that the measurement outcomes and ‘the fate of photons’ are not predetermined before the experiment is done. It does not allow for doubt regarding the objective existence of atoms, electrons, and other invisible elementary particles which are the building blocks of the visible world around us. (shrink)

There is a difference between merely thinking that P and really grasping that P. For example, Jackson's (1982) black-and-white Mary cannot (before leaving her black-and-white room) fully grasp what it means to say that fire engines are red, but she can perfectly well entertain the thought that fire engines are red. The contrast between merely thinking and grasping is especially salient in the context of certain moral decisions. For example, an individual who grasps the plight of starving children thanks to (...) evocative images seems much more likely to donate for the children's benefit than someone who is merely told about their plight. This paper offers a phenomenal account of grasping according to which grasping a content (whether a proposition or concept) consists in one's thoughts about the content being constituted by phenomenal experiences of constituents of the content. This account improves on earlier phenomenal accounts of grasping (Bourget 2017a, 2018) by allowing for partial grasping and generalizing to concepts. The paper also addresses objections to phenomenal accounts of grasping, including the objection that recent developments in AI technology show that consciousness is irrelevant to grasping and understanding. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

What are the philosophical views of contemporary professional philosophers? We surveyed many professional philosophers in order to help determine their views on 30 central philosophical issues. This article documents the results. It also reveals correlations among philosophical views and between these views and factors such as age, gender, and nationality. A factor analysis suggests that an individual's views on these issues factor into a few underlying components that predict much of the variation in those views. The results of a metasurvey (...) also suggest that many of the results of the survey are surprising: philosophers as a whole have quite inaccurate beliefs about the distribution of philosophical views in the profession. (shrink)

Bell-type inequalities are proven using oversimplified probabilistic models and/or counterfactual definiteness (CFD). If setting-dependent variables describing measuring instruments are correctly introduced, none of these inequalities may be proven. In spite of this, a belief in a mysterious quantum nonlocality is not fading. Computer simulations of Bell tests allow people to study the different ways in which the experimental data might have been created. They also allow for the generation of various counterfactual experiments’ outcomes, such as repeated or simultaneous measurements performed (...) in different settings on the same “photon-pair”, and so forth. They allow for the reinforcing or relaxing of CFD compliance and/or for studying the impact of various “photon identification procedures”, mimicking those used in real experiments. Data samples consistent with quantum predictions may be generated by using a specific setting-dependent identification procedure. It reflects the active role of instruments during the measurement process. Each of the setting-dependent data samples are consistent with specific setting-dependent probabilistic models which may not be deduced using non-contextual local realistic or stochastic hidden variables. In this paper, we will be discussing the results of these simulations. Since the data samples are generated in a locally causal way, these simulations provide additional strong arguments for closing the door on quantum nonlocality. (shrink)

It is possible to construct situations (with a suitable kind of setting) in which one speaker utters ‘This is tasty’ and another speaker responds with ‘That’s not true’. The aim of this paper is to motivate the idea that typical (broadly) expressivist accounts of taste disagreements are not in a position to explain such situations (although some of them can successfully explain disagreements in which another kind of dissent phrase—like ‘Nuh-uh’—is employed). This is because utterances of ‘That’s not true’ are (...) typically used to ascribe falsehood to propositions. Taste expressivism has it, however, that when one utters ‘This is tasty’, one typically manifests her evaluative attitude (which is non-propositional) toward something rather than describes what attitude she bears toward the thing. Another aim of the paper consists in proposing an alternative account of taste disagreements. It is close to taste expressivism when it comes to the explanation of disagreements in which speakers respond with ‘Nuh-uh’ to utterances of ‘This is tasty’, but departs from it in situations in which they respond with ‘That’s not true’. The account is developed within a contextualist framework according to which taste utterances express contextually enriched propositions that contain judges who evaluate things as tasty or not. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

Bell-CHSH inequalities are trivial algebraic properties satisfied by each line of an Nx4 spreadsheet containing ±1 entries, thus it is surprising that their violation in some experiments allows us to speculate about the existence of non-local influences in nature and casts doubt on the existence of the objective external physical reality. Such speculations are rooted in incorrect interpretations of quantum mechanics and in a failure of local realistic hidden variable models to reproduce quantum predictions for spin polarization correlation experiments (SPCE). (...) In these models, one uses a counterfactual joint probability distribution of only pairwise measurable random variables (A, A′, B, B′) to prove Bell-CHSH inequalities. In SPCE, Alice and Bob, using 4 incompatible pairs of experimental settings, estimate imperfect correlations between clicks registered by their detectors. Clicks announce the detection of photons and are coded by ±1. Expectations of corresponding random variables—E (AB), E (AB′), E (A′B), and E (A′B′)—are estimated and compared with quantum predictions. These estimates significantly violate CHSH inequalities. Since variables (A, A′) and (B, B′) cannot be measured jointly, neither Nx4 spreadsheets nor a joint probability distribution of (A, A′, B, B′) exist, thus Bell-CHSH inequalities may not be derived. Nevertheless, imperfect correlations between clicks in SPCE may be explained in a locally causal way, if contextual setting-dependent parameters describing measuring instruments are correctly included in the description. The violation of Bell-CHSH inequalities may not therefore justify the existence of a spooky action at the distance, super-determinism, or speculations that an electron can be both here and a meter away at the same time. In this paper we review and rephrase several arguments proving that such conclusions are unfounded. Entangled photon pairs cannot be described as pairs of socks nor as pairs of fair dice producing in each trial perfectly correlated outcomes. Thus, the violation of inequalities confirms only that the measurement outcomes and ‘the fate of photons’ are not predetermined before the experiment is done. It does not allow for doubt regarding the objective existence of atoms, electrons, and other invisible elementary particles which are the building blocks of the visible world around us. (shrink)

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a (...) priori. Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

A discussion of three central ideas in action theory; trying to act, doing or acting, one's action causing further consequences.

The unpleasantness of pain motivates action. Hence many philosophers have doubted that it can be accounted for purely in terms of pain’s possession of indicative representational content. Instead, they have explained it in terms of subjects’ inclinations to stop their pains, or in terms of pain’s imperative content. I claim that such “noncognitivist” accounts fail to accommodate unpleasant pain’s reason-giving force. What is needed, I argue, is a view on which pains are unpleasant, motivate, and provide reasons in virtue of (...) possessing content that is indeed indicative, but also, crucially, evaluative. (shrink)

This paper concentrates on a particular sort of case where it’s plausible that epistemic requirements can conflict: cases where an agent’s higher-order evidence supports doubting her reliability in reacting to her ordinary evidence. Conflicting epistemic requirements can be seen as generating epistemic dilemmas. The paper examines two ways that people have sought to recognize conflicting requirements without allowing them to generate epistemic dilemmas: separating epistemic norms into two different varieties, and positing rational indeterminacy in cases where principles conflict. It argues (...) that these views incur costs, and that the sense in which they avoid dilemmas does not gain them an advantage over a view that simply recognizes dilemmas as a natural outgrowth of agents’ rational reflection on their own thinking. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (shrink)

The paper aims to weaken a widespread argument against indexical contextualism regarding matters of personal taste. According to indexical contextualism, an utterance of “T is tasty” (where T is an object of taste) expresses the proposition that T is tasty for J (where J is a judge). This argument suggests that indexical contextualism cannot do justice to our disagreement intuitions regarding typical disputes about personal taste because it has to treat conversations in which one speaker utters “T is tasty” and (...) another responds with “T is not tasty” (referred to as ‘judge-non-specific conversations’ in this paper) as being on a par with conversations in which one speaker utters “T is tasty to me” and another responds with “T is not tasty to me” (referred to as ‘judge-specific conversations’). The argument has it that judge-specific conversations, unlike judge-non-specific conversations, do not contain disagreement between speakers. To defend indexical contextualism, some philosophers have proposed accounts (here referred to as ‘dual-proposition theories’) according to which utterances of “T is tasty” are used to communicate both the above kinds of semantically expressed proposition and some other kinds of proposition (like superiority propositions or metalinguistic propositions) that could be used to explain disagreements about taste. The paper defends two claims: First, it is argued that judge-specific conversations, or at least some of them, do contain disagreement between speakers, contrary to what the anti-indexical-contextualist argument supposes. Second, it is argued that dual-proposition indexical-contextualist theories fail to explain judge-specific conversations that are intuitively interpreted as containing disagreement. (shrink)

This chapter examines how epistemic norms could be social norms, with a reliance on work on the philosophy and social science of social norms from Bicchieri (on the one hand) and Brennan, Eriksson, Goodin and Southwood (on the other hand). We explain how the social ontology of social norms can help explain the rationality of epistemic cooperation, and how one might begin to model epistemic games.

An exploration of the legacy of Michael Servetus to the development of a new type of theological inquiry which ultimately helped lead to the development of critical biblical studies.

Creationism is an ancient worldview that was incorporated into ancient religious doctrines and survived in the western world due to its domination by religious institution such as the Catholic and Protestant Churches. Slowly, with the development of democratic political systems and science, the church lost its power of dominance over intellectual enterprises, and evolution became accepted by the majority as the inherent process in nature. Nevertheless, creationism is still very much alive among various fundamentalist churches and their organizations in the (...) United States. This article discusses the premises of the creationist movement, its varieties, and confronts it with the basic premises, characteristics, and modus operandi of the scientific enterprise. (shrink)

Pain asymbolia is a rare condition caused by brain damage, usually in adulthood. Asymbolics feel pain but appear indifferent to it, and indifferent also to visual and verbal threats. How should we make sense of this? Nikola Grahek thinks asymbolics’ pains are abnormal, lacking a component that make normal pains unpleasant and motivating. Colin Klein thinks that what is abnormal is not asymbolics’ pains, but asymbolics: they have a psychological deficit making them unresponsive to unpleasant pain. I argue that an (...) illuminating account requires elements of both views. Asymbolic pains are indeed abnormal, but they are abnormal because asymbolics are. I agree with Klein that asymbolics are incapable of caring about their bodily integrity; but I argue against him that, if this is to explain not only their indifference to visual and verbal threat, but also their indifference to pain, we must do the following: (i) take asymbolics’ lack of bodily care not as an alternative to, but as an explanation of their pains’ missing a component, and (ii) claim that the missing component consists in evaluative content. Asymbolia, I conclude, reveals not only that unpleasant pain is composite, but that its ‘hedomotive component’ is evaluative. (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

Cieľom state je navrhnúť systematickú a vyčerpávajúcu klasifikáciu definícií. Táto klasifikácia vychádza z typológie, ktorú vypracoval Richard Robinson vo svojej knihe o definíciách, no v rôznych aspektoch ju ďalej dopracováva. Nová klasifikácia je založená na dvoch kritériách, a to kritériu predmetnosti a kritériu ilokučnej sily. Podľa kritéria predmetnosti možno definovať výrazy, pojmy, resp. objekty ; podľa kritéria ilokučnej sily možno zase rozlíšiť definície, ktoré opisujú existujúci systém, a definície, ktoré transformujú daný systém na nový systém. Napokon sa podľa týchto dvoch (...) kritérií vyhodnocujú niektoré známe druhy definícií. (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being (...) centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

From religion to philosophy to science, all human systems of definition are formed by human brains. The nature and limits of the human brain are the nature and limits of those systems. This essay shows how the human brain works normally then unusually, and what this reveals about the limits of human knowledge. There are many conditions and instances where the brain processes information unusually, including mental disorders, physical events, and drug use. This essay focuses on the neurological events called (...) mystical experiences. (shrink)