Detecting that two images are different is faster for highly dissimilar images than for highly similar images. Paradoxically, we showed that the reverse occurs when people are asked to describe how two images differ—that is, to state a difference between two images. Following structure-mapping theory, we propose that this disassociation arises from the multistage nature of the comparison process. Detecting that two images are different can be done in the initial (local-matching) stage, but only for pairs with low overlap; thus, (...) “different” responses are faster for low-similarity than for high-similarity pairs. In contrast, identifying a specific difference generally requires a full structural alignment of the two images, and this alignment process is faster for high-similarity pairs. We described four experiments that demonstrate this dissociation and show that the results can be simulated using the Structure-Mapping Engine. These results pose a significant challenge for nonstructural accounts of similarity comparison and suggest that structural alignment processes play a significant role in visual comparison. (shrink)

Evans’ 1968 ANALOGY system was the first computer model of analogy. This paper demonstrates that the structure mapping model of analogy, when combined with high‐level visual processing and qualitative representations, can solve the same kinds of geometric analogy problems as were solved by ANALOGY. Importantly, the bulk of the computations are not particular to the model of this task but are general purpose: We use our existing sketch understanding system, CogSketch, to compute visual structure that is used by our existing (...) analogical matcher, Structure Mapping Engine (SME). We show how SME can be used to facilitate high‐level visual matching, proposing a role for structural alignment in mental rotation. We show how second‐order analogies over differences computed via analogies between pictures provide a more elegant model of the geometric analogy task. We compare our model against human data on a set of problems, showing that the model aligns well with both the answers chosen by people and the reaction times required to choose the answers. (shrink)

Sketching is a powerful means of working out and communicating ideas. Sketch understanding involves a combination of visual, spatial, and conceptual knowledge and reasoning, which makes it both challenging to model and potentially illuminating for cognitive science. This paper describes CogSketch, an ongoing effort of the NSF-funded Spatial Intelligence and Learning Center, which is being developed both as a research instrument for cognitive science and as a platform for sketch-based educational software. We describe the idea of open-domain sketch understanding, the (...) scientific hypotheses underlying CogSketch, and provide an overview of the models it employs, illustrated by simulation studies and ongoing experiments in creating sketch-based educational software. (shrink)

The common view of the transition between subitizing and numerosity estimation regimes is that there is a hard bound on the subitizing range, and beyond this range, people estimate. However, this view does not adequately address the behavioral signatures of enumeration under conditions of attentional load or in the immediate post-subitizing range. The possibility that there might exist a numerosity range where both processes of subitizing and estimation operate in conjunction has so far been ignored. Here, we investigate this new (...) proposal, that people strategically combine the processes of subitizing and estimation to maximize accuracy and precision, given time or attentional constraints. We present a process-level account of how subitizing and estimation can be combined through strategic deployment of attention to maximize the precision of perceived numerosity given time constraints. We then describe a computational model of this account and apply it in two experimental simulations to demonstrate how it can explain key findings in prior enumeration research. While recent modeling work has argued that the behavioral signatures of enumeration can best be explained through a single numerosity system with a single form of representation, we argue that our model demonstrates how the traditional two-systems view of numerical representation accounts for behavioral data through coordination with a unified attentional mechanism, rather than a unified representation. (shrink)

Analogy and similarity are central phenomena in human cognition, involved in processes ranging from visual perception to conceptual change. To capture this centrality requires that a model of comparison must be able to integrate with other processes and handle the size and complexity of the representations required by the tasks being modeled. This paper describes extensions to Structure-Mapping Engine since its inception in 1986 that have increased its scope of operation. We first review the basic SME algorithm, describe psychological evidence (...) for SME as a process model, and summarize its role in simulating similarity-based retrieval and generalization. Then we describe five techniques now incorporated into the SME that have enabled it to tackle large-scale modeling tasks: Greedy merging rapidly constructs one or more best interpretations of a match in polynomial time: O); Incremental operation enables mappings to be extended as new information is retrieved or derived about the base or target, to model situations where information in a task is updated over time; Ubiquitous predicates model the varying degrees to which items may suggest alignment; Structural evaluation of analogical inferences models aspects of plausibility judgments; Match filters enable large-scale task models to communicate constraints to SME to influence the mapping process. We illustrate via examples from published studies how these enable it to capture a broader range of psychological phenomena than before. (shrink)

This book is about the ways in which real-world democracies fall short of democratic ideals and why those shortfalls matter. The project is rooted in a vast body of empirical findings that political scientists have accumulated over the last seven decades. These are findings about political ignorance, voter behaviour, the policymaking process, polarization, and the popular control of representatives. These findings are often both surprising and troubling—they suggest our democracies fall far short of democratic ideals. The book is a detailed, (...) careful exploration of why such findings matter. In part, that involves giving an account of what makes democracy valuable in the first place: why does democracy matter? And in part it involves connecting the value of democracy to the rights and duties of ordinary citizens. The overarching argument is that our duties to obey the law, and the moral permissibility of enforcing those laws, depend on the realization of democratic ideals. So the shortfalls of our democracies undermine the moral authority and legitimacy of our states. (shrink)

This paper examines the idea of objective phenomenology, or a way of understanding the phenomenal character of conscious experiences that doesn’t require one to have had the kinds of experiences under consideration. My central thesis is that structural facts about experience—facts that characterize purely how conscious experiences are structured—are objective phenomenal facts. I begin by precisifying the idea of objective phenomenology and diagnosing what makes any given phenomenal fact subjective. Then I defend the view that structural facts about experience are (...) objective. I also argue that structural facts about experience, despite being objective, nevertheless still give rise to an explanatory gap. (shrink)

Some accounts of moral responsibility hold that an agent's responsibility is completely determined by some aspect of the agent's mental life at the time of action. For example, some hold that an agent is responsible if and only if there is an appropriate mesh among the agent's particular psychological elements. It is often objected that the particular features of the agent's mental life to which these theorists appeal (such as a particular structure or mesh) are not necessary for responsibility. This (...) is because there appear to be cases in which an agent acts at an earlier time which causes her to lack the appropriate psychological features at some later time and yet, intuitively, she is responsible at that later .. (shrink)

Perception is riddled with cases of reliable misperception. These are cases in which a perceptual state is tokened inaccurately any time it is tokened under normal conditions. On the face of it, this fact causes trouble for theories that provide an analysis of perceptual content in non-semantic, non-intentional, and non-phenomenal terms, such as those found in Millikan (1984), Fodor (1990), Neander (2017), and Schellenberg (2018). I show how such theories can be extended so that they cover such cases without giving (...) up their core commitments. (shrink)

Working memory resources are needed for processing and maintenance of information during cognitive tasks. Many models have been developed to capture the effects of limited working memory resources on performance. However, most of these models do not account for the finding that different individuals show different sensitivities to working memory demands, and none of the models predicts individual subjects' patterns of performance. We propose a computational model that accounts for differences in working memory capacity in terms of a quantity called (...) source activation, which is used to maintain goal‐relevant information in an available state. We apply this model to capture the working memory effects of individual subjects at a fine level of detail across two experiments. This, we argue, strengthens the interpretation of source activation as working memory capacity. (shrink)

We are all familiar with the phenomenon of a proposition seeming true. Many think that these seeming states can yield justified beliefs. Very few have seriously explored what these seeming states are. I argue that seeming states are not plausibly analyzed in terms of beliefs, partial beliefs, attractions to believe, or inclinations to believe. Given that the main candidates for analyzing seeming states are unsatisfactory, I argue for a brute view of seemings that treats seeming states as irreducible propositional attitudes.

This is a discussion of the state of discussion on pragmatic reasons for belief.

This book brings together an international group of scholars to discuss the ramifications of Heidegger's Black Notebooks for philosophy and the humanities. In contrast to both those who seek to exonerate Heidegger and those who simply condemn him, they urge careful reading and rereading of his work to turn Heideggerian thought against itself.

For Kant, knowledge involves certainty. If “certainty” requires that the grounds for a given propositional attitude guarantee its truth, then this is an infallibilist view of epistemic justification. Such a view says you can’t have epistemic justification for an attitude unless the attitude is also true. Here I want to defend an alternative fallibilist interpretation. Even if a subject has grounds that would be sufficient for knowledge if the proposition were true, the proposition might not be true. And so there (...) is sometimes still rational room for doubt. The goal of this paper is to present four different models of what “certainty” amounts to, for Kant, each of which is compatible with fallibilism. (shrink)

In his 1978 paper “Mathematical Explanation”, Mark Steiner attempts to modernize the Aristotelian idea that to explain a mathematical statement is to deduce it from the essence of entities figuring in the statement, by replacing talk of essences with talk of “characterizing properties”. The language Steiner uses is reminiscent of language used for proofs deemed “pure”, such as Selberg and Erdős’ elementary proofs of the prime number theorem avoiding the complex analysis of earlier proofs. Hilbert characterized pure proofs as those (...) that use only “means that are suggested by the content of the theorem”, a characterization we have elsewhere called “topical purity”. In this paper we will examine the connection between Steiner’s account of mathematical explanation and topical purity. Are Steiner-explanatory proofs necessarily topically pure? Are topically pure proofs necessarily Steiner-explanatory? Answers to these questions will shed light on the general question of the relation between purity and explanatory power. (shrink)

The aim of the Analytic of Concepts is to derive and deduce a set of pure concepts of the understanding, the categories, which play a central role in Kant’s explanation of the possibility of synthetic a priori cognition and judgment. This chapter is structured around two questions. First, what is a pure concept of the understanding? Second, what is involved in a deduction of a pure concept of the understanding? In answering the first, we focus on how the categories differ (...) from the pure forms of sensibility and examine whether they are known only to be the pure forms of human thinking or rather the forms of discursive cognition as such. In answering the second, we draw a distinction between the application and the exemplification of the categories and use it to identify different ways of understanding Kant’s project in the Transcendental Deduction of the Categories. These questions connect because the answer to the first determines how we should understand the kind of entitlement which is to be established in the Deduction. (shrink)

While many aspects of cognition have been shown to be shared between humans and non-human animals, there remains controversy regarding whether the capacity to mentally time travel is a uniquely human one. In this paper, we argue that there are four ways of representing when some event happened: four kinds of temporal representation. Distinguishing these four kinds of temporal representation has five benefits. First, it puts us in a position to determine the particular benefits these distinct temporal representations afford an (...) organism. Second, it provides the conceptual resources to foster a discussion about which of these representations is necessary for an organism to count as having the capacity to mentally time travel. Third, it enables us to distinguish stricter from more liberal views of mental time travel that differ regarding which kind(s) of temporal representation is taken to be necessary for mental time travel. Fourth, it allows us to determine the benefits of taking a stricter or more liberal view of mental time travel. Finally, it ensures that disagreement about whether some species can mentally time travel is not merely the product of unrecognised disagreement about which temporal representation is necessary for mental time travel. We argue for a more liberal view, on the grounds that it allows us to view mental time travel as an evolutionarily continuous phenomenon, and to recognise that differences in the ways that organisms mentally time travel might reflect different temporal representations, or combinations thereof, that they employ. Our ultimate aim, however, is to create the conceptual framework for further discussion regarding what sorts of temporal representations are required for mental time travel. (shrink)

The fallacy fallacy is either the misdiagnosis of fallacy or the supposition that the conclusion of a fallacy must be a falsehood. This paper explores the relevance of these and related errors of reasoning for the appraisal of arguments, especially within virtue theories of argumentation. In particular, the fallacy fallacy exemplifies the Owl of Minerva problem, whereby tools devised to understand a norm make possible new ways of violating the norm. Fallacies are such tools and so are vices. Hence a (...) similar problem arises with argumentative vices. Fortunately, both instances of the problem have a common remedy. (shrink)

Some have it that wholes are, somehow, identical to their parts. This doctrine is as alluring as it is puzzling. But in this paper, I show that the doctrine is inconsistent with two widely accepted theses. Something has to go.

This chapter addresses an ambiguity in some of the literature on rational peer disagreement about the use of the term 'rational'. In the literature 'rational' is used to describe a variety of normative statuses related to reasons, justification, and reasoning. This chapter focuses most closely on the upshot of peer disagreement for what is rationally required of parties to a peer disagreement. This follows recent work in theoretical reason which treats rationality as a system of requirements among an agent's mental (...) states. It is argued that peer disagreement has either no, or a very limited, affect on what rationality requires of an agent in a given circumstance. This is in part because of difficulties generated by a novel example of evidence of evidence of p being evidence against p. This example calls into question the mechanisms whereby peer disagreement might affect what is rationally required of an agent. The chapter also reevaluates the importance of actual peer disagreement against the backdrop of prior expectations about whether disagreement is believed to be likely, arguing that peer disagreement is most likely to change what is rationally required of an agent when it is believed to be unlikely. (shrink)

Republicans hold that people are dominated merely in virtue of others' having unconstrained abilities to frustrate their choices. They argue further that public officials may dominate citizens unless subject to popular control. Critics identify a dilemma. To maintain the possibility of popular control, republicans must attribute to the people an ability to control public officials merely in virtue of the possibility that they might coordinate their actions. But if the possibility of coordination suffices for attributing abilities to groups, then, even (...) in the best case, countless groups will be dominating because it will be possible for their members to coordinate their actions with the aim of frustrating others' choices. We argue the dilemma is apparent only. To make our argument, we present a novel interpretation of the republican concept of domination with the help of a game-theoretic model that clarifies the significance of collective action problems for republican theory. (shrink)

Towards the unconditioned: Kant, Epicurus and Glückseligkeit -- Arendt and the time of the pardon -- Kant, evil, and the unconditioned -- Judgment after Derrida.

This study builds on the work of contemporary civic republicans, supplying a detailed analysis of the concept of domination absent in the familiar accounts of political freedom as non-domination.

The norm of monogamy is pervasive, having remained widespread, in most Western cultures at least, in spite of increasing tolerance toward more diverse relationship types. It is also puzzling. People willingly, and often with gusto, adhere to it, yet it is also, prima facie at least, highly restrictive. Being in a monogamous relationship means agreeing to give up certain sorts of valuable interactions and relationships with other people and to severely restrict one’s opportunities for sex and love. It is this (...) restrictiveness which has led for calls among some philosophers for the justification of the norm, and some have argued that it cannot be justified. John McMurtry, for example, writing in 1972, compared monogamy to private property and argued that it serves the capitalist order (McMurtry 1972, 596–97). More recently, Harry Chalmers (2019) has argued that monogamy is morally impermissible. In this chapter we argue that rather than justify the norm, we ought to explain and understand its pervasiveness. Not everyone who follows the norm is doing so blindly, irrationally, or immorally. Indeed, many people are monogamous because being monogamous supports their needs and best enables them to flourish. We suggest that the human need for trust and attachment could underlie many people’s desires for monogamy and, therefore, explain monogamy’s pervasiveness. Focusing on the human need for trust and attachment security can also help us to understand why sexual infidelity can feel like such a betrayal. It can make sense to mutually agree to exclusivity in relationships, in spite of the apparent restrictions this brings. In a sense, not all restrictions are restrictive, because holding ourselves to limits on our behavior can in fact help us to invest in and experience the things we value most. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

European Journal of Philosophy, EarlyView.

This is a critical, but sympathetic, examination of the manifesto for naturalized metaphysics that forms the first chapter of James Ladyman and Don Ross's 2006 book, Every Thing Must Go, but it has wider implications than this description suggests.

To be conscious—according to a common metaphor—is for the “lights to be on inside.” Is this a good metaphor? I argue that the metaphor elicits useful intuitions while staying neutral on controversial philosophical questions. But I also argue that there are two ways of interpreting the metaphor. Is consciousness the inner light itself? Or is consciousness the illuminated room? Call the first sense subjectivity (where ‘consciousness’ =def what makes an entity feel some way at all), and the second sense phenomenal (...) character (where ‘consciousness’ =def what it feels like to be an entity). I use this distinction—as well as the metaphor of the inner light—to clarify some philosophical questions about whether consciousness comes in degrees, whether consciousness is multidimensional, and whether there are borderline cases of consciousness. (shrink)

I argue that the following theses are both popular among evidentialists but also jointly inconsistent with evidentialism: 1) Time-Slice Mentalism: one’s justificational properties at t are grounded only by one’s mental properties at t; 2) Experience Ultimacy: all ultimate evidence is experiential; and 3) Sleep Justification: we have justified beliefs while we have dreamless, nonexperiential sleep. Although I intend for this paper to be a polemic against evidentialists, it can also be viewed as an opportunity for them to clarify their (...) views. Furthermore, the paper is not only relevant to evidentialists. For example, the arguments of this paper could give Time-Slice Mentalists a reason to deny evidentialism. (shrink)

Matteo Ricci (1552-1610) was an Italian Jesuit and one of the first Christian missionaries to China in the modern era. He was a genuine polymath—a translator, cartographer, mathematician, astronomer, and musician. Above all, Ricci was a missionary for the gospel. As we briefly examine his 1603 seminal work, The True Meaning of the Lord of Heaven, our hope is that we, as evangelical educators, will perceive some of the deeper principles necessary for our own missionary work among unreached people.

Here's an interesting question: what are we? David Barnett has claimed that reflection on consciousness suggests an answer: we are simple. Barnett argues that the mereological simplicity of conscious beings best explains the Datum: that no pair of persons can itself be conscious. In this paper, I offer two alternative explanations of the Datum. If either is correct, Barnett's argument fails. First, there aren't any such things as pairs of persons. Second, consciousness is maximal; no conscious thing is a proper (...) part of another conscious thing. I conclude by showing how both moves comport with materialist theories of what we are and then apply them to another anti-materialist argument. (shrink)

The Stoics are traditionally regarded as the founders of propositional logic. However, this is not entirely correct. They developed a theory of inference from signs (omens). And their theory became a continuation of the logical technique of Babylonian divination (in particular, of Babylonian medical forecasting). The Stoic theory was not so much propositional logic as it was a technique of propositional logic for databases consisting of IF-THEN expert rules. In the Babylonian divination, each event has a positive or negative value (...) and all events are connected to each other. The Stoics also developed this idea and proposed a special modal logic in which logical determinism is considered an axiom. The paper reconstructs the sign-inference of the Stoics, as well as their modal logic. In particular, two Stoic squares of oppositions are proposed (for signs and for modal operators), which differ markedly from Aristotle’s square. (shrink)

Let a smooth experience be an experience with perfectly gradual changes in phenomenal character. Consider, as examples, your visual experience of a blue sky or your auditory experience of a rising pitch. Do the phenomenal characters of smooth experiences have continuous or discrete structures? If we appeal merely to introspection, then it may seem that we should think that smooth experiences are continuous. This paper (1) uses formal tools to clarify what it means to say that an experience is continuous (...) or discrete, and (2) develops a discrete model of the phenomenal characters of smooth experiences. As a result, I'll argue that introspection leaves open whether smooth experiences are continuous or discrete. Yet I’ll also argue—perhaps surprisingly—that the discrete theory may better fit our introspective evidence. (shrink)

The official definitions that appear at the beginning of four of the five parts of the "Ethics" do not include an account of "existence." However Spinoza does provide a definition of “existence” in the scholium to proposition 45 of Part 2. This is an odd place for such an important doctrine, and all the more so given that the account there differs from anything resembling commonsense. In this paper I show that, for Spinoza, to exist is to be eternal. Existence (...) in the strict sense is eternal existence. (shrink)

Source [1] Andrew E. P. Mitchell, Federica Galli, Sondra Butterworth. (2023). Editorial: Equality, diversity and inclusive research for diverse rare disease communities. Front. Psychol., vol. 14. doi:10.3389/fpsyg.2023.1285774. "It is also important to recognize that certain mental health disorders are classified as rare conditions and have their own cultural concepts of distress, as defined in the DSM-5 (American Psychiatric Association, 2013)" and require “equal attention and support for individuals and their families, both physically and emotionally”. [1].

Heidegger's later thought is a thinking of things, so argues Andrew J. Mitchell in The Fourfold. Heidegger understands these things in terms of what he names "the fourfold"--a convergence of relationships bringing together the earth, the sky, divinities, and mortals--and Mitchell's book is the first detailed exegesis of this neglected aspect of Heidegger's later thought. As such it provides entré to the full landscape of Heidegger's postwar thinking, offering striking new interpretations of the atomic bomb, technology, plants, animals, weather, (...) time, language, the holy, mortality, dwelling, and more. What results is a conception of things as ecstatic, relational, singular, and, most provocatively, as intrinsically tied to their own technological commodification. A major new work that resonates beyond the confines of Heidegger scholarship, The Fourfold proposes nothing less than a new phenomenological thinking of relationality and mediation for understanding the things around us. (shrink)

Can war be justified? Pacifists answer that it cannot; they oppose war and advocate for nonviolent alternatives to war. But defenders of just war theory argue that in some circumstances, when the effectiveness of nonviolence is limited, wars can be justified. -/- In this book, two philosophers debate this question, drawing on contemporary scholarship and new developments in thinking about pacifism and just war theory. Andrew Fiala defends the pacifist position, while Jennifer Kling defends just war traditions. Fiala argues (...) that pacifism follows from the awful reality of war and the nonviolent goal of building a more just and peaceful world. Kling argues that war is sometimes justified when it is a last-ditch, necessary effort to defend people and their communities from utter destruction and death. Pulling from global traditions and histories, their debate will captivate anyone who has wondered or worried about the morality of political violence and military force. Topics discussed include ethical questions of self-defense and other-defense, the great analogy between individuals and states, evolving technologies and methods of warfighting, moral injury and post-traumatic stress disorder, broader political and communal issues, and the problem of regional security in a globalizing world. The authors consider cultural and religious issues as well as the fundamental question of moral obligation in a world saturated in military conflict. The book was written in the aftermath of the war on terrorism and includes reflection on lessons learned from the past decades of war, as well as hopes for the future in light of emerging threats in Europe and elsewhere. -/- The book is organized in a user-friendly fashion. Each author presents a self-contained argument, which is followed by a series of responses, replies, and counter-arguments. Throughout, the authors model civil discourse by emphasizing points of agreement and remaining areas of disagreement. The book includes reader-friendly summaries, a glossary of key concepts, and suggestions for further study. All of this will help students and scholars follow the authors’ dialogue so they may develop their own answer to the question of whether war can be justified. (shrink)

The fact that physical laws often admit certain kinds of space-time symmetries is often thought to be problematic for substantivalism --- the view that space-time is as real as the objects it contains. The most prominent alternative, relationism, avoids these problems but at the cost of giving abstract objects (rather than space-time points) a pivotal role in the fundamental metaphysics. This incurs related problems concerning the relation of the physical to the mathematical. In this paper I will present a version (...) of substantivalism that respects Leibnizian theses about space-time symmetries, and argue that it is superior to both relationism and the more orthodox form of substantivalism. (shrink)

What makes democracy valuable? One traditional answer holds that participating in democratic self-government amounts to a kind of autonomy: it enables citizens to be the authors of their political affairs. Many contemporary philosophers, however, are skeptical. We are autonomous, they argue, when important features of our lives are up to us, but in a democracy we merely have a say in a process of collective choice. In this paper, we defend the possibility of democratic autonomy, by advancing a conception of (...) it which is impervious to this objection. At the core of our account is the idea of joint authorship. You are a joint author of something when that thing expresses your joint intentions. Democracy may not make any one of us sole author of our political affairs, but it can make us their joint authors. It is in such joint authorship, we claim, that the intrinsic value of democratic self-government consists. (shrink)

A queue‐jumping argument concludes that some course of action is impermissible by likening it to the presumptively impermissible act of jumping a queue. Arguments of this sort may be found in a disparate range of contexts and in support of policies favoured by both left and right. Examples include arguments against private education and private health care but also arguments against accommodations for learning disabilities, refugee resettlement, and birthright citizenship. We infer that, although queue‐jumping arguments are strictly analogies, they constitute (...) a sufficiently distinct class of arguments to justify their separate treatment. The paper proposes an argumentation scheme for queue‐jumping arguments and demonstrates its applicability to some existing arguments of this type. (shrink)