Many tasks in statistical and causal inference can be construed as problems of entailment in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for causal probabilistic languages than for pure probabilistic (or “associational”) languages. Despite several senses in which causal reasoning is indeed more complex—both expressively and inferentially—we show that causal entailment (or satisfiability) problems can be systematically and robustly reduced to purely probabilistic problems. Thus there is no jump in computational complexity. (...) Along the way we answer several open problems concerning the complexity of well-known probability logics, in particular demonstrating the ${\exists \mathbb {R}}$ -completeness of a polynomial probability calculus, as well as a seemingly much simpler system, the logic of comparative conditional probability. (shrink)

Recent research on the metaethical beliefs of ordinary people appears to show that they are metaethical pluralists that adopt different metaethical standards for different moral judgments. Yet the methods used to evaluate folk metaethical belief rely on the assumption that participants interpret what they are asked in metaethical terms. We argue that most participants do not interpret questions designed to elicit metaethical beliefs in metaethical terms, or at least not in the way researchers intend. As a result, existing methods are (...) not reliable measures of metaethical belief. We end by discussing the implications of our account for the philosophical and practical implications of research on the psychology of metaethics. (shrink)

The rise in interdisciplinary scholarship between philosophy and theology has produced a number of critiques of historical biblical criticism (HBC) by philosophers of religion. Some dialogue has resulted, but these critiques have gone largely unnoticed by historical critical scholars. This article argues that two such critiques of HBC, offered by Plantinga and Stump, are undermined by faulty presuppositions on the philosophers' part regarding the nature and value of HBC and misunderstandings of the nature of the ancient texts on which the (...) discipline of HBC focuses. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

Recognition of the plasticity of development — from gene expression to neuroplasticity — is increasingly undermining the traditional distinction between structure and function, or anatomy and behavior. At the same time, dynamic systems theory — a set of tools and concepts drawn from the physical sciences — has emerged as a way of describing what Maurice Merleau-Ponty calls the “dynamic anatomy” of the living organism. This article surveys and synthesizes dynamic systems models of development from biology, neuroscience, and psychology in (...) order to propose an integrated account of growth, learning, and behavior. Key to this account is the concept of self-differentiation or symmetry-breaking. I argue that development can be understood as a cascade of symmetry-breaking events brought about by the ongoing interactions of multiple, nested, nonlinear dynamic systems whose self-organizing behaviors gradually alter their own anatomical conditions. I begin by introducing the concept of symmetry-breaking as a way of understanding anatomical development. I then extend this approach to motor development by arguing that the organism’s behavior grows along with its body, like a new organ. Finally, I argue that the organism’s behavior and its world grow together dialectically, each driving the other to become more complex and asymmetrical through its own increasing asymmetry. Thus development turns out to be a form of cognition or sense-making, and cognition a form of development. (shrink)

If there is any consensus about knowledge in contemporary epistemology, it is that there is one primary kind: knowledge-that. I put forth a view, one I find in the works of Aristotle, on which knowledge-of – construed in a fairly demanding sense, as being well-acquainted with things – is the primary, fundamental kind of knowledge. As to knowledge-that, it is not distinct from knowledge-of, let alone more fundamental, but instead a species of it. To know that such-and-such, just like to (...) know a person or place, is to be well-acquainted with a portion of reality – in this case a fact. In part by comparing classic Gettier cases to cases in which one has true impressions of but fails to know a person, I argue that this account not only respects our intuitions about knowledge-that – in particular that it is or entails non-accidentally true justified belief – but also explains them, providing a compelling analysis. (shrink)

From his earliest work forward, phenomenologist Maurice Merleau-Ponty attempted to develop a new ontology of nature that would avoid the antinomies of realism and idealism by showing that nature has its own intrinsic sense which is prior to reflection. The key to this new ontology was the concept of form, which he appropriated from Gestalt psychology. However, Merleau-Ponty struggled to give a positive characterization of the phenomenon of form which would clarify its ontological status. Evan Thompson has recently taken up (...) Merleau-Ponty’s ontology as the basis for a new, “enactive” approach to cognitive science, synthesizing it with concepts from dynamic systems theory and Francisco Varela’s theory of autopoiesis. However, Thompson does not quite succeed in resolving the ambiguities in Merleau-Ponty’s account of form. This article builds on an indication from Thompson in order to propose a new account of form as asymmetry, and of the genesis of form in nature as symmetry-breaking. These concepts help us to escape the antinomies of Modern thought by showing how nature is the autoproduction of a sense which can only be known by an embodied perceiver. (shrink)

What makes it the case that an utterance constitutes an illocutionary act of a given kind? This is the central question of speech-act theory. Answers to it—i.e., theories of speech acts—have proliferated. Our main goal in this chapter is to clarify the logical space into which these different theories fit. -/- We begin, in Section 1, by dividing theories of speech acts into five families, each distinguished from the others by its account of the key ingredients in illocutionary acts. Are (...) speech acts fundamentally a matter of convention or intention? Or should we instead think of them in terms of the psychological states they express, in terms of the effects that it is their function to produce, or in terms of the norms that govern them? In Section 2, we take up the highly influential idea that speech acts can be understood in terms of their effects on a conversation’s context or “score”. Part of why this idea has been so useful is that it allows speech-act theorists from the five families to engage at a level of abstraction that elides their foundational disagreements. In Section 3, we investigate some of the motivations for the traditional distinction between propositional content and illocutionary force, and some of the ways in which this distinction has been undermined by recent work. In Section 4, we survey some of the ways in which speech-act theory has been applied to issues outside semantics and pragmatics, narrowly construed. (shrink)

Abstract: Many believe that, in addition to cognitive capacities, autonomous robots need something similar to affect. As in humans, affect, including specific emotions, would filter robot experience based on a set of goals, values, and interests. This narrows behavioral options and avoids combinatorial explosion or regress problems that challenge purely cognitive assessments in a continuously changing experiential field. Adding human-like affect to robots is not straightforward, however. Affect in organisms is an aspect of evolved biological systems, from the taxes of (...) single-cell organisms to the instincts, drives, feelings, moods, and emotions that focus human behavior through the mediation of hormones, pheromones, neurotransmitters, the autonomic nervous system, and key brain structures. We argue that human intelligence is intimately linked to biological affective systems and to the unique repertoire of potential behaviors, sometimes conflicting, they facilitate. Artificial affect is affect in name only and without genes and biological bodies, autonomous robots will lack the goals, interests, and value systems associated with human intelligence. We will take advantage of their general intelligence and expertise, but robots will not enter our intellectual world or apply for legal status in the community. -/- . (shrink)

The file associated with this record is under embargo while permission to archive is sought from the publisher. The full text may be available through the publisher links provided above.

In Cathy Mason’s piece What’s Bad about Friendship with Bad People, she affirms that being friends with someone who has deep moral failings is itself corrupt. (529) Indeed her claim is true, but it is fallacious as she mistakenly ascribes the wrongfulness of such relationships to friends taking each other’s opinions seriously. But the mere consideration of unethical views is not a moral fault but a virtue and a skill. The real problem is that in befriending amoral people, we by (...) definition accept, approve of, and respect objectionable beliefs. (shrink)

We often think about competition as a foil to friendship as it seems to fundamentally compromise, even preclude norms of love. Indeed friendships can persist between rivals, but traditionally despite competitive fora. Competition between friends is often unavoidable and divisive; if left unchecked and unreconciled, the friendship is undermined. Questions about of how we ought to resolve this fraught dynamic persist; should we aim to compartmentalize and separate competition out of friendship, do we accept the “primacy” of our social or (...) professional ventures at the expense of our friendships, or are our competitive sensibilities better left unnamed, avoided, and unaddressed in friendships? My goal here is to argue for a model of friendship that proposes competition as a mechanism by which two friends might be unified, where the value of rivalry is not only useful as a means to enhance an end, but actually capable of engendering good in and of itself. (shrink)

to appear in Lambert, E. and J. Schwenkler (eds.) Transformative Experience (OUP) -/- L. A. Paul (2014, 2015) argues that the possibility of epistemically transformative experiences poses serious and novel problems for the orthodox theory of rational choice, namely, expected utility theory — I call her argument the Utility Ignorance Objection. In a pair of earlier papers, I responded to Paul’s challenge (Pettigrew 2015, 2016), and a number of other philosophers have responded in similar ways (Dougherty, et al. 2015, Harman (...) 2015) — I call our argument the Fine-Graining Response. Paul has her own reply to this response, which we might call the Authenticity Reply. But Sarah Moss has recently offered an alternative reply to the Fine-Graining Response on Paul’s behalf (Moss 2017) — we’ll call it the No Knowledge Reply. This appeals to the knowledge norm of action, together with Moss’ novel and intriguing account of probabilistic knowledge. In this paper, I consider Moss’ reply and argue that it fails. I argue first that it fails as a reply made on Paul’s behalf, since it forces us to abandon many of the features of Paul’s challenge that make it distinctive and with which Paul herself is particularly concerned. Then I argue that it fails as a reply independent of its fidelity to Paul’s intentions. (shrink)

This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.

This is a review of Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, written by Jon Barwise and Lawrence Moss and published by CSLI Publications in 1996.

This paper challenges the Critical Legal Studies (CLS) claims of legal indeterminacy. It shall use a legal formalist logic and language as its main assertion, further maintaining that the CLS claims is only grounded in ambiguity and confusion. CLS is a legal theory that challenges and overturns accepted norms and standards in legal theory and practice. They maintained that law in the historical and contemporary society has an alleged impartiality, and it is used as a tool of privilege and power (...) – law is politics. Consequently, CLS maintained that these results to indeterminacy of law. Legal indeterminacy can be summed up as contrary to the common understanding that legal materials, statutes and case law, do not really answer legal disputes. Legal principles and doctrines, as CLS scholars claim, are said to be indeterminate, for it is riddle with gaps, conflicts, and anomalies that are widely present even in simple cases. Legal indeterminacy also rises because of the underlying political power – law is politics – that implicates law as merely a tool for oppression. This thesis shows that CLS assertions with legal indeterminacy is only grounded on ambiguity. On one hand, using the main concept of legal formalist logic and language grounded with sub-arguments: inherent generality of legal language, reasoned elaboration, and neutral principles, it refutes the CLS claims of legal indeterminacy. On the other, the paper maintains that their main reason of legal indeterminacy, ‘law is politics’, is merely a statement of fact that currently happens in society is sentimental and weak through counterexamples. (shrink)

Moss (2018) argues that rational agents are best thought of not as having degrees of belief in various propositions but as having beliefs in probabilistic contents, or probabilistic beliefs. Probabilistic contents are sets of probability functions. Probabilistic belief states, in turn, are modeled by sets of probabilistic contents, or sets of sets of probability functions. We argue that this Mossean framework is of considerable interest quite independently of its role in Moss’ account of probabilistic knowledge or her semantics for epistemic (...) modals and probability operators. It is an extremely general model of uncertainty. Indeed, it is at least as general and expressively powerful as every other current imprecise probability framework, including lower probabilities, lower previsions, sets of probabilities, sets of desirable gambles, and choice functions. In addition, we partially answer an important question that Moss leaves open, viz., why should rational agents have consistent probabilistic beliefs? We show that an important subclass of Mossean believers avoid Dutch bookability iff they have consistent probabilistic beliefs. (shrink)

Larry Moss and Rohit Parikh used subset semantics to characterize a family of logics for reasoning about knowledge. An important feature of their framework is that subsets always decrease based on the assumption that knowledge always increases. We drop this assumption and modify the semantics to account for logics of knowledge that handle arbitrary changes, that is, changes that do not necessarily result in knowledge increase, such as the update of our knowledge due to an action. We present a system (...) which is complete for subset spaces and prove its decidability. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

While Classical Logic (CL) used to be the gold standard for evaluating the rationality of human reasoning, certain non-theorems of CL—like Aristotle’s and Boethius’ theses—appear intuitively rational and plausible. Connexive logics have been developed to capture the underlying intuition that conditionals whose antecedents contradict their consequents, should be false. We present results of two experiments (total n = 72), the first to investigate connexive principles and related formulae systematically. Our data suggest that connexive logics provide more plausible rationality frameworks for (...) human reasoning compared to CL. Moreover, we experimentally investigate two approaches for validating connexive principles within the framework of coherence-based probability logic (Pfeifer & Sanfilippo, 2021). Overall, we observed good agreement between our predictions and the data, but especially for Approach 2. (shrink)

This essay gives an account of epistemic deference for agents with imprecise credences. I look at the two main imprecise deference principles in the literature, known as Identity Reflection and Pointwise Reflection (Moss, 2021). I show that Pointwise Reflection is strictly weaker than Identity Reflection, and argue that, if you are certain you will update by conditionalisation, you should defer to your future self according to Identity Reflection. Then I give a more general justification for Pointwise and Identity Reflection from (...) the assumption that you defer to someone whenever you consider their doxastic state to be better than yours, in the sense of leading to better decision-making. (shrink)

According to a standard assumption in epistemology, if one only partially believes that p , then one cannot thereby have knowledge that p. For example, if one only partially believes that that it is raining outside, one cannot know that it is raining outside; and if one only partially believes that it is likely that it will rain outside, one cannot know that it is likely that it will rain outside. Many epistemologists will agree that epistemic agents are capable of (...) partial beliefs in addition to full beliefs and that partial beliefs can be epistemically assessed along some dimensions. However, it has been generally assumed that such doxastic attitudes cannot possibly amount to knowledge. In Probabilistic Knowledge, Moss challenges this standard assumption and provides a formidable defense of the claim that probabilistic beliefs—a class of doxastic attitudes including credences and degrees of beliefs—can amount to knowledge too. Call this the probabilistic knowledge claim . Throughout the book, Moss goes to great lengths to show that probabilistic knowledge can be fruitfully applied to a variety of debates in epistemology and beyond. My goal in this essay is to explore a further application for probabilistic knowledge. I want to look at the role of probabilistic knowledge within a “knowledge-centered” psychology—a kind of psychology that assigns knowledge a central stage in explanations of intentional behavior. My suggestion is that Moss’s notion of probabilistic knowledge considerably helps further both a knowledge-centered psychology and a broadly intellectualist picture of action and know-how that naturally goes along with it. At the same time, though, it raises some interesting issues about the notion of explanation afforded by the resulting psychology. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

The dignity approach to racist hate speech regulation maintains that hate speech ought to be regulated because it impugns targets’ dignity and poses a threat to their equal treatment. This approach faces the significant causal challenges of showing that hate speech has the power to erode its targets’ dignity and that regulations can successfully protect that dignity. My aim is to show how a friend of the dignity approach can resolve these challenges. To do so, I borrow insights from the (...) critical legal studies (CLS) approach to hate speech. Specifically, I argue that hate speech can erode its targets’ dignity 1) by constituting an act of discrimination, and 2) by enacting norms that call for treating targeted groups as inferior. Yet while I maintain that the CLS approach offers valuable resources for shoring up the dignity approach, I reject the CLS approach in favor of the dignity approach. (shrink)

In this paper, we investigate the role of intention and joint attention in joint actions. Depending on the shared intentions the agents have, we distinguish between joint path-goal actions and joint final-goal actions. We propose an instrumental account of basic joint action analogous to a concept of basic action and argue that intentional joint attention is a basic joint action. Furthermore, we discuss the functional role of intentional joint attention for successful cooperation in complex joint actions. Anika Fiebich is PhD (...) student in Philosophy at the Ruhr-University Bochum, Germany. Shaun Gallagher is Lilian and Morrie Moss Professor of Philosophy at the University of Memphis, USA. (shrink)

This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief in which would underwrite belief (...) in the modal claim. (2) A model on which graded attitudes toward modal claims are represented as judgments of credence taking as their objects (non-propositional) modal representations (rather than proxy propositions). The second model, like Moss’ model, is shown to be semantically and mathematically tractable. The second model, however, can be straightforwardly integrated into a plausible model of the role of graded attitudes toward modal claims in cognition and normative epistemology. (shrink)

In his paper ‘The possibility of vagueness’ (Fine in Synthese 194(10):3699–3725, 2017), Kit Fine proposes a new logic of vagueness, CL, that promises to provide both a solution to the sorites paradox and a way to avoid the impossibility result from Fine (Philos Perspect 22(1):111–136, 2008). The present paper presents a challenge to his new theory of vagueness. I argue that the possibility theorem stated in Fine (Synthese 194(10):3699–3725, 2017), as well as his solution to the sorites paradox, fail in (...) certain reasonable extensions of the language of CL. More specifically, I show that if we extend the language with any negation operator that obeys reductio ad absurdum, we can prove a new impossibility result that makes the kind of indeterminacy that Fine takes to be a hallmark of vagueness impossible. I show that such negation operators can be conservatively added to CL and examine some of the philosophical consequences of this result. Moreover, I demonstrate that we can define a particular negation operator that behaves exactly like intuitionistic negation in a natural and unobjectionable propositionally quantified extension of CL. Since intuitionistic negation obeys reductio, the new impossibility result holds in this propositionally quantified extension of CL. In addition, the sorites paradox resurfaces for the new negation. (shrink)

In Gorgias, Socrates stands accused of argumentative "foul play" involving manipulation by shame. Polus says that Socrates wins the fight with Gorgias by shaming him into the admission that "a rhetorician knows what is right . . . and would teach this to his pupils" . And later, when Polus himself has been "tied up" and "muzzled" , Callicles says that he was refuted only because he was ashamed to reveal his true convictions. These allegations, if justified, directly undermine Socrates' (...) claim to be improving his interlocutors by argument. For if Socrates' use of shame tends to produce insincere assertion, then elenchus cannot serve as a tool for moral reform. In an important recent paper, Jessica Moss presents a new apologia for Socrates on these old charges. According to Moss, although Socrates adopts a strategy of shaming rather than reasoning his interlocutors into agreement, this is legitimate because his appeals to shame function as appeals to a moral sense, which connect a person to his own "deep" convictions. Moreover, she claims that shame "can be a more effective tool of persuasion than reason," for it is capable, where reason is not, of dislodging a person's "intuitive" moral beliefs. This essay argues that each of these points is mistaken. (shrink)

In my paper, I defend an interpretation according to which Aristotle thinks in Nicomachean Ethics (EN) that the rational aspect of soul is needed in discerning which ends of desire would be good. Many interpreters have traditionally supported this, ‘rationalist’ line of interpreting Aristotle’s theory of value cognition. The rationalist interpretation has, however, recently come under a novel challenge from Jessica Moss (2011, 2012), but has not yet received a defence. Moss attempts to resurrect now virtually abandoned ‘anti-rationalist’ interpretation, which (...) claims, in a contrast to the rationalist one, that discerning good ends may require no activity from the rational aspect, but only well-habituated non-rational desire. Moss’ interpretation appeals to certain Aristotle’s claims in De Anima (DA) 3, which, she thinks, show that non-rational phantasia suffices for discerning good ends if only accompanied with the habituated desire. Although her interpretation can successfully avoid some problems that earlier anti-rationalist interpretations faced with certain passages of EN, I also argue, however that it introduces some new problems, and attributes philosophically incoherent views about moral responsibility to Aristotle. Therefore I conclude that even after Moss’ improvements to the anti-rationalist interpretation, the rationalist interpretation remains overall more plausible. (shrink)

A compositional semantics for anankastic conditionals (‘If you want p, you must φ’) has been elusive. Condoravdi and Lauer (2016) decisively object to all semantics that precede their own. CL's view rests on a response to *the problem of conflicting goals*; CL use an interpretation of 'want' on which an agent's desires don't conflict with her beliefs. But a proper response requires lack of conflict with the facts. CL's view fails. Anankastic conditionals are still a mystery.

A critical reading of Sarah Moss's "Probabilistic Knowledge".

THIS PAPER IS THE CO-WINNER OF THE FRED BERGER PRIZE IN PHILOSOPHY OF LAW FOR THE 1999 AMERICAN PHILOSOPHICAL ASSOCIATION FOR THE BEST PUBLISHED PAPER IN THE PREVIOUS TWO YEARS. -/- The conflict between liberal legal theory and critical legal studies (CLS) is often framed as a matter of whether there is a theory of justice that the law should embody which all rational people could or must accept. In a divided society, the CLS critique of this view is overwhelming: (...) there is no such justice that can command universal assent. But the liberal critique of CLS, that it degenerates into an unpalatable moral relativism on which there is no non-arbitrary basis between a justice that underwrites forms of domination such as slavery and a justice that condemns such forms of domination is equally powerful and compelling. I show that there is a way to harmonize both views that is subject to empirical test. -/- First I show that the most widely accepted and influential formulation of liberal justice, John Rawls' Justice as Fairness, in. e.g, A Theory of Justice, cannot avoid the relativistic challenge because it would not be accepted, as a matter of sociological fact, by real people in a divided society once the "veil of Ignorance" is removed and real people step out from the Original Position. To put it differently, different reflective equilibria are inevitable in a divided society. Given the weight that Rawls properly puts on the realizability of a conception of justice and its stability in practice, this is a fatal objection. There can be no divided society that is "well ordered" in Rawls' sense, governed by a shared conception of justice and known to be so governed. -/- I then turn to the most powerful statement of the CLS view, Milton's Fisk's relativistic account in The State and Justice. For Fisk, justice is a compromise between what the dominant groups can compel and what the the subordinate groups will acquiesce to., There is no one such compromise in any given situation, so the account is in that sense relativistic, but more deeply, it is relativistic in that it offers no non-arbitrary, non-question begging way to choose between the official justice of, e.g., a slaveholding society and and the radical justice of the slaves, which has no place for slaveholders as a group or slavery as an institution.All that Fisk can offer is an arbitrary existential choice: I'm with the slaves. (Or the slaveowners.) Most of us would find this disconcerting or even unacceptable. -/- I show that Fisk's general sort of account can be modified to allow for an non-arbitrary choice. Given general facts about human nature, societies based on domination will produce resistance that over the long run will diminish or eliminate various forms of domination. Through a sort of ratchet effect, rights won will be hard if not impossible to reverse. Societies embodying forms of domination can therefore be compared on dimensions of stability: the more domination, the more resistance, and the less stability. Such societies are inferior on the dimension of justice to more emancipatory society on the terms of both kinds of justice, official and radical. -/- This is not question begging because regimes of domination incorporate stability no less than more emancipatory social orders. The choice between official justice embodying domination and radical justice that does not is not arbitrary because it is based on a shared commitment to long term stability. This offers an empirical test of which social orders are more justice, and a prediction that over time, domination will tend to decrease. (shrink)

McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The condition is: (...) logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many. (shrink)

La rinascita negli ultimi decenni di un nutrito dibattito intorno alla nozione di analiticità dopo le critiche a suo tempo mosse da Quine alla batteria di nozioni utilizzate da Rudolf Carnap (ad esempio, postulati di significato, regole semantiche, definizioni implicite, convenzioni e stipulazioni esplicite) prende le mosse da una riflessione critica sulle argomentazioni di Quine e tenta, da un lato, di approfondire meglio il legame fra analiticità e conoscenza a priori, e, dall’altro, di capire meglio il ruolo che (...) la definizione può svolgere nella costituzione del significato e nella formulazione di verità concettuali. Questa nuova concezione è detta “epistemica” ed ha fra i suoi più autorevoli fautori Crispin Wright, Bob Hale e Paul Boghossian. Boghossian, al pari di molti filosofi critici della nuova concezione epistemica, come Timothy Williamson, conviene però con Quine nel sostenere che gli enunciati analitici hanno portata fattuale e vertono anch’essi sul mondo, oltre che sul linguaggio. Anche per questa ragione essi possono rendere possibile una genuina estensione delle nostre conoscenze. Tuttavia una seconda linea di obiezioni facenti capo dapprima a Paul Horwich, e in seguito agli stessi Wright e Hale, mette in evidenza rispettivamente due difficoltà corrispondenti alle questioni dell’arroganza e dell’accettazione. In questa discussione una parte importante è svolta dalla ripresa e della discussione del condizionale di Carnap, impiegato per rendere conto del ruolo che i termini teorici svolgono nel quadro dell’intera teoria cui appartengono, senza con ciò sposare le conseguenze dell’olismo quineano. La tesi centrale che questo lavoro cerca di rendere plausibile è che una lettura attenta degli ultimi scritti di Carnap mostri come il carattere aperto che egli attribuisce ai termini teorici in ragione, sia dello loro intrinseca indeterminatezza, sia delle revisioni imposte dalle scoperte scientifiche, è perfettamente compatibile con la fattorizzazione del contenuto di una teoria scientifica data in una parte linguistica, il condizionale di Carnap, riguardante la costituzione del significato di un certo termine teorico, e nella sua controparte empirica, che consente di registrare l’impatto dell’esperienza sulla teoria in questione. Se praticabile, questa concezione può a buon diritto entrare nel novero delle teorie epistemiche dell’analiticità, senza accampare alcuna pretesa di far rivivere i fasti della conoscenza a priori classica. (shrink)

Sustainability is commonly recognized as an important goal, but there is little agreement on what sustainability is, or what it requires. This paper looks at some common approaches to sustainability, and while acknowledging the ways in which they are useful, points out an important lacuna: that for something to be sustainable, people must be willing to work to sustain it. The paper presents a framework for thinking about and assessing sustainability which highlights people working to sustain. It also briefly discusses (...) Integrated Water Resource Management and the example of the California Water Plan to explore what such a perspective brings that is overlooked in other approaches, and how this approach might be pursued. Ultimately, this framework argues that a system can only be described as sustainable if people’s work to sustain the system is biophysically possible, socially possible, and if people would freely choose to do the sustaining work. -/- Read More: http://ascelibrary.org.proxy1.cl.msu.edu/doi/abs/10.1061/%28ASCE%29WR.1943-5452.0000526. (shrink)

In legal proceedings, a fact-finder needs to decide whether a defendant is guilty or not based on probabilistic evidence. We defend the thesis that the defendant should be found guilty just in case it is rational for the fact-finder to believe that the defendant is guilty. We draw on Leitgeb’s stability theory for an appropriate notion of rational belief and show how our thesis solves the problem of statistical evidence. Finally, we defend our account of legal proof against challenges from (...) Staffel and compare it to a recent competitor put forth by Moss. (shrink)

ITA: In che modo il nostro cervello è in grado di produrre quel tipo di comportamento flessibile e volto a specifici scopi che chiamiamo intelligenza? Le differenze cognitive tra individui sono dovute a una varietà di abilità mentali o a una sola? Questo articolo discute gli elementi centrali della teoria dell’intelligenza generale proposta da John Duncan nel volume How intelligence happens, tradotto recentemente in italiano e corredato da un capitolo conclusivo inedito. Prendendo le mosse dalla ricerca di Charles Spearman (...) sull’intelligenza generale e sui test d’intelligenza, Duncan caratterizza l’intelligenza nei termini di integrazione e controllo cognitivo. I dati neuroscientifici raccolti da Duncan suggeriscono che questi aspetti chiave del comportamento intelligente siano realizzati da un circuito cerebrale, chiamato multiple-demand system, in grado di scomporre problemi complessi in sotto-problemi più semplici e integrare informazioni da varie aree del cervello. ENG: How does our brain generate that sort of flexible and goal-directed behaviour that we call intelligence? Are individual differences in intelligence due to a variety of cognitive abilities or do they depend on one single mental ability? In this commentary, I revise and critically assess the key elements of John Duncan’s theory of general intelligence presented in the popular-science book How intelligence happens, recently translated into Italian and edited by F. Pavani, with a new final chapter. Starting from Charles Spearman’s research on a general intelligence factor and psychometric tests, Duncan advances a theory that characterises intelligence in terms of integration and cognitive control. Neuropsychological and neuroimaging data suggest that such key aspects of intelligent behaviour are realised by a brain network called a multiple-demand system, which is capable of decomposing complex problems into simpler sub-problems and then integrating information from different brain areas. (shrink)

Indian Philosophy has reached across the globe. It is popular for its practical way towards life. Study of Indian philosophy should be part of all streams of education. Film is effective tool of communication. It attracts all generations and makes strong impression in the mind. Film is always considered as an effective tool in Pedagogy. Philosophy deals with abstract concepts, their correlation and logical reasoning. It deals with the complex problem of reality. People have notion that philosophy is a dry (...) and theoretical subject. Students can understand complex philosophical ideas if they are demonstrated through films. There are films based on biographies of philosophers, life picture of great people, incidences in life of philosophers. But it can attract only limited number of audience. Some popular Hollywood films have amalgamation of science fiction, super natural elements, fantastic story guided by some philosophical principles. Such films attract audience from different strata. Viewer is totally captivated by extra ordinary super natural and fictional elements in the film. As a result, certain philosophical principles are taught to audience without their conscious effort. (Kantāsammita upadeśa) Teaching philosophy with the means of such films can be definitely effective tool in Pedagogy. Such practise will not only create liking for Indian Philosophy but will result in effective understanding of complex ideas. It can create awareness that Indian Philosophy is embraced across the globe, there are no boundaries for philosophical deliberations and there are certain common threads in different philosophical schools. Paper will take example of popular movie ‘Matrix’ to explain the principles of Advaita Vedānta. The Matrix is a 1999 science fiction film written and directed by The Wachowskis, starring Keanu Reeves, Laurence Fishburne, Carrie-Anne Moss, Hugo Weaving, and Joe Pantoliano. It states the journey of hero of the film ‘Neo’ who is aspiring for reality. He is struggling between illusory world and the real world which is presented through the means of science fiction. This paper will analyse Matrix from the perspective of Advaita Vedānta. Māyā projects the illusory world (vikṣepa) in place of Brahman (āvaraṇa). Film portrays digital world as illusory world. One sees this world as real due to limitations of body, mind and intellect. Neo goes to the real world and realises his true nature. True reality is beyond senses and sense objects (atindrīya). Concepts of Advaita Vedānta can be explained with this film. Such movies can be shown to students along with Vedanta discourses. Paper will explore ‘Film and Philosophy’ as an effective pedagogical model. (shrink)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...) simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and to provide a common framework for the model organism communities (...) to classify developmental structures. Definitions for the types and relationships are being generated by a consortium of investigators from diverse backgrounds to ensure applicability to all organisms. CARO will support the coordination of cross-species ontologies at all levels of anatomical granularity by cross-referencing types within the cell type ontology (CL) and the Gene Ontology (GO) Cellular Component ontology. A complete cross-species CARO could be utilized in other ontologies for cross-product generation. (shrink)

Nel primo paragrafo sarà esaminato l’impianto normativo che regola le pubbliche amministrazioni, riformato dalle l. n. 142 e n. 241 del 1990, dal D.Lgs. 29/1993, dalle “leggi Bassanini” e dalla legge-quadro 150/2000, sia riguardo al diritto di accesso nei confronti dell’attività dell’amministrazione, sia in merito al radicamento di criteri di efficacia, efficienza ed economicità delle policies sia agli strumenti con cui gli Enti locali e cittadini possono comunicare. Gli anni ‘90 segnano l’inizio di un processo volto alla riorganizzazione delle PA (...) a partire dalla centralità della comunicazione istituzionale ma anche della concezione del “diritto all’informazione” nelle tre accezioni di diritto “di informare, “di informarsi” e “essere informati”. La Levi ha ben sottolineato “la rapidità inusuale nella storia nazionale” di tale riforma e la centralità assunta in essa dalle dimensioni dell’informazione, della comunicazione e della partecipazione: "In sintesi, si può ritenere legittimo concludere che le riforme del decennio 1990-2000 abbiano segnato il passaggio dal segreto alla trasparenza e dall’unilateralità alla partecipazione. Le politiche di modernizzazione in tema di comunicazione pubblica e di maggiore trasparenza dell’attività dell’amministrazione si sono mosse verso una più marcata tutela dei diritti dei cittadini e verso l’accentuazione del risultato dell’azione amministrativa" (2004, p. 16). Grandi ha ribadito che tale evoluzione costituisce nella cultura politica dello stato di diritto una «sorta di pre-condizione dell’emergere dei nuovi diritti di cittadinanza, intesi quale partecipazione consapevole e informata al processo decisionale pubblico» (Grandi 20022, 13). Nel secondo paragrafo verranno descritte gli ambiti di applicazione, le finalità, gli obiettivi e le strutture della comunicazione istituzionale disciplinate dalla legge n. 150/2000 e dai conseguenti regolamenti attuativi: il Portavoce, l’Ufficio stampa, l’Ufficio per le relazioni al pubblico. Come vedremo, si tratta di una normativa che rappresenta un punto di arrivo e un punto di partenza, in quanto, da un lato, se chiude il decennio delle riforme amministrative, d’altro lato, problematizza compiutamente per la prima volta il rapporto di comunicazione tra PA e cittadini e pone in evidenza tutte le difficoltà nell’implementare le norme nella realtà. Agli elementi critici della comunicazione istituzionale sono riservate le considerazioni conclusive: dal reclutamento e formazione del personale, al coordinamento delle strutture, dal persistere di mentalità burocratiche e autoreferenziale alla carenza di risorse. Il problema delle dotazioni organiche e finanziarie, in particolare, è molto sentito dalle amministrazioni di dimensioni più piccole, le quali spesso ricorrono alla “esternalizzazione” di attività degli uffici di comunicazione, non solo per la produzione editoriale, le campagne pubblicitarie e i servizi di gestione degli eventi, ma anche per il sito internet e i compiti di informazione più tradizionali. In tale situazione, la comunicazione istituzionale, pur dichiarata come strategica, rischia di rimanere un momento residuale dell’azione pubblica sia in termini di processo sia in termini di contenuto, slegata dagli obiettivi dell’organizzazione. (shrink)

This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative logics, in (...) that it does not allow for the formation of comparative statements out of truth-functional molecules. It is argued that CL provides a better analysis of predicate vagueness than classical logic, fuzzy logic or supervaluation theory. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

In this paper I provide some formal schemas for the analysis of vague predicates in terms of a set of semantic relations other than classical synonymy, including weak synonymy (as between "large" and "huge"), antonymy (as between "large" and "small"), relativity (as between "large" and "large for a dog"), and a kind of supervenience (as between "large" and "wide" or "long"). All of these relations are representable in the simple comparative logic CL, in accordance with the basic formula: the more (...) something is F, the more (or less) it is G. I use Carnapian meaning postulates to define these relations as constraints on interpretations of the formal language of CL. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)