Summary Analogue models are actual physical setups used to model something else. They are especially useful when what we wish to investigate is difficult to observe or experiment upon due to size or distance in space or time: for example, if the thing we wish to investigate is too large, too far away, takes place on a time scale that is too long, does not yet exist or has ceased to exist. The range and variety of analogue models is too (...) extensive to attempt a survey. In this article, I describe and discuss several different analogue model experiments, the results of those model experiments, and the basis for constructing them and interpreting their results. Examples of analogue models for surface waves in lakes, for earthquakes and volcanoes in geophysics, and for black holes in general relativity, are described, with a focus on examining the bases for claims that these analogues are appropriate analogues of what they are used to investigate. A table showing three different kinds of bases for reasoning using analogue models is provided. Finally, it is shown how the examples in this article counter three common misconceptions about the use of analogue models in physics. (shrink)

I argue that analogue mental representations possess a canonical decomposition into privileged constituents from which they compose. I motivate this suggestion, and rebut arguments to the contrary, through reflection on the approximate number system, whose representations are widely expected to have an analogue format. I then argue that arguments for the compositionality and constituent structure of these analogue representations generalize to other analogue mental representations posited in the human mind, such as those in early vision and visual imagery.

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three (...) independent ways in which a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Building on Christopher Peacocke’s account of analog perceptual contentand my own account of analog perceptual vehicles, I defend three claims: that theperception of magnitudes often has analog contents; that the perception of magni-tudes often has analog vehicles; and that the first claim is true in virtue of the second—that is, the analog vehicles help to ground the analog contents.

This note clarifies an error in the proof of the main theorem of “The Ricean Objection: An Analogue of Rice’s Theorem for First-Order Theories”, Logic Journal of the IGPL, 16(6): 585–590(2008).

The abstract basis of modern computation is the formal description of a finite state machine, the Universal Turing Machine, based on manipulation of integers and logic symbols. In this contribution to the discourse on the computer-brain analogy, we discuss the extent to which analog computing, as performed by the mammalian brain, is like and unlike the digital computing of Universal Turing Machines. We begin with ordinary reality being a permanent dialog between continuous and discontinuous worlds. So it is with (...) computing, which can be analog or digital, and is often mixed. The theory behind computers is essentially digital, but efficient simulations of phenomena can be performed by analog devices; indeed, any physical calculation requires implementation in the physical world and is therefore analog to some extent, despite being based on abstract logic and arithmetic. The mammalian brain, comprised of neuronal networks, functions as an analog device and has given rise to artificial neural networks that are implemented as digital algorithms but function as analog models would. Analog constructs compute with the implementation of a variety of feedback and feedforward loops. In contrast, digital algorithms allow the implementation of recursive processes that enable them to generate unparalleled emergent properties. We briefly illustrate how the cortical organization of neurons can integrate signals and make predictions analogically. While we conclude that brains are not digital computers, we speculate on the recent implementation of human writing in the brain as a possible digital path that slowly evolves the brain into a genuine (slow) Turing machine. (shrink)

The common account of the analog vs digital distinction is based on features of physical systems, being related to the usage of continuous vs discrete supports respectively. It is proposed here to alternatively characterize the concepts of analog and digital as related to coding systems, of which a formal definition is given, by suggesting that the distinction refers to the strategy adopted to define the coding function: extensional in digital systems, isomorphic intensional in analog systems. This thesis (...) is supported by examples, in particular of analog systems exploiting discrete supports, and is discussed to explain why digital coding is currently so widespread in technological and social practice. (shrink)

We analyze the properties of optimum portfolios, the price of which is considered a new quantum variable and derive a quantum analog of the Black-Scholes formula for the price of financial variables in assumption that the market dynamics can by considered as its continuous weak measurement at no-arbitrage condition.

This chapter presents a re-understanding of the contents of our analog magnitude representations (e.g., approximate duration, distance, number). The approximate number system (ANS) is considered, which supports numerical representations that are widely described as fuzzy, noisy, and limited in their representational power. The contention is made that these characterizations are largely based on misunderstandings—that what has been called “noise” and “fuzziness” is actually an important epistemic signal of confidence in one’s estimate of the value. Rather than the ANS having (...) noisy or fuzzy numerical content, it is suggested that the ANS has exquisitely precise numerical content that is subject to epistemic limitations. Similar considerations will arise for other analog representations. The chapter discusses how this new understanding of ANS representations recasts the learnability problem for number and the conceptual changes that children must accomplish in the number domain. (shrink)

It has been known for long time that the cosmic sound wave was there since the early epoch of the Universe. Signatures of its existence are abound. However, such an acoustic model of cosmology is rarely developed fully into a complete framework from the notion of space, cancer therapy up to the sky. This paper may be the first attempt towards such a complete description of the Universe based on classical wave equation of sound. It is argued that one can (...) arrive at a consistent description of space, elementary particles, Sachs-Wolfe acoustic theorem, up to a novel approach for cancer therapy, starting from this simple classical wave equation of sound. We also discuss a plausible extension of Acoustic Sachs-Wolfe theorem based on its analogue with Klein-Gordon equation to become Acoustic Sachs-Wolfe-Christianto-Smarandache-Umniyati (ASWoCSU) equation. It is our hope that the new proposed equation can be verified with observation data. But we admit that our model is still in its infancy, more researches are needed to fill all the missing details. (shrink)

I discuss the early history of holography and explore how perceptions, applications, and forecasts of the subject were shaped by prior experience. I focus on the work of Dennis Gabor (1900–1979) in England,Yury N. Denisyuk (1927-2005) in the Soviet Union, and Emmett N. Leith (1927–2005) and Juris Upatnieks (b. 1936) in the United States. I show that the evolution of holography was simultaneously promoted and constrained by its identification as an analog of photography, an association that influenced its assessment (...) by successive audiences of practitioners, entrepreneurs, and consumers. One consequence is that holography can be seen as an example of a modern technical subject that has been shaped by cultural influences more powerfully than generally appreciated. Conversely, the understanding of this new science and technology in terms of an older one helps to explain why the cultural effects of holography have been more muted than anticipated by forecasters between the 1960s and 1990s. (shrink)

Reflection Theory holds that our sensations reflect physical properties, whereas Empiricism believes that sense (data), presentations, and phenomena are the ultimate existence. Lenin adhered to Reflection Theory and criticized Helmholtz’s sensory symbolism for affirming the similarity between a sensation and a physical property. By using information and color vision theories, analyzing the ostensive definition with inverted qualia, and extending the relativity principle, this paper affirms the external world’s existence independent of personal sensations. Still, it denies the similarity between a sense (...) and a physical property. Then, it improves symbolism to analog symbolism and Reflection Theory to Information Reflection Theory. (shrink)

The paper argues that digital ontology (the ultimate nature of reality is digital, and the universe is a computational system equivalent to a Turing Machine) should be carefully distinguished from informational ontology (the ultimate nature of reality is structural), in order to abandon the former and retain only the latter as a promising line of research. Digital vs. analogue is a Boolean dichotomy typical of our computational paradigm, but digital and analogue are only “modes of presentation” of Being (to paraphrase (...) Kant), that is, ways in which reality is experienced or conceptualised by an epistemic agent at a given level of abstraction. A preferable alternative is provided by an informational approach to structural realism, according to which knowledge of the world is knowledge of its structures. The most reasonable ontological commitment turns out to be in favour of an interpretation of reality as the totality of structures dynamically interacting with each other. The paper is the first part (the pars destruens) of a two-part piece of research. The pars construens, entitled “A Defence of Informational Structural Realism”, is developed in a separate article, also published in this journal. (shrink)

An analogue of Arrow’s theorem has been thought to limit the possibilities for multi-criterial theory choice. Here, an example drawn from Toy Science, a model of theories and choice criteria, suggests that it does not. Arrow’s assumption that domains are unrestricted is inappropriate in connection with theory choice in Toy Science. There are, however, variants of Arrow’s theorem that do not require an unrestricted domain. They require instead that domains are, in a technical sense, ‘rich’. Since there are rich domains (...) in Toy Science, such theorems do constrain theory choice to some extent—certainly in the model and perhaps also in real science. (shrink)

Is there an epistemic analogue of moral motivational internalism? The answer to this question has implications for our understanding of the nature of epistemic normativity. For example, some philosophers have argued from claims that epistemic judgement is not necessarily motivating to the view that epistemic judgement is not normative. This paper examines the options for spelling out an epistemic analogue of moral motivational internalism. It is argued that the most promising approach connects epistemic judgements to doxastic dispositions, which are related (...) to motivation in a fairly tenuous sense. It is also argued that this approach currently lacks a plausible and informative account of the nature and workings of these doxastic dispositions, and, hence, an explanation of the range of phenomena internalist theses typically set out to explain. The most promising route for developing such an account, based on recent expressivist work, is investigated and found inadequate for the task. (shrink)

Imagine a character, Mary Analogue, who has a complete theoretical knowledge of her subject matter: the illusory nature of self. Suppose that when presenting her paper on no self at a conference she suffers stage-fright – a reaction that implies she is under an illusion of the very self whose existence she denies. Might there be something defective about her knowledge of no self? The Buddhist tradition would claim that Mary Analogue, despite her theoretical omniscience, lacks deep ‘insight knowledge’ into (...) the reality of no self. The only way for her to gain insight, and thereby improve her epistemic status, would be to divest her mind of the self-illusion. In this paper, I offer an analysis of what could be epistemically involved in the process of acquiring such insight knowledge whereby one becomes, in Buddhist parlance, ‘awakened’. (shrink)

The capacity for feature binding is typically explained in terms of the attribution model: a perceptual state selects an individual and attributes properties to it (Kahneman & Treisman 1984; Clark 2004; Burge 2010). Thus features are bound together in virtue of being attributed to the same individual. While the attribution model successfully explains some cases of binding in perception, not all binding need be understood as property attribution. This chapter argues that some forms of binding—those involving holistic iconic representations, which (...) bind features outside the limits of attention and object files—don’t fit the attribution model. The chapter then sketches an alternative coordination model of binding that construes icons as complex analog representations. (shrink)

Safety purports to explain why cases of accidentally true belief are not knowledge, addressing Gettier cases and cases of belief based on statistical evidence. However, problems arise for using safety as a condition on knowledge: safety is not necessary for knowledge and cannot always explain the Gettier cases and cases of statistical evidence it is meant to address. In this paper, I argue for a new modal condition designed to capture the non-accidental relationship between facts and evidence required for knowledge: (...) causal safety. I argue that possible errors in belief can be captured by accounting for deviations in causal relationships and that there is a natural way to characterize which causal errors are relevant in an epistemic situation. Using this, I develop a causal analogue to safety, where one’s belief in _p_ is causally safe if it is true in all causally relevant worlds where one believes _p_. Causal safety, I argue, can better explain the cases safety is meant to address and can avoid the arguments raised against the necessity of safety. (shrink)

Those of us who enjoy certain products of the global industrial economy but also believe it is wrong to consume them are often so demoralized by the apparent inefficacy of our individual, private choices that we are unable to resist. Although he was a deontologist, Kant was clearly aware of this ‘consequent-dependent’ side of our moral psychology. One version of his ‘moral proof’ is designed to respond to the threat of such demoralization in pursuit of the Highest Good. That version (...) of the argument says that the capacity that faith and trust in God has to sustain our moral resolve licenses that faith and trust, from a practical point of view. My goal here is to argue that Kant’s proof has a contemporary, secular analogue in modern industrial contexts where the apparent “inefficacy” of an individual consumer’s choices in the face of massive insensitive supply-chains is a threat to her moral resolve. I conclude by suggesting that the Kantian approach may license us in adopting (as an item of defeasible moral faith) an evidential decision-theoretic principle regarding what it is to ‘make a difference.’ This in turn licenses trust -- if not in God then in other right-minded people. (shrink)

A wide range of more objectivist norms appear to leave uncharted an important part of normative space. In the beginning of this paper I briefly outline two broad ways of seeking more subject-directed norms: perspectivism and feasibilism. According to feasibilism, the ultimate reason why more objectivist norms are inadequate on their own is not that they fail to take into account the limits of an agent’s perspective, but that they are not sensitive to limits on what ways of choosing, acting, (...) and believing are feasible in a given situation. I think of these ways of choosing, acting, and believing in terms of an agent's dispositions. In this paper I focus on a knowledge-first implementation of feasibilism, a view in epistemology that supplements a knowledge norm with a norm urging one to manifest dispositions that are among the most knowledge-conducive feasible ones. A view with different norms that sometimes cannot be jointly satisfied raises questions about the status of these norms. By drawing on two general hypotheses about the relationship between succeeding (e.g. knowing) and manifesting dispositions conducive to success, I argue for a view on which the prescriptive and the hypological come radically apart. The result is that an epistemic analogue of a thesis that many have assumed to hold in the moral realm should be rejected. This thesis is Only Blameworthy for Wrongs: we can only ever be blameworthy for acts that are morally wrong. I argue that on the picture presented, we can be epistemically blameworthy for doxastic states that do not violate any prescriptive epistemic norms. I then generalise the considerations to the moral realm, arguing against Only Blameworthy for Wrongs. (shrink)

Many policies and ethical guidelines recommend developing “trustworthy AI”. We argue that developing morally trustworthy AI is not only unethical, as it promotes trust in an entity that cannot be trustworthy, but it is also unnecessary for optimal calibration. Instead, we show that reliability, exclusive of moral trust, entails the appropriate normative constraints that enable optimal calibration and mitigate the vulnerability that arises in high-stakes hybrid decision-making environments, without also demanding, as moral trust would, the anthropomorphization of AI and thus (...) epistemically dubious behavior. The normative demands of reliability for inter-agential action are argued to be met by an analogue to procedural metacognitive competence (i.e., the ability to evaluate the quality of one’s own informational states to regulate subsequent action). Drawing on recent empirical findings that suggest providing reliability scores (e.g., F1-scores) to human decision-makers improves calibration in the AI system, we argue that reliability scores provide a good index of competence and enable humans to determine how much they wish to rely on the system. (shrink)

An influential objection to the epistemic power of the imagination holds that it is uninformative. You cannot get more out of the imagination than you put into it, and therefore learning from the imagination is impossible. This paper argues, against this view, that the imagination is robustly informative. Moreover, it defends a novel account of how the imagination informs, according to which the imagination is informative in virtue of its analog representational format. The core idea is that analog (...) representations represent relations ‘for free,’ and this explains how the imagination can contain more information than is put into it. This account makes important contributions to both philosophy of mind, by showing how the imagination can generate new content that is not represented by a subject’s antecedent mental states, and epistemology, by showing how the imagination can generate new justification that is not conferred by a subject’s antecedent evidence. (shrink)

Proponents of grounding often describe the notion as "metaphysical causation" involving determination and production relations similar to causation. This paper argues that the similarities between grounding and causation are merely superficial. I show that there are several sorts of causation that have no analogue in grounding; that the type of "bringing into existence" that both involve is extremely different; and that the synchronicity of ground and the diachronicity of causation make them too different to be explanatorily intertwined.

Unlike with randomized controlled trials (RCTs) in clinical research, little has been said about the ethical principles that should regulate the use of RCTs in experimental development economics. One well-known principle in clinical research ethics is the principle of clinical equipoise. Some recent commentators suggest that an analogue of clinical equipoise should play a role in experimental development economics. In this article, I first highlight some difficulties with importing the concept to experimental development economics. I then argue that MacKay’s (2018, (...) 2020) notion of policy equipoise avoids these difficulties and has a role to play in experimental development economics. (shrink)

I present a new argument for the repugnant conclusion. The core of the argument is a risky, intrapersonal analogue of the mere addition paradox. The argument is important for three reasons. First, some solutions to Parfit’s original puzzle do not obviously generalize to the intrapersonal puzzle in a plausible way. Second, it raises independently important questions about how to make decisions under uncertainty for the sake of people whose existence might depend on what we do. And, third, it suggests various (...) difficulties for leading views about the value of a person’s life compared to her nonexistence. (shrink)

Many results in logic and mathematics rely on techniques that allow for concrete, often visual, representations of abstract concepts. A primary example of this phenomenon in logic is the distinction between syntax and semantics, itself an example of the more general duality in mathematics between algebra and geometry. Such representations, however, often rely on the existence of certain maximal objects having particular properties such as points, possible worlds or Tarskian first-order structures. -/- This dissertation explores an alternative to such representations (...) known as possibility semantics. Its core idea is to replace maximal objects with ordered systems of partial approximations. Although it originates in the semantics of modal logic and the representation of abstract ordered structures, I argue that it has far-reaching mathematical, foundational and philosophical significance, especially in the context of semiconstructive mathematics, a foundational framework that does not assume any fragment of the Axiom of Choice beyond the Axiom of Dependent Choices. -/- The dissertation is divided in two main parts. The first part explores various applications of the mathematical framework underlying possibility semantics to lattice theory and non-classical propositional logics. A major theme is the development of constructive dualities for various categories of lattices, which are related to standard non-constructive dualities via Vietoris constructions. -/- The second part of the dissertation explores the alternative foundational setting of semi-constructive mathematics, focusing on three applications of possibility semantics for classical first-order logic to the philosophy of the mathematical infinite. In particular, we introduce generic powers, a semi-constructive analogue of ultrapowers in classical model theory, and we explore the merits of these structures from a foundational, conceptual and historical viewpoint. (shrink)

Partiality is the special concern that we display for ourselves and other people with whom we stand in some special personal relationship. It is a central theme in moral philosophy, both ancient and modern. Questions about the justification of partiality arise in the context of enquiry into several moral topics, including the good life and the role in it of our personal commitments; the demands of impartial morality, equality, and other moral ideals; and commonsense ideas about supererogation. This paper provides (...) an overview of the debate on the ethics of partiality through the lens of the domains of permissible and required partiality. After outlining the conceptual space, I first discuss agent-centred moral options that concern permissions not to do what would be impartially optimal. I then focus on required partiality, which concerns associative duties that go beyond our general duties to others and require us to give special priority to people who are close to us. I discuss some notable features of associative duties and the two main objections that have been raised against them: the Voluntarist and the Distributive objections. I then turn to the justification of partiality, focusing on underivative approaches and reasons-based frameworks. I discuss the reductionism and non-reductionism debate: the question whether partiality is derivative or fundamental. I survey arguments for ‘the big three’, according to which partiality is justified by appeal to the special value of either projects, personal relationships, or individuals. I conclude by discussing four newly emerging areas in the debate: normative transitions of various personal relationships, relationships with AI, epistemic partiality, and negative partiality, which concerns the negative analogue of our positive personal relationships. (shrink)

Decision theory and folk psychology both purport to represent the same phenomena: our belief-like and desire- and preference-like states. They also purport to do the same work with these representations: explain and predict our actions. But they do so with different sets of concepts. There's much at stake in whether one of these two sets of concepts can be accounted for with the other. Without such an account, we'd have two competing representations and systems of prediction and explanation, a dubious (...) dualism. Folk psychology structures our daily lives and has proven fruitful in the study of mind and ethics, while decision theory is pervasive in various disciplines, including the quantitative social sciences, especially economics, and philosophy. My interest is in accounting for folk psychology with decision theory -- in particular, for believe and wanting, which decision theory omits. Many have attempted this task for belief. (The Lockean Thesis says that there is such an account.) I take up the parallel task for wanting, which has received far less attention. I propose necessary and sufficient conditions, stated in terms of decision theory, for when you're truly said to want; I give an analogue of the Lockean Thesis for wanting. My account is an alternative to orthodox accounts that link wanting to preference (e.g. Stalnaker (1984), Lewis (1986)), which I argue are false. I argue further that want ascriptions are context-sensitive. My account explains this context-sensitivity, makes sense of conflicting desires, and accommodates phenomena that motivate traditional theses on which 'want' has multiple senses (e.g. all-things-considered vs. pro tanto). (shrink)

Does utterance understanding require reliable (i.e. non-lucky) recovery of the speaker’s intended proposition? There are good reasons to answer in the affirmative: the role of understanding in supporting testimonial knowledge seemingly requires such reliability. Moreover, there seem to be communicative analogues of Gettier cases in which luck precludes the audience’s understanding an utterance despite recovering the intended proposition. Yet, there are some major problems with the view that understanding requires such reliability. Firstly, there are a number of cases in which (...) understanding seems to occur in a lucky way. In light of these cases I argue that we need to narrow down the precise sense in which understanding precludes luck – the anti-luck condition attached to linguistic understanding is importantly different to anti-luck conditions typically applied to knowledge. Secondly, Megan Hyska has recently argued that, assuming understanding precludes luck, we get a communicative analogue of the value problem for knowledge. i.e. why is it better to meet the other conditions for understanding in a reliable way than in a lucky way? It is natural to assume that we can simply port over our favoured responses to the epistemic value problem in response to Hyska’s challenge. I argue that, due to the difference between epistemic and communicative luck (discussed in response to the first problem), this cannot be done. The epistemic and communicative value problems will require different solutions. I close by sketching the beginnings of an alternative answer to the value problem for communication. (shrink)

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through a detailed analysis (...) of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)

Is knowledge a uniform kind? If not, what relation do the different kinds of knowledge bear to one another? Is there a central notion of knowledge which other kinds of knowledge must be understood in terms of? In this paper, I use Aristotle’s theory of homonyms as a framework to make progress on these questions. I argue that knowledge is not a uniform kind but rather a core-dependent homonym. To demonstrate this, I focus on knowledge by acquaintance. I argue that (...) the principles that govern propositional knowledge cannot govern knowledge by acquaintance. I then develop analogue principles for knowledge by acquaintance and show why, despite their different modal profiles, knowledge by acquaintance is nevertheless a form of knowledge. I then show that the analysis of propositional knowledge fundamentally depends on knowledge by acquaintance. (shrink)

This paper aims to find, in Merleau-Ponty’s late thinking, a definition of the virtual which aligns with the latest advancements in digital technology while avoiding a reduction to the digital realm or a stark opposition to reality. The virtual is considered as a crucial characteristic in Merleau-Ponty’s late ontology, especially in The Visible and the Invisible, where a “virtual focus” or “virtual center” of the flesh is introduced. The argument posits that Merleau-Ponty’s monism of the flesh results in a dynamic (...) view of virtuality, with significant ontological implications that reshape the relationship between the digital and the analogue. Merleau-Ponty’s concept of the virtual is defined by several key features: it applies to a monist perspective on reality, to a dynamic relationality between dialectic poles, and to the fabric of reality. This interpretation of the virtual implies a divergence from the digital, as virtuality belongs to the whole spectrum of reality. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...) the predicate, i.e. that is pragmatically fundamental (i.e. relevant) for the predica-tion, or rather the achievement of the communicative intention. While the transfer of the predicate from the Analogue to the analogical genus and from the genus to the Primary Subject is guaranteed by the maxims (or rules of inference) governing the genus-species relation, the connection between the genus and the predicate can be complex, characterized by various types of reasoning patterns. The relevance relation can hide implicit arguments, such as an implicit argument from classification , an evaluation based on values, consequences or rules, a causal relation, or an argument from practical reasoning. (shrink)

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using "systematicity" and "independence" conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we thereby (...) provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model. JEL Classi…cation: D70, D71.. (shrink)

Existing discussions of partiality have primarily examined special personal relationships between family, friends, or co-nationals. The negative analogue of such relationships – for example, the relationship of enmity – has, by contrast, been largely neglected. This chapter explores this adverse relation in more detail and considers the special reasons generated by it. We suggest that enmity can involve justified negative partiality, allowing members to give less consideration to each other’s interests. We then consider whether the negative partiality of enmity can (...) be justified through projects or the value inherent in the relationship, following two influential views about the justification of positive partiality. We argue that both accounts of partiality can be conceptually extended to the negative analogue, but doing so brings into focus the problems with such accounts of the grounds of partiality. (shrink)

In response to Pascal's famous wager argument for adopting Christian belief, Denis Diderot noted that ‘An Imam could just as well reason this way’. In this article, I will show how Diderot's observation about Pascal's argument can legitimately be made about Alvin Plantinga's Reformed Epistemology (RE) and its use in defending the rationality of Christian belief. Plantinga's RE can, with some minor adjustments, easily be adopted by Muslims. I shall argue that an Islamic analogue of Plantinga's Christian RE presents an (...) undercutting rationality defeater for Christian belief for those reflective Christians who adopt Plantinga-style religious epistemology. I call this defeater the ‘Diderot Objection’ to Plantinga's RE. As part of my discussion, I will consider how Plantinga attempts to respond to this sort of objection and will show why his response runs into difficulties. (shrink)

The principle of Anteriority says that prospects that are identical from the perspective of every possible person’s welfare are equally good overall. The principle enjoys prima facie plausibility, and has been employed for various theoretical purposes. Here it is shown using an analogue of the St Petersburg Paradox that Anteriority is inconsistent with central principles of axiology.

The aim of this paper is to critically review several interpretations of Kantian sensible intuition. The first interpretation is the recent construal of Kantian sensible intuition as a mental analogue of a direct referential term. The second is the old, widespread assumption that Kantian intuitions do not refer to mind-independent entities, such as bodies and their physical properties, unless they are brought under categories. The third is the assumption that, by referring to mind-independent entities, sensible intuitions represent objectively in the (...) sense that they represent in a relative, perspective-independent manner. The fourth is the construal of Kantian sensible intuitions as non-conceptual content. In this paper, I support the alternative view that Kantian sensible representation is to be seen as iconic de re presentation of objects without representational content. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

Sven Rosenkranz’s Justification as Ignorance shows how a strongly internalist conception of justification can be derived from a strongly externalist conception of knowledge, given an identification of justification with second-order ignorance and a set of structural principles concerning knowing and being in a position to know. Among these principles is an epistemic analogue of the Geach modal schema which states that one is always in a position to know that one doesn’t know p or in a position to know that (...) one doesn’t know not-p. Even suitably refined, the principle faces a range of counterexamples in which it misleadingly and persistently seems to one that one knows whether p without it seeming to one that one knows p nor that one knows not-p. These cases also threaten the book’s case for the luminosity of second-order ignorance, which is in turn central to its derivation of strongly internalist principles of justification. (shrink)

This paper asks whether there is a moral virtue of hope, and if so, what it is. The enterprise is motivated by a historical asymmetry, namely that while Christian thinkers have long classed hope as a theological virtue, it has not traditionally been classed as a moral one. But this is puzzling, for hoping well is not confined to the sphere of religion; and consequently we might expect that if the theological virtue is structurally sound, there will be a secular, (...) moral analogue. This paper proposes that there is such an analogue, and that it is closely linked to the everyday notion of “having your priorities straight,” a phenomenon which is naturally understood in terms of the attitude of hope. It turns out that the priorities model provides an abstract way of characterizing a central but underexplored virtue, one which can be developed in secular or theological ways. (shrink)

Sellars was an inferentialist about meaning. He thus effectively accorded modality a categorial function, maintaining that any meaningful assertion involves implicit commitment to rules of material inference, which modal propositions explicitly endorse. But Sellars was also a modal anti-realist, construing modality as “entirely immanent to thought” (LRB §40), not present in the world an sich. These two commitments, Klemick argues, render it impossible in principle for us to describe the world an sich adequately, undermining Sellars’ scientific realism, on which, at (...) the “ideal outcome of scientific inquiry,” “the gulf between appearances and things-in-themselves [... can] be bridged” (SM II §51). Sellars’ attempt to ground his modal anti-realism in an ideal “pure description of the world” (CDCM §79) cannot succeed, given modality’s categorial function. Further, his subsequent deployment of picturing as a naturalistic criterion of ontological commitment founders on an analogue of the Kantian problem of noumenal affection: the descriptions of picturing relations that render this proposal intelligible are emptied of content by the denial that the in-itself is modally characterized. Sellars’ worthy aim of preserving the world’s independence of our conceptual activity, Klemick concludes, doesn’t require denying that it exhibits modal relations isomorphic to the semantic relations within our conceptual scheme. (shrink)

The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...) theory of collective intentionality which builds on the ‘interpretationist’ tradition in metasemantics and the philosophy of mind as initiated by David Lewis and recently developed further by Robbie Williams. The collective-level analogue of interpretationism turns out to look different in some ways from the individual-level theory, but is well-suited to accommodating phenomena such as hybrid collective intentionality. Complemented with Kit Fine’s theory of variable embodiment, such a theory also provides a diachronic account of intentional collectives. (shrink)

Abstract Do the central aims of epistemology, like those of moral philosophy, require that we designate some important place for those concepts located between the thin-normative and the non-normative? Put another way, does epistemology need "thick" evaluative concepts and with what do they contrast? There are inveterate traditions in analytic epistemology which, having legitimized a certain way of viewing the nature and scope of epistemology's subject matter, give this question a negative verdict; further, they have carried with them a tacit (...) commitment to what we argue to be an epistemic analogue of the reductionistic centralist thesis which Bernard Williams, in our view, successfully repudiates in ethics. In this essay, we challenge the epistemic analogue of the traditional but mistaken thesis. In offering an alternative to it which provides a comfortable home for the epistemic normativity which attends thick evaluative concepts, we align ourselves with what has been recently called the Value Turn in epistemology. From this perspective, we defend that, contrary to tradition, as influenced by centralist assumptions, epistemology does need thick evaluative concepts. Further, the sort of theories that will be able to give thick evaluative concepts an irreducible role in both belief and agent evaluation are adequately social epistemologies. What loosely refer to as second-wave of virtue epistemology is the widespread interest to provide a comfortable home for the role of thick normativity, as it is connected both with epistemic evaluation, and guidance. We recognize that, in breaking from centralism, there is a worry that a resulting anti-centralist theory will be reductionistic in the other direction, making the thick primary. We contend however that second-wave virtue epistemologies take different sources of social and epistemic value into account; they seek the 'right thickness' to ride with conception of epistemology and a field which due in part to virtue theory's resurgence, is today normative, diverse and expansive than was the traditional set of problems from which it emerged. (shrink)

A platitude that took hold with Kuhn is that there can be several equally good ways of balancing theoretical virtues for theory choice. Okasha recently modelled theory choice using technical apparatus from the domain of social choice: famously, Arrow showed that no method of social choice can jointly satisfy four desiderata, and each of the desiderata in social choice has an analogue in theory choice. Okasha suggested that one can avoid the Arrow analogue for theory choice by employing a strategy (...) used by Sen in social choice, namely, to enhance the information made available to the choice algorithms. I argue here that, despite Okasha’s claims to the contrary, the information-enhancing strategy is not compelling in the domain of theory choice. (shrink)

The paper discusses Linda Zagzebski's account of epistemic authority. Building on Joseph Raz's account of political authority, Zagzebski argues that the basic contours of epistemic authority match those Raz ascribes to political authority. This, it is argued, is a mistake. Zagzebski is correct in identifying the pre-emptive nature of reasons provided by an authority as central to our understanding of epistemic authority. However, Zagzebski ignores important differences between practical and epistemic authority. As a result, her attempt to explain the rationality (...) of belief on authority by applying an analogue of Raz's Normal Justification Thesis to the domain of belief fails. A successful explanation of the rationality of belief on authority will need to be attuned to the differences between political and epistemic authorities. (shrink)

Human biological memory systems have adapted to use technological artifacts to overcome some of the limitations of these systems. For example, when performing a difficult calculation, we use pen and paper to create and store external number symbols; when remembering our appointments, we use a calendar; when remembering what to buy, we use a shopping list. This chapter looks at the history of memory artifacts, describing the evolution from cave paintings to virtual reality. It first characterizes memory artifacts, memory systems, (...) and the two main functions such artifacts have, which are to aid individual users in completing memory tasks and as a cultural inheritance channel (section 2). It then outlines some of our first symbolic practices such as making cave paintings and figurines, and then moves on to outline several key developments in external representational systems and the artifacts that support these such as written language, numeral systems and counting devices, diagrams and maps, measuring devices, libraries and archives, photographs, analogue and digital computational artifacts, the World Wide Web, virtual reality, and smartphones (section 3). After that, it makes some brief points about the cumulative nature of the cultural evolution of memory artifacts and speculates about the possible future of memory artifacts, arguing that it is very difficult to look beyond an epistemological horizon of more than five years (section 4). (shrink)

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a classical-particle (...) version of the Higgs mechanism. (shrink)