Cohesive powersof computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let$\omega $,$\zeta $, and$\eta $denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of$\omega $. If$\mathcal {L}$is a computable copy of$\omega $that is computably isomorphic to the usual presentation of$\omega $, then every cohesive power of$\mathcal {L}$has order-type$\omega + (...) \zeta \eta $. However, there are computable copies of$\omega $, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to$\omega + \zeta \eta $. For example, we show that there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \eta $. Our most general result is that if$X \subseteq \mathbb {N} \setminus \{0\}$is a Boolean combination of$\Sigma _2$sets, thought of as a set of finite order-types, then there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$, where$\boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$denotes the shuffle of the order-types inXand the order-type$\omega + \zeta \eta + \omega ^*$. Furthermore, ifXis finite and non-empty, then there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \boldsymbol {\sigma }(X)$. (shrink)

Upon introspection, we judge that suffering feels bad. I argue there is no appearance-reality gap when it comes to introspective judgments about simple, intrinsic, nonrepresentational phenomenal states like itches, tingling, and suffering's feeling bad. On constitutivism about phenomenal introspection, there is no appearance-reality gap here because these judgments are literally constituted by the phenomenal states they are about. As a result, we are directly acquainted with the intrinsic properties of experience in having these judgments. Reflecting on our direct acquaintance with (...) intrinsic badness, we can know that our suffering instantiates this judgment-independent evaluative property. (shrink)

Let I be a quasimaximal subset of a computable basis of the fully efective vector space V ∞ . We give a necessary and sufficient condition for the existence of an isomorphism between the principal filter respectivelly. We construct both quasimaximal sets that satisfy and quasimaximal sets that do not satisfy this condition. With the latter we obtain a negative answer to Question 5.4 posed by Downey and Remmel in [3].

Moral encroachment holds that the epistemic justification of a belief can be affected by moral factors. If the belief might wrong a person or group more evidence is required to justify the belief. Moral encroachment thereby opposes evidentialism, and kindred views, which holds that epistemic justification is determined solely by factors pertaining to evidence and truth. In this essay I explain how beliefs such as ‘that woman is probably an administrative assistant’—based on the evidence that most women employees at the (...) firm are administrative assistants—motivate moral encroachment. I then describe weaknesses of moral encroachment. Finally I explain how we can countenance the moral properties of such beliefs without endorsing moral encroachment, and I argue that the moral status of such beliefs cannot be evaluated independently from the understanding in which they are embedded. (shrink)

This article suggests an explorative approach to the character and meaning of individual autonomy in higher education through a particular conception of social relations. Following Axel Honneth, a theoretical framework is outlined in which subjectivity and autonomy are results of underlying institutionalised relations of recognition in the forms of love, legal respect, and social esteem. It is argued that when higher education is seen as self-formation and as a field of relations of recognition due to its collegial, legal, and evaluative (...) features, it is possible to conceive of its institutional environment as supportive or obstructive to recognition and, consequently, to the advancement of individual autonomy. Such a theoretical tool, based on Honneth’s recognition theory, could then translate into a critical instrument able to extend the understanding of what constitutes matters of individual autonomy in and across specific institutionalised contexts, including higher education. (shrink)

When encountering a set of alternatives displayed in the form of a list, the decision maker usually determines a particular alternative, after which she stops checking the remaining ones, and chooses an alternative from those observed so far. We present a framework in which both decision problems are explicitly modeled, and axiomatically characterize a ‘divide-and-choose’ rule which unifies successive choice and satisficing choice.

We construct a computable vector space with the trivial computable automorphism group, but with the dependence relations as complicated as possible, measured by their Turing degrees. As a corollary, we answer a question asked by A.S. Morozov in [Rigid constructive modules, Algebra and Logic, 28 570–583 ; 379–387 ].

The ancient mythology could serve as an effective medium for metaphorically conveying complex concepts and principles to a broad spectrum of people. In this paper we show how the fuzzy logic approach can be used to translate the metaphoric language of ancient myths and legends into a 'soft' scientific paradigm which helps us to understand better the social complexity of our time.

According to leading Kant scholars, in mid-1760s Kant realizes that his program for the reform of metaphysics cannot be developed by the method of conceptual analysis which he had previously considered to be more adequate than the synthetic method of the Wolffians that imitates the mathematical one. In this paper, I put into question the claim of a pre-Critical project of ‘analytical metaphysics’ by trying to show that even for the ‘pre-Critical’ Kant the proper method of metaphysics is genuinely synthetic, (...) but the synthetic construction in question should have been prepared by a Critical and subsequent exhaustive analysis of key material-instrumental concepts of the peculiar philosophical science under question. (shrink)

Human beings differ in ways of understanding, interpreting, describing or sharing experience. On the basis of experience we construct our own conceptual systems (beliefs and values) that are neither consistent nor monolithic. "Alternative conceptual systems exist, whether one likes it or not. They are not likely to go away, since they arise from a fundamental human capacity to conceptualise experience...A refusal to recognise conceptual relativism where it exists does have ethical consequences. It leads directly to conceptual elitism and imperialism - (...) to the assumption that our behaviour is rational and that of other people is not, and to attempts to impose our way of thinking on others" (Lakoff, 1987; p.337). (shrink)

Review on Vaclav Nemec, Marius Victorinus: The Consubstantiality of The Trinity OIKOYMENH, Prague, 2006.

According to a common conception of legal proof, satisfying a legal burden requires establishing a claim to a numerical threshold. Beyond reasonable doubt, for example, is often glossed as 90% or 95% likelihood given the evidence. Preponderance of evidence is interpreted as meaning at least 50% likelihood given the evidence. In light of problems with the common conception, I propose a new ‘relevant alternatives’ framework for legal standards of proof. Relevant alternative accounts of knowledge state that a person knows a (...) proposition when their evidence rules out all relevant error possibilities. I adapt this framework to model three legal standards of proof—the preponderance of evidence, clear and convincing evidence, and beyond reasonable doubt standards. I describe virtues of this framework. I argue that, by eschewing numerical thresholds, the relevant alternatives framework avoids problems inherent to rival models. I conclude by articulating aspects of legal normativity and practice illuminated by the relevant alternatives framework. (shrink)

The epistemology of risk examines how risks bear on epistemic properties. A common framework for examining the epistemology of risk holds that strength of evidential support is best modelled as numerical probability given the available evidence. In this essay I develop and motivate a rival ‘relevant alternatives’ framework for theorising about the epistemology of risk. I describe three loci for thinking about the epistemology of risk. The first locus concerns consequences of relying on a belief for action, where those consequences (...) are significant if the belief is false. The second locus concerns whether beliefs themselves—regardless of action—can be risky, costly, or harmful. The third locus concerns epistemic risks we confront as social epistemic agents. I aim to motivate the relevant alternatives framework as a fruitful approach to the epistemology of risk. I first articulate a ‘relevant alternatives’ model of the relationship between stakes, evidence, and action. I then employ the relevant alternatives framework to undermine the motivation for moral encroachment. Finally, I argue the relevant alternatives framework illuminates epistemic phenomena such as gaslighting, conspiracy theories, and crying wolf, and I draw on the framework to diagnose the undue skepticism endemic to rape accusations. (shrink)

In order to perform certain actions – such as incarcerating a person or revoking parental rights – the state must establish certain facts to a particular standard of proof. These standards – such as preponderance of evidence and beyond reasonable doubt – are often interpreted as likelihoods or epistemic confidences. Many theorists construe them numerically; beyond reasonable doubt, for example, is often construed as 90 to 95% confidence in the guilt of the defendant. -/- A family of influential cases suggests (...) standards of proof should not be interpreted numerically. These ‘proof paradoxes’ illustrate that purely statistical evidence can warrant high credence in a disputed fact without satisfying the relevant legal standard. In this essay I evaluate three influential attempts to explain why merely statistical evidence cannot satisfy legal standards. (shrink)

I motivate three claims: Firstly, attentional traits can be cognitive virtues and vices. Secondly, groups and collectives can possess attentional virtues and vices. Thirdly, attention has epistemic, moral, social, and political importance. An epistemology of attention is needed to better understand our social-epistemic landscape, including media, social media, search engines, political polarisation, and the aims of protest. I apply attentional normativity to undermine recent arguments for moral encroachment and to illuminate a distinctive epistemic value of occupying particular social positions. A (...) recurring theme is that disproportionate attention can distort, mislead, and misrepresent even when all the relevant claims are true and well supported by evidence. In the informational cacophony of the internet age, epistemology must foreground the cognitive virtues of attunement. (shrink)

My essay ‘Attunement: On the Cognitive Virtues of Attention’ is the lead essay in a symposium. Adam Carter and Sandy Goldberg each respond to the ‘Attunement’ essay. This is my rejoinder. -/- (i.) Carter argues that resources from virtue reliabilism can explain the source of attention normativity. He modifies this virtue reliabilist AAA-framework to apply to attentional normativity. I raise concerns about Carter’s project. I suggest that true belief and proper attentional habits are not relevantly similar. -/- (ii.) Goldberg claims (...) that social roles underwrite kinds of attentional normativity that are not well-captured by virtue theory. I critically assess this claim. (shrink)

This essay is an accessible introduction to the proof paradox in legal epistemology. -/- In 1902 the Supreme Judicial Court of Maine filed an influential legal verdict. The judge claimed that in order to find a defendant culpable, the plaintiff “must adduce evidence other than a majority of chances”. The judge thereby claimed that bare statistical evidence does not suffice for legal proof. -/- In this essay I first motivate the claim that bare statistical evidence does not suffice for legal (...) proof. I then introduce and motivate a knowledge-centred explanation of this fact. The knowledge-centred explanation rests on two premises. The first is that legal proof requires knowledge of culpability. The second is that one cannot attain knowledge that p from bare statistical evidence that p. To motivate the second premise, I suggest that beliefs based on bare statistical evidence fail to be safe—they could easily be wrong—and bare statistical evidence cannot eliminate relevant alternatives. -/- I then cast doubt on the first premise; I argue that legal proof does not require knowledge. I thereby dispute the knowledge-centred explanation of the inadequacy of bare statistical evidence for legal proof. Instead of appealing to the nature of knowledge, I suggest we should seek a more direct explanation by appealing to those more foundational epistemic properties, such as safety or eliminating relevant alternatives. (shrink)

Many theorists hold that outright verdicts based on bare statistical evidence are unwarranted. Bare statistical evidence may support high credence, on these views, but does not support outright belief or legal verdicts of culpability. The vignettes that constitute the lottery paradox and the proof paradox are marshalled to support this claim. Some theorists argue, furthermore, that examples of profiling also indicate that bare statistical evidence is insufficient for warranting outright verdicts.I examine Pritchard's and Buchak's treatments of these three kinds of (...) case. Pritchard argues that his safety condition explains the insufficiency of bare statistical evidence for outright verdicts in each of the three cases, while Buchak argues that her treatment of the distinction between credence and belief explains this. In these discussions the three kinds of cases – lottery, proof paradox, and profiling – are treated alike. The cases are taken to exhibit the same epistemic features. I identity significant overlooked epistemic differences amongst these three cases; these differences cast doubt on Pritchard's explanation of the insufficiency of bare statistical evidence for outright verdicts. Finally, I raise the question of whether we should aim for a unified explanation of the three paradoxes. (shrink)

Ephecticism is the tendency towards suspension of belief. Epistemology often focuses on the error of believing when one ought to doubt. The converse error—doubting when one ought to believe—is relatively underexplored. This essay examines the errors of undue doubt. I draw on the relevant alternatives framework to diagnose and remedy undue doubts about rape accusations. Doubters tend to invoke standards for belief that are too demanding, for example, and underestimate how farfetched uneliminated error possibilities are. They mistake seeing how incriminating (...) evidence is compatible with innocence for a reason to withhold judgement. Rape accusations help illuminate the causes and normativity of doubt. I propose a novel kind of epistemic injustice, for example, wherein patterns of unwarranted attention to farfetched error possibilities can cause those error possibilities to become relevant. Widespread unreasonable doubt thus renders doubt reasonable and makes it harder to know rape accusations. Finally, I emphasise that doubt is typically a conservative force and I argue that the relevant alternatives framework helps defend against pernicious doubt-mongers. (shrink)

An annotated bibliography of legal epistemology.

This essay is not about what love is. It is about what self-ascriptions of love do. People typically self-ascribe romantic love when a nexus of feelings, beliefs, attitudes, values, commitments, experiences, and personal histories matches their conception of romantic love. But what shapes this conception? And (how) can we adjudicate amongst conflicting conceptions? -/- Self-ascriptions of love do not merely describe the underlying nexus of attitudes and beliefs. They also change it. This essay describes how conceptions of love affect romantic (...) experience. I limn distinctions between love and obsessive infatuation and explore ways language can cultivate queer romantic preferences. Since conceptions of love are shaped, often implicitly, by terms available in one’s linguistic community, the resulting nexus of concepts and conceptions manifests linguistic luck. I suggest ways we might sculpt the language of love to better understand—and change—ourselves. Love can help us flourish and so can our “love” language. (shrink)

The teleological approach to an epistemic concept investigates it by asking questions such as ‘what is the purpose of the concept?’, ‘What role has it played in the past?’, or ‘If we imagine a society without the concept, why would they feel the need to invent it?’ The idea behind the teleological approach is that examining the function of the concept illuminates the contours of the concept itself. This approach is a relatively new development in epistemology, and as yet there (...) are few works examining it. This paper aims to fill this gap and engender further understanding of the teleological method. I first contrast the teleological method with more orthodox approaches in epistemology. I then draw a three-way taxonomy of different kinds of teleological approach and provide an example of each kind. The teleological approach is often presented as antithetical to the more orthodox approaches in epistemology, and so in competition with them. I demur. I argue that the methods can be fruitfully combined in epistemological theorising; in the final section I suggest specific ways the teleological approach can be incorporated alongside more orthodox methods in a general methodological reflective equilibrium. (shrink)

Understanding enjoys a special kind of value, one not held by lesser epistemic states such as knowledge and true belief. I explain the value of understanding via a seemingly unrelated topic, the implausibility of veritism. Veritism holds that true belief is the sole ultimate epistemic good and all other epistemic goods derive their value from the epistemic value of true belief. Veritism entails that if you have a true belief that p, you have all the epistemic good qua p. Veritism (...) is a plausible and widely held view; I argue that it is untenable. I argue that integration among beliefs possesses epistemic value independent from the good of true belief, and so has value veritism cannot account for. I argue further that this integration among beliefs comprises the distinctive epistemic value of understanding. (shrink)

In criminal trials the state must establish, to a particular standard of proof, the defendant's guilt. The most widely used and important standard of proof for criminal conviction is the ‘beyond a reasonable doubt' standard. But what legitimates this standard, rather than an alternative? One view holds the standard of proof should be determined or justified – at least in large part – by its consequences. In this spirit, Laudan uses crime statistics to estimate risks the average citizen runs of (...) being violently victimised and falsely convicted. He argues that since the former risk is higher, and the aggregate harms are worse, the standard of proof should be substantially lowered. He presents a formula for calculating the preferred standard. In this article I outline various ways Laudan's uses of crime statistics are flawed, and explain how he substantially overestimates risks of victimhood and underestimates costs of false convictions. I also explain why his formula is mistaken, and illuminate consequences Laudan neglects. I conclude that, even if consequences determine the appropriate standard of proof, Laudan's arguments fail to show the standard is too high. I conclude by suggesting that the inadequacies of Laudan's reasoning might be good news for consequence-based justifications of the standard of proof. (shrink)

Let I0 be a a computable basis of the fully effective vector space V∞ over the computable field F. Let I be a quasimaximal subset of I0 that is the intersection of n maximal subsets of the same 1-degree up to *. We prove that the principal filter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V,\uparrow )}$$\end{document} of V = cl(I) is isomorphic to the lattice \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}(n, \overline{F})}$$\end{document} of subspaces (...) of an n-dimensional space over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{F}}$$\end{document}, a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma _{3}^{0}}$$\end{document} extension of F. As a corollary of this and the main result of Dimitrov (Math Log 43:415–424, 2004) we prove that any finite product of the lattices \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\mathcal{L}(n_{i}, \overline{F }_{i}))_{i=1}^{k}}$$\end{document} is isomorphic to a principal filter of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{ L}^{\ast}(V_{\infty})}$$\end{document}. We thus answer Question 5.3 “What are the principal filters of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V_{\infty})?}$$\end{document} ” posed by Downey and Remmel (Computable algebras and closure systems: coding properties, handbook of recursive mathematics, vol 2, pp 977–1039, Stud Log Found Math, vol 139, North-Holland, Amsterdam, 1998) for spaces that are closures of quasimaximal sets. (shrink)

This essay presents a unified account of safety, sensitivity, and severe testing. S’s belief is safe iff, roughly, S could not easily have falsely believed p, and S’s belief is sensitive iff were p false S would not believe p. These two conditions are typically viewed as rivals but, we argue, they instead play symbiotic roles. Safety and sensitivity are both valuable epistemic conditions, and the relevant alternatives framework provides the scaffolding for their mutually supportive roles. The relevant alternatives condition (...) holds that a belief is warranted only if the evidence rules out relevant error possibilities. The safety condition helps categorise relevant from irrelevant possibilities. The sensitivity condition captures ‘ruling out’. Safety, sensitivity, and the relevant alternatives condition are typically presented as conditions on warranted belief or knowledge. But these properties, once generalised, help characterise other epistemic phenomena, including warranted inference, legal verdicts, scientific claims, reaching conclusions, addressing questions, warranted assertion, and the epistemic force of corroborating evidence. We introduce and explain Mayo’s severe testing account of statistical inference. A hypothesis is severely tested to the extent it passes tests that probably would have found errors, were they present. We argue Mayo’s account is fruitfully understood using the resulting relevant alternatives framework. Recasting Mayo’s condition using the conceptual framework of contemporary epistemology helps forge fruitful connections between two research areas—philosophy of statistics and the analysis of knowledge—not currently in sufficient dialogue. The resulting union benefits both research areas. (shrink)

Some expressions of English, like the demonstratives ‘this’ and ‘that’, are referentially promiscuous: distinct free occurrences of them in the same sentence can differ in content relative to the same context. One lesson of referentially promiscuous expressions is that basic logical properties like validity and logical truth obtain or fail to obtain only relative to a context. This approach to logic can be developed in just as rigorous a manner as David Kaplan’s classic logic of demonstratives. The result is a (...) logic that applies to arguments in English containing multiple occurrences of referentially promiscuous expressions. (shrink)

Conciliatory views of peer disagreement hold that when an agent encounters peer disagreement she should conciliate by adjusting her doxastic attitude towards that of her peer. In this paper I distinguish different ways conciliation can be understood and argue that the way conciliationism is typically understood violates the principle of commutativity of evidence. Commutativity of evidence holds that the order in which evidence is acquired should not influence what it is reasonable to believe based on that evidence. I argue that (...) when an agent encounters more than one peer, and applies the process of conciliation serially, the order she encounters the peers influences the resulting credence. I argue this is a problem for conciliatory views of disagreement, and suggest some responses available to advocates of conciliation. (shrink)

An account of the nature of knowledge must explain the value of knowledge. I argue that modal conditions, such as safety and sensitivity, do not confer value on a belief and so any account of knowledge that posits a modal condition as a fundamental constituent cannot vindicate widely held claims about the value of knowledge. I explain the implications of this for epistemology: We must either eschew modal conditions as a fundamental constituent of knowledge, or retain the modal conditions but (...) concede that knowledge is not more valuable than that which falls short of knowledge. This second horn—concluding that knowledge has no distinctive value—is unappealing since it renders puzzling why so much epistemological theorising focuses on knowledge, and why knowledge seems so important. (shrink)

This essay introduces the ‘she said, he said’ paradox for Title IX investigations. ‘She said, he said’ cases are accusations of rape, followed by denials, with no further significant case-specific evidence available to the evaluator. In such cases, usually the accusation is true. Title IX investigations adjudicate sexual misconduct accusations in US educational institutions; I address whether they should be governed by the ‘preponderance of the evidence’ standard of proof or the higher ‘clear and convincing evidence’ standard. -/- Orthodoxy holds (...) that the ‘preponderance’ standard is satisfied if the evidence adduced renders the litigated claim more likely than not. On this view, I argue, ‘she said, he said’ cases satisfy the ‘preponderance’ standard. But this consequence conflicts with plausible liberal and feminist claims. In this essay I contrast the ‘she said, he said’ paradox with legal epistemology’s proof paradox. I explain how both paradoxes arise from the distinction between individualised and non-individualised evidence, and I critically evaluate responses to the ‘she said, he said’ paradox. (shrink)

Robust virtue epistemology holds that knowledge is true belief obtained through cognitive ability. In this essay I explain that robust virtue epistemology faces a dilemma, and the viability of the theory depends on an adequate understanding of the ‘through’ relation. Greco interprets this ‘through’ relation as one of causal explanation; the success is through the agent’s abilities iff the abilities play a sufficiently salient role in a causal explanation of why she possesses a true belief. In this paper I argue (...) that Greco’s account of the ‘through’ relation is inadequate. I describe kinds of counterexample and explain why salience is the wrong kind of property to track epistemically relevant conditions or to capture the nature of knowledge. Advocates of robust virtue epistemology should develop an alternative account of the ‘through’ relation. I also argue that virtue epistemology should employ an environment-relative interpretation of epistemic virtue. (shrink)

Thought experiments as counterexamples are a familiar tool in philosophy. Frequently understanding a vignette seems to generate a challenge to a target theory. In this paper I explore the content of the judgement that we have in response to these vignettes. I first introduce several competing proposals for the content of our judgement, and explain why they are inadequate. I then advance an alternative view. I argue that when we hear vignettes we consider the normal instances of the vignette. If (...) the normal instance of the vignette exhibits a counter-instance, the vignette constitutes a challenge to the target theory. I argue that this proposal shows how responses to vignettes are an ordinary, everyday judgement, and I explain how the proposal avoids the problems generated by competing theories. Finally, I argue this ‘normalcy proposal’ most naturally accords with our understanding of the method. (shrink)

In an earlier defense of the view that the fundamental logical properties of logical truth and logical consequence obtain or fail to obtain only relative to contexts, I focused on a variation of Kaplan’s own modal logic of indexicals. In this paper, I state a semantics and sketch a system of proof for a first-order logic of demonstratives, and sketch proofs of soundness and completeness. (I omit details for readability.) That these results obtain for the first-order logic of demonstratives shows (...) that the significance of demonstratives for logic exceeds their behavior as rigid designators in counterfactual reasoning, or reasoning about alternative possibilities. Furthermore, the results in this paper help address one common objection to the view that logical truth and consequence obtain only relative to contexts. According to this objection, the view entails that logical consequence is not formal. (shrink)

Self-sovereign identity solutions implemented on the basis of blockchain technology are seen as alternatives to existing digital identification systems, or even as a foundation of standards for the new global infrastructures for identity management systems. It is argued that ‘self-sovereignty' in this context can be understood as the concept of individual control over identity relevant private data, capacity to choose where such data is stored, and the ability to provide it to those who need to validate it. It is also (...) argued that while it might be appealing to operationalise the concept of ‘self-sovereignty’ in a narrow technical sense, depreciation of moral semantics obscures key challenges and long-term repercussions. Closer attention to the normative substance of the ‘sovereignty’ concept helps to highlight a range of ethical issues pertaining to the changing nature of human identity in the context of ubiquitous private data collection. (shrink)

Tarot cards are a rich and fascinating art form. They are also an excellent tool for inquiry. I show why tarot has value, regardless of the user’s beliefs about magic. And I explain how novice or skeptical tarot users can appreciate (and create) that value by focusing on the card’s images, rather than consulting texts or expert guides. This is because, on a naturalistic conception, tarot’s zetetic value—that is, its value to inquiry—stems from its artistic properties.

The aim of this paper is to determine whether and to what extent Woodward’s interventionist theory of causation is variable relative. In an influential review, Strevens has accused Woodward’s account of a damaging form of variable relativity, according to which obviously false causal claims can be made true by choosing a depleted variable set. Following McCain, I show that Strevens’ objection doesn’t succeed. However, Woodward also wants to avoid another kind of variable relativity, according to which it can be true (...) that X is a cause of Y in one set of background conditions, but false in another. I show that Woodward’s account is problematically overpermissive, unless there are restrictions on the values that certain variables can take. I formulate a modified account that makes these restrictions explicit, then use it to argue that Woodward’s attempt to avoid relativity to background conditions is misguided. On the best interpretation of the interventionist theory, causal claims are assessed relative to a particular kind of variable set. Thus, I conclude that the theory should be understood as variable relative, in a specific, unproblematic sense. (shrink)

It has been argued that an adequate feminist response to sexist pornography demands not just efforts to eradicate sexist beliefs, but also aesthetic counter-intervention at the level of taste. This view motivates support for feminist pornography. This paper takes the feminist pornography suggestion seriously by unpacking difficulties for the project. I begin by spelling out two views about what makes feminist pornography feminist: the ‘content view,’ and the ‘context view,’ and discuss what I take to be existing arguments for the (...) latter. I then present two objections to the context view: the first focuses on how we characteristically interact with pornography (as a masturbatory aid), the second challenges the value of authenticity upon which much feminist pornography rests. If these arguments are correct, then there are serious flaws with feminist pornography as it is commonly conceived. I close with a brief suggestion of an alternative approach rooted in feminist solidarity. (shrink)

Human creativity generates novel ideas to solve real-world problems. This thereby grants us the power to transform the surrounding world and extend our human attributes beyond what is currently possible. Creative ideas are not just new and unexpected, but are also successful in providing solutions that are useful, efficient and valuable. Thus, creativity optimizes the use of available resources and increases wealth. The origin of human creativity, however, is poorly understood, and semantic measures that could predict the success of generated (...) ideas are currently unknown. Here, we analyze a dataset of design problem-solving conversations in real-world settings by using 49 semantic measures based on WordNet 3.1 and demonstrate that a divergence of semantic similarity, an increased information content, and a decreased polysemy predict the success of generated ideas. The first feedback from clients also enhances information content and leads to a divergence of successful ideas in creative problem solving. These results advance cognitive science by identifying real-world processes in human problem solving that are relevant to the success of produced solutions and provide tools for real-time monitoring of problem solving, student training and skill acquisition. A selected subset of information content (IC Sánchez–Batet) and semantic similarity (Lin/Sánchez–Batet) measures, which are both statistically powerful and computationally fast, could support the development of technologies for computer-assisted enhancements of human creativity or for the implementation of creativity in machines endowed with general artificial intelligence. (shrink)