Generic statements express generalizations about categories. Current theories suggest that people should be especially inclined to accept generics that involve threatening information. However, previous tests of this claim have focused on generics about non-human categories, which raises the question of whether this effect applies as readily to human categories. In Experiment 1, adults were more likely to accept generics involving a threatening property for artifacts, but this negativity bias did not also apply to human categories. Experiment 2 examined an alternative (...) hypothesis for this result, and Experiments 3 and 4 served as conceptual replications of the first experiment. Experiment 5 found that even preschoolers apply generics differently for humans and artifacts. Finally, Experiment 6 showed that these effects reflect differences between human and non-human categories more generally, as adults showed a negativity bias for categories of non-human animals, but not for categories of humans. These findings suggest the presence of important, early-emerging domain differences in people's judgments about generics. (shrink)

I argue for the Wittgensteinian thesis that mathematical statements are expressions of norms, rather than descriptions of the world. An expression of a norm is a statement like a promise or a New Year's resolution, which says that someone is committed or entitled to a certain line of action. A expression of a norm is not a mere description of a regularity of human behavior, nor is it merely a descriptive statement which happens to entail a norms. The view can (...) be thought of as a sort of logicism for the logical expressivist---a person who believes that the purpose of logical language is to make explicit commitments and entitlements that are implicit in ordinary practice. The thesis that mathematical statements are expression of norms is a kind of logicism, not because it says that mathematics can be reduced to logic, but because it says that mathematical statements play the same role as logical statements. ;I contrast my position with two sets of views, an empiricist view, which says that mathematical knowledge is acquired and justified through experience, and a cluster of nativist and apriorist views, which say that mathematical knowledge is either hardwired into the human brain, or justified a priori, or both. To develop the empiricist view, I look at the work of Kitcher and Mill, arguing that although their ideas can withstand the criticisms brought against empiricism by Frege and others, they cannot reply to a version of the critique brought by Wittgenstein in the Remarks on the Foundations of Mathematics. To develop the nativist and apriorist views, I look at the work of contemporary developmental psychologists, like Gelman and Gallistel and Karen Wynn, as well as the work of philosophers who advocate the existence of a mathematical intuition, such as Kant, Husserl, and Parsons. After clarifying the definitions of "innate" and "a priori," I argue that the mechanisms proposed by the nativists cannot bring knowledge, and the existence of the mechanisms proposed by the apriorists is not supported by the arguments they give. (shrink)

Gelman and Loken (2013, 2014) proposed that when researchers base their statistical analyses on the idiosyncratic characteristics of a specific sample (e.g., a nonlinear transformation of a variable because it is skewed), they open up alternative analysis paths in potential replications of their study that are based on different samples (i.e., no transformation of the variable because it is not skewed). These alternative analysis paths count as additional (multiple) tests and, consequently, they increase the probability of making a Type (...) I error during hypothesis testing. The present article considers this forking paths problem and evaluates four potential solutions that might be used in psychology and other fields: (a) adjusting the prespecified alpha level, (b) preregistration, (c) sensitivity analyses, and (d) abandoning the Neyman-Pearson approach. It is concluded that although preregistration and sensitivity analyses are effective solutions to p-hacking, they are ineffective against result-neutral forking paths, such as those caused by transforming data. Conversely, although adjusting the alpha level cannot address p-hacking, it can be effective for result-neutral forking paths. Finally, abandoning the Neyman-Pearson approach represents a further solution to the forking paths problem. (shrink)

If the goal of statistical analysis is to form justified credences based on data, then an account of the foundations of statistics should explain what makes credences justified. I present a new account called statistical reliabilism (SR), on which credences resulting from a statistical analysis are justified (relative to alternatives) when they are in a sense closest, on average, to the corresponding objective probabilities. This places (SR) in the same vein as recent work on the reliabilist justification of credences generally (...) [Dunn, 2015, Tang, 2016, Pettigrew, 2018], but it has the advantage of being action-guiding in that knowledge of objective probabilities is not required to identify the best-justified available credences. The price is that justification is relativized to a specific class of candidate objective probabilities, and to a particular choice of reliability measure. On the other hand, I show that (SR) has welcome implications for frequentist-Bayesian reconciliation, including a clarification of the use of priors; complemen- tarity between probabilist and fallibilist [Gelman and Shalizi, 2013, Mayo, 2018] approaches towards statistical foundations; and the justification of credences outside of formal statistical settings. Regarding the latter, I demonstrate how the insights of statistics may be used to amend other reliabilist accounts so as to render them action-guiding. I close by discussing new possible research directions for epistemologists and statisticians (and other applied users of probability) raised by the (SR) framework. (shrink)

Background: Educated women tend to have a greater awareness of the existence of ANC services, more aware of health problems, know more about the availability of health care services, and utilize the information more effectively than non-educated women. Moreover, higher levels of education tend to positively affect healthseeking behaviors, and education may increase a woman’s control over her pregnancy and expose women to more health education messages and campaigns, enabling them to recognize danger signs and complications and take appropriate action. (...) In this study, we tried to analyze to what level the maternal education can influence the antenatal care services and childcare. Methods: A community-based cross-sectional study was conducted on 93 randomly selected mothers who have children less than 7 years by using a pre-tested structured questionnaire for data collection at various tribal villages, at an average 25 kms away from Adilabad town from April-October 2019. Analysis was done using SPSS for windows version 16, Microsoft excel and Open epi website. Results: Out of 93 study subjects, 19.3% (18) of the study subjects were not registered for the antenatal services. Higher the maternal education higher the age at pregnancy (p<0.05), was associated with more preference for deliveries by doctors (p<0.05). More the frequency of exclusive breast feeding, long lasting breast feeding was associated more than a year (p<0.05), a smaller number of children with wasting (p<0.05). Conclusion: This study revealed that utilization of ANC services was relatively better for the mother’s educated higher than secondary school, but they are still low. Educational status is important in having more health seeking behavior. In this study, it proves that health education is more important than the mere school education which can help to improve knowledge on ANC. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Some philosophers oppose recent arguments for the Knowledge Norm of Assertion by claiming that assertion, being an act much like any other, will be subject to norms governing acts generally, such as those articulated by Grice for the purpose of successful, cooperative endeavours. But in fact, Grice is a traitor to their cause; or rather, they are his dissenters, not his disciples. Drawing on Grice's unpublished papers, I show that he thought of asserting as a special linguistic act in need (...) of its own norm, and he tied his maxim of Quality to knowledge. I also develop a simple Gricean-inspired argument showing that the Quality maxim is not dependent on the Cooperative Principle. If it is not thus dependent, then the Cooperative Principle cannot be the explanation of, or source of normativity for, the Quality maxim. Thus, leveraging the insights informing the maxim of Quality actually provides the resources for a distinctive positive case that knowledge is the constitutive norm of assertion. (shrink)

The problem of evil is the most prominent argument against the existence of God. Skeptical theists contend that it is not a good argument. Their reasons for this contention vary widely, involving such notions as CORNEA, epistemic appearances, 'gratuitous' evils, 'levering' evidence, and the representativeness of goods. We aim to dispel some confusions about these notions, in particular by clarifying their roles within a probabilistic epistemology. In addition, we develop new responses to the problem of evil from both the phenomenal (...) conception of evidence and the knowledge-first view of evidence. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

“Love hurts”—as the saying goes—and a certain amount of pain and difficulty in intimate relationships is unavoidable. Sometimes it may even be beneficial, since adversity can lead to personal growth, self-discovery, and a range of other components of a life well-lived. But other times, love can be downright dangerous. It may bind a spouse to her domestic abuser, draw an unscrupulous adult toward sexual involvement with a child, put someone under the insidious spell of a cult leader, and even inspire (...) jealousy-fueled homicide. How might these perilous devotions be diminished? The ancients thought that treatments such as phlebotomy, exercise, or bloodletting could “cure” an individual of love. But modern neuroscience and emerging developments in psychopharmacology open up a range of possible interventions that might actually work. These developments raise profound moral questions about the potential uses—and misuses—of such anti-love biotechnology. In this article, we describe a number of prospective love-diminishing interventions, and offer a preliminary ethical framework for dealing with them responsibly should they arise. (shrink)

Transoral laser microsurgery applies to the piecemeal removal of malignant tumours of the upper aerodigestive tract using the CO2 laser under the operating microscope. This method of surgery is being increasingly popularised as a single modality treatment of choice in early laryngeal cancers (T1 and T2) and occasionally in the more advanced forms of the disease (T3 and T4), predomi- nantly within the supraglottis. Thomas Kuhn, the American physicist turned philosopher and historian of science, coined the phrase ‘paradigm shift’ in (...) his groundbreaking book The Structure of Scientific Revolutions. He argued that the arrival of the new and often incompatible idea forms the core of a new paradigm, the birth of an entirely new way of thinking. This article discusses whether Steiner and col- leagues truly brought about a paradigm shift in oncological surgery. By rejecting the principle of en block resection and by replacing it with the belief that not only is it oncologically safe to cut through the substance of the tumour but in doing so one can actually achieve better results, Steiner was able to truly revolutionise the man- agement of laryngeal cancer. Even though within this article the repercussions of his insight are limited to the upper aerodigestive tract oncological surgery, his willingness to question other peoples’ dogma makes his contribution truly a genuine paradigm shift. (shrink)

This article explores a concept of artistic transgression I call aesthetic disobedience that runs parallel to the political concept of civil disobedience. Acts of civil disobedience break some law in order to publicly draw attention to and recommend the reform of a conflict between the commitments of a legal system and some shared commitments of a community. Likewise, acts of aesthetic disobedience break some entrenched artworld norm in order to publicly draw attention to and recommend the reform of a conflict (...) between artworld commitments and some shared commitments of a community. Considering artistic transgressions under the concept of aesthetic disobedience highlights often-overlooked features of modern artworld practices. Most significantly, it draws attention to the deliberative participation of a wide variety of citizens of the artworld, including not just artists and performers but also members of audiences, in the transformation of the rules and boundaries of the artworld itself. (shrink)

My contribution to this Symposium focuses on the links between sexuality and reproduction from the evolutionary point of view.' The relation between women's sexuality and reproduction is particularly importantb ecause of a vital intersectionb etweenp olitics and biology feminists have noticed, for more than a century, that women's identity is often defined in terms of her reproductive capacity. More recently, in the second wave of the feminist movement in the United States, debates about women'si dentityh ave explicitlyi ncludeds exuality;m uch (...) feminist argument in the late 1960's and early 1970's involved an attempt to separate out an autonomous female sexuality from women's reproductive functions. It is especially relevant, then, to examine biological arguments, particularlye volutionarya rgumentst, o see what they say about whether and how women's sexuality is related to reproduction. We shall find that many evolutionarya rgumentss eem to supportt he direct linkingo f female sexualitya nd reproductionY. et I will argue that this supporti s not well-groundedI. n fact, I think evolutionarye xplanationso f female sexuality exemplify how social beliefs and social agendas can influence very basic biological explanations of fundamental physiological processes. In this paper, I shall spend some time spelling out a few examples in which assumptions about the close link between reproduction and sexuality yield misleading results, then I shall conclude with a discussion of the consequences of this case study for issues in the philosophy of science. (shrink)

The article offers a reconstruction of John Rawls views on political legitimacy, from A Theory of Justice to his late writings on political liberalism. It argues that Rawls had three conceptions of legitimacy, not two as one might expect based on the distinction between his two major works. Its argument is that the most radical change in Rawls’ thinking about legitimacy occurs in ‘Introduction to the Paperback Edition’ and ‘The Idea of Public Reason Revisited’. Here Rawls assumes that there can (...) be a reasonable pluralism not only of comprehensive doctrines, but also of political liberal conceptions of justice. As a consequence, the standard of political legitimacy is no longer specified as sufficient justice relative to justice as fairness, but instead as sufficient justice relative to a family of political conceptions of justice – a family which in turn is animated by an ideal of public reasoning about constitutional matters and matters of basic justice. The article also shows how Rawls’ late ideal of public reason is grounded in the need for legitimate constitutional government. (shrink)

The adequacy of similarity to prototype as an account of categorization in natural concepts was assessed by analyzing the monotonicity of the relation between typicality of an item in a category and the probability of a positive categorization response using data from McCloskey and Glucksberg (1978). The analysis revealed a strong underlying similarity-based threshold curve, with systematic deviations. Further data collection showed that deviations from the curve could be attributed to the effects of unfamiliarity and non-categorial associations on typicality judgments, (...) as well as differences between the perceptual appearance of an item (which tended to boost typicality) and its underlying nature (which tended to boost categorization). The results are discussed in terms of the different presuppositions and task constraints involved in rating typicality as opposed to performing a categorization. (shrink)

This paper is an examination of the concept of recognition and its connection with identity and respect. This is related to the question of how women are or are not adequately recognised or respected for their achievements in sport and whether eliminating sex segregation in sport is a solution. This will require an analysis of the concept of excellence in sport, as well as the relationship between fairness and inclusion in an activity that is fundamentally about bodily movement. I argue (...) that attempts to address the problem of women’s recognition in sport need to do so in ways that neither eliminate sport as a fairness regulated system for developing individual excellence in bodily movement nor that prevent women’s achievement of sporting excellence, with the regard that belongs to them. Doing this requires us to decide whether sport is about champions or about individual excellence. (shrink)

The ways in which we exercise intentional agency are varied. I take the domain of intentional agency to include all that we intentionally do versus what merely happens to us. So the scope of our intentional agency is not limited to intentional action. One can also exercise some intentional agency in omitting to act and, importantly, in producing the intentional outcome of an intentional action. So, for instance, when an agent is dieting, there is an exercise of agency both with (...) respect to the agent’s actions and omissions that constitute her dieting behavior and in achieving the intended outcome of losing weight. In our mental lives we exercise intentional agency both in performing mental actions and when we intentionally produce certain outcomes at which our mental actions are aimed. The nature and scope of our intentional agency in our mental lives with respect to controlling the acquisition of mental states such as belief, desire, and intention is a topic that is of interest in its own right. In this essay, I will focus solely on our control over coming to believe. Understanding what sort of control we have our beliefs has far-reaching implications. For instance, theorizing about self-deception and wishful thinking is aided by theorizing about what if any intentional agency we can exercise with respect to acquiring beliefs. Another often mentioned concern that motivates thinking about doxastic agency comes from religion (when conversion requires a change of belief). We also hold persons morally and epistemically responsible for beliefs they have or fail to have. Finally, some deontological theories of epistemic justification require that agents be able to exercise a robust form of doxastic control. Fruitful work on any of these problems requires that we have an account of our intentional agency in acquiring beliefs. There are at least three loci of doxastic control. The first is over acquiring beliefs. The second is over maintaining beliefs. The third is over how we use our beliefs. I am chiefly concerned with the first locus of doxastic control in this essay, but I will say something about the second locus along the way. Also, I will only consider one way we might exercise control over acquiring beliefs. Specifically, I will present an argument against direct doxastic voluntarism (DDV). By “DDV” I mean to refer to the thesis that it is conceptually possible for agents to consciously exercise the same sort of direct voluntary control over coming to acquire a doxastic attitude—such as belief, suspension of belief, and disbelief—that they exercise over uncontroversial basic actions. If DDV is correct, then coming to believe can be a basic action-type. DDV, or something very close to it, was Bernard Williams’ target in his 1973 paper, “Deciding to Believe.” Williams’s argument is widely regarded as having been a failure. But I think that Williams was on to something in his paper. Hence, in this paper, while I do not attempt to resurrect Williams’s argument, I develop and defend a revised argument for a thesis that is quite close to Williams’s. I will proceed as follows. First, I will discuss Bernard Williams’ (1973) failed attempt at showing that DDV is conceptually impossible. This will be followed by a discussion of some constraints on our belief-forming activities. I will then clarify my target a bit more than Williams does in his original paper. Finally, I will present my own argument against the conceptual possibility of DDV. (shrink)

This paper responds to Kevin Krein’s claim in that the particular value of nature sports over traditional ones is that they offer intensity of sport experience in dynamic interaction between an athlete and natural features. He denies that this intensity is derived from competitive conflict of individuals and denies that nature sport derives its value from internal conflict within the athlete who carries out the activity. This paper responds directly to Krein by analysing ‘intensity’ in sport in terms of the (...) relationship between attention and reflection and the interaction between self and environment. I reply directly to Krein’s rejection of self-competition as based on a mischaracterisation of internal struggle and argue that the weighing of incompatible desires does not involve a fragmented self. I argue that the unique intensity to which Krein refers is strongly comparable to the Kantian conception of the sublime and explore how sublime experience fits Krein’s account and outline some serious problems that such an ideal of experience poses for nature sport. (shrink)

Assertion is governed by an epistemic norm requiring knowledge. This idea has been hotly debated in recent years, garnering attention in epistemology, philosophy of language, and linguistics. This chapter presents and extends the main arguments in favor of the knowledge norm, from faulty conjunctions, several conversational patterns, judgments of permission, excuse, and blame, and from showing how. (Paired with a chapter by Peter J. Graham and Nikolaj J. L. L. Pedersen, "Knowledge is Not Our Norm of Assertion.").

Over the centuries, magicians have developed extensive knowledge about the manipulation of the human mind—knowledge that has been largely ignored by psychology. It has recently been argued that this knowledge could help improve our understanding of human cognition and consciousness. But how might this be done? And how much could it ultimately contribute to the exploration of the human mind? We propose here a framework outlining how knowledge about magic can be used to help us understand the human mind. Various (...) approaches—both old and new—are surveyed, in terms of four different levels. The first focuses on the methods in magic, using these to suggest new approaches to existing issues in psychology. The second focuses on the effects that magic can produce, such as the sense of wonder induced by seeing an apparently impossible event. Third is the consideration of magic tricks—methods and effects together—as phenomena of scientific interest in their own right. Finally, there is the organization of knowledge about magic into an informative whole, including the possibility of a science centered around the experience of wonder. (shrink)

In men and women sexual arousal culminates in orgasm, with female orgasm solely from sexual intercourse often regarded as a unique feature of human sexuality. However, orgasm from sexual intercourse occurs more reliably in men than in women, likely reflecting the different types of physical stimulation men and women require for orgasm. In men, orgasms are under strong selective pressure as orgasms are coupled with ejaculation and thus contribute to male reproductive success. By contrast, women's orgasms in intercourse are highly (...) variable and are under little selective pressure as they are not a reproductive necessity. The proximal mechanisms producing variability in women's orgasms are little understood. In 1924 Marie Bonaparte proposed that a shorter distance between a woman's clitoris and her urethral meatus (CUMD) increased her likelihood of experiencing orgasm in intercourse. She based this on her published data that were never statistically analyzed. In 1940 Landis and colleagues published similar data suggesting the same relationship, but these data too were never fully analyzed. We analyzed raw data from these two studies and found that both demonstrate a strong inverse relationship between CUMD and orgasm during intercourse. Unresolved is whether this increased likelihood of orgasm with shorter CUMD reflects increased penile–clitoral contact during sexual intercourse or increased penile stimulation of internal aspects of the clitoris. CUMD likely reflects prenatal androgen exposure, with higher androgen levels producing larger distances. Thus these results suggest that women exposed to lower levels of prenatal androgens are more likely to experience orgasm during sexual intercourse. . (shrink)

We present a multidisciplinary, universal a pragmatic theory of causation based explicitly on five methodological causal seminal dimensions. The first one is called formal-mathematical-idealist theory and emerges as a meta-conceptual fusion of several existing causal theories. The second one is essentially based on a global, scientific and technical perspective. In fact, this can be considered as a meta-dimension encompassing a huge number of academic disciplines. The third dimension arises once more as combination of former approaches having the mind and its (...) laws as the central paradigm. The fourth one is structurally related with our subjective phenomenological world and its objective impact on the external universe. And, finally, the fifth dimension is closely related with the first one, but more oriented toward the global implicit purpose of the universe and what this implies causally on the events in nature. We give several concrete examples elucidating the explanatory range of our theory. (shrink)

Robert Brandom’s normative-pragmatic theory is intended to represent the minimal set of practical abilities whose exhibition qualifies creatures as speaking a language. His model of a minimally discursive practice (MDP) is one in which participants, devoid of logical vocabulary, are only capable of making assertions and drawing inferences. This paper argues that Brandom’s purely assertional practices are not MDPs and that speech acts of asking questions (queries) must be included in any practice that counts as an MDP. The upshot of (...) the argument is support for the claim that the normative pragmatic analysis of assertions requires a corresponding analysis of queries and vice versa. (shrink)

This paper begins by saying enough about eugenics to explain why disability is central to eugenics (section 2), then elaborates on why cognitive disability has played and continues to play a special role in eugenics and in thinking about moral status (section 3) before identifying three reasons why eugenics remains a live issue in contemporary bioethics (section 4). After a reminder of the connections between Nazi eugenics, medicine, and bioethics (section 5), it returns to take up two more specific clusters (...) of issues at the intersection of eugenics, disability, and bioethics. These concern questions of life, death, and reproductive value (section 6) and the value of standpoint theory and epistemology for understanding some of the tensions between bioethics and disability in light of a shared eugenic past (section 7). (shrink)

We describe a new approach to understanding the functioning of the nervous system, unifying previous ideas of Josephson and Hauser, Baas, and Brooks. Its basis consists in analysing the total developmental process into basic components of development, whose corresponding mechanisms (skill constructors) are organised together into a coherent total system.

a translation of A. Schoot "Kivy and Langer on Expressivity in Music".

It is a commonsense thesis that unactualized possibilities are not parts of actuality. To keep his modal realism in line with this thesis, David Lewis employed his indexical account of the term “actual.” I argue that the addition of counterpart theory to Lewis’s modal realism undermines his strategy for respecting the commonsense thesis. The case made here also reveals a problem for Lewis’s attempt to avoid haecceitism.

The article contains a critical analysis of the skeptical solution to the rule- following problem. The skeptical solution denies the existence of “superlative” R-facts that would make statements of the form “P means R by ‘+’ ” true. The role of the sources for the meaning of ‘+’ here is played by the patterns of solidarity behavior of members of some community to which P belongs. The correct use of ‘+’ would be one that is approved by the competent majority (...) of this community, and there can be no other sense in which it would be correct or wrong. Boyd’s hypothesis denies the communal character of the ‘+’ meaning. While there are no “superlative” R-facts, there should be C-facts not about the R as the standard that P or its community follows in their practice of using ‘+’, but about whether they do it correctly. The proof of the Boyd hypothesis is based on the example of an imaginary Ω-community, whose agents use a finite set of simple symbols for the needs of their arithmetic: ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’. Each symbol denotes a subset of identical, from the Ω-community point of view, numerical values. The symbol ‘A’ is used, for ex- ample, for a subset of the natural numbers 1, 10, 19, 28, 37, 46, etc.; ‘B’ for 2, 11, 20, 29, 38, 47, etc.; ‘C’ for 3, 12, 21, 30, 39, 48, etc. The Ω-community’s arithmetic uses the only local function ⊕ whose range of values forms a finite set of mathematical propositions {α} that are true. The Ω-community’s arithmetic, like our own, is open to many skeptical challenges. Is there a fact that determines the meaning of ‘⊕’? What do agents do when they calculate with ‘⊕’ (say, solve examples ‘A⊕B = ?’, ‘C⊕E=?’, etc.)? Do they Add, Badd or Dadd? To answer them would require a “superlative” R-fact. For the calculation practice with ‘⊕’, it could be a certain R-fact that determines the only possible order for the sequence of numerals ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’ such that {α} is true. An analysis of the calculation practice using the local arithmetic function ⊕ shows that for it there are no such R-facts that would determine the only correct standard R – even if the agents in the Ω-community were trained in such calculations on a full set of cases for the application of that function. However, for such practice there are C-facts (independent in their existence from R-facts) that make it possible to distinguish between what seems to be right and what is right. The solitary agent P and the Ω-community are in the same position regarding the knowledge of C-facts. The Ω-community’s point of view has no advantage in matters of C-facts knowledge over the solitary agent P’s point of view. The Ω-community arithmetic shows that if a solitary agent P had the suitable knowledge of C-facts about the practice of calculations with ‘⊕’, it would allow him/her to disagree with the not correct answers of other members of the community even when they would constitute an absolute majority. (shrink)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...) logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

In Plato’s Protagoras, Socrates argues that ‘the many’ are confused about the experience they describe as ‘being overcome by pleasure’. They think the cause is ‘something other than ignorance’. He argues it follows from what they believe that the cause is ‘ignorance’ and ‘false belief’. I show that his argument depends on a premise he does not introduce but they should deny: that when someone is overcome by pleasure, the desire stems from a belief. To explain why Plato does not (...) make Socrates introduce this premise, the account I construct is speculative. It starts from the assumption that Plato is thinking through an understanding of human beings and what they must do to live good lives that he takes the historical Socrates to set out. (shrink)

Context has emerged as a central concept in a variety of contemporary approaches to reasoning. The conference at which the papers in this volume were presented, CONTEXT 2001, was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001.

Abstract (for the combined three Parts) This paper presents the simplest known theory of processes involved in a person’s unconscious and conscious achievements such as intending, perceiving, reacting and thinking. The basic principle is that an individual has mental states which possess quantitative causal powers and are susceptible to influences from other mental states. Mental performance discriminates the present level of a situational feature from its level in an individually acquired, multiple featured norm (exemplar, template, standard). The effect on output (...) of a moderate disparity between input and norm is scaled in a universal unit of discrimination (Weber’s fraction), with the norm’s level being zero. When one process converts separate sources of input into an output, their discriminative distances from norm are summated. Distinct processes converging on an output combine their discriminations from norm orthogonally. An output may be influenced by the constructs of other outputs as well as by inputs. Descriptive performance is the influence of one category of input on a verbal output. Reasoning is minimally the effect of one verbal process on another. In deeper mental processing, the influence on a response comes from a response construct modulating a description: this process gives the meaning to an emotion or a motive. Descriptive modulation of stimulation corresponds to a bodily sensation or other conceptualized percept. When an output is explained solely by sources of input, that response to the stimulation may be mediated unconsciously. Development of a person within physical and communal environments embodies such mental causation within material causation and acculturates that mind to social causation. (shrink)

Social epistemology is autonomous: When applied to the same evidential situations, the principles of social rationality and the principles of individual rationality sometimes recommend inconsistent beliefs. If we stipulate that reasoning rationally from justified beliefs to a true belief is normally sufficient for knowledge, the autonomy thesis implies that some knowledge is essentially social. When the principles of social and individual rationality are applied to justified evidence and recommend inconsistent beliefs and the belief endorsed by social rationality is true, then (...) that true belief would be an instance of social knowledge but not individual knowledge. (shrink)

Individual organisms are obvious enough kinds of things to have been taken for granted as the entities that have many commonly attributed biological and psychological properties, both in common sense and in science. The sorts of morphological properties used by the folk to categorize individual animals and plants into common sense kinds (that's a dog; that's a rose), as well as the properties that feature as parts of phenotypes, are properties of individual organisms. And psychological properties, such as believing that (...) taxes are too low, and remembering the last seven digits you read in the phone book, are likewise properties of individual organisms. (shrink)

In this paper, I try to cause some good-natured trouble. The issue is, when will we ever stop burdening the taxpayer with conferences devoted to the quantum foundations? The suspicion is expressed that no end will be in sight until a means is found to reduce quantum theory to two or three statements of crisp physical (rather than abstract, axiomatic) significance. In this regard, no tool appears better calibrated for a direct assault than quantum information theory. Far from a strained (...) application of the latest fad to a time-honoured problem, this method holds promise precisely because a large part---but not all---of the structure of quantum theory has always concerned information. It is just that the physics community needs reminding. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

The emergence of coronavirus disease (COVID-19) from Wuhan city of China engulfed almost the entire world and created a global pandemic. Several countries declared this pandemic as national emergency, forcing millions of people to go into lockdown. This sudden social isolation has caused enormous disruption of daily routine for the global community, especially children. To minimize the transmission of this virus all the educational institutions were closed and moved to online learning to encourage and adhere to social distancing guidelines issued (...) by the authorities from time to time. This abrupt change in the learning environment, restrictions in social interaction and other activities caused unusual situation in the development of child brain. Therefore, it is important and obligatory for the scientific community and healthcare workers to access and analyse the impact of Covid -19 pandemic on the mental health of children. The present article is a case study and was conducted in Doda of Jammu and Kashmir regarding the impact of quarantine on the children. (shrink)

In this chapter we first elucidate the subjective flow of time particularly as developed by Husserl. We next discuss time and timescales in predictive processing. We then consider how the phenomenological analysis of time can be naturalized within a predictive processing framework. In the final section, we develop an analysis of the temporal disturbances characteristic of depression using the resources of both phenomenology and predictive processing.

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of generalizations, (...) not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

This paper explores ludonarrative dissonance as it occurs in sport, primarily as the conflict experienced by participants between dominant narratives and self-generated interpretations of embodied experience. Taking self-narrative as a social rather than isolated production, the interaction with three basic categories of dominant narrative is explored: transformative, representing a spectrum from revelatory to distorting, bullying and colonising. These forms of dominant narrative prescribe interpretations of the player’s experience of play and of self that displace their own, with the end result (...) of dissonance and self-alienation. (shrink)

This paper proposes a view of time that takes passage to be the most basic temporal notion, instead of the usual A-theoretic and B-theoretic notions, and explores how we should think of a world that exhibits such a genuine temporal passage. It will be argued that an objective passage of time can only be made sense of from an atemporal point of view and only when it is able to constitute a genuine change of objects across time. This requires that (...) passage can flip one fact into a contrary fact, even though neither side of the temporal passage is privileged over the other. We can make sense of this if the world is inherently perspectival. Such an inherently perspectival world is characterized by fragmentalism, a view that has been introduced by Fine in his ‘Tense and Reality’ (2005). Unlike Fine's tense-theoretic fragmentalism though, the proposed view will be a fragmentalist view based in a primitive notion of passage. (shrink)

This paper examines the status of naturalism in the philosophies of Edmund Husserl and John Dewey. Despite the many points of overlap and agreement between Husserl’s and Dewey’s philosophical projects, there remains one glaring difference, namely, the place and status of naturalism in their approaches. For Husserl, naturalism is an enemy to be vanquished. For Dewey, naturalism is the only method that can put philosophy back in touch with the concerns of human beings. This paper will demonstrate the remarkable similarities (...) between Husserl’s and Dewey’s thought before contending that Dewey’s “naturalistic humanism” offers a conception of naturalism which is compatible with Husserlian phenomenology. Furthermore, reading these two philosophers together, this paper argues, can point the way forward to a naturalism which avoids the dismissal of the contributions made by knowing subjects carried out by dominant contemporary strains of reductive naturalism. (shrink)

This paper will consider ethical issues arising from medical tort litigation. I will argue that deep changes are required to ensure fairness in litigation and in order to hold morally responsible those corporations that take unnecessary risks with consumers’ lives.

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

The notion of Simulative Reasoning in the study of propositional attitudes within Artificial Intelligence (AI) is strongly related to the Simulation Theory of mental ascription in Philosophy. Roughly speaking, when an AI system engages in Simulative Reasoning about a target agent, it reasons with that agent’s beliefs as temporary hypotheses of its own, thereby coming to conclusions about what the agent might conclude or might have concluded. The contrast is with non-simulative meta-reasoning, where the AI system reasons within a detailed (...) theory about the agent’s (conjectured) reasoning acts. The motive within AI for preferring Simulative Reasoning is that it is more convenient and efficient, because of a simplification of the representations and reasoning processes. The chapter discusses this advantage in detail. It also sketches the use of Simulative Reasoning in an AI natural language processing system, ATT-Meta, that is currently being implemented. This system is directed at the understanding of propositional attitude reports. In ATT-Meta, Simulative Reasoning is yoked to a somewhat independent set of ideas about how attitude reports should be treated. Central here are the claims that (a) speakers often employ commonsense (and largely metaphorical) models of mind in describing agents’ attitudes, (b) the listener accordingly needs often to reason within the terms of such models, rather than on the basis of any objectively justifiable characterization of the mind, and (c) the commonsense models filter the suggestions that Simulative Reasoning comes up with concerning target agents’ reasoning conclusions. There is a yet tighter connection between the commonsense models and the Simulative Reasoning. It turns out that Simulative Reasoning can be rationally reconstructed in terms of a more general type of reasoning about the possibly-counterfactual “world” that the target agent believes in, together with an assumption that that agent has a faithful representation of the world. In the ATT-Meta approach, the reasoner adopts that assumption when it views the target agent through a particular commonsense model (called IDEAS-AS-MODELS). (shrink)

The ji 己self is a site, storehouse, or depot of individuated allotment associated with the possession of things and qualities: wholesome and unwholesome desires (yu 欲) and aversions, emotions such as anxiety, and positive values such as humaneness and reverence. Each person's allotment is unique, and its "contents" are collected, measured, reflected on, and then distributed to others. The Analects, Mencius, Xunzi, Daodejing, and Zhuangzi each have their own vision for negotiating the space between self and other. Works as seemingly (...) dissimilar as the Analects and Daodejing both agree that positive qualities located within the self should be shared with others, and that the self can be optimized rather than maximized through sharing, emptying, or clearing. Sommer compares the ji self with other terms for body and person current in classical times. This self is strongly individuated, but it exists primarily in relation to other human beings (ren 人 ). These "others" are almost never one's own kind and are usually people who fall outside one's ascribed familial and social relationships. Negotiations between self and other often reflect apprehension regarding degrees of distance, intimacy, worth, recognition, or understanding (zhi 知) between people. (shrink)

Aesthetics is not an area to which the Stoics are normally understood to have contributed. I adopt a broad description of the purview of Aesthetics according to which Aesthetics pertains to the study of those preferences and values that ground what is considered worthy of attention. According to this approach, we find that the Stoics exhibit an Aesthetic that reveals a direct line of development between Plato, the Stoics, Thomas Aquinas and the eighteenth century, specifically Kant’s aesthetics. I will reveal (...) an interpretation of the aesthetic of the Stoics which has more explanatory power for the history of aesthetic theory than a history of aesthetic theory which leaves out the Stoics. (shrink)