Despite the recent increase in interest in philosophy about ignorance, little attention has been paid to the question of what makes it possible for a being to become aware of their own ignorance. In this paper, I try to provide such an account by arguing that, for a being to become aware of their own ignorance, they must have the mental capacity to represent something as being unknown to them. For normal adult humans who have mastered a (...) language, mental representation of an unknown is enabled by forming linguistic expressions whose content is grasped, but whose referent is unknown. I provide a neo-Fregean, a neo-Russellian, and then a unified account of this. On that basis, I then argue further that the content of ignorance can always be captured by a question. I then distinguish between propositional ignorance and non-propositional ignorance and argue that propositional ignorance attributions can be of three types, that-ignorance, whether-ignorance, and fact-ignorance. I conclude by arguing that the acquisition of truths, even when it yields knowledge that is certain, does not always eliminate one’s ignorance and that there is a degree of ignorance in almost everything we claim to know. (shrink)

Technological innovation is almost always investigated from an economic perspective; with few exceptions, the specific technological and social nature of innovation is often ignored. We argue that a novel way to characterise and make sense of different types of technological innovation is to start considering uncertainty. This seems plausible since technological development and innovation almost always occur under conditions of uncertainty. We rely on the distinction between, on the one hand, uncertainty that can be quantified (e.g. probabilistic risk) and, (...) on the other, deep forms of uncertainty that may resist the possibility of being quantified (e.g. severe or fundamental uncertainties). On the basis of these different ingredients of uncertainty in technological innovation, we propose a new taxonomy that reveals the technological nature of innovation. Unlike previous taxonomies employed to handle different types of technological innovations, our taxonomy does not consider the economic value of innovation alone; it is much more oriented towards societal preferences and forms of technological uncertainty. Finally, we investigate the coherence of our proposal with the dual nature of technological artefacts, showing that innovation can be grounded on structural and functional factors and not just on economic ones. (shrink)

This paper explores types of organisational ignorance and ways in which organisational practices can affect the knowledge we have about the causes and effects of our actions. I will argue that because knowledge and information are not evenly distributed within an organisation, sometimes organisational design alone can create individual ignorance. I will also show that sometimes the act that creates conditions for culpable ignorance takes place at the collective level. This suggests that quality of will of (...) an agent is not necessary to explain culpable ignorance in an organisational setting. (shrink)

The goal of the present paper is to construct a formal explication of the pluralistic ignorance explanation of the bystander effect. The social dynamics leading to inaction is presented, decomposed, and modeled using dynamic epistemic logic augmented with ‘transition rules’ able to characterize agent behavior. Three agent types are defined: First Responders who intervene given belief of accident; City Dwellers, capturing ‘apathetic urban residents’ and Hesitators, who observe others when in doubt, basing subsequent decision on social proof. It (...) is shown how groups of the latter may end in a state of pluralistic ignorance leading to inaction. Sequential models for each agent type are specified, and their results compared to empirical studies. It is concluded that only the Hesitator model produces reasonable results. (shrink)

Pluralistic ignorance is a social-psychological phenomenon in which an agent believes that their attitudes, feelings, and beliefs are different from those of others, despite the fact that their public behavior is identical. I argue that agents in standard cases of pluralistic ignorance are epistemically irrational. I accomplish this, first, by rebutting a recent argument for the rationality of pluralistic ignorance. Next, I offer a defeat-based argument against the epistemic rationality of pluralistic ignorance. Third, I examine a (...) type of case in which the pluralistically ignorant agent's belief is irrational, despite the fact that this belief lacks a defeater. Finally, I consider instances of pluralistically ignorant agents whose beliefs are not irrational, but explain why such cases are not problematic for my main thesis. This critical discussion allows me to offer an important amendment to an extant account of pluralistic ignorance. (shrink)

This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I (...) argue that exhausti cation-based theories cannot handle embedded conjunctions, so a pragmatic account of ignorance implicatures is superior. (shrink)

In situations where we ignore everything but the space of possibilities, we ought to suspend judgment—that is, remain agnostic—about which of these possibilities is the case. This means that we cannot sum our degrees of belief in different possibilities, something that has been formalized as an axiom of non-additivity. Consistent with this way of representing our ignorance, I defend a doxastic norm that recommends that we should nevertheless follow a certain additivity of possibilities: even if we cannot sum degrees (...) of belief in different possibilities, we should be more confident in larger groups of possibilities. It is thus shown that, in the type of situation considered (in so-called ‘classical ignorance’, i.e. “behind a thin veil of ignorance”), it is epistemically rational for advocates of suspending judgment to endorse this comparative confidence; while on the other hand it is shown that, even in classical ignorance, no stronger belief—such as a precise uniform probability distribution—is warranted. (shrink)

Argues that the Socratic profession of wisdom is not an expression of skepticism. Plato's Socrates claims to know things and says that others also know things. The profession of ignorance is a profession about wisdom, not about any other type of knowledge.

Some argue that republican freedom is impossible because since it is always possible that a person or a group of persons possesses arbitrary power to interfere with individuals, no one is free to do anything. To avoid this challenge, in their recent article, Sean Ingham and Frank Lovett invoke the notion of ignorability in terms of which they offer a moderate interpretation of republican freedom. On their view, B is free from A to φ if A’s possible types who (...) prefer to intervene with B’s φ-ing are ignorable. They also try to show that freedom is not determined by the probability of an intervention. However, we argue that they fail to do this and that freedom as non-domination is not entailed by ignorability. (shrink)

Humans are prone to producing morally suboptimal and even disastrous outcomes out of ignorance. Ignorance is generally thought to excuse agents from wrongdoing, but little attention has been paid to group-based ignorance as the reason for some of our collective failings. I distinguish between different types of first-order and higher order group-based ignorance and examine how these can variously lead to problematic inaction. I will make two suggestions regarding our epistemic obligations vis-a-vis collective (in)action problems: (...) (1) that our epistemic obligations concern not just our own knowledge and beliefs but those of others, too and (2) that our epistemic obligations can be held collectively where the epistemic tasks cannot be performed by individuals acting in isolation, for example, when we are required to produce joint epistemic goods. (shrink)

Interpersonal comparisons of well-being (ICWs) confront the longstanding unsolved epistemic problem of other minds (EPOM): the problem of how to achieve objective knowledge of people's subjective mental states. The intractability of the EPOM may lead to the hope that Rational Choice Theory (RCT) can show that information about how people would choose over goods and gambles is sufficient--and information about subjective mental states therefore unnecessary--for interpersonal comparisons of levels and changes in well-being, thereby bypassing the EPOM. I argue that this (...) hope cannot be fulfilled. Our most plausible theories of value--whether anti-realist or realist--and theories of what makes a life go best--whether preference hedonism, success theory, or objective list theory--tie well-being to our evaluative attitudes towards our lives. These are distinct from and only contingently related to motivational attitudes to choose or behave in certain ways and therefore to choices and behaviors themselves. Interpersonal comparisons of the evaluative attitudes are therefore necessary, though perhaps insufficient, for ICWs. Preference theory's zero-one rule ignores these attitudes and is therefore implausible. Its extended preference approach assumes that our preferences are perfectly sympathetic and therefore begs the question of the EPOM. I argue that a principled solution to the EPOM, and to interpersonal comparisons of the evaluative attitudes, is provided by type correspondence between these attitudes and brain states. It remains an open and difficult question whether there exists a summary evaluative attitude whose intensity can serve as an index of an individual's over-all well-being, and which is the appropriate target of all efforts aimed at promoting the personal good, or whether the self and therefore well-being are too fragmented for this. (shrink)

A number of social theorists have contended that the essence of historical analysis is the employment of ideal types to comprehend past goings-on. But, while acknowledging that the study of history through ideal types can yield genuine insight, we may still ask if it represents the full emancipation of historical understanding from other modes of conceiving the past. This paper follows Michael Oakeshott's work on the philosophy of history in arguing that explaining the historical past by means of (...) ideal types, even though offering a coherent and fruitful enterprise, nevertheless falls short of fully embodying the characteristics that differentiate historical understanding. -/- This dispute involves fundamental issues regarding the nature of the social sciences. Furthermore, I suggest that it is of more than purely theoretical interest, in that social theorists who have accepted the Weberian view of historical inquiry will tend to be unaware of the defects inherent in all attempts to capture the nature of past events in a net of generalizations, and thus may be lead to ignore the inherent partiality of the understanding of historical happenings provided by ideal typification. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in (...) his pocket shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

What is a game? What are we doing when we play a game? What is the value of playing games? Several different philosophical subdisciplines have attempted to answer these questions using very distinctive frameworks. Some have approached games as something like a text, deploying theoretical frameworks from the study of narrative, fiction, and rhetoric to interrogate games for their representational content. Others have approached games as artworks and asked questions about the authorship of games, about the ontology of the work (...) and its performance. Yet others, from the philosophy of sport, have focused on normative issues of fairness, rule application, and competition. The primary purpose of this article is to provide an overview of several different philosophical approaches to games and, hopefully, demonstrate the relevance and value of the different approaches to each other. Early academic attempts to cope with games tried to treat games as a subtype of narrative and to interpret games exactly as one might interpret a static, linear narrative. A faction of game studies, self-described as “ludologists,” argued that games were a substantially novel form and could not be treated with traditional tools for narrative analysis. In traditional narrative, an audience is told and interprets the story, where in a game, the player enacts and creates the story. Since that early debate, theorists have attempted to offer more nuanced accounts of how games might achieve similar ends to more traditional texts. For example, games might be seen as a novel type of fiction, which uses interactive techniques to achieve immersion in a fictional world. Alternately, games might be seen as a new way to represent causal systems, and so a new way to criticize social and political entities. Work from contemporary analytic philosophy of art has, on the other hand, asked questions whether games could be artworks and, if so, what kind. Much of this debate has concerned the precise nature of the artwork, and the relationship between the artist and the audience. Some have claimed that the audience is a cocreator of the artwork, and so games are a uniquely unfinished and cooperative art form. Others have claimed that, instead, the audience does not help create the artwork; rather, interacting with the artwork is how an audience member appreciates the artist's finished production. Other streams of work have focused less on the game as a text or work, and more on game play as a kind of activity. One common view is that game play occurs in a “magic circle.” Inside the magic circle, players take on new roles, follow different rules, and actions have different meanings. Actions inside the magic circle do not have their usual consequences for the rest of life. Enemies of the magic circle view have claimed that the view ignores the deep integration of game life from ordinary life and point to gambling, gold farming, and the status effects of sports. Philosophers of sport, on the other hand, have approached games with an entirely different framework. This has lead into investigations about the normative nature of games—what guides the applications of rules and how those rules might be applied, interpreted, or even changed. Furthermore, they have investigated games as social practices and as forms of life. (shrink)

This article offers a meta-analysis of contemporary approaches aimed at resolving the internal, relativistic-non-relativistic tension within the text of the Chuang-Tzu. In the first section, the four most commonly applied approaches are unpacked and evaluated, ranging from relativistic approaches such as hard relativism and soft relativism, to approaches that acknowledge both relativism and non-relativism, as well as others which acknowledge neither of the two perspectives (relativism and non-relativism). After demonstrating the immanent difficulties these four types of approaches encounter, the (...) latter section of this paper puts forward a different philosophical solution known as asymmetrical relativism. This novel approach preserves textual evidence for both relativistic and non-relativistic attitudes within the Chuang-Tzu by proposing that the mind engages in relativism insofar as it is in a state of ignorance; en route to enlightenment, however, value-laden discourse and pedagogical heuristics are nonetheless still employed as instruments for the mind to transcend its own ignorance. (shrink)

This paper develops Bernard Williams’s suggestion that for philosophy to ignore its history is for it to assume that its history is vindicatory. The paper aims to offer a fruitful line of inquiry into the question whether philosophy has a vindicatory history by providing a map of possible answers to it. It first distinguishes three types of history: the history of discovery, the history of progress, and the history of change. It then suggests that much of philosophy lacks a (...) vindicatory history, for reasons that reflect philosophy’s character as a humanistic discipline. On this basis, the paper reconstructs Williams’s conception of what it means for philosophy to engage with its own history. The paper concludes that it is a mistake to think that a vindicatory history is what we would really like to have, and that in fact, the resulting picture gives philosophy several reasons to engage with its own history. (shrink)

In this article, I expound and assess two theories of meaning in life informed by the indigenous sub-Saharan African philosophical tradition. According to one principle, a life is more meaningful, the more it promotes community with other human persons. According to the other principle, a life is more meaningful, the more it promotes vitality in oneself and others. I argue that, at least upon some refinement, both of these African conceptions of meaning merit global consideration from philosophers, but that the (...) vitality approach is more promising than the community one for capturing a wider array of intuitions about what confers meaning on a life. I further argue, however, that there are objections that apply with comparable force to both theories; neither one does a good job of entailing that and explaining why certain types of reason and progress can make a life more meaningful. Although these objections are characteristic of a ‘modern’ western outlook, I maintain that they are difficult for contemporary African philosophers to ignore and consider some ways they might respond to the objections. (shrink)

During the current financial crisis, the need for an alternative to a laissez-faire ethics of capitalism (the Milton Friedman view) becomes clear. I argue that we need an order ethics which employs economics as a key theoretical resource and which focuses on institutions for implementing moral norms. -/- I will point to some aspects of order ethics which highlight the importance of rules, e.g. global rules for the financial markets. In this regard, order ethics (“Ordnungsethik”) is the complement of the (...) German conception of “Ordnungspolitik” which also stresses the importance of a regulatory framework. This framework is needed not to tame the market, but to make it more profitable in the long run. -/- The conception of order ethics relies heavily on contractarianism, especially on James Buchanan’s work. Unlike many other conceptions of ethics, it does not start with an aim to achieve, but rather with an account of what the social world – in which ethical norms have to be implemented – is like. Our social world is different from the pre-modern one. Pre-modern societies played zero-sum games in which people could only gain significantly at the expense of others. And the types of ethics that we are still used to today have been developed within these pre-modern societies. -/- Modern societies, by contrast, can be characterised – by economists and other social theorists alike – as societies with continuous growth. This growth has only been made possible by the modern competitive market economy which enables everyone to pursue his own interests within a carefully devised institutional system. In this system, positive sum games are played, which makes it in principle possible to improve the position of every individual at the same time. Most kinds of ethics, however, resulting from the conditions of pre-modern societies, ignore the possibility of win-win-situations and instead require us to be moderate, to share, to sacrifice, as this would have been functional in zero-sum games. These conceptions distinguish – in more or less strict ways – between self-interest and altruistic motivation. Self-interest, more often than not, is ultimately seen as something evil. -/- Such an ethics cannot be functional in modern societies. Ethical concepts lag behind. Within zero-sum games, it was necessary to call for temperance, for moderate profits, or for a condemnation of lending money at interest. Within positive-sum games, however, the morally desired result of a social process cannot be brought about by changes in motivation, by switching from ‘egoistic’ to ‘altruistic’ motivation. The second theoretical element introduced by order ethics is the distinction between actions and rules, which was already mentioned. Traditional ethics concerns actions: It calls directly for changes in behaviour. This is a consequence of pre-modern conditions as reconstructed before: People in the pre-modern world were only able to control their actions, not so much however the conditions of their actions. In particular, rules like laws, constitutions, social structures, the market order, and also ethical norms have remained stable for centuries. In modern societies, this situation has changed entirely. The rules governing our actions have increasingly come under our control. -/- In this situation, ethics has to focus on rules. Morality must be incorporated in incentive-compatible rules. Direct calls for changes in behaviour without changes in the rules lead only to an erosion of compliance with moral norms. Individuals that continue to behave ‘morally’ will be singled out, because the incentives have not been changed. Moral norms which are to be justified cannot require people to abstain from pursuing their own advantage. People abstain from taking ‘immoral’ advantages only if adherence to ethical norms yields greater benefits over the planned sequence of actions than defection in the single case. Thus ‘abstaining’ is not abstaining in the long run, it is rather an investment in expectations of long-term benefits. By adhering to ethical norms, I become a reliable partner for interactions. The norms do indeed constrain my actions, but they simultaneously expand my options in interactions. And people consent to rules only if these rules hold greater advantages for them, at least in the long run. -/- In general, ethics cannot require people to abandon their individual calculation of advantages. However, it may suggest improving one’s calculation, by calculating in the long run rather than in the short run, and by taking into account the interests of our fellows, as we depend on their acceptance for reaching an optimal level of well-being, especially in a globalized world full of interdependence. -/- The problem of implementation can now be placed at the beginning of a conception of order ethics, justified with reference to the conditions of modern societies I have sketched. Under the conditions of pre-modern societies, an ethics of temperance had evolved that posed simultaneously the problems of implementation and justification. The implementation of well-justified norms or standards could then be regarded as unproblematic, because the social structures allowed for a direct face-to-face enforcement of norms. Pre-modern societies not only favored an ethics of temperance, they also had the instrument of face-to-face-sanctions within their smaller and non-anonymous communities. This instrument is no longer functional in modern anonymous societies, and so we have to face up to the problem of implementation right at the start of our ethical conception. Simultaneously, an order ethics relies on the implementation of sanctions for enforcing incentive-compatible rules. In modern societies, rules and institutions, to a large extent, must fulfil the tasks that were, in pre-modern times, fulfilled by moral norms, which in turn were sanctioned by face-to-face sanctions. Norm implementation in modern societies thus works by setting adequate incentives in order to prevent the erosion of moral norms, which would happen if ‘moral’ actors were systematically threatened with exploitation by other, less ‘moral’ actors. -/- This conception of order ethics is then elaborated further in the area of business ethics. -/- . (shrink)

The topic of this thesis is how we should treat tiny probabilities of vast value. This thesis consists of six independent papers. Chapter 1 discusses the idea that utilities are bounded. It shows that bounded decision theories prescribe prospects that are better for no one and worse for some if combined with an additive axiology. Chapter 2, in turn, points out that standard axiomatizations of Expected Utility Theory violate dominance in cases that involve possible states of zero probability. Chapters 3–6 (...) discuss the idea that we should ignore tiny probabilities in practical decision-making. Chapter 3 argues that discounting small probabilities solves the ‘Intrapersonal Addition Paradox’ and thus helps avoid the Repugnant Conclusion. Chapter 4 explores what the most plausible version of this view might look like and what problems the different versions have. Chapter 5 focuses on one type of problem, namely, money pumps. The Independence Money Pump, in particular, presents a difficult challenge for those who wish to discount small probabilities. Finally, Chapter 6 discusses the implications of discounting small probabilities for the value of the far future. (shrink)

”It is often assumed that knowledge claims must be justified. But what kind of justification is required for knowledge ? . . . ” (*) -/- presupposition: the kind of epistemic justification depends on the type of the knowledge claim and its respective knowledge claim tradeoff ’vague vs. precise’. -/- procedere: in two - almost purely logical - case studies I account for this tradeoff and question in each case what (if any) were its general outcome wrt justification -/- first (...) for basic measurement statements of the form ′′ϕ(x) = r ∈ IR ± δ′′ (wrt ”measurement accuracy realism” debate) -/- and secondly predication statements of the form ′′x is ( a case of )P′′ (wrt ”epistemic vagueness” debate). (shrink)

In this paper I discuss the costs and benefits of confabulation, focusing on the type of confabulation people engage in when they offer explanations for their attitudes and choices. What makes confabulation costly? In the philosophical literature confabulation is thought to undermine claims to self-knowledge. I argue that when people confabulate they do not necessarily fail at mental-state self-attributions, but offer ill-grounded explanations which often lead to the adoption of other ill-grounded beliefs. What, if anything, makes confabulation beneficial? As people (...) are unaware of the information that would make their explanations accurate, they are not typically in a position to acknowledge their ignorance or provide better-grounded explanations for their attitudes and choices. In such cases, confabulating can have some advantages over offering no explanation because it makes a distinctive contribution to people’s sense of themselves as competent and largely coherent agents. This role of ill-grounded explanations could not be as easily played by better-grounded explanations should these be available. In the end, I speculate about the implications of this conclusion for attempting to eliminate or reduce confabulation. (shrink)

Artificial intelligence systems have been widely applied to various contexts, including high-stake decision processes in healthcare, banking, and judicial systems. Some developed AI models fail to offer a fair output for specific minority groups, sparking comprehensive discussions about AI fairness. We argue that the development of AI systems is marked by a central paradox: the less participation one stakeholder has within the AI system’s life cycle, the more influence they have over the way the system will function. This means that (...) the impact on the fairness of the system is in the hands of those who are less impacted by it. However, most of the existing works ignore how different aspects of AI fairness are dynamically and adaptively affected by different stages of AI system development. To this end, we present a use case to discuss fairness in the development of corporate wellness programs using smart wearables and AI algorithms to analyze data. The four key stakeholders throughout this type of AI system development process are presented. These stakeholders are called service designer, algorithm designer, system deployer, and end-user. We identify three core aspects of AI fairness, namely, contextual fairness, model fairness, and device fairness. We propose a relative contribution of the four stakeholders to the three aspects of fairness. Furthermore, we propose the boundaries and interactions between the four roles, from which we make our conclusion about the possible unfairness in such an AI developing process. (shrink)

Feminist decolonial scholars have called for disengaging from the current system built on a hierarchical logic of race and gender central to modern, colonial thinking. They have looked to worlds outside the modern system to lead us out of current unjust practices harming both humans and the environment. Although policymaking may be seen as the stronghold of the current political agenda and of the structures that have led to the climate crisis, we argue that climate policies too, are also crucial (...) for rethinking and transforming societies. Our examination of climate adaptation policies in Sweden and the literature from Europe shows how policy documents ignore and unknow the oppressive intersections of gender and power despite the knowledge that exists on these issues in the public domain. Drawing on the tools of agnotology, we examine how this is achieved by strategies of ‘denial, dismissal, diversion and displacement.’ Building on feminist post and decolonial scholarship, we make explicit the gendered and racial hierarchies and dichotomies underpinning these policy documents. At the same time, we bring attention to the nuances in the policy documents we study and look for the openings that might be used to bring about transformation by making these hierarchies explicit and calling them into question. We argue that a transformation is possible through a feminist post and decolonial intervention, even in policymaking otherwise ignorant of culture, values and the colonial histories that have produced contemporary society. (shrink)

Abū Ishāq al-Ṣaffār was one of scholars of the Western Qarakhānids’ period who followed the Kalām thought of al-Māturīdī (d. 333/944). His theological works Talkhīs al-adilla and Risāla fī al-kalām, his method in kalām, and frequent reference to his works by Ottoman and Arab scholars indicate that al-Ṣaffār is a respected and authorative Māturīdī theologian. The article focuses on his defense of the kalām. By adding a long introduction to Talkhīs about the naming, importance, and religious legitimacy of the science (...) of kalām, Saffār asserted that the kalām should be learned. When systematical vindication of the science of kalām is examined, it is understood that al-Ṣaffār is the first theologian who reserved a private and voluminous part for defensing the kalām among Ḥanafī-Māturīdīs. Even though he does not state its systematic, it can be understood that vindication of kalām in al-Ṣaffār divides into three parts as of explanation, demonstration and refutation. Al-Ṣaffār’s defending the science of kalām shows that there were opposite thoughts against kalām in the 4th/10th and 5th/11th centuries throughout in Transoxania. In this period Aṣḥāb al-Ḥadīth and Ikhwān al-Ṣafāʾ were the opposite fronts of kalām. In addition, he was trying to go beyond the oppositions of Ḥanafī jurists. His vindication is consistent and has scholarly depth because it is able to be against a strong opposition. -/- SUMMARY: Abū Ishāq Ibrahīm b. Ismāil Zāhid al-Ṣaffār al-Bukhārī is a scholar belonging to the Ḥanafī theological tradition which was improved by the contribution of Ḥanafī theologians who used thinking system of Abū Ḥanīfa (d. 150/767) as base and adopted Abū Manṣūr al-Māturīdī (d. 333/944) and his thoughts in historical process. The contents of his theological works Talkhīs al-adilla li-qawāʿid al-tawḥīd and Risāla fī al-Kalām, the method that he used, and references to his works made by Ottoman and Arab scholars indicate that he is an important Māturīdī theologian. The article focuses on his defense of the science of Kalām. -/- In Talkhīs al-adilla, there are two sections including the subject of naming, and importance and necessity of Kalām discipline. Here, the necessity of learning Kalām and its value are defended in detail. -/- Besides, rumors “Abū Ḥanīfa turned away from the science of Kalām in his doomsdays” and that “He prohibited to make occupation with Kalām completely” are evaluated. -/- When systematical vindication of the science of Kalām is examined, it is understood that al-Ṣaffār is the first theologian who reserved a private and voluminous part for defensing the Kalām among Ḥanafī Māturīdīs. Even if Abū Manṣūr al-Māturīdī, Abū al-Yusr al-Bazdawī (d. 493/1100) and Abū Muʿīn al-Nasafī (d. 508/1115) defend that the science of Kalām is not wrong for religion; yet, the vindication of Kalām does not take a place under a separate title and in a detailed manner in any of Māturīdī theologians works. -/- The method that al-Ṣaffār used when he is defending the science of Kalām, differs from strategy of Abū Ḥanīfa. While Abū Ḥanīfa has mentioned that there is a need for the science of Kalām under these new circumstances, al-Ṣaffār has defended theologians who were charged with being Ahl al-Bidaʿ, by trying to prove that the prophets especially the Prophet Ibrāhīm, even the Companions of the Prophet Muḥammad (Ṣaḥāba) and the Successors of the Companions (Tābiʿūn) scholars use their minds and make arguments in religious matters. In this respect, he emphasizes that the Qurʾān orders to think and discuss gently, not to be stay in silence: “And dispute with them, using what is best” (16.125-126). Therefore, he states that this discipline which took a mission to explain and defend the creed of Islam (ʿaqīda), cannot be characterized as an innovation (bidʿah) or illicit. -/- His vindication method can be defined as a more developed type of method that Abu’l-Ḥasan al-Ash’arī’s (d. 324/935) used in Risāla fī istiḥsān al-khawḍ fī ʿilm al-kalām. Even though he does not state its systematic, it can be understood that vindication of Kalām in al-Ṣaffār divides into three parts as of explanation, demonstration and refutation: -/- a) Explanation: Explaining the necessity and importance of the science of Kalām by giving information about its definition, names, value and place among other principles. -/- b) Demonstration: Revealing the religious basics of the science of Kalām from the Qurʾān, the Sunna of the Prophet Muḥammad, the Companions of the Prophet, and the Successors of the Companions thus specifying that it is legitimate for religion. -/- c) Refutation: Replying the claims having aim to weaken the value of Kalām principle and its religious legality. -/- Al-Ṣaffār describes ‘the science of Kalām’ as ‘Knowing the Real with the evidences which help to reach the absolute information’. By allocating the concept of 'Ḥaqq', he repeats the definition of Kalām as “it is to know God with certain evidences” in a part of his work, and “it is to know the principles of religion (uṣūl al-dīn) with certain evidences” in another part. He describes Kalām as “Knowing ḥaqq / God / uṣūl al-dīn by depending on evidence”, and tries to prove that it is wrong to consider a science which performs the stated duty, as illicit and abominable and thus turn away from it. -/- Al-Ṣaffār thinks that it is right to call this principle as ‘Kalām’ because of the certain evidences leading to the truth that this science has used. This thought was defended by other theologians as well. -/- For example, according to Saʿd al-Dīn Masʿūd al-Taftazānī (d. 792/1310) it seems like to say “This is the word (kalām), not the other knowings” by the way of the power of evidences used in Kalām.Thus, it is appropriate to give name Kalām for this science which based on certain evidences. -/- Al-Ṣaffār’s explanations revealed in scope of vindication of the Kalām are adopted by some of following scholars. Ḥusām al-Dīn al-Sighnāqī (d. 714/1314) in his book called al-Tasdīd sharḥ al-Tamhīd fī qawāʿid al-tawḥīd quotes Saffâr’s explanations as the same. -/- Al-Ṣaffār indicates that the method told in the Qurʾān is to reply questions about religion, beliefs and rejection instead of remaining in silence. The duty taken on by Kalām is this vindication activity performed by the prophets whose examples are described in the Qurʾān and which is legal and demanded. His way of thinking and vindication of the Kalām resembles that of Abū Manṣūr al-Māturīdī. Al-Māturīdī says, “Prophets and we were ordered to invite infidels to Islam. When this invitation happens, the respondents will ask for evidence and explanation, and discussion will be inevitable. Therefore, discussing and talking about subjects of Kalām is not objectionable”. -/- Thoughts of al-Māturīdī and al-Ṣaffār regarding the vindication of the Kalām were repeated by Nūr al-Dīn al-Ṣābūnī (d. 580/1184), and Fakhr al-Dīn al-Rāzī (d. 606/1210) later. According to al-Ṣābūnī, the evidences put against deniers and especially the discussion made by the Prophet Ibrāhīm to defend his own belief, prove the legality of Kalām discipline. Likewise, according to al-Rāzī, the duty of Kalām is just an activity performed already in the Qurʾān and ordered to the prophets. At this point of view, since the prophets were leading to Kalām, banning this activity is nonsense. -/- According to al-Ṣaffār, the reason for why Abu Hanifa avoids his son Hammād from these discussions is that Abu Hanifa does not like discussions based on obstinate. Otherwise, it cannot be that Abū Ḥanīfa prohibits to learn Kalām and make discussion about Kalām. According to him, this behavior of Abū Ḥanīfa results from that people discussing with him are ignorant about the subject of Kalām, discussion turns to an obstinate, and coming to an end of discussion seems impossible. This comment of al-Ṣaffār is quoted in Miftāḥ al-saʿāda wa-miṣbāḥ al-siyāda by ʿIṣām al-Dīn Aḥmed b. Muṣṭafā Tashköprüzāde (d. 968/1561) and in Minaḥ al-rawḍ al-azhar fī sharḥ al-Fiqh al-akbar by ʿAlī b. Sulṭān Muḥammad al-Qārī (d. 1014/1606) as same as his words. -/- Al-Ṣaffār’s defending the science of Kalām shows that there were opposite thoughts against Kalām in the 4th/10th and 5th/11th centuries throughout in Transoxania.In this period Aṣḥāb al-Ḥadīth and Ikhwān al-Ṣafāʾ were the opposite fronts of Kalām. In addition, he was trying to go beyond the oppositions of Ḥanafī jurists (fuqahāʾ). Because some of the Ḥanafī jurists thought that Abū Ḥanīfa forsook occupation with the science of Kalām and even he prohibited his son to have interest in this discipline. But some of Ḥanafī theologians such as al-Māturīdī, al-Nasafī and al-Ṣaffār protested this thought which describes Abū Ḥanīfa as a banner for Kalām. -/- His vindication is consistent and has scholarly depth because it is able to be against a strong opposition. -/- His book Talkhīs al-adilla li-qawāʿid al-tawḥīd is a unique source in terms of containing vindication of the Kalām in detail and also influencing the approaches of the next period scholars. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

New discoveries are improving the odds of human cells surviving in host animals, prompting regulatory and funding agencies to issue calls for additional layers of ethical oversight for certain types of human–animal chimeras. Of interest are research proposals involving chimeric animals with humanized brains. But what is motivating the demand for additional oversight? I locate two, not obviously compatible, motivations, each of which provides the justificatory basis for paying special attention to different sets of human–animal chimeras. Surprisingly, the sets (...) of animals that actually get flagged for special scrutiny by research and funding guidelines do not correlate with either of the sets of animals that arise when we think about what is motivating additional oversight. What this shows is that existing research policies and funding guidelines are disconnected from their motivation: the rationale for flagging certain types of human–animal chimeras as requiring special oversight is ignored in execution. (shrink)

In this ground-breaking article submitted for publication in mid-1986, Lucinda Vandervort creates a radically new and comprehensive theory of sexual consent as the unequivocal affirmative communication of voluntary agreement. She argues that consent is a social act of communication with normative effects. To consent is to waive a personal legal right to bodily integrity and relieve another person of a correlative legal duty. If the criminal law is to protect the individual’s right of sexual self-determination and physical autonomy, rather than (...) simply to regulate the type and degree of force that may be used to obtain compliance from a victim, the point of reference must be the individual complainant, as a person who makes choices, not social norms or objective tests based on the ordinary person. To determine whether consent is voluntary, attention must be directed to the presence or absence of factors that had a coercive impact on the individual complainant, a specific person with a collection of social, cultural, and psychological experiences, needs, fears, values, and priorities. Individuals have the right to exercise self-determination in accordance with their own values and perceptions, not those of a mythical victim. Accordingly, Vandervort argues that the prosecution may show either refusal, the absence of affirmative voluntary agreement (including passivity or the absence of consent due to unconsciousness), or circumstances that invalidate any apparent consent. Any of these prove the absence of consent for the purposes of establishing the actus reus of sexual assault. -/- The definition of consent as the affirmative communication of voluntary agreement is also shown to have a variety of implications for the interpretation and application of the law of sexual assault and the handling of evidentiary issues at trial in sexual assault cases. Key among these is the pivotal significance of the legal definition of consent as a tool to bar availability of the defence of “mistaken belief in consent.” Vandervort argues that in many cases the defence of “mistaken belief in consent” is based on ignorance of the law of consent, mistake about the legal definition of consent, or a failure to appreciate the legal significance of facts that are well-known, and not on a mistaken belief in an erroneous set of facts. The broad proposition asserted here is that a statutory criminal law is enforceable only if all defences based directly or indirectly on belief in the validity of extra-legal norms that authorize infringement of rights protected by the criminal law are barred. This proposition and the characterization of some mistakes about consent as legal, not factual, are also shown to be useful to exclude rape-myths and stereotypical assumptions---the stuff of which “social” definitions of consent have long been constructed---from the decision-making process at trial. -/- . (shrink)

The goal of this paper is to suggest that theoretical thinking with respect to metaphysical determinations or indeterminations is not the appropriate realm for attributing moral responsibility. On the contrary, judgments that attribute moral responsibility (S is responsible for...) depend on the possibility that a rational narrative be built. Agents are capable of forging their future actions, as well as of reflecting upon past actions. With this it will also be shown how we assume control of our behavior because we (...) ignore whether actions are the result of causality or chance. It is claimed that contexts determine the degree of causal demand in narratives that attribute moral responsibility. In order to construct this type of narrative one must focus on a specific link in the causal chain of explanations. If context alone is not demanding enough so as to require that theoretical reflections strive for the ultimate foundation of our actions, then the agent may be considered responsible for his behavior. (shrink)

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

Presumption is a complex concept in law, affecting the dialogue setting. However, it is not clear how presumptions work in everyday argumentation, in which the concept of “plausible argumentation” seems to encompass all kinds of inferences. By analyzing the legal notion of presumption, it appears that this type of reasoning combines argument schemes with reasoning from ignorance. Presumptive reasoning can be considered a particular form of reasoning, which needs positive or negative evidence to carry a probative weight on the (...) conclusion. For this reason, presumptions shift the burden of providing evidence or explanations onto the interlocutor. The latter can provide new information or fail to do so: whereas in the first case the new information rebuts the presumption, in the second case, the absence of information that the interlocutor could reasonably provide strengthen the conclusion of the presumptive reasoning. In both cases the result of the presumption is to strengthen the conclusion of the reasoning from lack of evidence. As shown in the legal cases, the effect of presumption is to shift the burden of proof to the interlocutor; however, the shift a presumption effects is only the shift of the evidential burden, or the burden of completing the incomplete knowledge from which the conclusion was drawn. The burden of persuasion remains on the proponent of the presumption. On the contrary, reasoning from definition in law is a conclusive proof, and shifts to the other party the burden to prove the contrary. This crucial difference can be applied to everyday argumentation: natural arguments can be divided into dialectical and presumptive arguments, leading to conclusions materially different in strength. -/- . (shrink)

Aristotle classifies opposition (ἀντικεῖσθαι) into four groups: relatives (τὰ πρός τι), contraries (τὰ ἐναντία), privation and possession (στρέσις καὶ ἓξις) and affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) His example of relatives are the double and the half. Aristotle’s description of relatives as a kind of opposition is as such: ‘Things opposed as relatives are called just what they are, of their opposites (αὐτὰ ἃπερ ἐστι τῶν ἀντικειμένων λέγεται) or in some other way in relation to them. (...) For example, the double is called just what it is double of the other (οἷον τὸ διπλάσιον, αὐτὸ ὃπερ ἐστίν, ἑτέρου διπλάσιον λέγεται). Again, knowledge and the knowable are opposed as relatives, and knowledge is called just what it is, of the knowable, and the knowable too is called just what it is, in relation to its opposite, knowledge; for the knowable is called knowable by something-by knowledge.’ (Cat., 10, 11b24-30) 2) Senses of relatives In Met., Δ, 1020b26-32 Aristotle distinguishes three senses of relatives: i) That which contains something else many times to that which is contained many times in something else, and that which exceeds to that which is exceeded. E.g. double to half ii) The active to the passive; e.g. that which can heat to that which can be heated iii) The measurable to the measure, e.g. the knowable to knowledge and the perceptible to perception. 3) Relatives and contraries Aristotle’s discussion of relatives is unbelievably ambiguous. While he enumerates relatives besides contraries, privation-possession and affirmation-negation as four types of opposition (Cat., 10, 11b15-23), not only does not he restrict relatives to oppositions but he also does not totally differentiate it from contraries. Aristotle distinguishes between two senses of relatives one of which is contraries: ‘We have distinguished elsewhere the two senses in which relatives are so called-some as contraries (ὡς ἐναντία), others as knowledge to things known, a term being called relative because what is said one to the other is said by the other to itself (τῷ λέγεσθαί τι ἄλλο πρὸς αὐτό). (Met., I, 1056b34-1057a1) It seems that this differentiation is the same as, and maybe the one he himself refers to, the differentiation between the second and the third senses of relatives in Met., Δ, 1021a27-32: ‘Relative terms which imply number or capacity, therefore, are all relative because their very essence includes in its nature a reference to something else, not because something else is related to it (πρός τι πὰντα ἐστὶ πρός τι τῷ ὃπερ ἐστὶν ἄλλου λέγεσθαι αὐτὸ ὃ ἐστιν, ἀλλὰ μὴ τῷ ἄλλο πρὸς ἐκεινο); but that which is measurable or knowable or thinkable is called relative because something else is related to it. For the thinkable implies that there is thought of it, but the thought is not relative to that of which it is the thought; for we should then have said the same thing twice.’ Although Aristotle confirms contrariety in relatives (e.g. virtue to vice and knowledge to ignorance), he denies that there is a contrary ‘to every relative’ as there can be no contrary to what is double or treble. (Cat., 7, 6b15-19) The fact that Aristotle dedicates one sense of relatives to contraries means that the fourfold division of oppositions is not such a strict division without any kind of community between them. In his example of the first sense, however, Aristotle says: ‘One and number are in a sense opposed, not as contrary, but as we have said some relative terms are opposed; for inasmuch as one is measure and the other measurable, they are opposed.’ (Met., I, 1057a4-6) Now, the question is: Is Aristotle’s first sense of relative a contrary or not? Aristotle tells us that the opposition in this sense of relatives is the opposition of measure and measurable. The second sense has two differences with the first one: i) it is not a contrary and ii) what is said by one of the relatives to the other is also said by the latter to the former. To differentiate it from the first sense, when the one is the measure of the other, the latter will be the measure of the former as well: ‘But though knowledge is similarly spoken of as related to the knowable, the relation does not work out similarly for while knowledge might be thought to be the measure, and the knowable the thing measured, the fact is that all knowledge is knowable, but not all that is knowable is knowledge, because in a sense knowledge is measured by the knowable.’ (Met., I, 1057a7-12) Aristotle’s assertion at Met., I, 1057a36-37 that ‘of relative terms, those which are not contrary have no intermediate’ ensures us that we must take the first sense as contraries. Here he mentions a criterion of differentiation between two senses: while the first sense accepts intermediates (as, for example, great and small do), the second one does not. (Met., I, 1057a37-b1) It seems, however, that it is only the second sense that is the essential sense of relatives because the first sense, Aristotle says, is an accidental sense: ‘The one is opposed then to the many in numbers as measure to things measureable; and these are opposed as relatives which are not from their very nature relatives.’ (Met., I, 1056b32-34) 4) Definition of relative Aristotle’s first definition of the category of relative (πρός τι) is as such: ‘We call relative all such things as are said to be just what they are, of or than other things, or in some other way in relation to something else (Πρός τι δὲ τὰ τοιαῦτα λέγεται, ὃσα αὐτὰ ἃπερ ἐστὶν ἓτερων εἶναι λέγεται, ἢ ὁπωσοῦν ἄλλως πρὸς ἓτερον). (Cat., 7, 6a36-37; repeated almost without any change in: Cat., 7, 6b6-8) Aristotle’s examples are larger (because it is what it is than something else (τοῦθ᾿ ὃπερ ἐστὶν ἑτέρου λέγεται) that means it is called larger than something) and double. (Cat., 7, 6a37-b1) Aristotle’s aporia regarding relative is about their relation with substances: whether no substance is spoken of as a relative, or whether this is possible with regard to some secondary substances. (Cat., 7, 8a13-15) In the case of primary substances, it seems that he is confident, at least at first, that neither themselves nor their parts are spoken of in relation to anything: neither an individual man is called someone’s individual man nor an individual hand is called someone’s individual hand (but someone’s hand). (Cat., 7, 8a15-21) Although it is obvious that most of secondary substances are not spoken of as relatives (a man is not called someone’s man) (Cat., 7, 8a21-25), there are some with them there is room for dispute: a head is someone’s head and a hand is called someone’s hand, which seem to be relatives. (Cat., 7, 8a25-28) Aristotle thinks this must be due to the previous definition’s being problematic: with that definition ‘it is either exceedingly difficult or impossible to reach the solution that no substance is spoken of as a relative.’ (Cat., 7, 8a28-32) Thus, Aristotle changes his previous definition to a new one: ‘Those things are relatives for which being is the same as being somehow related to something’ (ἔστι τὰ πρός τι οἷς τὸ εἶναι ταὐτόν ἐστι τῷ πρός τί). (Cat., 7, 8a32-34) Although the first definition does indeed apply to all relations, its problem is that it does not take ‘their own being relative’ (τῷ πρός τι αὐτοῖς εἶναι) the same as ‘their being what they are of other things’ (ἃπερ ἐστὶν ἑτέρων λέγεσθαι). (Cat., 7, 8a34-37) Although this change of definition is to exclude all substances from being relative, what Aristotle says in Topics (To., Z, 8, 146a39- ), seems to ignore this: ‘For of everything relative the substance is relative to something else, seeing that the being of every relative term is identical with being in a certain relation to something.’ 5) Necessary knowledge of the related Knowledge of that in relation to which a relative is spoken of is necessary when one knows the relative: it is impossible to know a relative and at the same time not to know that in relation to which it is spoken of. (Cat., 7, 8a37-b3) To prove this, Aristotle adheres to the definition of relatives: ‘If someone knows of a certain ‘this’ that it is a relative, and being for relatives is the same as being somehow related to something, he knows that also to which this is somehow related.’ (Cat., 7, 8a37-b3; cf. 7, 8b3-15 for Aristotle’s examples) This necessary knowledge of the related, if we call it so, dedicates Aristotle an epistemological reason, besides the ontological one mentioned in his definition, for the exclusion of substances. As we noted in our discussion of Aristotle’s definition of relatives, he changed his first definition to exclude all substances from being relatives. Therefore, it is evident that for him relatives must not include substances, either primary or secondary. Aristotle does have no problem with primary substances simply because it is evident for him that they cannot be relatives. The same can be said about most of the secondary substances as well. The problem for which he changed the definition of substances was about some secondary substances like ‘head’ or ‘hand’: the fact that it is possible to know a hand or head without necessarily knowing definitely that in relation to which it is spoken of proves that they are not relatives. (Cat., 7, 8b15-21) 6) Reciprocation Aristotle regards reciprocation (ἀντιστρέφειν) necessary in all relations: ‘All relatives are spoken of in relation to correlatives that reciprocate.’ (Cat., 7, 6b28-29; cf. Cat., 10, 12b21-24) The sense of reciprocation is clear by his own examples: ‘The slave is called slave of a master and the master is called master of a slave; the double double of a half, and the half half of a double.’ (Cat., 7, 6b29-31) Reciprocation of relatives is so necessary that if there seems that we do not have reciprocation, it must necessarily be due to a mistake and that in relation to which something is spoken of must have not been given properly. (Cat., 7, 6b36-7a1) Aristotle’s example is this: If a wing is given as of a bird, ‘bird of a wing’ does not reciprocate because it has not been given properly: a wing is of a winged and not of a bird; a wing is wing of a winged and a winged is winged with a wing. (Cat., 7, 7a1-5) Even if we do not have a proper name to have a proper reciprocation, Aristotle points, we must invent names. (Cat., 7, 7a5-15 and 7b10-14) Thus, having proper names is the condition of necessary reciprocation: ‘All relatives are spoken of in relation to correlatives that reciprocate, provided they are properly given.’ (Cat., 7, 7a22-23) This condition is also said in another way: there is no reciprocation if a relation is given as related to some chance thing or to something that is accidentally the related thing like when, for example, a slave is given as of a man or a biped instead of being given as of a master. (Cat., 7, 7a25-31) 7) Simultaneity of relatives Aristotle believes that in most cases relatives are simultaneous: double and half or master and slave must exist at the same time: when there is a half, there is a double and when there is a slave, there is a master. (Cat., 7, 7b10-14) However, this receives some exceptions like knowable, which is prior and can, thus, exist before and without knowledge. (Cat., 7, 7b22-27) What approves this non-simultaneousness for Aristotle is that the destruction of knowledge does not carry the knowable to destruction. (Cat., 7, 7b27-31) The same is said about perception and perceptible. (Cat., 7, 7b35-8a9) Aristotle attaches simultaneity to reciprocation. This reciprocation, however, is not a simple reciprocation but ‘reciprocation as to implication of existence’ (ἀντιστρέφει μὲν κατὰ τὴν τοῦ εἶναι) with the condition that neither be in any way the cause of the other’s existence. (Cat., 13, 14b27-29; the same is said also at: Cat., 13, 15a4-11) Aristotle’s examples are the double and the half because when there is a double there is a half and when there is a half there is a double but neither is the cause of the other’s existence. (Cat., 13, 14b29-32) (We have ‘reciprocation as to implication of existence’ also in relation between genus and species but it seems that this has a totally different sense there. 8) Having no independent reality That a relative cannot be a substance, either a primary or a secondary substance, is discussed in our review of both the definition of relatives and their reciprocation. The differentiation of relatives and substances are so deep for Aristotle that after questioning the possibility of any common element or principle for substances and relatives (Met., Λ, 1070a33-36), he asserts that no substance, on the one hand, is the element of relatives and none of the relatives, on the other hand, is the element of substances. (Met., Λ, 1070b3-4) Aristotle does not, however, suffice to this. For him, relatives have the least substantiality, which is, for him, almost the same as reality: ‘The relative is least of all categories a real thing (φύσις τις) or substance, and less than quality and quantity; and the relative is an affection of quantity.’ (Met., M, 1088a22-25) Aristotle believes that an evidence of this least reality (ὄν) and substantiality is that relatives have no proper generation, destruction or movement while each of substance, quality and quantity have them. (Met., M, 1088a29-35) Moreover, neither motion (Phy., E, 1) nor any kind of change is applicable to relatives so that relatives are neither themselves alterations nor the subject of alterations (Phy., Z, 3) and the process of losing and acquiring states cannot be considered as alterations because these are the result of the alterations of non-relative things of which they are states. (Phy., Z, 3) Relative is not even matter but is something different. (Met., M, 1088a24-25) The reason is that the matter is potentially of a nature but relative is neither potentially nor actually of a nature. (Met., M, 1088b1-2) To understand the status of relatives in Aristotle’s world, we have to make a tripartite classification; a classification that though Aristotle himself did not make, his assertions approve it. Based on this division, there are three kinds of being in the world: i) Independent beings: This class includes only substances. ii) Dependent beings: This class includes qualities and quantities. Although they are real, they are ‘in’ substances and cannot exist without them. iii) Super dependent beings: This class includes at least relatives. The fact that relatives must be considered in a third class different from substances, on the one hand, and qualities and quantities, on the other hand, is obvious not only from the previously mentioned texts (Met., M, 1088a22-25, 29-35 and b1-2) in which relatives’ reality is considered less than all substances, qualities and quantities and different from matters but from this text: ‘For there is nothing either great or small, many or few, or, in general, relative which is not something (τι ὄν) different (ἓτερον) [that is also] many or few or great or small’. (Met, N, 1088a27-30) Therefore, super dependent beings are those beings that must necessarily be also something else, i.e. an independent or dependent being. Ackrill (1963, 99) points that some of the words used by Aristotle to exemplify relational entities, e.g. slave, are endowed with a complete sense and do not need to be supplemented by a correlate. (Thus, the linguist criterion of incompleteness would be deficient. Some other instances of relative entities like ‘state,’ ‘knowledge’ and perception are not necessarily followed by the genitive case. 9) Extent of relatives What is the extent of relatives? What are or are not included in relatives either among categories or among other concepts? Which concepts or things Aristotle regard as relative? i) Aristotle includes state (ἓξις) and position (θέσις) among relatives. (Cat., 7, 6b2-6; Cat., 7, 6b11-14; Cat., 8, 11a20-24) ii) Although relative is not matter but is something different (Met., M, 1088a24-25), matter is ‘non-being’ only in virtue of an attribute (Phy., A, 9) and is, thus, a relative term. (Phy., B, 2, 194b9) 10) Property and relativity Aristotle draws a contrast between two types of giving a property, absolute and relative: ‘A property is given either in its own right and for always or relative to something else and for a time.’ (To., E, 1, ^128b15-18) Being a civilized man, for example, is an absolute property for man while to command is a relative property for the soul. The absolute property, however, is considered not only potential to be discussed or observed in relation to many things or periods of time, it in fact ‘belongs to its subject relatively to every single thing that there is, so that if the subject is not distinguished relatively to everything else, the property will not have been given correctly.’ (To., E, 1, 129a18-20) Therefore, an absolute property is a property that ‘is ascribed to a thing in comparison with everything else and distinguishes it from everything else.’ (To., E, 1, 128b33- ) An absolute property is, then, absolutely relative and not conditionally relative, i.e. relative to a specific thing. This is what differentiates it from a relative property, which is relative to a certain thing: ‘A property relative to something else is one which separates its subject off not from everything else but from a particular definite thing.’ (To., E, 1, 128b33- ) One important difference between absolute and relative properties is that while an accident can be a relative property, it can never be an absolute property. (To., I, 5, ^102b20-36) For example, sitting, which is an accident, is also a property relatively to those who are not sitting. (To., I, 5, ^102b20-36) 11) Platonic theories as relatives At least three of Platonic theories Aristotle attaches to relatives: i) Forms ‘It seems that a Form is always spoken of in relation to a Form-this desire itself is for the pleasure itself, and wishing itself is for the good itself.’ (To., Z, 8, 147a^10) Moreover, the theory of Forms takes the relative prior to the absolute as, for example, it takes not the dyad but the number as first. (Met., A, 990b15-17) Aristotle believes that this is against not only the necessities of the case but only the Platonists’ opinion because Forms must be substances only, if they can be shared. (Met., A, 990b27-29) There are, however, things like ‘equal’ which are only relative: they are only in relation to something else. Now the theory that ideas are supposed to be substances only should entail the substantiality of merely relatives. The reason being that Forms are not shared incidentally but each thing shares in that which is not predicated of a subject. (Met., A, 990b29-31) ii) Unequal The Platonic theory of great and small or unequal, which we know more from Aristotle and has, in Platonic philosophy, a role like that of matter in Aristotelian philosophy, is also called relative by Aristole. (Met., M, 1089b4-15) iii) Potentiality Aristotle says that Platonists take what potentially is a ‘this’ and a substance but not actually so a relative because it is ‘neither potentially the one or being, nor the contradictory of the one nor of being, but one among beings.’ (Met., N, 1089b15-20) 12) All things as relative Aristotle attaches the theory that ‘everything is true’ to relativity and thinks the consequence of believing in this theory is that everything is true: ‘He who says all things that appear are true, makes all things relative.’ (Met., Γ, 1011a17-20) 13) Genera and species of relatives There are some genera, Aristotle hints, that are relative but their species are not relative. In such cases, the genera are spoken of in relation to something, but none of the particular cases are so spoken. (Cat., 8, 11a20-36) Aristole’s examples are knowledge and grammar of which the former is a relative but the latter is a quality. The consequence of this is that there is nothing absurd for a thing to be in both genera of relative and quality. (Cat., 8, 11a37- ) However, when the species is a relative, the genera will be a relative too. (To., Δ, 4, 124b15- ) Moreover, Aristotle asserts that ‘the differentiae of relative terms are themselves relative.’ (To., Z, 6, 145a14-16) Things that are called relative are called so, Aristotle says, ‘because the classes that include them are of this sort, e.g. medicine is thought to be relative bcs its genus, knowledge, is thought to be relative,’ (Met., Δ, 1021b4-6) 14) Relatives as indefinite? Fabio Morales takes 1088a29-b1 as a textual evidence supporting the assumption that Aristotle regarded relational terms as indefinite. (shrink)

The hard problem of consciousness arises in most incarnations of present day physicalism. Why should certain physical processes necessarily be accompanied by experience? One possible response is that physicalism itself should be modified in order to accommodate experience: But, modified how? In the present work, we investigate whether an ontology derived from quantum field theory can help resolve the hard problem. We begin with the assumption that experience cannot exist without being accompanied by a subject of experience (SoE). While people (...) well versed in Indian philosophy will not find that statement problematic, it is still controversial in the analytic tradition. Luckily for us, Strawson has elaborately defended the notion of a thin subject—an SoE which exhibits a phenomenal unity with different types of content (sensations, thoughts etc.) occurring during its temporal existence. Next, following Stoljar, we invoke our ignorance of the true physical as the reason for the explanatory gap between present day physical processes (events, properties) and experience. We are therefore permitted to conceive of thin subjects as related to the physical via a new, yet to be elaborated relation. While this is difficult to conceive under most varieties of classical physics, we argue that this may not be the case under certain quantum field theory ontologies. We suggest that the relation binding an SoE to the physical is akin to the relation between a particle and (quantum) field. In quantum field theory, a particle is conceived as a coherent excitation of a field. Under the right set of circumstances, a particle coalesces out of a field and dissipates. We suggest that an SoE can be conceived as akin to a particle—a SelfOn—which coalesces out of physical fields, persists for a brief period of time and then dissipates in a manner similar to the phenomenology of a thin subject. Experiences are physical properties of selfons with the constraint (specified by a similarity metric) that selfons belonging to the same natural kind will have similar experiences. While it is odd at first glance to conceive of subjects of experience as akin to particles, the spatial and temporal unity exhibited by particles as opposed to fields and the expectation that selfons are new kinds of particles, paves the way for cementing this notion. Next, we detail the various no-go theorems in most versions of quantum field theory and discuss their impact on the existence of selfons. Finally, we argue that the time is ripe for a rejuvenated Indian philosophy to begin tackling the three-way relationship between SoEs (which may become equivalent to jivas in certain Indian frameworks), phenomenal content and the physical world. With analytic philosophy still struggling to come to terms with the complex worlds of quantum field theory and with the relative inexperience of the western world in arguing the jiva-world relation, there is a clear and present opportunity for Indian philosophy to make a worldcentric contribution to the hard problem of experience. (shrink)

The replication crisis has caused researchers to distinguish between exact replications, which duplicate all aspects of a study that could potentially affect the results, and direct replications, which duplicate only those aspects of the study that are thought to be theoretically essential to reproduce the original effect. The replication crisis has also prompted researchers to think more carefully about the possibility of making Type I errors when rejecting null hypotheses. In this context, the present article considers the utility of two (...) types of Type I error probability: the Neyman–Pearson long run Type I error rate and the Fisherian sample-specific Type I error probability. It is argued that the Neyman–Pearson Type I error rate is inapplicable in social science because it refers to a long run of exact replications, and social science deals with irreversible units that make exact replications impossible. Instead, the Fisherian sample-specific Type I error probability is recommended as a more meaningful way to conceptualize false positive results in social science because it can be applied to each sample-specific decision about rejecting the same substantive null hypothesis in a series of direct replications. It is concluded that the replication crisis may be partly due to researchers’ unrealistic expectations about replicability based on their consideration of the Neyman–Pearson Type I error rate across a long run of exact replications. (shrink)

Although being widely considered as only a Western tradition, individualism is not absent in traditional Chinese philosophy and culture. In some of the classic Chinese philosophic works such as Zhuangzi, we can clearly identify some elements which can be appropriately attributed to “individualism”, such as the awareness of individual “self” as an independent and unique existence, advocating individual freedom and liberty, emphasizing on the value and dignity of individual life, favoring individuals’ autonomy and privacy, pursuing unconstrained development in personality and (...) spirituality. However, due to its particular pre-Qin social cultural background and its unique Daoist philosophic origin, this kind of individualism in Zhuangzi has its own unique characteristics, which has made it distinguishable from the variety of other individualist thoughts emerged in different times and places in the West. Zhuangzi has a dynamic and open view on individual or “self”, he does not consider individuals as fixed and interchangeable “atoms” but as dynamic, changing and unique beings, he set the unlimited and indefinable Dao as the only and ultimate source for individuals to conform to, thus to release individual mind into an realm of infinite openness and freedom. Zhuangzian individualism is “inward” rather than “outward”, which means while concentrating on individuals’ freedom of spirit and innate nature, it cares less about individuals’ outside material interests and rights in social reality, and does not encourage competition and rivalry among individuals. The special type of individualism in Zhuangzi has a profound influence on Chinese culture, providing a spiritual space for the development of individuality and personality in ancient China. It also provides an alternative understanding of individual as an existence. (shrink)

Baseball is an exceptionally superstitious sport. But what are we to say about the rationality of such superstitious behavior? On the one hand, we can trace much of the superstitious behavior we see in baseball to a type of irrational belief. But how deep does this supposed irrationality run? It appears that superstitions may occupy various places on the spectrum of irrationality — from motivated ignorance to self-deception to psychological compulsion —depending on the type of superstitious belief at work (...) and on the means of formation and/or maintenance of that belief. In this paper, I first examine the various types of superstitions we find in baseball culture, in an attempt to see what these different kinds of superstitions might have in common. I then lay out a working definition of superstition within a baseball context by examining the general psychology underlying such behavior, in an attempt to ascertain the possible causal and/or motivational reasons for the acquisition of superstitious beliefs and practices in sports like baseball. Finally, I argue that, in addition to superstitions acquired merely via the workings of a type of biasing mechanism, there also appear to be genuine cases of superstition acquisition and maintenance, in which the agent may be said to be actively engaged. I claim that in at least some cases of superstitious belief, it is possible that agents are employing an awareness of their own rational epistemic standards to allow themselves to believe and act irrationally, and that the result of such “pseudo-rational” behavior is perhaps a form of self-deceptive superstitious belief. (shrink)

This work attempts to respond to Tomas Aquinas' Cosmological Argument in a way that combines Set Theory with the idea of the ‘Book of Change’. The study defines the ith Cause Set on which to operate on, which leads to the ontological commitment of austerity that the ‘First Cause's Compromise with emergence’ cannot be avoided. It is argued in the present paper that the concept that ‘emergence only consists of Synchronic Emergence and Diachronic Emergence’ should be extended to a broader (...) notion of emergence, which is made up of the two discussed elements and a third one ‘No-Boundary Emergence’ (beyond the time dimension). The article defines the concept of No-Boundary Emergence, proves why it is a type of emergence that differs from the traditional two types, and asserts that it underlies the bottom layer of the cosmos. This study describes the common feature of all emergence as communication protocols between layers. The assemblage of all emergences behaves similar to a distributed system that cannot be restricted by Gödel's theorem. The paper provides evidence (in Big Bang Cosmology, Conformal Cyclic Cosmology, Superstring Theory, Quantum Gravity) for this point of view, and notes that emergence (in the context of No-Boundary Emergence) is not only a simple scientific theory but also a progressive scientific research programme that can spontaneously grow from scientific theory based on Platonism at the expense of a degenerating shift to the ontological commitment of austerity. This paper proposes an improved model of Schrödinger Cat that provides a new explanation for quantum measurement and argues that there must be a forbidden zone of thought experiments. The study also introduces the implications of ancient Chinese thoughts (namely, the ‘Book of Change’ and Confucius). The paper comes to the conclusion that emergence (crossing the gap between ‘being’ and ‘nothing’, while ignoring the forbidden zone of thought experiments) relieves ‘cosmological insufficiency’ in the sense of Neo-Aristotelism. (shrink)

In general, a system S (that may be a company, association, institution, society, country, etc.) is formed by sub-systems Si { or P(S), the powerset of S }, and each sub-system Si is formed by sub-sub-systems Sij { or P(P(S)) = P2(S) } and so on. That’s why the n-th PowerSet of a Set S { defined recursively and denoted by Pn(S) = P(Pn-1(S) } was introduced, to better describes the organization of people, beings, objects etc. in our real world. (...) The n-th PowerSet was used in defining the SuperHyperOperation, SuperHyperAxiom, and their corresponding Neutrosophic SuperHyperOperation, Neutrosophic SuperHyperAxiom in order to build the SuperHyperAlgebra and Neutrosophic SuperHyperAlgebra. In general, in any field of knowledge, one in fact encounters SuperHyperStructures. Also, six new types of topologies have been introduced in the last years (2019-2022), such as: Refined Neutrosophic Topology, Refined Neutrosophic Crisp Topology, NeutroTopology, AntiTopology, SuperHyperTopology, and Neutrosophic SuperHyperTopology. (shrink)

Humans are cognitive entities. Our ongoing interactions with the environment are threaded with creations and usages of meaningful information. Animal life is also populated with meaningful information related to survival constraints. Information managed by artificial agents can also be considered as having meanings, as derived from the designer. Such perspective brings us to propose an evolutionary approach to cognition based on meaningful information management. We use a systemic tool, the Meaning Generator System (MGS), and apply it consecutively to animals, humans (...) and artificial agents [1, 2]. The MGS receives information from its environment and compares it with its constraint. The generated meaning is the connection existing between the received information and the constraint. It triggers an action aimed at satisfying the constraint. The action modifies the environment and the generated meaning. Meaning generation links agents to their environments. The MGS is a system: a set of elements linked by a set of relations. Any system submitted to a constraint and capable of receiving information can lead to a MGS. Animals, humans and robots are agents containing MGSs dealing with different constraints. Similar MGSs carrying different constraints will generate different meanings. Cognition is system dependent. Contrary to approaches on meaning generation based on psychology or linguistics, the MGS approach is not based on human mind. We want to avoid the circularity of taking human mind as a starting point. Free will and self-consciousness participate to the management of human meanings. They do not exist for animals or robots. Staying alive is a constraint that we share with animals. Robots ignore that constraint. We first use the MGS for animals with “stay alive” and “group life” constraints. The analysis of meaning and cognition in animals is however limited by our un-complete understanding of the nature of life (the question of final causes). Extending the analysis of meaning generation and cognition to humans is complex and has some true limitations as the nature of human mind is a mystery for today science and philosophy. The natures of our feelings, free will or self-consciousness are unknown. Approaches to identify human constraints are however possible, where the MGS can highlight some openings [3, 4]. Modeling meaning management in artificial agents is rather straightforward with the MGS. We, the designers, know the agents and the constraints. The derived nature of constraints, meaning and cognition is however to be highlighted. We define a meaningful representation of an item for an agent as being the networks of meanings relative to the item for the agent, with the action scenarios involving the item. Such meaningful representations embed the agents in their environments and are far from the GOFAI type of representations. Cognition, meanings and representations exist by and for the agents. We finish by summarizing the points presented here and highlight possible continuations . [1] “Information and Meaning” [2] “Introduction to a systemic theory of meaning” [3] “Computation on Information, Meaning and Representations. An Evolutionary Approach” [4] “Proposal for a shared evolutionary nature of language and consciousness”. (shrink)

Marine ecosystems are under increasing pressure from human activity, yet successful management relies on knowledge. The evidence-based policy (EBP) approach has been promoted on the grounds that it provides greater transparency and consistency by relying on ‘high quality’ information. However, EBP also creates epistemic responsibilities. Decision-making where limited or no empirical evidence exists, such as is often the case in marine systems, creates epistemic obligations for new information acquisition. We argue that philosophical approaches can inform the science-policy interface. Using marine (...) biosecurity examples, we specifically examine the epistemic challenges in the acquisition and acceptance of evidence to inform policy, discussing epistemic due care and biases in consideration of evidence. (shrink)

Abstract: Tomatoes are part of the major crops in food security. Tomatoes are plants grown in temperate and hot regions of South American origin from Peru, and then spread to most countries of the world. Tomatoes contain a lot of vitamin C and mineral salts, and are recommended for people with constipation, diabetes and patients with heart and body diseases. Studies and scientific studies have proven the importance of eating tomato juice in reducing the activity of platelets in diabetics, which (...) helps in protecting them from developing deadly blood clots. A tomato classification approach is presented with a data set containing approximately 5,266 images with 7 species belonging to tomatoes. The Neural Network Algorithms (CNN), a deep learning technique applied widely in image recognition, is used for this task. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

Using tools like argument diagrams and profiles of dialogue, this paper studies a number of examples of everyday conversational argumentation where determination of relevance and irrelevance can be assisted by means of adopting a new dialectical approach. According to the new dialectical theory, dialogue types are normative frameworks with specific goals and rules that can be applied to conversational argumentation. In this paper is shown how such dialectical models of reasonable argumentation can be applied to a determination of whether (...) an argument in a specific case is relevant are not in these examples. The approach is based on a linguistic account of dialogue and text from congruity theory, and on the notion of a dialectical shift. Such a shift occurs where an argument starts out as fitting into one type of dialogue, but then it only continues to makes sense as a coherent argument if it is taken to be a part of a different type of dialogue. (shrink)

Epistemic instrumentalism views epistemic norms and epistemic normativity as essentially involving the instrumental relation between means and ends. It construes notions like epistemic normativity, norms, and rationality, as forms of instrumental or means-end normativity, norms, and rationality. I do two main things in this paper. In part 1, I argue that there is an under-appreciated distinction between two independent types of epistemic instrumentalism. These are instrumentalism about epistemic norms and instrumentalism about epistemic normativity. In part 2, I argue that (...) this under-appreciated distinction matters for the debate surrounding the plausibility of EI. Specifically, whether we interpret EI as norm-EI or as source-EI matters for the widely discussed universality or categoricity objection to EI, and for two important motivations for adopting EI, namely naturalism and the practical utility of epistemic norms. I will then conclude by drawing some lessons for epistemic instrumentalism going forward. (shrink)

Given the significant exculpatory power that ignorance has when it comes to moral, legal, and epistemic transgressions, it is important to have an accurate understanding of the concept of ignorance. According to the Standard View of factual ignorance, a person is ignorant that p whenever they do not know that p, while on the New View, a person is ignorant that p whenever they do not truly believe that p. On their own though, neither of these accounts (...) explains how ignorance can often be a degreed notion—how we can sometimes be slightly ignorant, quite ignorant, or completely ignorant that p. In this paper, I will argue that there is a route for advocates of the Standard View and the New View to accommodate the gradability of ignorance. On the view I defend, ‘ignorant’ picks out everyone that is ignorant to some degree, making it possible that ignorance can be both degreed and characterized as a lack of knowledge or true belief. Even though we can be ignorant to a greater or lesser extent, the only way to avoid being ignorant that p is to know or truly believe. (shrink)

There are at least three basic phenomena that philosophers traditionally classify as paradigm cases of irrationality. In the first two cases, wishful thinking and self-deception, a person wants something to be true and therefore ignores certain relevant facts about the situation, making it appear to herself that it is, in fact, true. The third case, weakness of will, involves a person undertaking a certain action, despite taking herself to have an all-things-considered better reason not to do so. While I think (...) that Stephen Colbert's notion of "truthiness" might be able to fit the mold of each of these three kinds of irrationality, it applies most directly to cases of wishful thinking and self-deception — and it’s these two types of irrationality that I discuss extensively in this paper. As we will see, there are some troubling philosophical problems that arise regarding phenomena like self-deception. But we can use the concept of truthiness to show how these “paradoxes of irrationality” may be resolved without denying the fundamental irrationality of truthiness itself. -/- An earlier version of this paper ("Truthiness, Self-Deception, and Intuitive Knowledge") appeared in "The Daily Show and Philosophy" (2007). (shrink)

I develop a distinction between two types of psychological hedonism. Inferential hedonism (or “I-hedonism”) holds that each person only has ultimate desires regarding his or her own hedonic states (pleasure and pain). Reinforcement hedonism (or “R–hedonism”) holds that each person's ultimate desires, whatever their contents are, are differentially reinforced in that person’s cognitive system only by virtue of their association with hedonic states. I’ll argue that accepting R-hedonism and rejecting I-hedonism provides a conciliatory position on the traditional altruism debate, (...) and that it coheres well with the neuroscientist Anthony Dickinson’s theory about the evolutionary function of hedonic states, the “hedonic interface theory.” Finally, I’ll defend R-hedonism from potential objections. (shrink)

In this paper, we propose a new theory of rationality defeat. We propose that defeaters are "indicators of ignorance", evidence that we’re not in a position to know some target proposition. When the evidence that we’re not in a position to know is sufficiently strong and the probability that we can know is too low, it is not rational to believe. We think that this account retains all the virtues of the more familiar approaches that characterise defeat in terms (...) of its connection to reasons to believe or to confirmation but provides a better approach to higher-order defeat. We also think that a strength of this proposal is that it can be embedded into a larger normative framework. On our account the no-defeater condition is redundant. We can extract our theory of defeat from our theory of what makes it rational to believe—it is rational to believe when it is sufficiently probable that our belief would be knowledge. Thus, our view can provide a monistic account of defeat, one that gives a unifying explanation of the toxicity of different defeaters that is grounded in a framework that either recognises knowledge as the norm of belief or identifies knowledge as the fundamental epistemic good that full belief can realise. (shrink)

Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all but totally ignored. (...) As for induction, apart from the elucidation of adductive processes (the scientific method), almost no formal work has been done. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct from logical conditioning), including their production from modal categorical premises. Future Logic contains a great many other new discoveries, organized into a unified, consistent and empirical system, with precise definitions of the various categories and types of modality (including logical modality), and full awareness of the epistemological and ontological issues involved. Though strictly formal, it uses ordinary language, wherever symbols can be avoided. Among its other contributions: a full list of the valid modal syllogisms (which is more restrictive than previous lists); the main formalities of the logic of change (which introduces a dynamic instead of merely static approach to classification); the first formal definitions of the modal types of causality; a new theory of class logic, free of the Russell Paradox; as well as a critical review of modern metalogic. But it is impossible to list briefly all the innovations in logical science — and therefore, epistemology and ontology — this book presents; it has to be read for its scope to be appreciated. (shrink)

The purpose of this chapter is twofold. On the one hand, our goal is theoretical, as we aim at providing an instrument for detecting, analyzing, and solving ambiguities based on the reasoning mechanism underlying interpretation. To this purpose, combining the insights from pragmatics and argumentation theory, we represent the background assumptions driving an interpretation as presumptions. Presumptions are then investigated as the backbone of the argumentative reasoning that is used to assess and solve ambiguities and drive (theoretically) interpretive mechanisms. On (...) the other hand, our goal is practical. By analyzing ambiguities as stemming from different presumptions concerning language or, more importantly, expected communicative roles and goals, we can use communicative misunderstandings as the signal of deeper disagreements concerning mutual expectations or cultural differences. This argumentation-based interpretive mechanism will be applied to the analysis of medical interviews in the area of diabetes care, and will be used to bring to light the sources of misunderstanding and the different presumptions that define distinct cultures. We will consequently illustrate the analytical tools by identifying and distinguishing the various types of ambiguity underlying misunderstandings, and we will address them by describing the communicative intentions ascribed to the ambiguous utterances. (shrink)

An examination of conditionals in di¤erent languages leads to a distinction of three types of conditionals instead of the usual two (indicative and subjunctive). The three types can be explained by the degree of acceptance or as-if acceptance of the truth of the antecedent. The labels subjunctive and indicative are shown to be inadequate. So-called indicative conditionals comprise two classes, the very frequent uncertain-fact conditionals and the quite rare accepted-fact conditionals. Uncertain-fact conditionals may have a time shift in (...) contemporary English and the future subjunctive in Portuguese (though not all of them do). Moreover, paraphrases of if with in case or supposing are usually possible with approximately the same meaning. Accepted-fact conditionals never have these features. (shrink)