Nudges have gained popularity as a behavioral change tool that aims to facilitate the selection of the sensible choice option by altering the way choice options are presented. Although nudges are designed to facilitate these choices without interfering with people’s prior preferences, both the relation between individuals’ prior preferences and nudge effectiveness, as well as the notion that nudges ‘facilitate’ decision-making have received little empirical scrutiny. Two studies examine the hypothesis that a social proof nudge is particularly effective (...) when people have no clear prior preference, either because people are indifferent (in a colour-categorization task; Study 1, N = 255) or because people experience a choice conflict (making shopping decisions about meat products; Study 2, N = 97). Both studies employed a social proof nudge to steer participants’ choices. The potential facilitating effect of the nudge was tested using a mouse-tracker paradigm that implicitly assessed experienced uncertainty during decision-making. Results showed that the nudge was effective in steering participants’ decisions; the facilitation effect (i.e., reduced uncertainty regarding the decision) was only observed for conflicting preferences, but not under indifference. A better understanding of when and how nudges can influence individuals’ behavior may help in deciding whether nudges are an appropriate policy tool for changing particular undesirable behavior. (shrink)

Smith argues that, unlike other forms of evidence, naked statistical evidence fails to satisfy normic support. This is his solution to the puzzles of statistical evidence in legal proof. This paper focuses on Smith’s claim that DNA evidence in cold-hit cases does not satisfy normic support. I argue that if this claim is correct, virtually no other form of evidence used at trial can satisfy normic support. This is troublesome. I discuss a few ways in which Smith can respond.

The article discusses burden of proof rules in social criticism. By social criticism I mean an argumentative situation in which an opponent publicly argues against certain social practices; the examples I consider are discrimination on the basis of species and discrimination on the basis of one's nationality. I argue that burden of proof rules assumed by those who defend discrimination are somewhat dubious. In social criticism, there are no shared values which would uncontroversially determine (...) what is the reasonable presumption and who has the burden of proof, nor are there formal rules which would end the debate and determine the winner at a specific point. (shrink)

We show that, when the number of participating agents n tends to infinity, all classical social choice rules are asymptotically strategy -proof with the proportion of manipulable profiles being of order O.

We study the existence of a group of individuals which has some decisive power for social choice correspondences that satisfy a monotonicity property which we call modified monotonicity. And we examine the relation between modified monotonicity and strategy-proofness of social choice correspondences according to the definition by Duggan and Schwartz (2000). We will show mainly the following two results. (1) Modified monotonicity implies the existence of an oligarchy. An oligarchy is a group of individuals such that it has (...) some decisive power (semi-decisiveness), and at least one of the most preferred alternatives of every its member is always chosen by any social choice correspondence. (2) Strategy-proofness of social choice correspondences is equivalent to modified monotonicity. (shrink)

Which rules for aggregating judgments on logically connected propositions are manipulable and which not? In this paper, we introduce a preference-free concept of non-manipulability and contrast it with a preference-theoretic concept of strategy-proofness. We characterize all non-manipulable and all strategy-proof judgment aggregation rules and prove an impossibility theorem similar to the Gibbard--Satterthwaite theorem. We also discuss weaker forms of non-manipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than “premise-based (...) voting”, which is strategy-proof only for “reason-oriented” individuals. Surprisingly, for “outcome-oriented” individuals, the two rules are strategically equivalent, generating identical judgments in equilibrium. Our results introduce game-theoretic considerations into judgment aggregation and have implications for debates on deliberative democracy. (shrink)

This paper presents a proof of concept for a graphical models approach to assessing the moral coherence and moral robustness of systems of social interactions. “Moral coherence” refers to the degree to which the rights and duties of agents within a system are effectively respected when agents in the system comply with the rights and duties that are recognized as in force for the relevant context of interaction. “Moral robustness” refers to the degree to which a system of (...) social interaction is configured to ensure that the interests of agents are effectively respected even in the face of noncompliance. Using the case of conscientious objection of pharmacists to filling prescriptions for emergency contraception as an example, we illustrate how a graphical models approach can help stakeholders identify structural weaknesses in systems of social interaction and evaluate the relative merits of alternate organizational structures. By illustrating the merits of a graphical models approach we hope to spur further developments in this area. (shrink)

In this paper, we suggest the broader concept of proof-event, introduced by Joseph Goguen, as a fundamental methodological tool for studying proofs in history of mathematics. In this framework, proof is understood not as a purely syntactic object, but as a social process that involves at least two agents; this highlights the communicational aspect of proving. We claim that historians of mathematics essentially study proof-events in their research, since the mathematical proofs they face in the extant (...) sources involve many informal components, often not completely formalizable, and convey some kind of semantic content calling for understanding and verification. We illustrate the application of this methodological approach in some outstanding historical cases, paying particular attention to the process of proof interpretation that makes a proof-event alive. Finally, we suggest a classification of proof-events, according to the conditions imposed upon problem-solving. This enables us to speak about broad classes of proof-events in history of mathematics that share a common characteristic. (shrink)

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh (...) perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other. (shrink)

Since Kenneth Arrow showed the general possibility theorem, a number of social choice theorists have provided alternative proofs of it. In a recent article, Geanakoplos (Econ Theory 26:211–215, 2005) has constructed a new proof of the theorem. The present article provides alternative proofs of various Arrovian impossibility results from the 1960s to the 1970s by utilizing Geanakoplos’s method. We prove semi-order impossibility theorems, the quasi-transitive veto theorem, the quasi-transitive dictatorship theorem, the triple acyclic veto theorem, and the impossibility (...) theorem without the Pareto principle. (shrink)

A proof P of a theorem T is transferable when a typical expert can become convinced of T solely on the basis of their prior knowledge and the information contained in P. Easwaran has argued that transferability is a constraint on acceptable proof. Meanwhile, a proof P is fixable when it’s possible for other experts to correct any mistakes P contains without having to develop significant new mathematics. Habgood-Coote and Tanswell have observed that some acceptable proofs are (...) both fixable and in need of fixing, in the sense that they contain nontrivial mistakes. The claim that acceptable proofs must be transferable seems quite plausible. The claim that some acceptable proofs need fixing seems plausible too. Unfortunately, these attractive suggestions stand in tension with one another. I argue that the transferability requirement is the problem. Acceptable proofs need only satisfy a weaker requirement I call “corrigibility”. I explain why, despite appearances, the corrigibility standard is preferable to stricter alternatives. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Feminist Studies 41, no. 3. © 2015 by Feminist Studies, Inc. 623 Jaye Cee Whitehead, Kath Bassett, Leia Franchini, and Michael Iacolucci “The Proof Is in the Pudding”: How Mental Health Practitioners View the Power of “Sex Hormones” in the Process of Transition In the United States today, popular discourse touts the power of “sex hormones” and hormone receptors in the brain to chemically produce gender expressions (manifested (...) in physical sex traits, behaviors, and attitudes) and identities (a sense of self as feminine or masculine). These accounts range from common assumptions that Western ideals of femininity (such as empathy understanding, cooperative orientation, nurturing behavior) and masculinity (rational/spatial understanding, competitive orientation, violent behavior) are produced by corresponding sex hormones, to studies that reduce complex gender identities and macrosocial economic phenomena to presocial, binary, hormonal processes.1 For sociologists, accounts that reduce complex identities to internal hormonal reactions are problematic for two primary reasons: first, they are inaccurate because they fail to examine how hormonal reactions are embedded in a complex cultural process of meaning and interpretation; second, they operate as bioreductive ideologies that obscure the social power inherent to the process of gender identity construction. In what follows, we extend both of these insights by examining mental health 1. For an example of a hybrid popular-scientific account of the power of sex hormones to destabilize economic structures, see Jon Coates and Joe Herbert, “Endogenous Steroids and Financial Risk Taking on a London Trading Floor,” Proceedings of the National Academy of Sciences 105, no. 16 (April 2008): 6167–72. 624 Whitehead, Bassett, Franchini, and Iacolucci practitioners’ divergent interpretations of the power of sex hormones in the process of gender transition.2 In doing so, we examine the cultural power of sex hormones in crafting gender identities without reproducing reductionist interpretations of trans embodiment. Perhaps what is most perplexing about the way we speak of sex hormones is that we know it is inaccurate to describe these hormones as sexed; scientists have acknowledged since the 1930s that they are neither sex specific in their function, nor in terms of their location in male or female bodies.3 In her extensive historicization of sex hormones, Anne Fausto-Sterling concludes that it is more accurate to call androgen- and estrogen-based hormones, “steroid hormones” as they have functions that are not confined to corresponding sexed bodies. In fact she urges scientists to “break out of the sex hormone straightjacket” and to look at steroids as just one of a number of components that are important to the creation of sex and gender, including environment and experience.4 Scholars also point to an inextricable link between the chemical operation of hormones and the social process of constructing meaning, both at the level of social interaction and macrocultural constructions of sex categories and gender ideologies.5 While brain organization/activation theory attributes sex and gender differences to hormonal interactions within the developing brain, Fausto-Sterling questions the distinction between activation and organization by pointing out how “the brain can respond to hormonal stimuli with anatomical changes…hormonal systems, after all, respond exquisitely to experience, be it in the form of nutrition, stress, or sexual activity (to name but a few possibilities ).”6 Drawing from Elizabeth Grosz, Fausto-Sterling argues that the power of hormones is best understood according to the model of the 2. “Gender transition” is a controversial phrase, as it implies that transgendered individuals who receive hormone therapy are changing identities. We are only using it for lack of clear alternative phrasing, not because we believe body modifications change gender identities. 3. See Anne Fausto-Sterling, Sexing the Body: Gender Politics and the Construction of Sexuality (New York: Basic Books, 2000); Rebecca Jordan-Young, Brainstorm: The Flaws in the Science of Sex Differences (Cambridge, MA: Harvard University Press, 2010); and Nelly Oudshoorn, Beyond the Natural Body: An Archeology of Sex Hormones (New York: Routledge, 1994). 4. Fausto-Sterling, Sexing the Body, 193–94. 5. Fausto-Sterling, Sexing the Body. 6. Ibid., 232. Whitehead, Bassett, Franchini, and Iacolucci 625 Möbius strip, wherein internal components of the self are always connected to and continuous with outer components such as culture and environment.7 In other... (shrink)

During the first phase of Greek mathematics a proof consisted in showing or making visible the truth of a statement. This was the epagogic method. This first phase was followed by an apagogic or deductive phase. During this phase visual evidence was rejected and Greek mathematics became a deductive system. Now epagoge and apagoge, apart from being distinguished, roughly according to the modern distinction between inductive and deductive procedures, were also identified on account of the conception of generality as (...) continuity. Epistemology of mathematics today only remembers the distinction, forgetting where they agreed, in this manner not only destroying the unity of the perceptual and conceptual but also forgetting what could be gained from Aristotelian demonstrative science. (shrink)

Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space (...) and time. This new meta-methodological concept is designed to cover not only “traditional” formal proofs but all kinds of proofs and inference steps, including incomplete or purported proofs. Our approach attempts to make proof-events more comprehensive to express the complete trajectory of a mathematical proof-event until the ultimate validation of the proving outcome. Thus, we advance an extended version of proof-event calculus which is built on argumentation theories designed to capture the internal and external structure of collaborative mathematical practice and highlight the relationship between proof, human reasoning, and cognitive processes. In addition, another area in which argumentation can make a significant contribution is dealing with the defeasible knowledge of the Web which is a product of its open and ubiquitous nature. This approach seems to be sufficient for the presentation of Web-based proving processes as manifested in the case of the Mini-Polymath 4 project. (shrink)

herent and rational way. Several proposals have been made for information merging in which it is possible to encode the preferences of sources (Benferhat, Dubois, Prade, & Williams, 1999; Benferhat, Dubois, Kaci, & Prade, 2000; Lafage & Lang, 2000; Meyer, 2000, 2001; Andreka, Ryan, & Schobbens, 2001). Information merging has much in common with social choice theory, which aims to define operations reflecting the preferences of a society from the individual preferences of the members of the society. Given this (...) connection, frameworks for information merging should provide satisfactory resolutions of problems raised in social choice theory. We investigate the link between the merging of epistemic states and two important results in social choice theory. We show that Arrow’s well-known impossibility theorem (Arrow, 1963) does not hold in merging frameworks when the preferences of sources are represented in terms of epistemic states. This is achieved by providing a consistent set of properties for merging from which Arrow-like properties can be derived. Similarly, by extending these to a consistent framework which includes properties corresponding to the notion of being strategy-proof, we show that results due to Gibbard and Satterthwaite (Gibbard, 1973; Satterthwaite, 1973, 1975) and other (Benoit, 2000; Barber´a, Dutta, & Sen, 2000) do not hold in merging frameworks. (shrink)

This paper uses some modest claims about knowledge to identify a significant problem for contemporary American trial procedure. First, suppose that legal proof requires knowledge. In particular, suppose that the defendant in a jury trial is proven guilty only if the jury knows that the defendant is guilty. Second, suppose that knowledge is subject to pragmatic encroachment. In particular, whether the jury knows the defendant is guilty depends on what’s at stake in their decision to convict, including the consequences (...) that the defendant may face if convicted. Then in order to know whether a defendant has been proven guilty, jurors may need to know something about the potential consequences of conviction. But in nearly every American criminal trial, this information is withheld from jurors. -/- In §1, I lay out the philosophical premises of my argument. In §2, I say more about why these premises present a problem for American trial procedure, and I identify social and political structures that exacerbate the problem. I describe the reasoning that has led courts to withhold sentencing information from jurors, and I diagnose the flaw in this reasoning. In §3, I expand my initial argument, strengthening its conclusions and offering alternative sets of premises that still entail them. I argue that the legal ramifications of pragmatic encroachment depend on highly controversial questions in epistemology, questions about the precise nature of practical stakes. In §4, I propose strategies for legal reform. (shrink)

Quid est veritas? -- What is science? how we understand the physical world -- What a piece of work is man: the rise of the social sciences -- Educational science and pseudo science -- Multiple intelligences: if everyone's smart, no one is -- My NLP and brain gym hell -- Group work: failing better, together -- I'm with stupid: emotional intelligence -- Buck Rogers and the 21st century curriculum -- Techno, techno, techno, techno: digital natives in flipped classrooms -- (...) The holy trinity of the three-part lesson -- There are no such things as learning styles -- Game over: the gamification of education -- Learning to learn to learn to learn -- The hard smell: smell/ dance/ box/sing yourself smarter/ happier/ healthier -- Thinking hats on! -- School uniform armageddon -- What everyone in education should do next. (shrink)

Condorcet’s voting paradox shows that pairwise majority voting may lead to cyclical majority preferences. In a famous paper, Sen identified a general condition on a profile of individual preference orderings, called triplewise value-restriction, which is sufficient for the avoidance of such cycles. This note aims to make Sen’s result easily accessible. We provide an elementary proof of Sen's possibility theorem and a simple reformulation of Sen’s condition. We discuss how Sen’s condition is logically related to a number of precursors. (...) Finally, we state a necessary and sufficient condition for the avoidance of cycles, and suggest that, although there is still some logical space between that condition and Sen’s sufficient condition, Sen’s condition cannot be further generalized in an appealing way. (shrink)

The essay argues that while there is no general agreement on whether moral realism is true, there is general agreement on at least some of the moral obligations that we have if moral realism is true. Given that moral realism might be true, and given that we know some of the things we ought to do if it is true, we have a reason to do those things. Furthermore, this reason is itself an objective moral reason. Thus, if moral realism (...) might be true, then it is true. (shrink)

Sen's classic social choice result supposedly demonstrates a conflict between Pareto and even minimal forms of liberalism. By providing the first direct mathematical proof of this seminal result, we underscore a significantly different interpretation: rather than conflicts among rights, Sen's result occurs because the liberalism assumption negates the assumption that voters have transitive preferences. This explanation enriches interpretations of Sen's conclusion by including radically new kinds of societal conflicts, it suggests ways to sidestep these difficulties, and it explains (...) earlier approaches to avoid the difficulties. (shrink)

How many serious mistakes can a brilliant philosopher make in a single paragraph? Many think that Mill answers this question by example—in the third paragraph of Chapter IV of Utilitarianism. Here is the notorious paragraph: The only proof capable of being given that an object is visible, is that people actually see it. The only proof that a sound is audible, is that people hear it: and so of the other sources of our experience. In like manner, I (...) apprehend, the sole evidence it is possible to produce that anything is desirable, is that people do actually desire it. If the end which the utilitarian doctrine proposes to itself were not, in theory and in practice, acknowledged to be an end, nothing could ever convince any person that it was so. No reason can be given why the general happiness is desirable, except that each person, so far as he believes it to be attainable, desires his own happiness. This, however, being a fact, we have not only all the proof which the case admits of, but all which it is possible to require, that happiness is a good: that each person's happiness is a good to that person, and the general happiness, therefore, a good to the aggregate of all persons. Happiness has made out its title as one of the ends of conduct, and consequently one of the criteria of morality. (shrink)

John Stuart Mill proposed that all policy precepts, be they in the areas of morality or prudence or aesthetics, are all subordinate to the precepts of the Art of Life. The value which he assumes in defining the Art of Life is the Principle of Utility. This principle, being normative rather than fact, can admit of no proof based solely on deductive inference. Yet Mill proposed considerations that he believed capable of rationally persuading one to accept his principle as (...) the basic principle for the Art of Life. This paper aims to evaluate this argument. In particular, it tries to show that a crucial step, often thought to be a logical howler, is not to be so simply dismissed. It is shown that if one accepts certain theses from Mill's philosophy of science and of social science, concerning the composition of causes, then the crucial step is fully justified. It is also suggested that these theses of Mill's philosophy of science are mistaken. So Mill's proof of utility is, after all, unsound, but the reconstruction proposed shows it to be much more plausible and much more philosophically interesting than is often thought. (shrink)

Pharmaceutical and medical device companies apply social psychology to influence physicians' prescribing behavior and decision making. Physicians fail to recognize their vulnerability to commercial influences due to self-serving bias, rationalization, and cognitive dissonance. Professionalism offers little protection; even the most conscious and genuine commitment to ethical behavior cannot eliminate unintentional, subconscious bias. Six principles of influence — reciprocation, commitment, social proof, liking, authority, and scarcity — are key to the industry's routine marketing strategies, which rely on the (...) illusion that the industry is a generous avuncular partner to physicians. In order to resist industry influence, physicians must accept that they are vulnerable to subconscious bias and have both the motivation and means to resist industry influence. A culture in which accepting industry gifts engenders shame rather than gratitude will reduce conflicts of interest. If greater academic prestige accrues to distant rather than close relationships with industry, then a new social norm may emerge that promotes patient care and scientific integrity. In addition to educating faculty and students about the social psychology underlying sophisticated but potentially manipulative marketing and about how to resist it, academic medical institutions should develop strong organizational policies to counteract the medical profession's improper dependence on industry. (shrink)

"This collection is the first book-length examination of the various epistemological issues underlying legal trials. Trials are, among other things, centrally concerned with determining truth: whether a criminal defendant has in fact culpably committed the act of which they are accused, or whether a civil defendant is in fact responsible for the damages alleged by the plaintiff. But are trials truth-conducive? Assessing the value of trials as truth-seeking endeavors requires that we consider a host of underlying social epistemological questions. (...) The contributors to this volume address a number of these pressing questions, including but not limited to the following: How much credence should they give to eyewitness testimony? How should we balance the relative epistemic value of testimony offered by defense witnesses and prosecution witnesses? Are juries an effective means of arriving at justified beliefs about a defendant's guilt or innocence? When, if ever, is statistical information about a defendant's character relevant? What degree of certainty should we require to support a verdict of 'guilty'? How should standards of proof be interpreted for allegations that contain numerous discrete components? The Social Epistemology of Legal Trials will be of interest to scholars and upper-level students working on issues at the intersection of epistemology and philosophy of law"--. (shrink)

What do mathematicians mean when they use terms such as ‘deep’, ‘elegant’, and ‘beautiful’? By applying empirical methods developed by social psychologists, we demonstrate that mathematicians' appraisals of proofs vary on four dimensions: aesthetics, intricacy, utility, and precision. We pay particular attention to mathematical beauty and show that, contrary to the classical view, beauty and simplicity are almost entirely unrelated in mathematics.

Tsui and Weymark (Economic Theory, 1997) have shown that the only continuous social welfare orderings on the whole Euclidean space which satisfy the weak Pareto principle and are invariant to individual-specific similarity transformations of utilities are strongly dictatorial. Their proof relies on functional equation arguments which are quite complex. This note provides a simpler proof of their theorem.

This study investigates the underlying mechanisms of how young adolescents process social advertising (i. e., advertising on social networking sites which shows how many and which of the user’s friends have ‘liked’ the brand’s page). Particularly, two experiments examined the role of brand trust in adolescents’ attitude formation and how brand trust is predicted by theories of social proof and persuasion knowledge. In addition, the moderating role of brand familiarity and brand value is investigated. The first (...) experiment (N = 142) showed that higher brand trust was induced for social advertising for unfamiliar but not for familiar brands through the principle of social proof. This means that friends’ likes may reduce uncertainty and increase trust in unfamiliar brands through social advertising, something which enhances brand attitudes. Persuasion knowledge could not explain the effects of social advertising. The second experiment (N = 72) showed that social advertisements are more effective for brands that are symbolic (versus non-symbolic). Managerial and policy implications regarding social advertising targeting adolescents are discussed. (shrink)

In this paper I prove a theorem which is similar to Arrow's famous impossibility theorem. I show that no social welfare function can be both minimally majoritarian and also independent of irrelevant alternatives. My condition of minimal majoritarianism is substantially weaker than simple majority rule.

The paper works with a formal model of referenda, where a finite number of voters can choose between two options and abstention. A referendum will be invalid if too many voters abstain, otherwise the referendum will return one of the two options. We consider quorum rules where an option is chosen if it is preferred by the majority of voters and if at least a certain number of voters (the quorum) votes for the alternative. The paper characterizes these rules as (...) the only referenda which are strategy-proof over certain preferences. (shrink)

Purpose Online violence has been rampant in the past decade, intensifying the victims’ suffering owing to its rapid dissemination to vast audiences. This study aims to focus on online gender-based violence directed against young Bedouin women who have left their male-dominated home territory for academic studies. This study examined how the backlash against these students, intended to stop changes in traditional gender roles, is reflected in offensive TikTok videos. Design/methodology/approach This research is based on a qualitative-thematic analysis of 77 questionnaires (...) and 30 semistructured in-depth interviews with first-year female Bedouin students aged 18–21 years. Findings The backlash was widespread, with young Bedouin men using offensive videos as “proof” that women have violated codes of honor and morality. The videos exhibited four types of gender-based violence: claims of immoral behavior, aggressive captions that take the footage out of context, allegations of immodest clothing and digital photo editing that produced fabricated results. Examining participants' reactions to the videos, this study revealed two patterns of response: passive acceptance of the situation and an active approach that included reaching out to powerful Bedouin men for solutions. Originality/value This research enriches the literature on online gender-based violence, particularly against women in traditional societies, and suggests practical steps: developing online media literacy in traditional societies, adopting a proactive approach and nurturing social self-competence in women who have been victims of online gender-based violence. (shrink)

We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is (...) decidable, and give a complete axiomatization. To demonstrate the value of the logic, we show in particular how it can be applied to the problem of determining whether a social choice function is strategy-proof. (shrink)

There is one thing about some of the first crop of post independence rulers of Africa that I admire greatly. It is their keen sense of the practical importance of philosophy. Preeminent among them were leaders like Nkrumah, Senghor, Nyerere, Awolowo, Kaunda, and Sekou Toure. Amidst the awesome exigencies of postcolonial reconstruction they still devoted considerable attention to the philosophical bases of their programs. It can be debated whether the limits of the appreciation of the relevance of theory to practice (...) were not touched in Nkrumah's Consciencism in which proof of the consistency of his “revolutionary” propositions was offered by means of mathematical logic, but there can be no doubt of the sincerity of the underlying passion. South African Journal of Philosophy Vol. 27 2008: pp. 332-339. (shrink)

In this paper, I provide an argument for rejecting Sarah Moss's recent account of legal proof. Moss's account is attractive in a number of ways. It provides a new version of a knowledge-based theory of legal proof that elegantly resolves a number of puzzles about mere statistical evidence in the law. Moreover, the account promises to have attractive implications for social and moral philosophy, in particular about the impermissibility of racial profiling and other harmful kinds of statistical (...) generalisation. In this paper, I show that Moss's account of legal proof crucially depends on a moral norm called the rule of consideration. I argue that we have a number of reasons to be sceptical of this rule. Once we reject the rule, it is not clear that Moss's account of legal proof is either plausible or attractive. (shrink)

This release includes the data and code used in: Malaterre, C., F. Lareau (2023) Inferring social networks from unstructured text data: A proof of concept detection of “hidden communities of interest”. Text and Data Analytics for Policy.

This paper explores the relationship between informal reasoning, creativity in mathematics, and problem solving. It underscores the importance of environments that promote interaction, hypothesis generation, examination, refutation, derivation of new solutions, drawing conclusions, and reasoning with others, as key factors in enhancing mathematical creativity. Drawing on argumentation logic, the paper proposes a novel approach to uncover specific characteristics in the development of formalized proving using “proof-events.” Argumentation logic can offer reasoning mechanisms that facilitate these environments. This paper proposes how (...) argumentation can be implemented to discover certain characteristics in the development of formalized proving with “proof-events”. The concept of a proof-event was introduced by Goguen who described mathematical proof as a multi-agent social event involving not only “classical” formal proofs, but also other informal proving actions such as deficient or alleged proofs. Argumentation is an integral component of the discovery process for a mathematical proof since a proof necessitates a dialogue between provers and interpreters to clarify and resolve gaps or assumptions. By formalizing proof-events through argumentation, this paper demonstrates how informal reasoning and conflicts arising during the proving process can be effectively simulated. The paper presents an extended version of the proof-events calculus, rooted in argumentation theories, and highlights the intricate relationships among proof, human reasoning, cognitive processes, creativity, and mathematical arguments. (shrink)

Difficulty engaging in reciprocal social interactions is a core characteristic of autism spectrum disorder. The mechanisms supporting effective dynamic real-time social exchanges are not yet well understood. This proof-of-concept hyperscanning electroencephalography study examined neural synchrony as the mechanism supporting interpersonal social interaction in 34 adolescents with autism spectrum disorder, age 10–16 years, paired with neurotypical confederates of similar age. The degree of brain-to-brain neural synchrony was quantified at temporo-parietal scalp locations as the circular correlation of oscillatory (...) amplitudes in theta, alpha, and beta frequency bands while the participants engaged in a friendly conversation. In line with the hypotheses, interpersonal neural synchrony was significantly greater during the social interaction compared to the baseline. Lower levels of synchrony were associated with increased behavioral symptoms of social difficulties. With regard to sex differences, we found evidence for stronger interpersonal neural synchrony during conversation than baseline in females with autism, but not in male participants, for whom such condition differences did not reach statistical significance. This study established the feasibility of hyperscanning during real-time social interactions as an informative approach to examine social competence in autism, demonstrated that neural coordination of activity between the interacting brains may contribute to social behavior, and offered new insights into sex-related variability in social functioning in individuals with autism spectrum disorders. (shrink)

For more than a half-century, evidence scholars have been exploring whether the criminal standard of proof can be grounded in decision theory. Such grounding would require the emergence of a social consensus about the utilities to be assigned to the four outcomes at trial. Significant disagreement remains, even among legal scholars, about the relative desirability of those outcomes and even about the formalisms for manipulating their respective utilities. We attempt to diagnose the principal reasons for this dissensus and (...) to suggest ways in which a broadly shared evaluation might be forged, both with respect to the appropriate equations for defining the standard of proof and with respect to the appropriate utilities to associate with the various trial outcomes. Where consensus cannot be forged, we hold that remaining differences can probably be finessed. We also suggest ways to elicit the utilities of individuals on these matters so as to avoid the usual flaws of such surveys. Along the way, we note a). the disproportionate role that the Blackstone ratio of errors continues to play in appraisals of the utilities of trial outcomes (despite its unintelligibility in the context of utilities) and b). the persisting belief -for which there is no theoretical basis-that every plausible assignment of utilities will inevitably result in a very high standard of proof. Finally, we examine some of the technical features associated with a proposed rank ordering of the utilities of trial outcomes. (shrink)

In recent years, new forms of transnational regulation have emerged, filling the void created by the failure of governments and international institutions to effectively regulate transnational corporations. Among the variety of initiatives addressing social and environmental problems, a growing number of certification systems have appeared in various sectors, particularly agrifood. Most initiatives rely on independent third-party certification to verify compliance with a standard, as it is seen as the most credible route for certification. The effects of third-party audits, however, (...) still need to be empirically investigated. This article provides a critical assessment of the notion of ‘evidence’ which is at the heart of auditing practices. It focuses on the case of the Roundtable on Sustainable Palm Oil (RSPO) and fieldwork carried out in Indonesia, the world’s largest producer of palm oil. In this country, some non-governmental organizations decided to participate in the RSPO in order to use this platform to tackle the issue of land conflicts. They managed to include important clauses regarding indigenous and land rights in the RSPO standard. In practice, however, auditors rarely recognize as valid evidence the forms of proof put forward by local communities. As a result, the whole process risks compounding local power imbalances. (shrink)