When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare must be (...) aligned with joint doctrine. It requires also that the separate information systems used by the different elements of a joint force must be interoperable, in the sense that data and information that is generated by each element must be usable (understandable, processable) by all the other elements that need them. Currently, such interoperability is impeded by multiple inconsistencies among the different data and software standards used by warfighters. We describe here the on-going project of creating a Joint Doctrine Ontology (JDO), which uses joint doctrine to provide shared computer-accessible content valid for any field of military endeavor, organization, and information system. JDO addresses the two previously mentioned requirements of unified action by providing a widely applicable benchmark for use by developers of information systems that will both guarantee alignment with joint doctrine and support interoperability. (shrink)

The corporate meltdowns of this and the previous decade in the US - WorldCom, Enron, Tyco, and in Australia - FAI, HIH and AWB being among the many examples - have resulted in the governments of those two countries introducing legislation and policy guidelines aimed at minimising future corporate misbehaviour. -/- The US has introduced the Sarbanes Oxley Act, with requirements on corporate accountants and auditors, as well as its whistleblowing provisions. It has revised the Federal Sentencing Guidelines for Organizations. (...) New rules for the NYSE and NASDAQ have also been introduced. In addition, the U.S. Securities and Exchange Commission and U.S. Department of Justice have further strengthened the Foreign Corrupt Practices Act 1977, last revised in 1997. -/- Australia has revised the Corporations Act to include whistleblower protection clauses as well as adopted the ASX Corporate Governance guidelines. Standards Australia has issued its handbook on corporate governance. Although not a business issue, the Australian government has also announced that it will introduce whistleblower protection legislation for the public sector by the end of its first term in office. This legislation will likely influence whatever the private sector does in this respect. The inclusion of whistleblower protection in both Sarbanes–Oxley and the Corporations Act reflects a growing body of research that finds that people internal to an organisation are the most effective way to identify corporate wrongs. The Commonwealth Treasury has recently issued an options paper, stating that the Corporations Act has been ineffectual. It has sought submissions on revisions to the legislation that the Australian Government could take. This paper examines the policies advocated by over 20 organisations and academics concerned with whistleblowing issues. It draws the conclusion that on current indications, even after further reform, Australian legislation and policies are still likely to be less effectual than overseas practices. -/- --------------------------------- . (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

In this review essay, K. Peter Kuchinke uses three recent publications to consider the question of how to educate young people for work and career. Historically, this question has been central to vocational education, and it is receiving renewed attention in the context of concerns over the ability of schools to provide adequate preparation for occupational roles and career success in a rapidly changing economic landscape. Philip Gonon's Quest for Modern Vocational Education provides a historical account of Georg Kerschensteiner's (...) vision of the role of work as a central subject matter for all students. His approach served as the foundation for the dual system in present‐day Germany. Nancy Hoffman's Schooling in the Workplace contrasts the U.S. system of career preparation for non‐college‐bound students with that of five other OECD nations where workforce and academic preparation are more strongly connected to learning in the workplace. Christopher Winch's Dimensions of Expertise, finally, offers a conceptual analysis of central ideas of vocational knowledge and underscores the important role of learning in the context of practice. The three texts offer historical, comparative, and philosophical analyses of the complex task of preparation for work and challenge education scholars to move the subject matter into the center of contemporary educational theory. (shrink)

The exponential growth of social data both in volume and complexity has increasingly exposed many of the shortcomings of the conventional frequentist approach to statistics. The scientific community has called for careful usage of the approach and its inference. Meanwhile, the alternative method, Bayesian statistics, still faces considerable barriers toward a more widespread application. The bayesvl R package is an open program, designed for implementing Bayesian modeling and analysis using the Stan language’s no-U-turn (NUTS) sampler. The package combines the ability (...) to construct Bayesian network models using directed acyclic graphs (DAGs), the Markov chain Monte Carlo (MCMC) simulation technique, and the graphic capability of the ggplot2 package. As a result, it can improve the user experience and intuitive understanding when constructing and analyzing Bayesian network models. A case example is offered to illustrate the usefulness of the package for Big Data analytics and cognitive computing. (shrink)

This paper is about teaching philosophy to high school students through Lincoln-Douglas (LD) debate. LD, also known as “values debate,” includes topics from ethics and political philosophy. Thousands of high school students across the U.S. debate these topics in class, after school, and at weekend tournaments. We argue that LD is a particularly effective tool for teaching philosophy, but also that LD today falls short of its potential. We argue that the problems with LD are not inevitable, and we offer (...) strategic recommendations for improving LD as a tool for teaching philosophy. Ultimately, our aim is to create a dialogue between LD and academic philosophy, with the hope that such dialogue will improve LD’s capacity to teach students how to do philosophy. (shrink)

A critique of Peter Hohendahl's account of the fate of Kantianism and Neo-Kantianism in the interwar period. -/- .

Excerpts and paraphrases of this memoir appeared in 2008 and 2009. I posted it in full here in happy memory of Peter Hare and my joyful years with him. -/- 2008. Remembering Peter Hare 1935–2008. Philosophy Now. Co-authors: T. Madigan and A. Razin. Issue 66 March/April 2008. Pages 50–2. PDF -/- 2009. Remembering My Life with Peter Hare. Remembering Peter Hare 1935–2008. Ed. J. Campbell. Society for the Advancement of American Philosophy. pp. 9–16. http://american-philosophy.org/documents/RememberingPeterHare_final.pdf -/- (...) class='Hi'>Peter H. Hare, Distinguished Professor Emeritus of Philosophy at the University of Buffalo (SUNY at Buffalo), died peacefully in his sleep on Thursday, January 3, 2008. I would like to share my memories of my life with him. Others have eulogized him, enumerated his virtues and accomplishments, and written his obituaries. I am revisiting my personal relationship with him. These memories are as much about me as about him. (shrink)

Both liberals and feminists have long criticized the paternalistic approach to prostitution found in most jurisdictions in the U.S. In his recent book Prostitution and Liberalism, Peter de Marneffe defends just such an intervention, arguing that the demonstrated harmfulness of a life of prostitution justifies paternalistic policies aimed at reducing the number of women who are involved in it. Although de Marneffe does not endorse the prohibitionist approach typical in the U.S., he argues that the best reasons for alternative (...) approaches to the practice (including some forms of regulated legalization) are necessarily paternalistic. In my paper, I question de Marneffe’s contention that the strongest reasons for state intervention with regard to prostitution are paternalistic in nature. I argue that reasonable state action toward prostitution is best understood not as a paternalistic intervention to remedy some moral or epistemological failure on the part of prostitutes, but rather as an attempt to advance the interests of vulnerable parties more generally concerning what they reasonably desire but could not otherwise ensure. I further argue that such an approach might favor abolitionist over regulatory policies, depending upon how the vulnerable class is defined. (shrink)

Zusammenfassung Der Aufsatz untersucht die Theorie der exemplarischen Kausalität von Petrus Aureoli (1280–1322). Mindestens bis zur zweiten Hälfte des 13. Jahrhunderts behaupteten mittelalterliche Autoren, dass die Welt geordnet und intelligibel war, weil Gott sie nach aus der Ewigkeit in seinem Intellekt existierenden Modellen (d.h. göttlichen Ideen) geschaffen hatte. Aureoli focht diese traditionelle Ansicht an. In Aureolis Theorie ist die göttliche Essenz das einzige Urbild für die Erschaffung. Um zu erklären, wie ein einziges Objekt allein als Urbilder für die Erschaffung mehrerer (...) verschiedener Kreaturen fungieren kann, muss er den Begriff der Nachahmbarkeit neu überdenken und ein neues Modell der exemplarischen Kausalität entwickeln. Das traditionelle Modell war das der Analogie: Eine Ursache erzeugt einen Effekt, der zum Teil ähnlich wie sie und zum Teil anders als sie ist. Aureoli greift auf den Be-griff von Äquivokation zurück. Er argumentiert, dass keine direkte Ähnlichkeit zwischen Ursache und Effekt notwendig ist. Im Gegenteil: Damit ein Objekt das Urbild für mehrere verschiedene Dinge sein kann, ist es notwendig, dass es für keinen von ihnen repräsentativ ist. Der Begriff der Äquivokation erlaubt es Aureoli, das traditionelle Modell der Erschaffung abzulehnen. Aequivocatio sieht keine Ähnlichkeit zwischen Idee und Ideatum vor. Es be-steht also kein Widerspruch darin, wenn man sagt, dass ein einziges Objekt (göttliche Essenz) aequivoce die exemplarische Ursache für mehrere verschiedene Objekte ist. (shrink)

Die Moralphilosophie des 20. und 21. Jahrhunderts hat mit Konsequentialismus, Deontologie, Kontraktualismus und Tugendethik nicht nur höchst einflussreiche Theorieparadigmen produktiv weiterentwickelt, sondern auch eine Reihe wichtiger neuer Probleme aufgeworfen. Der vorliegende Band versammelt zentrale Beiträge der analytischen Moralphilosophie, u. a. von David Gauthier, Shelly Kagan, Frances Kamm, Thomas Nagel, Michael Slote, Christine Swanton und Susan Wolf, die für ein Verständnis gegenwärtiger Diskussionen in der normativen Ethik unabdingbar sind. -/- Inhaltsverzeichnis: Vorwort Einleitung: Analytische Moralphilosophie der Gegenwart -/- 1. Konsequentialismus Shelly Kagan: (...) Ein Plädoyer gegen die Alltagsmoral Peter Railton: Entfremdung, Konsequentialismus und die Anforderungen der Moral -/- 2. Deontologie Thomas Nagel: Ethik William David Ross: Was macht richtige Handlungen richtig? -/- 3. Kontraktualismus David Gauthier: Warum Kontraktualismus? Thomas Scanlon: Die Struktur des Kontraktualismus -/- 4. Tugendethik Christine Swanton: Eine tugendethische Theorie des richtigen Handelns Michael Slote: Akteursbasierte Tugendethik -/- 5. Moralische Aggregation John Taurek: Zählt die Anzahl? Frances M. Kamm: Aggregation und zwei moralphilosophische Methoden -/- 6. Das Prinzip der Doppelwirkung Jonathan Bennett: Vorhergesehene Nebenwirkungen vs. beabsichtigte Folgen Ralph Wedgwood: Zur Verteidigung der Lehre von der Doppelwirkung -/- 7. Moralische Rechte H. L. A. Hart: Gibt es natürliche Rechte? Joseph Raz: Über die Beschaffenheit von Rechten -/- 8. Moralischer Zufall Thomas Nagel: Moralischer Zufall Susan Wolf: Die Moral des moralischen Zufalls. (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.

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)

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)

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)

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].

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

In this paper, we focus on Berkeley's reasons for accepting the ‘resemblance thesis’ which entails that for one thing to represent another those two things must resemble one another. The resemblance thesis is a crucial premise in Berkeley's argument from the ‘likeness principle’ in §8 of the Principles. Yet, like the ‘likeness principle’, the resemblance thesis remains unargued for and is never explicitly defended. This has led several commentators to provide explanations as to why Berkeley accepts the resemblance thesis and (...) why he also takes his opponents to do so too. We provide a contextual answer to this question, focusing on epistemological discussions concerning resemblance and representation in Early Modern Irish Philosophy. We argue that the resemblance thesis is implicit in early responses to William Molyneux's famous example of the ‘man born blind made to see’ and trace the ‘Molyneux man’ thought experiment as it is employed by Irish thinkers such as William King and Berkeley himself. Ultimately, we conclude that Berkeley's acceptance of the resemblance thesis can be explained by the Irish intellectual climate in which he was writing. (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)

Berkeley’s likeness principle is the claim that “an idea can be like nothing but an idea”. The likeness principle is intended to undermine representationalism: the view (that Berkeley attributes to thinkers like Descartes and Locke) that all human knowledge is mediated by ideas in the mind which represent material objects. Yet, Berkeley appears to leave the likeness principle unargued for. This has led to several attempts to explain why Berkeley accepts it. In contrast to ‘metaphysical’ and ‘epistemological’ interpretations available in (...) the literature, in this paper I defend a ‘conceptual’ interpretation. I argue that Berkeley accepts the likeness principle on the basis of (i) his commitment to the transparency of ideas, and (ii) his account of resemblance which he sets out in his works on vision. Thus, I provide an explanation for Berkeley’s reasons for accepting the likeness principle which, appropriately, focuses on his views concerning ideas and likeness. (shrink)

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

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)

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)

At least since Aristotle, practical skill has been thought to be a possible model for individual ethical development and action. Jonathan Birch’s ambitious proposal is that practical skill and tool-use might also have played a central role in the historical emergence and evolution of our very capacity for normative guidance. Birch argues that human acquisition of motor skill, for example in making and using tools, involves formation of an internal standard of correct performance, which serves as a basis for normative (...) guidance in skilled thought and action, and in the social transfer of skills. I suggest that evaluativemodeling, guidance, and learning play a more basic role in motor skill than standards of correctness as such-indeed, such standards can provide effective normative guidance thanks to being embedded within evaluative modeling and guidance. This picture better fits the evidence Birch cites of the flexibility, adaptability, and creativity of skills, and can support a generalized version of Birch’s ‘skill hypothesis’. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...) extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

I argue that phenomenal externalism is preferable to phenomenal internalism on the basis of externalism's explanatory power with respect to qualitative character. I argue that external qualities, namely, external physical properties that are qualitative independent of consciousness, are necessary to explain qualitative character, and that phenomenal externalism is best understood as accepting external qualities while phenomenal internalism is best understood as rejecting them. I build support for the claim that external qualities are necessary to explain qualitative character on the basis (...) of a model of color perception as a certain sort of information filter by which perceivers gain access to external qualities. (shrink)

Was bisexuality a widespread feature of ancient Greek society? This question is an instance of cross-cultural projection -- of taking the means through which people are categorized in one culture and applying it to members of another. It’s widely held by those who think that sexual orientation is socially constructed that its projection poses a problem. In this paper, I offer a more careful analysis of this alleged problem. To analyze projection, I adapt Iris Einheuser’s substratum-carving model of conventionalism to (...) fit the specific needs of social construction. Using this model, I show that projection is conceptually coherent, and so does not for that reason pose any problem. Along the way, I identify some of the epistemic difficulties facing projection. While these difficulties are formidable, they are not substantially affected by the constructivist claim. I therefore conclude that there is no unique problem facing the projection of a socially constructed sexual orientation. (shrink)

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

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)

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)

For synergistic interactions between humans and artificial intelligence (AI) systems, AI outputs often need to be explainable to people. Explainable AI (XAI) systems are commonly tested in human user studies. However, whether XAI researchers consider potential cultural differences in human explanatory needs remains unexplored. We highlight psychological research that found significant differences in human explanations between many people from Western, commonly individualist countries and people from non-Western, often collectivist countries. We argue that XAI research currently overlooks these variations and that (...) many popular XAI designs implicitly and problematically assume that Western explanatory needs are shared cross-culturally. Additionally, we systematically reviewed over 200 XAI user studies and found that most studies did not consider relevant cultural variations, sampled only Western populations, but drew conclusions about human-XAI interactions more generally. We also analyzed over 30 literature reviews of XAI studies. Most reviews did not mention cultural differences in explanatory needs or flag overly broad cross-cultural extrapolations of XAI user study results. Combined, our analyses provide evidence of a cultural bias toward Western populations in XAI research, highlighting an important knowledge gap regarding how culturally diverse users may respond to widely used XAI systems that future work can and should address. (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)

Similarly to other accounts of disease, Christopher Boorse’s Biostatistical Theory (BST) is generally presented and considered as conceptual analysis, that is, as making claims about the meaning of currently used concepts. But conceptual analysis has been convincingly critiqued as relying on problematic assumptions about the existence, meaning, and use of concepts. Because of these problems, accounts of disease and health should be evaluated not as claims about current meaning, I argue, but instead as proposals about how to define and use (...) these terms in the future, a methodology suggested by Quine and Carnap. I begin this article by describing problems with conceptual analysis and advantages of “philosophical explication,” my favored approach. I then describe two attacks on the BST that also question the entire project of defining “disease.” Finally, I defend the BST as a philosophical explication by showing how it could define useful terms for medical science and ethics. (shrink)

This article gives an overview over different principles of epistemic closure, their attractions and their problems.

Selective scientific realists disagree on which theoretical posits should be regarded as essential to the empirical success of a scientific theory. A satisfactory account of essentialness will show that the (approximate) truth of the selected posits adequately explains the success of the theory. Therefore, (a) the essential elements must be discernible prospectively; (b) there cannot be a priori criteria regarding which type of posit is essential; and (c) the overall success of a theory, or ‘cluster’ of propositions, not only individual (...) derivations, should be explicable. Given these desiderata, I propose a “unification criterion” for identifying essential elements. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

Accounts of the concepts of function and dysfunction have not adequately explained what factors determine the line between low‐normal function and dysfunction. I call the challenge of doing so the line‐drawing problem. Previous approaches emphasize facts involving the action of natural selection (Wakefield 1992a, 1999a, 1999b) or the statistical distribution of levels of functioning in the current population (Boorse 1977, 1997). I point out limitations of these two approaches and present a solution to the line‐drawing problem that builds on the (...) second one. (shrink)

This article reconsiders the early hominid ‘‘lithic niche’’ by examining the social implications of stone artifact making. I reject the idea that making tools for use is an adequate explanation of the elaborate artifact forms of the Lower Palaeolithic, or a sufficient cause for long-term trends in hominid technology. I then advance an alternative mechanism founded on the claim that competency in making stone artifacts requires extended learning, and that excellence in artifact making is attained only by highly skilled individuals (...) who have been taught and practiced for extensive periods. Consequently both competency and expertise in knapping comes at a high learning cost for both the individual learner and the social group to which they belong. Those high intrinsic costs of learning created contexts in which groups selected cost-reducing forms of social learning and teaching, and in which specialization could develop. Artifacts and their manufacturing processes probably acquired functions as social signals—as honest signals of valuable capacities. The magnification of these signals, through competition between knappers and through inspiring later craftspeople, may account for a substantial amount of the accumulated elaboration visible in the archaeological record. Consequently lithic artifacts operated as material symbols from an early time in hominid evolution. (shrink)

An action-oriented perspective changes the role of an individual from a passive observer to an actively engaged agent interacting in a closed loop with the world as well as with others. Cognition exists to serve action within a landscape that contains both. This chapter surveys this landscape and addresses the status of the pragmatic turn. Its potential influence on science and the study of cognition are considered (including perception, social cognition, social interaction, sensorimotor entrainment, and language acquisition) and its impact (...) on how neuroscience is studied is also investigated (with the notion that brains do not passively build models, but instead support the guidance of action). A review of its implications in robotics and engineering includes a discussion of the application of enactive control principles to couple action and perception in robotics as well as the conceptualization of system design in a more holistic, less modular manner. Practical applications that can impact the human condition are reviewed (e.g., educational applications, treatment possibilities for developmental and psychopathological disorders, the development of neural prostheses). All of this foreshadows the potential societal implications of the pragmatic turn. The chapter concludes that an action-oriented approach emphasizes a continuum of interaction between technical aspects of cognitive systems and robotics, biology, psychology, the social sciences, and the humanities, where the individual is part of a grounded cultural system. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

This book explores the idea that all of logic can be reduced to two very simple rules that are sensitive to logical polarity. The authors show that this idea has profound consequences for our understanding of the nature of human inferential capacities, and for some of the key issues in contemporary linguistics.

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)