The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free (...) topology) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

Since the formation period, the concept of religion and the basic issues related to religiosity have been among the main subjects that attracted the Sūfīs. As a consequence, Sūfī writers showed great interest in the subject and endeavoured to produce a genuine religious thought. This tradition of religious thought, which was developed by the Sūfīs, also dealt with problems concerning other religious systems, their basic tenets and rituals, as well as the relationship with the members of other religions. In this (...) context, the school of Wahdat al-Wujūd, which is one of the most significant schools of thought that was developed within the context of Sūfī tradition, provided the most original explanations concerning the nature of religion, various religions and belief systems and their relationship with each other. This article aims to examine the main tenets of the Wahdat al-Wujūd school concerning the concept of religion as well as several basic issues related to this concept. Therefore, the definition of religion, the need for religion, the transcendent unity of religions, the reason for the plurality of religions and the concept of wahdat-i ma‘būd are among the topics that are discussed in this article. (shrink)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in (...) terms of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role of presupposition in supervaluations logical (...) systems. At the end of the first part, presuppositional logic, advocated by S.K. Thomason, is taken into consideration. The second part refers to the presuppositions in relation to the logic of the dynamics of belief. Here the logic of belief change is taken into consideration and other epistemic notions with immanent mechanism for the presentation of the dynamics. Three representative and dominant approaches are evaluated. First, we deal with new, less classical, situation semantics. Besides Strawson’s theory, the second theory is the theory of the belief change, developed by Alchourron, Gärdenfors, and Makinson (AGM theory). At the end, the oldest, universal, and dominant approach is used, recognized as Hintikka’s approach to the analysis of epistemic notions. (shrink)

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. (...) In this paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

"Paraconsistent Belief Revision Based on a Formal Consistency Operator" delves into Belief Revision—a significant area of research in Formal Philosophy that uses logic to model the ways in which human and artificial agents modify their beliefs in response to new information and examines how these changes can be considered rational. -/- Originally authored as a PhD thesis (previously published in Portuguese), this work provides a novel epistemic interpretation of Paraconsistency through Paraconsistent Belief Revision systems. It explores the (...) concept of paraconsistency from the standpoint of epistemic attitudes of acceptance and rejection. -/- This work challenges the traditional notion that accepting a new belief requires retracting its negation from the current epistemic state. The author contends that such reflexive retraction goes against the principle of informational economy, which is a crucial aspect of rationality in the context of belief change. Consequently, the phenomenon of paraconsistency is further examined from this fresh perspective of belief change, shedding light on the complexities of the Logics of Formal Inconsistency (LFIs). These LFIs provide the foundational logic, offering a comprehensive framework for understanding and implementing paraconsistent principles within belief revision systems. -/- This thesis was supervised by Marcelo Esteban Coniglio and co-supervised by Márcio Moretto Ribeiro, as part of Rafael Rodrigues Testa's doctoral studies at the University of Campinas (Unicamp), Brazil. (shrink)

Despite amendments to the sexual assault provisions in the Criminal Code, decisions about the availability and operation of the defence of belief in consent remain vulnerable to the influence of legally extraneous considerations. The author proposes an approach designed to limit the influence of such considerations.

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of (...) formal consistency. (shrink)

Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a (...) more accurate way our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moore’s Paradox. (shrink)

Bare plural generic sentences pervade ordinary talk. And yet it is extremely controversial what semantics to assign to such sentences. In this paper, I achieve two tasks. First, I develop a novel classification of the various standard uses to which bare plurals may be put. This “variety data” is important—it gives rise to much of the difficulty in systematically theorizing about bare plurals. Second, I develop a novel account of bare plurals, the radical account. On this account, all bare plurals (...) fail to express propositions. The content of a bare plural has to be pragmatically “completed” by a speaker in order for her to make an assertion. At least the content of a quantifier expression has to be supplied. But sometimes, the content of a sentential operator or modal verb is also supplied. The radical account straightforwardly explains the variety data: Speakers’ communicative intentions vary wildly across different contexts. (shrink)

In this paper we discuss a phenomenon we call perspectival plurality, which has gone largely unnoticed in the current debate between relativism and contextualism about predicates of personal taste. According to perspectival plurality, the truth value of a sentence containing more than one PPT may depend on more than one perspective. Prima facie, the phenomenon engenders a problem for relativism and can be shaped into an argument in favor of contextualism. We explore the consequences of perspectival plurality (...) in depth and assess several possible responses on behalf of advocates of relativism. (shrink)

Abstract. The aim of this paper is to show that the topological interpretation of knowledge as an interior kernel operator K of a topological space (X, OX) comes along with a partially ordered family of belief modalities B that fit K in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB logic of knowledge and belief with the exception of the contentious axiom of negative introspection (NI). The new belief modalities B introduced in (...) this paper are defined with the help of the (dense) nuclei of the Heyting algebra OX of open subsets on the topological space (X, OX). In this way, the natural context for the belief operators B related to topological knowledge operator K is shown to be the Heyting algebra NUC(OX) of the nuclei of the Heyting algebra OX.1 More precisely, the dense nuclei of NUC(OX) can be used to define a variety of bimodal logics of knowledge operators K and belief operators B. The operators K and B are compatible with each other in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB system with the exception of the axiom (NI). Therefore, for (X, OX), one obtains a bounded, partially ordered family of belief operators B defined by the elements of NUC(OX). (shrink)

People increasingly form beliefs based on information gained from automatically filtered Internet ‎sources such as search engines. However, the workings of such sources are often opaque, preventing ‎subjects from knowing whether the information provided is biased or incomplete. Users’ reliance on ‎Internet technologies whose modes of operation are concealed from them raises serious concerns about ‎the justificatory status of the beliefs they end up forming. Yet it is unclear how to address these concerns ‎within standard theories of knowledge and justification. (...) To shed light on the problem, we introduce a ‎novel conceptual framework that clarifies the relations between justified belief, epistemic responsibility, ‎action, and the technological resources available to a subject. We argue that justified belief is subject to ‎certain epistemic responsibilities that accompany the subject’s particular decision-taking circumstances, ‎and that one typical responsibility is to ascertain, so far as one can, whether the information upon which ‎the judgment will rest is biased or incomplete. What this responsibility comprises is partly determined by ‎the inquiry-enabling technologies available to the subject. We argue that a subject’s beliefs that are ‎formed based on Internet-filtered information are less justified than they would be if she either knew how ‎filtering worked or relied on additional sources, and that the subject may have the epistemic ‎responsibility to take measures to enhance the justificatory status of such beliefs.‎. (shrink)

In their 2020 International Religious Freedom Report, the United States Commission on International Religious Freedom (USCIRF) detailed the recognition processes for religious organisations by country. Although the dynamics of religious restriction were acknowledged, the data alone did not explicate the possible link between the abuse of recognition systems and issues such as religious freedom violations, forced migration, discrimination, and terrorism. This project is primarily concerned with how the legal apparatus of religious recognition could be abused by governments and why this (...) may be fundamental to the conditions of religious liberty. Religious recognition denotes the mechanism for the legal registration of religious institutions in a country; government recognition normally permits institutions to conduct commercial operations and religious services legally. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three (...) usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

In almost all of his early works Gilles Deleuze is concerned with one and the same problem: the problem of genesis. In response to this problem, Deleuze argues for a system of heterogenesis. In this article, I argue that Deleuze’s system of heterogenesis operates on three levels: (1) the differential multiplicity of virtual Ideas; (2) the implied multiplicity of intensive dramas; (3) the extensive and qualitative diversity of actual concepts. As I hope to show, the relation between these three levels (...) can be explained in terms of the logic of expression that Deleuze develops in 'Expressionism in Philosophy: Spinoza.' In this way, I hope to gain clarity without losing nuance. The rather technical and abstract language of expression will become more concrete and understandable when it is understood in terms of intensive dramas, virtual Ideas and actual concepts. At the same time, the three levels of expression make it possible to show how these notions are interlinked. Accordingly, this article is divided in four parts. In the first part, I will explain how Deleuze takes up Kant’s discovery of the principle of difference as a reaction against the model of representation. The second part focuses on the two multiplicities (virtual Ideas and intensive dramas) that produce diversity (actual concepts). In the third part, these two multiplicities are linked to each other with the help of the logic of expression that Deleuze derives from Spinoza. The fourth, concluding part will connect the logic of expression to the complex dynamic of difference and repetition. (shrink)

This monograph is an in-depth and engaging discourse on the deeply cognitive roots of human scientific quest. The process of making scientific inferences is continuous with the day-to-day inferential activity of individuals, and is predominantly inductive in nature. Inductive inference, which is fallible, exploratory, and open-ended, is of essential relevance in our incessant efforts at making sense of a complex and uncertain world around us, and covers a vast range of cognitive activities, among which scientific exploration constitutes the pinnacle. Inductive (...) inference has a personal aspect to it, being rooted in the cognitive unconscious of individuals, which has recently been found to be of paramount importance in a wide range of complex cognitive processes. One other major aspect of the process of inference making, including the making of scientific inferences, is the role of a vast web of beliefs lodged in the human mind, as also of a huge repertoire of heuristics, that constitute an important component of ‘unconscious intelligence’. Finally, human cognitive activity is dependent in a large measure on emotions and affects, that operate mostly at an unconscious level. Of special importance in scientific inferential activity is the process of hypothesis making, which is examined in this book, along with the above aspects of inductive inference, at considerable depth. The book focuses on the inadequacy of the viewpoint of naive realism in understanding the contextual nature of scientific theories, where a cumulative progress towards an ultimate truth about Nature appears to be too simplistic a generalization. It poses a critique to the commonly perceived image of science which is seen as the last word in logic and objectivity, the latter in the double sense of being independent of individual psychological propensities and, at the same time, approaching a correct understanding of the workings of a mind-independent nature. Adopting the naturalist point of view, it examines the essential tension between the cognitive endeavours of individuals and scientific communities, immersed in belief systems and cultures, on the one hand, and the engagement with a mind-independent reality on the other. In the end, science emerges as an interpretation of nature, which is perceived by us only contextually, as successively emerging cross-sections of limited scope and extent. Successive waves of theory building in science appear as episodic and kaleidoscopic changes in perspective as certain in-built borders are crossed, rather than as a cumulative progress towards some ultimate truth. While written in an informal and conversational style, the book raises a number of deep and intriguing questions located at the interface of cognitive psychology and philosophy of science, meant for both the general lay reader and the specialist. Of particular interest is the way it explores the role of belief (aided by emotions and affects) in making the process of inductive inference possible since belief is a subtle though all-pervasive cognitive factor not adequately investigated in the current literature. (shrink)

C.S. Peirce's and Isaac Levi's accounts of the belief-doubt-belief model are discussed and evaluated. It is argued that the contemporary study of belief change has metamorphosed into a branch of philosophical logic where empirical considerations have become obsolete. A case is made for reformulations of belief change systems that do allow for empirical tests. Last, a belief change system is presented that (1) uses finite representations of information, (2) can adequately deal with inconsistencies, (3) has (...) finite operations of change, (4) can do without extra-logical elements, and (5) only licenses consistent beliefs. (shrink)

The science of operations research is one of the modern sciences that have made a great revolution in all areas of life through the methods provided by it, suitable and appropriate to solve most of the problems that were facing researchers, scholars and those interested in the development of societies, and the most beneficiaries of this science were companies and institutions that are looking for scientific methods that help them manage their work so that they achieve the greatest profit and (...) the lowest cost, and one of the important methods that have been used in the management of companies we offer in this research two methods, Dynamic programming method. This method has been used in many practical matters and helped decision-makers in companies to achieve a maximum profit and less cost by formulating the reality of the state of the company and the data provided by decision-makers with a dynamic mathematical model that is solved using methods of solving dynamic models and we will provide in this research an example of this through the issue of choosing the optimal investment for the budget of a company so that it achieves a maximum profit, and the method of programming with integers: the method that provided these companies with solutions with integer values suitable for the nature of its work, through the use of the binary integer in the formulation of the appropriate mathematical model on the one hand, and on the other hand, the use of the binary integer variable helped to convert some nonlinear models that lead to some practical problems into linear models, and it should be noted here that in the previous two methods there is something indeterminable because we must make a decision in choosing or not choosing something, but the optimal solution that we will get remains A specific value because we are building the mathematical model for any realistic issue through the data provided by those responsible for the work and these data are calculated quantities and therefore they are uncertain values because their validity depends on the circumstances surrounding the work environment, they may be exposed to increase or decrease, and therefore the optimal solution on which the company will base its decision is suitable for specific values and any change in them can cause the company an uncalculated loss, so in this research we will use the concepts of neutrosophic science, the branch of science founded by the American scientist Florentin Smarandache in 1995 based on his belief that there is no absolute truth, a science that is interested in the study of ideas and concepts that are neither true nor false, but just in between, and we will take the data (calculated quantities) neutrosophic values that are specified or unspecified values are any set close to the calculated quantities, then the resulting mathematical model is a neutrosophic model and the optimal solution has neutrosophic values and thanks to the indefinite uncertainty that these values have, companies from the development of appropriate plans for all circumstances and thus achieve the greatest profit and the lowest cost, and we will clarify the above through two issues, the issue of optimal designation of a warehouse site, which we will formulate the mathematical model of using the neutrosophic integer programming method - and the issue of capital budget, which we will present in two different forms, we use in the first form the neutrosophic integer programming method and in the second the neutrosophic dynamic programming method. (shrink)

Extending Alvin Plantinga’s model of warranted belief to the beliefs of groups as a whole, I argue that if the dogmatic beliefs of the Catholic Church are true, they are also warranted. Catholic dogmas are warranted because they meet the three conditions of my model: they are formed (1) by ministers functioning properly (2) in accordance with a design plan that is oriented towards truth and reliable (3) in a social environment sufficiently similar to that for which they were (...) designed. I show that according to Catholic doctrine the authoritative spokespersons of the Church—ecumenical councils and popes—meet these conditions when defining dogmas. I also respond to the objection that the warrant of Catholic dogmas is defeated by the plurality of non-Catholic Christian sects that deny Catholic dogmas. (shrink)

We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four interaction (...) properties between certainty and plausibility and study how these properties translate into properties of belief. We then prove that all the logics considered are minimal logics for the highlighted theorems. We also consider a number of possible interpretations of plausibility, identify the corresponding logics and show that some notions considered in the literature are special cases of our framework. (shrink)

Today’s organizations are operating in a highly competitive and changing environment ‎that ‎pushes them to adapt their organizational structures to such ‎environments continuously. ‎However, the ethical behavior of employees is considered a bridge to the organization’s success ‎, driven by positive beliefs. This study's purpose of examining the psychological and ethical ‎beliefs' that influence employees' behavior at the workplace through a literature review. This ‎paper uses two terms: "ethical beliefs” and “psychological beliefs.” They both ‎are different but can significantly influence (...) the behavior of employees. Positive psychological and ‎strong ethical beliefs drive ethical behaviors at the workplace, such as honesty, accountability, ‎fairness, responsibility, trust, and integrity, which lead to better performance, a productive team, and ‎positivity in the workplace. It helps to develop a professional relationship with employees, ‎effective communication, accountability, and professionalism at work. While negative ‎psychological and weak ethical beliefs drive unethical behavior, including taking credit for other ‎hard work, abuse, verbal harassment, violence, lack of ambitions and professionalism, theft, ‎corrupt practices, etc. Finally, the arguments demonstrate that some ethical beliefs are perceived ‎to be more objective and appropriate than psychological beliefs. The ethical beliefs of workers ‎considered more formal than psychological beliefs. ‎. (shrink)

Currie’s (2010) argument that “i-desires” must be posited to explain our responses to fiction is critically discussed. It is argued that beliefs and desires featuring ‘in the fiction’ operators—and not sui generis imaginings (or "i-beliefs" or "i-desires")—are the crucial states involved in generating fiction-directed affect. A defense of the “Operator Claim” is mounted, according to which ‘in the fiction’ operators would be also be required within fiction-directed sui generis imaginings (or "i-beliefs" and "i-desires"), were there such. Once we appreciate that (...) even fiction-directed sui generis imaginings would need to incorporate ‘in the fiction’ operators, the main appeal of the idea that sui generis imaginings (or "i-beliefs" or "i-desires") are at work in fiction-appreciation dissipates. [This is Chapter 10 of Explaining Imagination (OUP, 2020)]. (shrink)

ABSTRACT The individual-community relationship has always been one of the most fundamental topics of social sciences. In sociology, this is known as the micro-macro relationship while in economics it refers to the processes, through which, individual actions lead to macroeconomic phenomena. Based on philosophical discourse and systems theory, many sociologists even use the term "emergence" in their understanding of micro-macro relationship, which refers to collective phenomena that are created by the cooperation of individuals, but cannot be reduced to individual actions. (...) "Emergence" theories attempt to explain the nature of society as a complex system by examining how individuals and their relationships lead to the creation of integrated and macro-social phenomena such as markets, educational systems, cultural beliefs, and shared social practices. As a prelude to activity, every researcher has to answer the question from the methodological point of view, how is it possible to study the behavior of social groups and how can we gain knowledge about the laws related to social groups? Anyone who deals with humanities and social sciences or any reality and phenomenon that affects human beings, inevitably deals with the reality that is emerging. In fact, emergence occurs when one level of reality emerges radically from another level. Examples of emergent levels of reality include how the mind emerges from the body; or the way society emerges from human beings. Therefore, when there is an emerging factor, different scientific disciplines should be used, because it is inevitable to talk about social affairs, psychology and neurobiology, as well as physical and even chemical. -/- INTRODUCTION Since its beginning in the 19th century, sociology has faced the fundamental question of what a social phenomena stands for? At a glance, sociologists deal with the study of social groups, collective behavior, institutions, social structures, social networks, and social dynamics, and ultimately all such phenomena are composed of individuals. Therefore, social phenomena seem to have no independent ontological status, and in this case, sociology is ultimately about reducible individuals. Different approaches about the micro-macro relationship, using the concept of "emergence", argue that although collective phenomena are created by individuals, they cannot be reduced to individual action. The term "emergence" is used to distinguish "emergent results" from " Procedural results". Results are called Procedural that can only be calculated by adding or subtracting the causes that act together. On the contrary, they are emergent outcomes that are qualitatively novel compared to the causes from which they originate. An example of such emergent results is mental characteristics that emerge from neural processes, but are not considered among the characteristics of neural processes of components - which are their origin. Philosophical debates about emergentism and reductionism focus on the mind-brain relationship, but as many philosophers have noted, they can be generalized to apply to any hierarchical set of features. The cognitive revolution reactivated a 19th century controversy between theorists of Identity and dualism. The theorists of Identity believe in reductionist materialism and elimination of metaphysics, according to which the mind is nothing more than the biological, while the dualists believe that the mind and the brain are distinct from each other. Emergence has been considered as a third way between the theories of Identity and dualism. -/- METHODOLOGY Interdisciplinarity Is fundamentally indicated by the dominance of open systems as well as social and emerging systems at different levels. Therefore, as long as we are facing a new emergentism, there will necessarily be different fields and an interdisciplinary method. The commonality of social sciences and cognitive sciences on the issue of emergence provides the possibility of interaction and exchange of concepts between these two for deeper research. Therefore, in this research, apart from the concepts of Subvenience and downward causation, we have used multiple realization and wildly disjunctive, which are used to explain the emerging concept in cognitive sciences, including neurobiology, psychology, and philosophy. For analytical and interdisciplinary approaches, after examining the concepts of subvenience, and wildly disjunctive, Individualistic and collectivist emergentism have been reviewed. And then their adequacy is criticized and evaluated in meeting strong emergence conditions. -/- FINDINGS Philosophers of the mind have been able to define the conditions of irreducibility and downward causation, which are essential for strong emergence, by using the principle of subvenience with the help of multiple realization and wildly disjunctive principles. Therefore, by definition, emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and emergentist collectivism faces the challenge of reification. The analysis of the challenges facing the two methodological approaches of individualism and collectivism leads us to three unresolved issues about the emerging phenomenon, which are realism, downward causality, and mechanism. Despite the differences in the stances of these two approaches regarding the aforementioned triple problems, individualists and collectivists both agree that some social characteristics are reducible; and some others are irreducible due to their complexity, the determination of which, depends on the case study of the mechanism of emergence of each social characteristic. -/- CONCLUSION An emergence that is consistent with reductionism is called a weak emergence. And strong emergence includes the principle of irreducibility and downward causality. According to strong emergence, the characteristics of social phenomena have downward causal power, which cannot be reduced to the causal forces. The principle of subvenience, together with multiple realization and wildly disjunctive, can provide the conditions of irreducibility and downward causality, which are essential conditions of strong emergence. Based on the philosophical analysis of two methodological approaches, individualist and collectivist, it can be concluded that emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and reification collectivism faces the challenge of reification. The analysis of the problems faced by these two approaches leads us to three unresolved issues, which are realism, downward causality, and mechanism. individualist emergentists acknowledge the existence of emergent social characteristics, but despite this, they believe that these characteristics are not real but merely analytical constructs that require explanation based on individuals and their mutual actions. But collectivists argue that emergentism yields a categorical ontology and supports social realism. They accept the dependence of social characteristics on individuals, but claim that social entities and structures are ontologically independent. Individualists and collectivists both agree that some social characteristics are reducible; and others are irreducible due to their complexity; and the only way to recognize this is to engage in empirical studies of the mechanisms and temporal processes of "emergence" that create social characteristics. -/- NOVELTY The newness of this compact article is as follows: a) Presenting an interdisciplinary approach using the analysis of philosophy of cognitive sciences, including the philosophy of mind, neurobiology and psychology to formulate the issue of social emergence; b) Criticizing individualist and collectivist methodological approaches to the issue of social emergence and explaining the sufficiency and shortcomings of both in providing weak and strong emerging conditions; c) Explaining and categorizing the challenges facing methodological approaches in explaining the phenomenon of social emergence, in three categories: realism, downward causality, and mechanism. BIBLIOGRAPHY Beckermann, A., Flohr, H., & Kim, J. (eds.) (1992). Emergence or reduction? Essays on the prospects of nonreductive physicalism. Berlin: Walter de Gruyter. Bhaskar, R. (1979). The possibility of Naturalism. New York: Routledge. Bhaskar, R., Danermark, B. & Price, L. (2018). Interdisciplinarity and wellbeing: A critical realist general theory of interdisciplinarity. London and New York: Routledge. Blau, P.M. (1981). Introduction: diverse views of social structure and their common denominator. In Blau, P.M. & Merton, R.K. (eds.), Continuity in Structural Inquiry (pp. 1–23). Beverly Hills: Sage. Blau, P.M. (1987). Microprocess and macrostructure. In K.S. Cook (ed.), Social Exchange Theory (pp. 83–100). Newbury Park, CA: Sage. Brooks, R.A., & Maes, P. (eds). (1994). Artificial life IV; proceedings of the Fourth International Workshop on the Synthesis and Simulation of Living Systems. Cambridge, Mass: MIT Press. Clark, A. (1997). Being there: Putting brain, body, and world together again. Cambridge, Mass.: MIT Press. Coleman, J. S. (1987). Microfoundations and macrosocial behavior. In: J. C. Alexander, B. Giesen, R. Munch, & Neil J. Smelser (Eds.). The Micro-Macro Link (pp. 153–73). Berkeley: University of California. Coleman, J. S. (1990). Foundations of social theory. Cambridge, MA: Harvard University Press. Elster, J. (1985). Making sense of Marx. New York: Cambridge University Press. Fodor, J.A. (1974). Special sciences (Or: The disunity of science as a working hypothesis). Synthese, 28(2), 97–115. Fodor, J.A. (1989). Making mind matter more. Philosophical Topics, 17, 59-79. Giddens, A. (1984). The constitution of society: Outline of the theory of structuration. Berkeley: University of California Press. Hempel, C.G. (1965). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press. Horgan, T. (1993). From supervenience to superdupervenience: meeting the demands of a material world. Mind, 102, 555-586. Humphreys, P. (1997). How properties emerge”. Philosophy of Science, 64, 1-17. Kim, J. (1999). Making sense of emergence. Philosophical Studies, 95, 3–36. Kincaid, H. (1997). Individualism and the unity of science. New York: Rowman & Littlefield. Lewis, D.K. (1986). The plurality of worlds. Oxford: Oxford University Press. Nigel, G., & Conte, R. (eds.) (1995). Artificial societies; The computer simulation of social life. London: UCL Press. O’Connor, T. (1994). Emergent properties. American Philosophical Quarterly, 31, 91-104. Popper, K.R. (1968). Conjectures and refutations: The Growth of Scientific Knowledge. New York: Harper & Row. Sawyer, R. K. (2001). Emergence in sociology: contemporary philosophy of mind and some implications for sociological theory. American Journal of Sociology, 107, 551-585. Sawyer, R. K. (2004). The mechanisms of emergence. Philosophy of the Social Sciences, 34, 260–282. Sawyer, R. K. (2005). Social emergence: societies as complex systems. Cambridge: Cambridge University Press. Sawyer, R.K. (2003). Nonreductive individualism: Part 2, Social causation. Philosophy of the Social Sciences, 33, 203–224. Winch, P. (1993). The idea of a social science and its relation to philosophy‭ (SAMT, Trans.). Tehran, Iran: SAMT. (shrink)

Perception is said to have assertoric force: It inclines the perceiver to believe its content. In contrast, perceptual imagination is commonly taken to be non-assertoric: Imagining winning a piano contest does not incline the imaginer to believe they actually won. However, abundant evidence from clinical and experimental psychology shows that imagination influences attitudes and behavior in ways similar to perceptual experiences. To account for these phenomena, I propose that perceptual imaginings have implicit assertoric force and put forth a theory—the Prima (...) Facie View—as a unified explanation for the empirical findings reviewed. According to this view, mental images are treated as percepts in operations involving associative memory. Finally, I address alternative explanations that could account for the reviewed empirical evidence—such as a Spinozian model of belief formation or Gendler’s notion of alief—as well as potential objections to the Prima Facie View. (shrink)

Should we understand implicit attitudes on the model of belief? I argue that implicit attitudes are (probably) members of a different psychological kind altogether, because they seem to be insensitive to the logical form of an agent’s thoughts and perceptions. A state is sensitive to logical form only if it is sensitive to the logical constituents of the content of other states (e.g., operators like negation and conditional). I explain sensitivity to logical form and argue that it is a (...) necessary condition for belief. I appeal to two areas of research that seem to show that implicit attitudes fail spectacularly to satisfy this condition—although persistent gaps in the empirical literature leave matters inconclusive. I sketch an alternative account, according to which implicit attitudes are sensitive merely to spatiotemporal relations in thought and perception, i.e., the spatial and temporal orders in which people think, see, or hear things. (shrink)

In this paper, I ask whether we should see different logical systems as appropriate for different domains (or perhaps in different contexts) and whether this would amount to a form of logical pluralism. One, though not the only, route to this type of position, is via pluralism about truth. Given that truth is central to validity, the commitment the typical truth pluralist has to different notions of truth for different domains may suggest differences regarding validity in those different domains. Indeed, (...) as we’ll see, the differences between the proposed multiple notions of truth are often of a type that is clearly significant in relation to logical features, such as whether or not a constructive notion of truth is at issue. I criticise domain-based logical pluralism. Having done so I introduce a context-based framework that operates with a context-relative notion of validity. I show that this context-based framework can be employed by the domain-specific logical pluralist, but that framework also allows for logical pluralism that does not involve several domains. Different contexts may demand rules of classical logic, where others only justify intuitionistic rules, even when the same domain (e.g. mathematics) is at issue. (shrink)

Stubborn belief, like self-deception, is a species of motivated irrationality. The nature of stubborn belief, however, has not been investigated by philosophers, and it is something that poses a challenge to some prominent accounts of self-deception. In this paper, I argue that the case of stubborn belief constitutes a counterexample to Alfred Mele’s proposed set of sufficient conditions for self-deception, and I attempt to distinguish between the two. The recognition of this phenomenon should force an amendment in (...) this account, and should also make a Mele-style deflationist think more carefully about the kinds of motivational factors operating in self-deception. (shrink)

Findings from the cognitive sciences suggest that the cognitive mechanisms responsible for some memory errors are adaptive, bringing benefits to the organism. In this paper we argue that the same cognitive mechanisms also bring a suite of significant epistemic benefits, increasing the chance of an agent obtaining epistemic goods like true belief and knowledge. This result provides a significant challenge to the folk conception of memory beliefs that are false, according to which they are a sign of cognitive frailty, (...) indicating that a person is less reliable than others or their former self. Evidence of memory errors can undermine a person’s view of themselves as a competent epistemic agent, but we show that false memory beliefs can be the result of the ordinary operation of cognitive mechanisms found across the species, which bring substantial epistemic benefits. This challenge to the folk conception is not adequately captured by existing epistemological theories. However, it can be captured by the notion of epistemic innocence, which has previously been deployed to highlight how beliefs which have epistemic costs can also bring significant epistemic benefits. We therefore argue that the notion of epistemic innocence should be expanded so that it applies not just to beliefs but also to cognitive mechanisms. (shrink)

A shared narrative in the literature on the evolution of cooperation maintains that social _learning_ evolves early to allow for the transmission of cumulative culture. Social _norms_, whilst present at the outset, only rise to prominence later on, mainly to stabilise cooperation against the threat of defection. In contrast, I argue that once we consider insights from social epistemology, an expansion of this narrative presents itself: An interesting kind of social norm — an epistemic coordination norm — was operative in (...) early and important instances of specialised social learning. I show how there’s a need for such norms in two key social learning strategies and explain how this need is constituted. In assessor-teaching (e.g. Castro et al., 2019b, 2021), epistemic coordination norms allow agents to coordinate around the _content_ of social learning, i.e., what is to be known and how this is to be done. These norms also allow agents to coordinate around the form of cultural learning in what’s sometimes called strategic social learning (Laland, 2004; Hoppitt & Laland, 2013; Heyes, 2018, Chap. 5) and elsewhere. Broadly speaking, this concerns how cultural learning is organised within the social group. The upshot is that the evolution of social learning and social norms are intertwined in important and underappreciated ways from early on. The above matters as it informs our views about the evolution of social norms more generally. Truly _social_ norms emerged to coordinate a plurality of complex behaviours and interactions, amongst them specialised social learning. I substantiate this view by contrasting it with Jonathan Birch’s views on the evolution of norms. What results is a general but cohesive narrative on the early evolution of social norms. (shrink)

In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but (...) also rationality constraints on the changes of doxastic state that may occur in such agents. An additional distinction is that between non-introspective theories and introspective ones. Non-introspective theories investigate agents that have opinions about the external world but no higher-order opinions about their own doxasticnstates. Standard AGM-type theories as well as the currently existing versions of Segerberg’s dynamic doxastic logic (DDL) are non-introspective. Hintikka-style doxastic logic is of course introspective but it is a static theory. Thus, the challenge remains to devise doxastic theories that are both dynamic and introspective. We outline the semantics for truly introspective dynamic doxastic logic, i.e., a dynamic doxastic logic that allows us to describe agents who have both the ability to form higher-order beliefs and to reflect upon and change their minds about their own (higher-order) beliefs. This extension of DDL demands that we give up the Preservation condition on revision. We make some suggestions as to how such a non-preservative revision operation can be constructed. We also consider extending DDL with conditionals satisfying the Ramsey test and show that Gärdenfors’ well-known impossibility result applies to such a framework. Also in this case, Preservation has to be given up. (shrink)

In my Racialization: A Defense of the Concept, I argue that ‘race’ fails as an analytic category and that we should think in terms of ‘racialization’ and ‘racialized groups’ instead (Hochman 2019c). I define these concepts and defend them against a range of criticisms. In Rethinking Racialization: The Analytical Limits of Racialization, Deniz Uyan critiques my “theory of racialization” (Uyan 2021). However, I do not defend a theory of racialization; I defend the concept of racialization. I argue that racialization is (...) a useful idea, but I do not advance a theory to explain or predict the phenomena it describes. While Uyan’s critique therefore misses its mark, it raises important questions about the explanatory scope of the racialization concept. Ironically, I may be even more skeptical of the prospects of any general theory of racialization than Uyan. I argue that while we ought to develop theories to explain particular instances of racialization, we should not develop a general theory of racialization, because it is simply too varied in the agents that drive it, their intents, the mechanisms through which it operates, and the outcomes it produces. While hope for any general theory of racialisation should be abandoned, I argue that the racialisation concept is still extremely useful. It offers a necessary alternative to race realist concepts, allowing us to point to the wide-ranging effects of belief in race without falsely implying that race itself is real. Uyan does not focus on my arguments against racial realism. However, the theoretical failures and normative risks of racial realism motivate my defense of the racialization concept. In this paper, I reiterate my arguments against racial realism and offer further defense of the concepts of ‘racialization’ and ‘racialized group’. (shrink)

Some religious communities argue that public policy is best decided by their own members, on the grounds that collaborating with those reasoning from secular or “worldly” perspectives will only foment error about how society should be run. But I argue that epistemology instead recommends fostering disagreement among a plurality of religious and secular worldviews. Inter-worldview disagreement over public policy can challenge our unquestioned assumptions, deliver evidence we would likely have missed, and expose us to new epistemic alternatives; when done (...) respectfully, it can also combat epistemically problematic biases and groupthink. I address two objections that members of a politically active religious community might raise: one that inter-worldview disagreement about public policy is not needed because one’s own beliefs are already true, and another that it is not needed because one’s own beliefforming processes are divinely guided. (shrink)

In forming groups—corporations, teams, academic departments, juries—humans gain new ways of acting in the world. Jennifer Lackey argues that groups need to be held responsible for their actions, and therefore need to be subject to epistemic evaluation. To criticize receptive or reckless behavior on the part of a corporation, for example, we need some account of what it is for a group to believe something, and for a group belief to be justified. In Lackey’s account, group epistemic states are (...) a function of the states of individual operative members. After raising some difficulties for her formulation of this function, this article raises questions about Lackey’s operative-member account can apply to new types of group agent, with a particular focus on the epistemic status of algorithmic systems that harvest human data. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are (...) obtained without resorting to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

This chapter sets out a theory of how to weigh alethic and pragmatic (non-alethic) reasons for belief, or more precisely, to say how alethic and non-alethic considerations jointly determine what one ought to believe. It replaces my earlier (2008) weighing account. It is part of _The true and the good: a new theory of theoretical reason_, which develops a view, welfarist pluralism, which comprises central two theses. One is that there are both irreducibly alethic or epistemic reasons for (...) class='Hi'>belief and irreducibly pragmatic (and non-alethic) reasons for belief. The other is that despite this, the source of all normativity is pragmatic in a particular way, i.e. that all reasons are reasons in virtue of their being conducive to wellbeing. The pluralist theory of reasons emerges from the irreducibly plural nature of the components of wellbeing, on of which is being in a positively-valenced epistemic state. This view also offers some insight into outstanding problems concerning the scope, chronicity, and normativity of the requirements of theoretical rationality as well. (Updated 10 May 2022). (shrink)

This article examines the operation of “reasonable steps” as a statutory standard for analysis of the availability of the defence of belief in consent in sexual assault cases and concludes that application of section 273.2(b) of the Criminal Code, as presently worded, often undermines the legal validity and correctness of decisions about whether the accused acted with mens rea, a guilty, blameworthy state of mind. When the conduct of an accused who is alleged to have made a mistake about (...) whether a complainant communicated consent is assessed by the hybrid subjective-objective reasonableness standard prescribed by s. 273.2, many decision-makers rely on extra-legal criteria and assumptions grounded on their personal experience and opinion about what is reasonable. In the midst of debate over what the accused knew and what steps were “reasonable” given what the accused knew, the legal definition of consent in section 273.1 is easily over-looked and decision-makers focus on facts that are legally irrelevant and prejudice rational deliberation. -/- That is precisely what we see here; the result is often failure to enforce the law. The author proposes: -/- (a) that section 273.2 be amended to reflect the significant developments achieved in sexual consent jurisprudence since enactment of the provision in 1992; and -/- (b) that, in the interim, the judiciary act with resolve to make full and proper use of the statutory and common law tools that are presently available to determine whether the accused acted with mens rea in relation to the absence of sexual consent. (shrink)

This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental state (...) types make distinct contributions to generating emotional responses to stories. Finally, the differences between the mental states illuminate how a given story can be both shared with others and at the same time experienced as personal. (shrink)

It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.

The paper is a response to recent criticisms of agatheism, a new pluralistic interpretation of religious belief put forward by Janusz Salamon with the aim of accommodating the epistemological challenge of religious diversity. Agatheism is an axiologically grounded religious belief which identifies God, the Absolute or the ultimate reality religiously conceived with the ultimate good as the ultimate end of all human agency and thus an explanation of its irreducibly teleological character and a source of its meaning. Janusz (...) Salamon argues that this grounding of religious belief in the human axiological consciousness makes it immune to falsification by any future science. Replying to the concerns of the critics about about irrationality of doxastic commitment to a particular religious tradition, Janusz Salamon argues that to the extent the fundamental agatheistic religious belief is presupposed in such tradition as its doxastic core, its belief system - if internally coherent and aligned with a worldview that is consistent with undisputed scientific findings - may be considered rational, despite there being a plurality of such belief systems. (shrink)

It will be shown in this article that an ontological approach for some problems related to the interpretation of Quantum Mechanics (QM) could emerge from a re-evaluation of the main paradox of early Greek thought: the paradox of Being and non-Being, and the solutions presented to it by Plato and Aristotle. More well known are the derivative paradoxes of Zeno: the paradox of motion and the paradox of the One and the Many. They stem from what was perceived by classical (...) philosophy to be the fundamental enigma for thinking about the world: the seemingly contradictory results that followed from the co-incidence of being and non-being in the world of change and motion as we experience it, and the experience of absolute existence here and now. The most clear expression of both stances can be found, again following classical thought, in the thinking of Heraclitus of Ephesus and Parmenides of Elea. The problem put forward by these paradoxes reduces for both Plato and Aristotle to the possibility of the existence of stable objects as a necessary condition for knowledge. Hence the primarily ontological nature of the solutions they proposed: Plato’s Theory of Forms and Aristotle’s metaphysics and logic. Plato’s and Aristotle’s systems are argued here to do on the ontological level essentially the same: to introduce stability in the world by introducing the notion of a separable, stable object, for which a ‘principle of contradiction’ is valid: an object cannot be and not-be at the same place at the same time. So it becomes possible to forbid contradiction on an epistemological level, and thus to guarantee the certainty of knowledge that seemed to be threatened before. After leaving Aristotelian metaphysics, early modern science had to cope with these problems: it did so by introducing “space” as the seat of stability, and “time” as the theater of motion. But the ontological structure present in this solution remained the same. Therefore the fundamental notion ‘separable system’, related to the notions observation and measurement, themselves related to the modern concepts of space and time, appears to be intrinsically problematic, because it is inextricably connected to classical logic on the ontological level. We see therefore the problems dealt with by quantum logic not as merely formal, and the problem of ‘non-locality’ as related to it, indicating the need to re-think the notions system, entity, as well as the implications of the operation ‘measurement’, which is seen here as an application of classical logic (including its ontological consequences) on the material world. (shrink)

This essay presents a point of view for looking at `free will', with the purpose of interpreting where exactly the freedom lies. For, freedom is what we mean by it. It compares the exercise of free will with the making of inferences, which usually is predominantly inductive in nature. The making of inference and the exercise of free will, both draw upon psychological resources that define our ‘selves’. I examine the constitution of the self of an individual, especially the involvement (...) of personal beliefs, personal memories, affects, emotions, and the hugely important psychological value-system, all of which distinguish the self of one individual from that of another. The foundational position that adopted in this essay is that all psychological processes are correlated with corresponding ones involving large scale neural aggregates in the brain, communicating with one another through wavelike modes of excitation and de-excitation. Of central relevance is the value-network around which the affect system is organized, the latter, in turn, being the axis around which is assembled the self, with all its emotional correlates. The self is a complex system. I include a brief outline of what complexity consists of. In reality all systems are complex, for complexity is ubiquitous, and certain parts of nature appear to us to be ‘simple’ only in certain specific contexts. It is in this background that the issue of determinism is viewed in this essay. Instead of looking at determinism as a grand principle entrenched in nature independent of our interpretation of it, I look at our ability to explain and to predict events and phenomena around us, which is made possible by the existence of causal links running in a complex course that set up correlations between diverse parts of nature, in this way putting the stamp of necessity on these events. However, the complexity of systems limits our ability to explain and to predict to within certain horizons defined by contexts. Our ability to explain and predict in matters relating to acts of free will is similarly limited by the operations of the self that remain hidden from our own awareness. The aspects of necessity and determinism appear to us in the form of reason and rationality that explain and predict only within a limited horizon, while the rest depends on the complex operation of self-linked psychological resources, where the latter appear as contingent in the context of the exercise of free will. The hallmark of complex systems is the existence of amplifying factors that operate as destabilizing ones, along with inhibiting or stabilizing factors as well that generally limit the destabilizing influences to local occurrences, while preserving the global integrity of a system. This complex interplay of destabilizing and stabilizing influences lead to the possibility of an enormous number of distinct modes of behavior that appear as emergent phenomena in complex systems. Looking at the particular case of the self of an individual that guide her actions and thoughts, it is the operation of our emotions, built around the psychological value-system, that provide for the amplifying and inhibiting factors mentioned above. The operation of these self-linked factors stamps our actions and thoughts as contingent ones that do not fit with our concepts of reason and rationality. And this is what provides the basis of our idea of free will. Free will is not ‘free’ in virtue of exemption from causal links running through all our self-based processes - ones that remain hidden from our awareness, but is free of what is perceived to be ‘reason and rationality’ based on knowledge and the common pool of beliefs and principles associated with a shared world-view. When we speak of the choice involved in an act of exercise of free will what we actually refer to is the commonly observed fact that various different individuals of a similar disposition respond differently when placed under similar circumstances. In other words, free will is ‘free’ precisely because it is not subject to constraints of a commonly accepted and shared set of principles, beliefs, and values. While it is possible that, in an exercise of free will, the self-linked psychological resources are brought into action when a number of alternatives are presented to the self by the operation of the ingredients of a commonly shared world-view, it seems likely that, that set of alternatives is not of primary relevance in the final response that the mind produces, since the latter is primarily a product of the operation of the self-based psychological resources. What is of greater relevance here is the operation of emotion-driven processes, guided by the psychological value-system based on the activity of the so-called reward-punishment network in the brain. These processes lead the individual to a response that appears to be free from the shackles of determinism precisely because their mechanisms, which are hidden from us, do not conform to commonly accepted and shared rules and principles. In contrast, inductive inference is a process that is based on the ‘cognitive face’ of self, where the self-based psychological resources play a supportive role to the commonly shared world-view of an individual. There is never any freedom from the all-pervading causal links representing correlations among all objects, entities, and events in nature. In the midst of all this, the closest thing to freedom that we can have in our life comes with self-examination and self-improvement. The possibility of self-examination appears in the form of specific conjunctions between our complex self-processes and the ceaseless changes of scenario in our external world. This actually makes the emergent phenomenon of self-examination a matter of chance, but one that keeps on appearing again and again in our life. Once realized, self examination creates possibilities that would not be there in the absence of it, and these possibilities include the enhancement of further self-enrichment and further diversity in the exercise of our free will. (shrink)

Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of (...) knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB- logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. Keywords. Stalnaker’s logic KB of knowledge and belief; Topological epistemology; Epistemic Invisibility; Doxastic invisibility; Gettier cases; . (shrink)

ABSTRACTWhat conditions must be satisfied if a group is to count as having a justified belief? Jennifer Lackey has recently argued that any adequate account of group justification must be sensitive to both the evidence actually possessed by enough of a group's operative members as well as the evidence those members should have possessed. I first draw attention to a range of objections to Lackey's specific view of group justification and a range of concrete case intuitions any plausible view (...) of group justification must explain. I then offer an alternative view of group justification where the basic idea is that group justification is a matter of groups responsibly responding to their total evidence. This view both avoids the problems facing Lackey's account and also explains the relevant concrete case intuitions. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

The article aims to determine whether it is possible to build the reliably practiced classical philosophy, understood as a metaphysical research, directed towards the nature of objective reality. The purpose of this kind of philosophizing is knowledge and truth. Moreover, the practice of such philosophizing and its results should meet some of the characteristics of science. The paper establishes a set of conditions that have been imposed on the science of metaphysics by Kazimierz Twardowski. Among the conditions of such philosophizing (...) are anti-dogmatism, criticism, inter-subjectivity of philosophizing and its results, proper epistemic justification of philosophical beliefs, application of the analysis method, rigorous language and reasoning, the use of experience and scientific knowledge. The paper considers these conditions to be correct in most cases and argues that metaphysics can meet them. The existing cases of analytical metaphysics show that metaphysics is possible as a science. Next, the article argues that the late Twardowski failed to substantiate his claim that metaphysical positions which he classified as a world-view philosophy could not be scientifically justified, which could have been possibly done with differentiating ways of understanding what such a scientific justification should be. The article argues that he did not take into account a reductive conception of the metaphysical philosophy, which even though it allows the plurality of metaphysical explanations and does not force anyone to accept one position as the only possible and correct explanation, would have an objective value, if such metaphysics were elaborated indeed. (shrink)

Theology used to be the discipline that arbitrated and ‘said’ the truth. Some argued that its methodical engagement had to make it a search-driven experimentation with an inductive outlook intended at tracking truth through practice and praise, in short conversion. The empirico-formal sciences have sought canonical norms of knowledge away from any regimentation. Neopositivism had for a time entertained a fact-derived language and, as such, it banned metaphor as mingling problems by perpetuating the belief in entirely theoretical knowledge-terms. Here (...) we aim at putting together an examination of some of the reasons why a pluralistic epistemology has come to be adopted, and an attempt at finding pluralistic responses to that very idea through interdisciplinary comparison. This is the editors' (M. Fuller & A. Runehov) introduction: Philippe Gagnon asks the interesting question: Does pluralism itself need to be plural? He argues that neo-positivism has for some time now focused on using a fact-derived language, banning metaphoricity. He explores the reasons pluralistic epistemology came to be adopted, and leads us through some important philosophical problems and how they were tackled by different philosophers and in various times. Such philosophical problems or questions concern theories, truth and knowledge. If a theory is considered to be the best one, on which criteria is this judgement made? Might it be better to have several theories that are ex æquo? Gagnon argues that even though ‘pluralism’ is a better term compared to ‘the many’, it does not entirely escape relativism. Hence, he proposes to use ‘plurality’ instead, which does not threaten the unity of truth. After this philosophical exploration, he turns to theology, specifically Trinitarian theology, to implement his findings there. (shrink)

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

The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the (...) class='Hi'>belief set resulting from revision by ¬A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by ¬A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators. (shrink)