Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

The essay operates an itemisation of the three main streams in the history of emotions: the history of individual emotions, the study of the role that emotions have in historical processes, and the reflection on the influence of emotions on history writing. The second part of the article is devoted to the methodological and theoretical status of the study of past emotions. It highlights how many studies in the history of emotions remain heavily conditioned by an idea of culture typical (...) of Western philosophy of history. (shrink)

A tongue-in-cheek send-up of certain aspects of existentialism written by a well-known logician and philosopher who had a serious affair with existentialism in his youth. It was never submitted for publication and is finally being made available here posthumously with the permission of Helen Eberle. To the best of my recollection it was written some time in the mid/late 1980s. -- Gary H. Merrill.

Suppose we know our own attitudes, e.g. judgments and decisions, only by unconsciously interpreting ourselves. Would this undermine the assumption that there are conscious attitudes? Carruthers has argued that if the mentioned view of selfknowledge is combined with either of the two most common approaches to consciousness, i.e. the higher-order state account or the global workspace theory , then the conjunction of these theories implies that there are no conscious attitudes. I shall show that Carruthers' argument against the existence of (...) conscious attitudes doesn't succeed, and mention studies on autism and logical reasoning under cognitive load that suggest that there are conscious attitudes. (shrink)

In this paper Russell’s definition of number is criticized. Russell’s assertion that a number is a particular kind of set implies that number has the properties of a set. It is argued that this would imply that a number contains elements and that this does not conform to our intuitive notion of number. An alternative definition is presented in which number is not seen as an object, but rather as a process and is related to the act of counting and (...) is tightly bound up with the idea of time. Working from the idea that the description of a thing is not the thing itself, it is argued that a function should not be seen as a subset of the Cartesian product of two sets but can be described in this way. Number is then defined as a particular type of bijective function rather than a set. Definitions of equality and addition are developed. In defining addition an interesting error in Russell’s definition of addition is corrected. (shrink)

To better navigate social interactions, we routinely (consciously or unconsciously) categorize people based on their distinctive features. One important way we do this is by ascribing political orientations to them. For example, based on certain behavioral cues, we might perceive someone as politically liberal, progressive, conservative, libertarian, Marxist, anarchist, or fascist. Although such ascriptions may appear to be mere descriptions, I argue that they can have deeper, regulative effects on their targets, potentially politicizing and polarizing them in ways that remain (...) underexplored in research on political polarization. To capture this dynamic, I introduce the notion of ‘politicizing mindshaping,’ distinguish it from other types of politicization, and review evidence suggesting that politicizing mindshaping is likely common. Finally, I contend that the pernicious effects of politicizing mindshaping may currently be significantly underestimated. This is because, unlike in many other cases of social labeling, negativity in political labeling is, to some extent, widely tolerated – even encouraged – and largely unconstrained by social norms in democratic countries. (shrink)

Not only the direct physical experiences of deployment can severely harm soldiers’ mental health. Witnessing violations of their moral principles by the enemy, or by their fellow soldiers and superiors, can also have a devastating impact. It can cause soldiers’ moral disorientation, increasing feelings of shame, guilt, or hate, and the need for general answers on questions of right and wrong. Various attempts have been made to keep soldiers mentally sane. One is to provide convincing causes for their deployment, which (...) risks an “end justifies the means” way of thinking. The good cause can provide a moral justification for horrible atrocities. Another method, introduced in the USA, Canada, and Australia, aims to strengthen military personnel’s resistance by promoting and maintaining a happy, optimistic state of mind through the use of positive psychology. Alongside making soldiers “morally fit” for all kinds of situations, the focus could also be on moral recovery and forgiveness. Such a care-based military ethics approach, aimed at mutual understanding and interdependence, could help soldiers handle the emotional impact of moral conflicts. This demands that military units reflect on their organizational culture and rethink oaths and codes of conduct that focus mainly on efficiency and readiness, as well as the soldierly self-image with its seemingly still deeply rooted warrior ethos. Today, resilience and positive psychology in the military is apparently mainly geared to assuring its soldiers’ readiness. An appropriate set of virtues and understanding of virtue ethics that are less centered on self-perfection and autonomy could point to a different form of character-building and lead to a better understanding of others. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

[Newspaper Opinion] Before the COVID-19 pandemic and the accompanying fall in oil prices, a carbon price would have been immediately painful for the countries that imposed it, but far better for everyone over the longer term. In this unprecedented moment, introducing a carbon price would be beneficial both now and for the future.

A recurring theme dominates recent philosophical debates about the nature of conscious perception: naïve realism’s opponents claim that the view is directly contradicted by empirical science. I argue that, despite their current popularity, empirical arguments against naïve realism are fundamentally flawed. The non-empirical premises needed to get from empirical scientific findings to substantive philosophical conclusions are ones the naïve realist is known to reject. Even granting the contentious premises, the empirical findings do not undermine the theory, given its overall philosophical (...) commitments. Thus, contemporary empirical research fails to supply any new argumentative force against naïve realism. I conclude that, as philosophers of mind, we would be better served spending a bit less time trying to wield empirical science as a cudgel against our opponents, and a bit more time working through the implications of each other’s views – something we can accomplish perfectly well from the comfort of our armchairs. (shrink)

This entry provides an opinionated overview of central debates surrounding doxastic disagreement, focusing on doxastic states or attitudes such as beliefs and credences. It differentiates between various types of epistemologically significant disagreement based on the agents involved and the source of the disagreement. It also examines and evaluates current accounts of how peers should (rationally) address disagreement and highlights the fundamental principles that support these accounts.

Recent discussions in the history of analytic philosophy have targeted questions about the concept of ‘Analytic Philosophy’ itself. Scholars, such as Glock (2008) and Preston (2004), have argued that ‘Analytic Philosophy’ cannot plausibly be characterised in terms of necessary and sufficient conditions and that other, more pragmatic, approaches must be taken instead. In this paper, we argue that similar questions that have recently emerged about the status of ‘Western Philosophy’ can be informed by these debates in the history of analytic (...) philosophy. Some recent scholars, most notably Platzky Miller (2023) and Cantor (2022), have argued that the concept of ‘Western philosophy’ should be abandoned altogether, due to its incoherence and the role it plays in upholding and perpetuating various exclusionary mechanisms and politically dubious aims. The aim of this paper is to apply the lessons learnt from similar discussions about ‘Analytic Philosophy’ and to build on Platzky Miller’s and Cantor’s innovative proposals. We argue that the term should not be abandoned altogether and that continuing to use it is required for combating exclusions in the history of philosophy. (shrink)

Governments standardly deploy a distinction between goods and services in assessing economic health and tracking national income statistics, of which medical goods and services carry significant importance. In what follows we draw on Basic Formal Ontology (BFO) to introduce a third kind of entity called patterns, which help capture the various ways in which goods and services are intertwined and help also to show how many services generate a new kind of non-goods-related products. Patterns are an overlooked yet essential features (...) of many economic sectors including medicine. Studying patterns offers new insights into various components of economic analysis, including outcomes-oriented evaluations of medical services and the value of human capital in the medical sphere. (shrink)

You don't say much about who you are teaching, or what subject you teach, but you do seem to see a need to justify what you are doing. Perhaps you're teaching underprivileged children, opening their minds to possibilities that might otherwise never have occurred to them. Or maybe you're teaching the children of affluent families and opening their eyes to the big moral issues they will face in life — like global poverty, and climate change. If you're doing something like (...) this, then stick with it. Giving money isn't the only way to make a difference. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

The attachment for download here merely references my 5,500-word final and extended article, criticising those who seek to justify Israeli attacks on Gaza. The article is published online by Daily Philosophy, 5th January 2024, link shown below. -/- After a background of facts (probably well-known by readers concerned about the matters), the article examines typical arguments much used in the media as attempts to justify Israel’s determined destruction of Gaza, involving well over twenty thousand Palestinians killed, hundreds of thousands suffering (...) appalling injuries and two million having their lives and livihoods shattered. -/- I expose inconsistencies, poor reasoning and immoralities of those who support Israeli actions. There is a final touch of Kant and Nietzsche - and use of the saying attributed to Jesus: For what shall it profit a man, if he shall gain the whole world and lose his own soul? (shrink)

Sometimes, scientific models are either intended to or plausibly interpreted as representing nonactual but possible targets. Call this “hypothetical modeling”. This paper raises two epistemological challenges concerning hypothetical modeling. To begin with, I observe that given common philosophical assumptions about the scope of objective possibility, hypothetical models are fallible with respect to what is objectively possible. There is thus a need to distinguish between accurate and inaccurate hypothetical modeling. The first epistemological challenge is that no account of the epistemology of (...) hypothetical models seems to cohere with the most characteristic function of scientific modeling in general, i.e., surrogative representation. The second epistemological challenge is a version of “reliability challenges” familiar from other areas. There is a challenge to explain how hypothetical models could be a reliable guide to what is possible, given that they are not and cannot be compared against their nonactual targets and updated accordingly. I close with some brief remarks on possible solutions to these challenges. (shrink)

William Molyneux was born in Dublin, studied in Trinity College Dublin, and was a founding member of the Dublin Philosophical Society (DPS), Ireland’s counterpart to the Royal Society in London. He was a central figure in the Irish intellectual milieu during the Early Modern period and – along with George Berkeley and Edmund Burke – is one of the best-known thinkers to have come out of that context and out of Irish thought more generally. In 1688, when Molyneux wrote the (...) letter to Locke in which he posed the now famous question about a man born blind made to see, he was an active member of the DPS and was on familiar terms with several other key figures in Irish philosophy at the time. For the most part, Irish thinkers in the seventeenth and eighteenth centuries answered “no” to Molyneux’s question of whether a blind man made to see could distinguish, by sight alone, between a cube and a sphere. (shrink)

The present paper investigates the first step of rational belief acquisition. It, thus, focuses on justificatory relations between perceptual experiences and perceptual beliefs, and between their contents, respectively. In particular, the paper aims at outlining how it is possible to reason from the content of perceptual experiences to the content of perceptual beliefs. The paper thereby approaches this aim by combining a formal epistemology perspective with an eye towards recent advances in philosophy of cognition. Furthermore the paper restricts its focus, (...) it concentrates on the case of color perception and perceptual beliefs about color. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

Generic statements play a crucial role in concept learning, communication and education. Despite many efforts, the semantics of generics remain a controversial issue, as they do not seem to fit our standard theories of meaning. In this article, we attempt to shed light on this problem by focusing on how these sentences function in reasoning. Drawing on a distinction between property and diagnostic generics, we defend three theses: First, property generics are not about facts but express relations between concepts. Second, (...) generics play an important role in everyday reasoning by interacting with our expectations about the world. Third, diagnostic generics emphasise properties that separate the category in the generics from other categories in the same contrast class. We use the theory of conceptual spaces to advance measures of typicality and diagnosticity capable of modelling different aspects of generics and apply them to the modifier effect and the inverse conjunction fallacy. Finally, we discuss the pragmatics of generics. (shrink)

Many ethical frameworks require artificial intelligence (AI) systems to be explainable. Explainable AI (XAI) models are frequently tested for their adequacy in user studies. Since different people may have different explanatory needs, it is important that participant samples in user studies are large enough to represent the target population to enable generalizations. However, it is unclear to what extent XAI researchers reflect on and justify their sample sizes or avoid broad generalizations across people. We analyzed XAI user studies (N = (...) 220) published between 2012 and 2022. Most studies did not offer rationales for their sample sizes. Moreover, most papers generalized their conclusions beyond their target population, and there was no evidence that broader conclusions in quantitative studies were correlated with larger samples. These methodological problems can impede evaluations of whether XAI systems implement the explainability called for in ethical frameworks. We outline principles for more inclusive XAI user studies. (shrink)

In empirically informed research on action explanation, philosophers and developmental psychologists have recently proposed a teleological account of the way in which we make sense of people’s intentional behavior. It holds that we typically don’t explain an agent’s action by appealing to her mental states but by referring to the objective, publically accessible facts of the world that count in favor of performing the action so as to achieve a certain goal. Advocates of the teleological account claim that this strategy (...) is our main way of understanding people’s actions. I argue that common motivations mentioned to support the teleological account are insufficient to sustain its generalization from children to adults. Moreover, social psychological studies, combined with theoretical considerations, suggest that we do not explain actions mainly by invoking publically accessible, reason-giving facts alone but by ascribing mental states to the agent. (shrink)

We argue that recent empirical findings and theoretical models shed new light on the nature of attention. According to the resulting amplification view, attentional phenomena can be unified at the neural level as the consequence of the amplification of certain input signals of attention-independent perceptual computations. This way of identifying the core realizer of attention evades standard criticisms often raised against sub-personal accounts of attention. Moreover, this approach also reframes our thinking about the function of attention by shifting the focus (...) from the function of selection to the function of amplification. (shrink)

War is almost always conducted with various restrictions in the form of rules, rituals, and taboos. Many of the norms that regulate warfare can be found in the tradition of just war. This tradition seeks to provide a middle ground between an unrealistic (at least for politicians) pacifism that does not even allow war in self-defence and a too realistic realism that claims there is no place for ethics in war. The tradition of just war does not have the force (...) of law; it provides, above all, a vocabulary to discuss war in moral terms. At the same time, the tradition does have an impact: it forms the basis of humanitarian law and the Geneva Conventions. Just like with laws, it is recognised here that imperfect adherence to these principles does not necessarily diminish their validity. Most proponents of the tradition believe that the principles of just war, even though some date back centuries, are sufficiently general to be applicable to contemporary conflicts, such as the Russo-Ukrainian War. If we apply the norms of the just war tradition to the current situation in Ukraine, we see that Russia is waging an unjust war in an unjust manner. (shrink)

This paper contributes to a growing body of literature focusing on Anton Wilhelm Amo’s account of the mind-body relation. The first aim of this paper is to provide an overview of that literature, bringing together several interpretations of Amo’s account of the mind-body relation and providing a comprehensive overview of where the debate stands so far. Doing so reveals that commentary is split between those who take Amo to adopt a Leibnizian account of pre-established harmony between mind and body (Smith (...) 2015, Emma-Adamah 2015) and those who argue that Amo adopts a theory of occasional causation (Meyns 2019, Walsh 2019). Both views deny that the body is the efficient cause of the mind’s ideas but while the Leibnizian account holds that ideas exist innately in the mind, the occasional causation account maintains that the body is their occasional cause. That is, on this reading of Amo, sensations in the body are the ‘occasion’ on which the mind efficiently causes its own ideas. The second aim of this paper – which promises to take this interpretative debate in a new direction – is to demonstrate that we should in fact attribute to Amo a specific version of occasional causation known as 'concurrentism'. Concurrentism is the view that, while the mind does efficiently cause its own ideas, it can only do so with the assistance (or ‘concurrence’) of God. In other words, on this view, God makes possible the efficient causal activity of the human mind in generating ideas, in response to ‘occasions’ in the body. (shrink)

According to a standard interpretation of Aristotle, a material substance, like a dog, is a hylomorphic composite of matter and form, its “essential” parts. Is such a composite some thing in addition to its essential parts as united? The moderate reductionist says “no,” whereas the anti-reductionist says “yes.” In this paper, I will clarify and defend Durand of St.-Pourçain’s surprisingly influential version of moderate reductionism, according to which hylomorphic composites are nothing over and above their essential parts and the union (...) of those parts, where this union is explained by the presence of two modes: a mode of inherence on the side of form and a mode of substanding on the side of matter. (shrink)

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

This is the full version of the Delphi Report on critical thinking and critical thinking instruction at the post-secondary level.

This essay proposes a new interpretation of a central, and yet overlooked, argument Leibniz offers against Descartes’s power-free ontology of the corporeal world. Appealing to considerations about the successiveness of motion, Leibniz attempts to show that the reality of motion requires force. It is often assumed that the argument is driven by concerns inspired by Zeno. Against such a reading, this essay contends that Leibniz’s argument is instead best understood against the background of an Aristotelian view of the priority of (...) real being over time. The essay also shows how this alternative interpretation can help to shed new light on the difference between Leibnizian forces and Aristotelian powers, as well as on Leibniz’s famous claim that accounting for force leads us beyond the mechanistic corporeal realm. (shrink)

This chapter explores some key issues within Descartes’s theory of cognition. The starting-point is a recent interpretation, according to which Descartes is part of a tradition of theorizing about human cognition, beginning from the idea that we are in principle capable of articulating or grasping the basic order of reality. Earlier readings often take Descartes to question whether we have any cognitive access to reality at all. On the new reading, Descartes instead defends a robust conception of our cognitive relation (...) to reality—our cognition needs to be “determined by reality,” as John Carriero puts it. One important element of Carriero’s interpretation is that Descartes’s notion of idea is to be understood along the lines of the Aristotelian doctrine of formal identity between cognizer and cognized. Here it is argued that retaining the latter doctrine faces some difficulties, given the novel conception of the structure of reality defended by Descartes. This chapter proposes that he needs an alternative account of what it is for a cognizer to be determined by reality. Attending to some important differences between the innate idea of extension and that of God, the chapter concludes that Descartes may not have a fully worked-out account of his own. Considering some of the problems inherent in his views can, however, shed light on the, from our contemporary perspective, peculiar role both Spinoza and Leibniz give to God in accounting for cognition. (shrink)

Glassen distinguishes various categories of moral terms that are nowadays often confused, conflated, or neglected.

Confirmation bias is one of the most widely discussed epistemically problematic cognitions, challenging reliable belief formation and the correction of inaccurate views. Given its problematic nature, it remains unclear why the bias evolved and is still with us today. To offer an explanation, several philosophers and scientists have argued that the bias is in fact adaptive. I critically discuss three recent proposals of this kind before developing a novel alternative, what I call the ‘reality-matching account’. According to the account, confirmation (...) bias evolved because it helps us influence people and social structures so that they come to match our beliefs about them. This can result in significant developmental and epistemic benefits for us and other people, ensuring that over time we don’t become epistemically disconnected from social reality but can navigate it more easily. While that might not be the only evolved function of confirmation bias, it is an important one that has so far been neglected in the theorizing on the bias. (shrink)

This paper examines Nietzsche’s conflicted relation to Epicurus, an important naturalistic predecessor in the ‘art of living’ tradition. I focus in particular on the Epicurean credo “live unnoticed” (lathe biōsas), which advocated an inconspicuous life of quiet philosophical reflection, self-cultivation and friendship, avoiding the public radar and eschewing the larger ambitions and perturbations of political life. Perhaps unsurprisingly, the idea looms largest and is most warmly received in Nietzsche’s middle period writings, where one finds a repeated concern with prudence, withdrawal (...) and concealment, and where the primary emphasis is on private pluralistic experiments in therapeutic self-cultivation among small groups of free spirits. The idea of the Epicurean Garden appeals greatly to Nietzsche at this time as well, and I suggest that Zarathustra’s Blessed Isles are best understood as a friendship community along these lines. However, Nietzsche’s growing impatience with human imperfections and the siren song of great politics eventually lead him away from Epicurus and back to Plato. Beginning with Zarathustra, the paradigm of the modest, hidden helpful philosopher-therapist is replaced by the more ambitious philosopher-legislator who takes upon himself the task of determining the future of humanity. Nonetheless, I argue that we can profit more from the modest, practical insights of Nietzsche’s Epicurean art of living. (short version). (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

If we take the indexical, “I”, to be epistemologically identical across different contexts, as in, for example, it is the same “I” that at one moment observes, “I see a puddle of water on the floor”, and then, subsequently, exclaims, “I detect a leaking tap”, and, furthermore, we attribute not only self reference but self awareness in the use of the indexical, “I”, then a question arises as to how the “I” finds itself to be in reference to the speaker (...) in one context and not another. We cannot look to the ingredients of the context that the “I” inhabits for the answer because, based upon the above assumptions, the identity, or character, of the “I” stands independently of the context of the speaker. The answer, I argue, requires both the admission of the unreality of space and time, as well as an explanation as to why we have a sense of the here and now despite space and time being unreal. To this end, I turn to the juxtaposition of Kant’s a priori forms of inner sense and outer sense to explain how the cognitive faculty arrives at a sense of time and place despite the declared unreality of time and space. To sustain this explanation in the face of the problem of localisation, I draw on the full implications of Kant’s transcendental idealism in which the properties of time and space are not only withdrawn from things as they exist externally to the mind but also from mental representations insofar as mental representations can be said to exist in themselves. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the (...) cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

Over the past few decades, cognitive science has identified several forms of reasoning that make essential use of conceptual knowledge. Despite significant theoretical and empirical progress, there is still no unified framework for understanding how concepts are used in reasoning. This paper argues that the theory of conceptual spaces is capable of filling this gap. Our strategy is to demonstrate how various inference mechanisms which clearly rely on conceptual information—including similarity, typicality, and diagnosticity-based reasoning—can be modeled using principles derived from (...) conceptual spaces. Our first topic analyzes the role of expectations in inductive reasoning and their relation to the structure of our concepts. We examine the relationship between using generic expressions in natural language and common-sense reasoning as a second topic. We propose that the strength of a generic can be described by distances between properties and prototypes in conceptual spaces. Our third topic is category-based induction. We demonstrate that the theory of conceptual spaces can serve as a comprehensive model for this type of reasoning. The final topic is analogy. We review some proposals in this area, present a taxonomy of analogical relations, and show how to model them in terms of distances in conceptual spaces. We also briefly discuss the implications of the model for reasoning with concepts in artificial systems. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

Bayesianism can be characterized as the following twofold position: (i) rational credences obey the probability calculus; (ii) rational learning, i.e., the updating of credences, is regulated by some form of conditionalization. While the formal aspect of various forms of conditionalization has been explored in detail, the philosophical application to learning from experience is still deeply problematic. Some philosophers have proposed to revise the epistemology of perception; others have provided new formal accounts of conditionalization that are more in line with how (...) we learn from perceptual experience. The current investigation argues that Bayesian epistemology is still incomplete; the epistemology of perception and the epistemology of rational reasoning have not been reconciled. (shrink)