We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some (...) of the logical consequences of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

In philosophy of action, we typically aim to explain action by appealing to conative attitudes whose contents are either logically consistent propositions or can be rendered as such. Call this “the logical criterion.” This is especially difficult to do with clear-minded, intentional incontinence since we have to explain how two judgments can have non-contradicting contents yet still aim at contradictory outcomes. Davidson devises an innovative way of doing this but compromises his ability to explain how our better judgments can cause (...) our continent behaviors. In this essay, I preserve Davidson’s approach to the logical criterion but deviate from his broader theory of action by developing a default-interventionist dual systems theory of action. To do this, I focus on the dynamical relationship between System 1 and System 2: the logical construction of value judgments in System 2 from System 1 and the imaginative construction of non-propositional conative attitudes in System 1 from System 2. I draw on Street’s Humean constructivism and Peacocke’s theory of imagination for logical and imaginative construction, respectively. Within this framework, I provide a new definition of continence and incontinence that satisfies the logical criterion and explains how our better judgments can cause our continent behaviors. (shrink)

This work addresses a broad range of questions which belong to four fields: computation theory, general philosophy of science, philosophy of cognitive science, and philosophy of mind. Dynamical system theory provides the framework for a unified treatment of these questions. ;The main goal of this dissertation is to propose a new view of the aims and methods of cognitive science--the dynamical approach . According to this view, the object of cognitive science is a particular set of dynamical systems, which (...) I call "cognitive systems". The goal of a cognitive study is to specify a dynamical model of a cognitive system, and then use this model to produce a detailed account of the specific cognitive abilities of that system. The dynamical approach does not limit a-priori the form of the dynamical models which cognitive science may consider. In particular, this approach is compatible with both computational and connectionist modeling, for both computational systems and connectionist networks are special types of dynamical systems. ;To substantiate these methodological claims about cognitive science, I deal first with two questions in two different fields: What is a computational system? What is a dynamical explanation of a deterministic process? ;Intuitively, a computational system is a deterministic system which evolves in discrete time steps, and which can be described in an effective way. In chapter 1, I give a formal definition of this concept which employs the notions of isomorphism between dynamical systems, and of Turing computable function. In chapter 2, I propose a more comprehensive analysis which is based on a natural generalization of the concept of Turing machine. ;The goal of chapter 3 is to develop a theory of the dynamical explanation of a deterministic process. By a "dynamical explanation" I mean the specification of a dynamical model of the system or process which we want to explain. I start from the analysis of a specific type of explanandum--dynamical phenomena--and I then use this analysis to shed light on the general form of a dynamical explanation. Finally, I analyze the structure of those theories which generate explanations of this form, namely dynamical theories. (shrink)

Section 1 of this article presents a mathematical analysis of the longterm global urbanization dynamics and demonstrates that it could be described as a series of phase transitions between attraction basins. This makes it possible to suggest new approaches to the analysis of global social macroevolution. Section 2 presents a threestage model of the macroevolution of the World System statehood (early – developed – mature state) that, we believe, describes the main features of political macroevolution better than the twostage (...) model proposed by Claessen and Skalník (early – mature state). This model has been used as a basis for the analysis of changes in the development of political structures from the prestate polities and the most primitive early states (and their analogues) till the modern supercomplex states. In this section we also analyze the relationship between the growth of the territory controlled by the World System states and the growth of the statehood complexity. Finally, Section 3 attempts at the detection of the correlation between the global evolution of political structures and global urbanization processes. This study confirms the presence of a system of attraction basins and phase transitions within the World System macroevolutionary development field, as well as the presence of mathematically interpretable correlations and interrelations between the analyzed global processes – political, urbanizing, demographic, technological, and sociostructural. (shrink)

This paper attempts to reconstruct the views of the Stoic Posidonius on the emotions, especially as presented by Galen’s On the Doctrines of Hippocrates and Plato. This is a well-studied area, and many views have been developed over the last few decades. It is also significant that the reliability of Galen’s account is openly at issue. Yet it is not clear that the interpretative possibilities have been fully demarcated. Here I develop Galen’s claim that Posidonius accepted a persistent, non-rational aspect (...) of the soul that he connects with the merely animal part of humans. The aim is to begin from this testimony in answering two questions: (1) How might the possession of a non-rational element of the soul operate alongside the hêgemonikon (leading-part of the soul) as a source of impulse for Posidonius. (2) How does this persistent animal aspect conform to the Stoic ontological classification found in their scala naturae? I shall argue in response to these that (a) Posidonius distinguished the merely cognitive aspects of the soul from those that are rational, and (b) that the hêgemonikon itself is not to be identified with what is rational. Accepting a persistent non-rational source of emotional impulses allows Posidonius a richer framework for explaining human affective responses and behaviours. I also briefly address Galen’s motivation for the account he offers. It is in view of Posidonius’ approach to Plato’s Timaeus that Galen’s discussion finds its most plausible interpretation. (shrink)

What endogenous factors contribute to minority (Red Queen) or majority (Red King) domination under conditions of coercive bargaining? We build on previous work demonstrating minority disadvantage in non-coercive bargaining games to show that under neutral initial conditions, majorities are advantaged in high conflict situations, and minorities are advantaged in low conflict games. These effects are a function of the relationship between (1) relative proportions of the majority and minority groups and (2) costs of conflict. Although both Red King and Red (...) Queen effects can occur, we further show that agents’ increased initial propensity toward conflict advantages majorities. (shrink)

According to the two-systems account of mindreading, our mature perspective-taking abilities are subserved by two distinct mindreading systems: a fast but inflexible, “implicit” system, and a flexible but slow “explicit” one. However, the currently available evidence on adult perspective-taking does not support this account. Specifically, both Level-1 and Level-2 perspective-taking show a combination of efficiency and flexibility that is deeply inconsistent with the two-systems architecture. This inconsistency also turns out to have serious consequences for the two-systems framework as a (...) whole, both as an account of our mature mindreading abilities and of the development of those abilities. What emerges from this critique is a conception of context-sensitive, spontaneous mindreading that may provide insight into how mindreading functions in complex social environments. This in turn offers a bulwark against skepticism about the role of mindreading in everyday social cognition. (shrink)

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress (...) of the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Objective: to evaluate CANLPH score and systemic immune inflammation index (SII) in patients with symptomatic rheumatic mitral stenosis (MS) undergoing percutaneous mitral balloon valvuloplasty (PMBV). -/- Methods: 62 patients who underwent PMBV in our clinic between 2018 and 2021 were included retrospectively. The patients were divided into 2 groups according to echo score. The CANLPH score was calculated from the cut-off values of C-reactive protein to albumin ratio (CAR), neutrophil to lymphocyte ratio (NLR) and platelet to hemoglobin ratio (PHR), determined (...) with the Youden index and SII by the formula platelet x neutrophil/lymphocyte. P <0.05 was considered statistically significant. -/- Results: The mean age of the patients was 44.5±10.4 years (40 female, 64.5%). The mean values of SII and CANLPH scores were higher in the Echo score >8 group (p <0.001, both). The mean mitral gradient before and after PMBV was 12.6±5.7mm Hg and 5.0±2.4 mm Hg, and the mean valve area was 1.12±0.27 cm2 and 1.85±0.29 cm2. A statistically significant and negative correlation was observed between the gradient decrease after the procedure and the CANLPH score and SII (r=-0.426, p=0.001 and r=-0.418, p=0.001, respectively). In receiver operating characteristic (ROC) curve analysis, it was concluded that the ability of CANPLH score to predict the higher Echo scores was noninferior to SII with an area under curve (AUC:0.820 (0.701-0.906) and AUC:0.786 (0.664-0.880), z statistics 0.576 and p=0.564. -/- Conclusion: SII and CANLPH scores are correlated with Echo score. A significant negative relationship was found with both biomarkers and gradient decrease after the PMBV. (shrink)

I propose a dynamic causal approach to characterizing the notion of a mechanism. Levy and Bechtel, among others, have pointed out several critical limitations of the new mechanical philosophy, and pointed in a new direction to extend this philosophy. Nevertheless, they have not fully fleshed out what that extended philosophy would look like. Based on a closer look at neuroscientific practice, I propose that a mechanism is a dynamic causal system that involves various components interacting, typically nonlinearly, with one (...) another to produce a phenomenon of interest. (shrink)

It is a characteristic feature of our mental make-up that the same perceptual input situation can simultaneously elicit conflicting mental perspectives. This ability pervades our perceptual and cognitive domains. Striking examples are the dual character of pictures in picture perception, pretend play, or the ability to employ metaphors and allegories. I argue that traditional approaches, beyond being inadequate on principle grounds, are theoretically ill equipped to deal with these achievements. I then outline a theoretical perspective that has emerged from a (...) theoretical convergence of perceptual psychology, ethology, linguistics, and developmental research. On the basis of this framework, I argue that corresponding achievements are brought forth by a specific type of functional architecture whose core features are as follows: (1) a perceptual system that is biologically furnished with a rich system of conceptual forms, (2) a triggering relation between the sensory input and conceptual forms by which the same sensory input can be exploited by different types or systems of conceptual forms, and (3) computational principles for handling semantically underspecified conceptual forms. Characteristic features of the proposed theoretical framework are pointed out using the Heider–Simmel phenomenon as an example. (shrink)

The article proposes systematisation and development of the discourse of the East European methodological traditions regarding application of the systematic approach as a way of subject localisation in psychological research. In particular, the author’s version of systematic localisation of psychological research subjects by means of structural and ontological visualisations has been developed. The procedure proposed for systematic localisation of the researched subject includes four subsequent stages: 1) fixation of the borders and structure of the ontological field which is being studied; (...) 2) segment analysis of the obtained structure; 3) study of specifics and contents of structural and functional ties; 4) visual mapping of genesis of the core processes. The article describes specifics of application of systematic localisation of the subject of research at the example of such researched object as personal socialisation. (shrink)

Techno-ethics is the area in the philosophy of technology which deals with emerging robotic and digital AI technologies. In the last decade, a new techno-ethical challenge has emerged: Autonomous Weapon Systems (AWS), defensive and offensive (the article deals only with the latter). Such AI-operated lethal machines of various forms (aerial, marine, continental) raise substantial ethical concerns. Interestingly, the topic of AWS was almost not treated in Jewish law and its research. This article thus proposes an introductory ethical-halakhic perspective on AWS, (...) in the Israeli context. The article has seven sections. Section 1 defines AWS and the main ethical concerns it evokes, while providing elementary definitions and distinctions. §2 locates AWS within the realm of Jewish laws of war (hilkhot-ẓava), which recognize the right for self-defense, as well as the status of universally accepted moral norms. §3 unfolds pragmatic ethical premises of a humane techno-ethics, which are required for the identifying AWS as a moral question: I. Relationality; II. Technology is not (completely) neutral; III. The fallaciousness of transhumanism. It is argued that these premises are compatible with halakhic tradition. §4 investigates the question of the morality of AWS, within the field of military AI ethics. It is clarified why the standard categories of war-ethics (ad bello, in bellum) do not capture the singular ethical problem of AWS, which pertains to the operation of military means, rather than their human targets. It is argued that reductive perception of the human mind is misleading about the feasibility of ‘ethical robots’, capable of independent moral discretion. To provide a thick examination of human agency from the perspective of Jewish tradition, §5 explores two stories from the biblical book of Samuel (the murder of Nob’s priests and of Uriah). The lessons about the significance of moral agency within the pubic-political military sphere are made explicit, as well as the possible costs resulting from the loss of human agency in the case of AWS. Given that realpolitik considerations are basic in halakhah, §6 considers some possible contemporary socio-political implications of the AWS, that may risk the sustainability of the democratic project. §7 concludes by pointing out humane contributions of Jewish law to contemporary techno-ethics. (shrink)

Introduction & Objectives: Norwich’s Entropy Theory of Perception (1975 [1] -present) stands alone. It explains many firing-rate behaviors and psychophysical laws from bare theory. To do so, it demands a unique sort of interaction between receptor and brain, one that Norwich never substantiated. Can it now be confirmed, given the accumulation of empirical sensory neuroscience? Background: Norwich conjoined sensation and a mathematical model of communication, Shannon’s Information Theory, as follows: “In the entropic view of sensation, magnitude of sensation is regarded (...) as a measure of the entropy or uncertainty of the stimulus signal” [2]. “To be uncertain about the outcome of an event, one must first be aware of a set of alternative outcomes” [3]. “The entropy-establishing process begins with the generation of a [internal] sensory signal by the stimulus generator. This is followed by receipt of the [external] stimulus by the sensory receptor, transmission of action potentials by the sensory neurons, and finally recapture of the [response to the internal] signal by the generator” [4]. The latter “recapture” differentiates external from internal stimuli. The hypothetical “stimulus generators” are internal emitters, that generate photons in vision, audible sounds in audition (to Norwich, the spontaneous otoacoustic emissions [SOAEs]), “temperatures in excess of local skin temperature” in skin temperature sensation [4], etc. Method (1): Several decades of empirical sensory physiology literature was scrutinized for internal “stimulus generators”. Results (1): Spontaneous photopigment isomerization (“dark light”) does not involve visible light. SOAEs are electromechanical basilar-membrane artefacts that rarely produce audible tones. The skin’s temperature sensors do not raise skin temperature, etc. Method (2): The putative action of the brain-and-sensory-receptor loop was carefully reexamined. Results (2): The sensory receptor allegedly “perceives”, experiences “awareness”, possesses “memory”, and has a “mind”. But those traits describe the whole human. The receptor, thus anthropomorphized, must therefore contain its own perceptual loop, containing a receptor, containing a perceptual loop, etc. Summary & Conclusions: The Entropy Theory demands sensory awareness of alternatives, through an imagined brain-and-sensory-receptor loop containing internal “stimulus generators”. But (1) no internal “stimulus generators” seem to exist and (2) the loop would be the outermost of an infinite nesting of identical loops. (shrink)

The Soul is considered, both for religions and philosophy, to be the immaterial aspect or essence of a human being, conferring individuality and humanity, often considered to be synonymous with the mind or the self. For most theologies, the Soul is further defined as that part of the individual, which partakes of divinity and transcends the body in different explanations. But, regardless of the philosophical background in which a specific theology gives the transcendence of the soul as the source of (...) its everlasting essence – often considered to survive the death of the body –, it is always appraised as a higher existence for which all should fight for. In this regard, all religious beliefs assert that there are many unseen battles aiming to take hold of the human soul, either between divinity and evil, or between worlds, or even between the body and the soul itself. These unseen battles over the human soul raging in the whole world made it the central item of the entire universe, both for the visible and the unseen worlds, an item of which whoever takes possession will also become the ruler of the universe. Through this philosophy, the value of the soul became abysmal, incommensurable, and without resemblance. The point for making such a broad overview of the soul in religious beliefs is the question of whether we can build an interfaith discourse based on the religions’ most debated and valuable issue, soul? Regardless of the variety of religious beliefs on what seems to be the soul, there is always a residual consideration in them that makes the soul more important than the body. This universal impression is due to another belief or instead need of believing that above and beyond this seen, palpable, finite life and the world should exist another one, infinite, transcendent, and available all the same after here. This variety stretches from the minimum impact that soul has on the body, as being the superior essence that inhabitants and enlivens the matter, to the highest impact in which soul has nothing to do with matter[1] and is only ephemeral linked to it, but its existence is not at all limited, defined or depended on the matter [2], or even placed to the extreme, as the very life of the matter thus this seen universe is merely a thought in the soul/mind [3]. In this extensive variety of soul overviews, the emphasis of the soul’s importance gives an inverse significance to the body/matter, from being everything that matters to a thin, dwindle item that has no existence at all outside consciousness. (shrink)

Forgiveness as a positive response to wrongdoing is a widespread phenomenon that plays a role in the moral lives of most persons. Surprisingly, Kant has very little to say on the matter. Although Kant dedicates considerable space to discussing punishment, wrongdoing and grace, he addresses the issues of human forgiveness directly only in some short passages in the Lectures on Ethics and in one passage of the Metaphysics of Morals. As noted by Sussman, the TL passage, however, betrays some ambivalence. (...) Kant establishes a duty of virtue to be forgiving (TL, 6:460), yet he immediately warns against its excess: meek toleration of recurrent wrongs could manifest a lack of self-respect and a violation of a duty to oneself (TL, 6:461). Sussman claims that this ambivalence ultimately arises from the fact that forgiveness sits uncomfortably in Kant’s moral thought. First, forgiveness has an ‘ineluctably elective aspect’ that makes it, to a certain extent, arbitrary and dependent on particular features of the forgiver’s psychology and, as such, in tension with Kant’s central claims that human beings are autonomous agents capable of determining their own moral status. Second, according to Sussman, Kant’s moral retributivism, i.e. ‘the particular moral position that every moral wrong against another deserves punishment of the wrongdoer’ seems to be in tension with the possibility of a ‘truly redemptive forgiveness’. Moreover, forgiveness also seems to be in tension with a passage of the Religion in which Kant argues that the moral guilt from our original evil disposition cannot be understood as a debt or liability that can be compensated, erased, transferred or otherwise wiped out by others (Rel, 6:72). Thus, to the extent that forgiveness might be thought to involve the forgoing of moral guilt, it seems incompatible with Kant’s views on culpability and punishment. This chapter seeks to clarify Kant’s views on forgiveness in order to show that, although not often appreciated, personal forgiveness plays an important role in the lives of ordinary human agents as understood by Kant. In particular, I aim to show there is a conception of forgiveness available to Kant that is not incompatible with Kant’s views of punishment and culpability. In Section 1, I argue that, for Kant, far from being merely ‘elective,’ forgiveness is, under certain conditions, morally required. I provide a brief summary of an interpretation of Kant’s theory of forgiveness that I have defended in recently published work , in order to argue that Kant’s duty to be forgiving should be understood as an imperfect duty of virtue which is conditional on repentance. Kant is not ambivalent about this duty because he maintains that when the relevant conditions are not met, we have a perfect duty to ourselves not to forgive unrepentant wrongdoers. The TL passage thus identifies two different duties. In Section 2, I show that forgiveness, as conceptualised by Kant, does not require the forgoing of punishment or the overcoming of moral guilt and that this could, in fact, be seen as an attractive feature of Kant’s position. I end by offering a very brief assessment of Kant’s views. (shrink)

Abstract: The main purpose of this paper is to find Artin's characters table of the group (Q2n×D3)when n=p_1.p_2….p_n,and p_1,p_2,…,p_n are primes number, which is denoted by Ar(Q2n×D3) where Q2m is denoted to Quaternion group and D3 is the Dihedral group of order 6 .

This paper deals with Gärdenfors’ theory of conceptual spaces. Let \({\mathcal {S}}\) be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes \(\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S}\) be given. Our main result is the construction of a classification algorithm. That is, given an element \({\tilde{A}}\in \mathcal {S},\) our algorithm classifies it into the conceptual field determined by one of the given prototypes \(\tilde{P}_i.\) The construction of our algorithm uses some physical analogies (...) and the Newton potential plays a significant role here. Importantly, the resulting conceptual fields are not convex in the Euclidean sense, which we believe is a reasonable departure from the assumptions of Gardenfors’ original definition of the conceptual space. A partitioning algorithm of the space \(\mathcal {S}\) is also considered in the paper. In the application section, we test our classification algorithm on real data and obtain very satisfactory results. Moreover, the example we consider is another argument against requiring convexity of conceptual fields. (shrink)

Artificial intelligence (AI) and robotics are digital technologies that will have significant impact on the development of humanity in the near future. They have raised fundamental questions about what we should do with these systems, what the systems themselves should do, what risks they involve, and how we can control these. - After the Introduction to the field (§1), the main themes (§2) of this article are: Ethical issues that arise with AI systems as objects, i.e., tools made and used (...) by humans. This includes issues of privacy (§2.1) and manipulation (§2.2), opacity (§2.3) and bias (§2.4), human-robot interaction (§2.5), employment (§2.6), and the effects of autonomy (§2.7). Then AI systems as subjects, i.e., ethics for the AI systems themselves in machine ethics (§2.8) and artificial moral agency (§2.9). Finally, the problem of a possible future AI superintelligence leading to a “singularity” (§2.10). We close with a remark on the vision of AI (§3). - For each section within these themes, we provide a general explanation of the ethical issues, outline existing positions and arguments, then analyse how these play out with current technologies and finally, what policy consequences may be drawn. (shrink)

Saṃvega is a morally motivating state of shock that -- according to Buddhaghosa -- should be evoked by meditating on death. What kind of mental state it is exactly, and how it is morally motivating is unclear, however. This article presents a theory of saṃvega -- what it is and how it works -- based on recent insights in psychology. According to dual process theories there are two kinds of mental processes organized in two" systems" : the experiential, automatic (...) class='Hi'>system 1, and the rational, controlled system 2. In normal circumstances, system 1 does not believe in its own mortality. Saṃvega occurs when system 1 suddenly realizes that the "subjective self" will inevitably die (while system 2 is already disposed to affirm the subject's mortality). This results in a state of shock that is morally motivating under certain conditions. Saṃvega increases mortality salience and produces insight in suffering, and in combination with a strengthened sense of loving-kindness or empathic concern both mortality salience and insight in suffering produce moral motivation. (shrink)

Heart palpitations, while often benign, can sometimes be indicative of severe underlying conditions requiring immediate intervention. Accurate and swift diagnosis thus remains a clinical priority. "A CLIPS-Based Expert System for Heart Palpitations Diagnosis" represents a novel approach to addressing this challenge, harnessing the power of artificial intelligence and rule-based expert systems. Specifically, this system applies a suite of 7 if-then rules to evaluate potential heart palpitations causes and assign one of three outcomes: 1) A confirmed diagnosis of heart (...) palpitations, 2) A suspected link to cardiovascular diseases, and 3) A possible association with anxiety or stress disorders. The expert system offers an intuitive user interface, allowing for seamless symptom input and instant diagnosis based on user-provided information. This paper explores the various phases of this expert system's lifecycle, including design, implementation, and evaluation. Furthermore, the study situates the system within the broader discourse on rule-based expert systems for heart palpitations diagnosis, critically analyzing their efficiency, potential pitfalls, and ongoing challenges. Through this research, the value of integrating rule-based expert systems in clinical diagnostic processes is highlighted, illustrating its capacity to enhance diagnostic accuracy and patient outcomes. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B (...) with a finite number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

The new mechanists and the autonomy approach both aim to account for how biological phenomena are explained. One identifies appeals to how components of a mechanism are organized so that their activities produce a phenomenon. The other directs attention towards the whole organism and focuses on how it achieves self-maintenance. This paper discusses challenges each confronts and how each could benefit from collaboration with the other: the new mechanistic framework can gain by taking into account what happens outside individual mechanisms, (...) while the autonomy approach can ground itself in biological research into how the actual components constituting an autonomous system interact and contribute in different ways to realize and maintain the system. To press the case that these two traditions should be constructively integrated we describe how three recent developments in the autonomy tradition together provide a bridge between the two traditions: (1) a framework of work and constraints, (2) a conception of function grounded in the organization of an autonomous system, and (3) a focus on control. (shrink)

Adults' judgments regarding punishment can have important social ramifications. However, the origins of these judgments remain unclear. Using the legal system as an example domain in which people receive punishment, the current work employed two complementary approaches to examine how punishment-related concepts emerge. Study 1 tested both 6- to 8-year-olds and adults to ascertain which components of “end-state” pun- ishment concepts emerge early in development and remain stable over time, and which components of pun- ishment concepts change with age. (...) Children, like adults, agreed with and spontaneously generated behavioral explanations for incarceration. However, children were more likely than adults to attribute incarceration to internal characteristics. Neither children nor adults reported that incarceration stems from societal-level factors such as poverty. Study 2 built on the results of Study 1 by probing the extent to which early punishment-related concepts in the legal domain emerge from a specific form of social experience—namely, parental incarceration. Children of incarcerated parents, like children whose parents were not incarcerated, were more likely to re- ference internal and behavioral factors than societal factors when discussing why people come into contact with the justice system. Taken together, these studies clarify how punishment-related concepts arise and therefore contribute to theories of moral psychology, social cognitive development, and criminal justice. (shrink)

The author has established a mathematical theory about the system of freedom in which components of freedom are ruled by the largest freedom principle, explaining how one invariant reality can be equated with the dynamical universe. Freedom as a whole is the reality, and components of freedom show variable phenomena and become a dynamic system. In freedom, component equality leads to sequence equality; therefore, various sequences coexist in the system. Because there are incompatible sequences for any sequence, (...) the interior of freedom cannot be a static sequence. In order for the system to be a whole, there must be some connecting sequences between any two sequences. Then, at every part of freedom, it is always possible to find a group of three independent sequences that, for most components, is located inside. For the sequence group, there is a sequence through which most components flow in and out. The most abundant three - sequence group and most abundant connecting sequence correspond to the space - time structure. Other incompatible sequences correspond to particles, and interactions between these sequences correspond to interactions between particles. The interactions have some symmetries similar to those in physics, such as SU (3) AND SU (2)×U (1), thus proving the feasibility of the hypothesis: the universe is equivalent with the system of freedom. (shrink)

The monograph presents the ideas about the main changes that occurred in the development of technologies from the emergence of Homo sapiens till present time and outlines the prospects of their development in the next 30–60 years and in some respect until the end of the twenty-first century. What determines the transition of a society from one level of development to another? One of the most fundamental causes is the global technological transformations. Among all major technological breakthroughs in history the (...) most important are three production revolutions: 1) the Agrarian Revolution; 2) the Industrial Revolution; and 3) the Cybernetic one. The book introduces the theory of production revolutions which is a new valuable explanatory paradigm that analyzes causes and trends of dramatic shifts in historical process. The authors describe the course of technological transformations in history and demonstrate a possible application of the theory to explain the present and forthcoming technological changes. They analyze the technological shifts which took place in the second half of the twentieth and early twenty-first centuries and forecast the main shifts in the next half a century. On this basis the authors present a detailed analysis of the latest production revolution which is denoted as ‘Сybernetic’. They make some predictions about its development in the nearest five decades and up to the end of the twenty-first century and show that the development of various self-regulating systems will be the main trend of this revolution. The authors argue that the transition to the starting final phase of the Cybernetic Revolution (in the 2030–2040s) will first occur in the field of medicine (in some its innovative branches). In future we will deal with the started convergence of innovative technologies which will form the system of MANBRIC-technologies (i.e. the technological paradigm based on medicine, additive, nano- and bio- technologies, robotics, IT and cognitive technologies). The monograph gives an outline of the future breakthroughs in medicine and some other technologies (between the 2010s and 2070s). (shrink)

in recent years, the research on Schopenhauer has shown a change in the interpretation of his main work, «The World as Will and Presentation», from (1) a normative and linear instruction which guides the reader from idealism to mysticism, pessimism and nothingness to (2) value-free and independent descriptions of the world with all phenomena (like idealism, mysticism, nothingness etc.) in it. thus Schopenhauer’s main work has become an empirical or baconian approach—something like a «philosophical cosmography»—. this fundamental change of interpretation (...) radically puts into question what Schopenhauer means by characterizing his main work as an «organic system». the present paper attempts to give an answer to this question, reviewing the self-reflexive, methodological and metaphilosophical hints which Schopenhauer gives in the first volume of his «World» («as Will and presentation»). (shrink)

Hume and Quine argue that human beings do not have access to general knowledge, that is, to general truths . The arguments of these two philosophers are premised on what Jaakko Hintikka has called the atomistic postulate. In the present work, it is shown that Hume and Quine in fact sanction an extreme version of this postulate, according to which even items of particular knowledge are not directly accessible in so far as they are relational. For according to their fully (...) realized systems, human beings do not initially perceive any relations, or similar epistemological elements that can associate or combine terms on which a relational or general knowledge claim may be based. Nor, likewise, do human beings perceive the relations or the associations themselves as separate entities. ;In Chapters 1 and 2, respectively, it is shown precisely why Hume and Quine deny that human beings initially perceive either such associative elements or associations in general. Concomitantly, it is made clear why Hume's and Quine's respective epistemologies preclude human beings from initially apprehending not only general knowledge, but particular relational knowledge as well. But this is not to say that Hume and Quine do not think we can eventually acquire such associative elements and correspondingly, knowledge. Rather, Hume and Quine do provide an account of knowledge, but one that holds all relational and connective elements to be constructed by the human mind. In Hume's case, they are constructed by the imagination. In Quine's case, we are never told quite how this construction occurs, although the evidence suggests that Quine implicitly relies on a faculty similar to Hume's imagination. ;In the final chapter of this thesis, it is argued that both Hume and Quine must be read as philosophers who justify knowledge by reducing its possibility to a psychological faculty of construction, as well as to a few concepts of intuitively grasped relations. By way of conclusion, it is shown that this makes Quine's naturalism the psychological heir to Carnap's Aufbau. (shrink)

Maintaining systems of military plans is critical for military effectiveness, but is also challenging. Plans will become obsolete as the world diverges from the assumptions on which they rest. If too many ad hoc changes are made to intermeshed plans, the ensemble may no longer lead to well-synchronized and coordinated operations, resulting in the system of plans becoming itself incoherent. We describe in what follows an Adaptive Planning process that we are developing on behalf of the Air Force Research (...) Laboratory (Rome) with the goal of addressing problems of these sorts through cyclical collaborative plan review and maintenance. The interactions of world state, blue force status and associated plans are too complex for manual adaptive processes, and computer-aided plan review and maintenance is thus indispensable. We argue that appropriate semantic technology can 1) provide richer representation of plan-related data and semantics, 2) allow for flexible, non-disruptive, agile, scalable, and coordinated changes in plans, and 3) support more intelligent analytical querying of plan-related data. (shrink)

The current study is conducted to examine the following research question: 1) Who were the people who had no access to wildfire smoke notifications during the smoke event in the summer of 2018 in the Boise Metropolitan Area in Idaho? 2) Who were the people who were not familiar with the air quality rating system?

Theories of intelligence can be of use to neuroscientists if they: 1. Provide illuminating suggestions about the functional architecture of neural systems; 2. Suggest specific models of processing that neural circuits might implement. The objective of our session was to stand back and consider the prospects for this interdisciplinary exchange.

ABSTRACT This essay focuses on two underlying presumptions that impinge on the effort of UNESCO to engender universal agreement on a set of bioethical norms: the conception of universality that pervades much of the document, and its disregard of structural inequalities that significantly impact health. Drawing on other UN system documents and recent feminist bioethics scholarship, we argue that the formulation of universal principles should not rely solely on shared ethical values, as the draft document affirms, but also on (...) differences in ethical values that obtain across cultures. UNESCO's earlier work on gender mainstreaming illustrates the necessity of thinking from multiple perspectives in generating universal norms. The declaration asserts the ‘fundamental equality of all human beings in dignity and rights’1 and insists that ‘the highest attainable standard of health is one of the fundamental rights of every human being without distinction of race, religion, political belief, economic or social condition’2 yet it does not explicitly recognize disparities of power and wealth that deny equal dignity and rights to many. Without attention to structural (as opposed to merely accidental) inequities, UNESCO's invocation of rights is so abstract as to be incompatible with its avowed intention. (shrink)

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

How the mind works is the ultimate mystery for human beings. To answer this question, one of the most significant insights is Kant’s argument that we can only perceive phenomena but not the essence of the external world. Following this idea, we formulated a novel computational framework to model the mind based on two assumptions: 1) There is no presupposition of the existence of the external objective world and the main task of the mind is to explore, establish and utilize (...) persistent relationships between senses and actions. 2) Symbolic intermediate-level representation is necessary. We call this framework the self-programming system. Based on the self-programming system, we interpreted the nature of concepts, time, space, causality, and consciousness. Besides that, we also draw a conclusion to the mind-body problem. Specifically, the perspective that considers subjective experience as fundamental is compatible with the existence of the external world and that the physical body serves as the substrate of the mind. However, since the relationship is “compatible” rather than “cause”, skepticism can never be ruled out in principle. Furthermore, we have elucidated the nature of interpretation within the context of reductive physicalism. This serves to provide a clear understanding as to why the hard problem of consciousness is inherently unsolvable. (shrink)

This paper presents a new system of conditional logic B2, which is strictly intermediate in strength between the existing systems B1 and B3 from John Burgess (1981) and David Lewis (1973a). After presenting and motivating the new system, we will show that it is characterized by a natural class of frames. These frames correspond to the idea that conditionals are about which worlds are nearly closest, rather than which worlds are closest. Along the way, we will also give (...) new characterization results for B1 and B3, along with two other new systems B1.1 and B1.2. (shrink)

A critical review of Wittgenstein's 'On Certainty' which he wrote in 1950-51 and was first published in 1969. Most of the review is spent presenting a modern framework for philosophy(the descriptive psychology of higher order thought) and positioning the work of Wittgenstein and John Searle in this framework and relative to the work of others. It is suggested that this book can be regarded as the foundation stone of psychology and philosophy as it was the first to describe the two (...) systems of thought and shows how our unshakable grasp of the world derives from our innate axiomatic System 1 and how this interacts with System 2. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

This article provides an answer to the question: What is the function of cognition? By answering this question it becomes possible to investigate what are the simplest cognitive systems. It addresses the question by treating cognition as a solution to a design problem. It defines a nested sequence of design problems: (1) How can a system persist? (2) How can a system affect its environment to improve its persistence? (3) How can a system utilize better information from (...) the environment to select better actions? And, (4) How can a system reduce its inherent informational limitations to achieve more successful behavior? This provides a corresponding nested sequence of system classes: (1) autonomous systems, (2) (re)active autonomous systems, (3) informationally controlled autonomous systems (autonomous agents), and (4) cognitive systems. -/- This article provides the following characterization of cognition: The cognitive system is the set of mechanisms of an autonomous agent that (1) allow increase of the correlation and integration between the environment and the information system of the agent, so that (2) the agent can improve the selection of actions and thereby produce more successful behavior. -/- Finally, it shows that common cognitive capacities satisfy the characterization: learning, memory, representation, decision making, reasoning, attention, and communication. (shrink)

In western philosophy and beyond, a tension between pluralism and monism has sparked many developments and debates. Pluralism of norms, of forms of knowledge, of aesthetic and moral values, of interests etc. has often been pitted against monism. Monism usually implies a hierarchical order of such norms etc. After having traced the origin of this tension between pluralism and monism in ancient tragedy and philosophy, I’m asking in this article whether a rejection of monism and embrace of pluralism necessarily raises (...) the specter of inconsistency and contradiction. The threat of inconsistency need not be associated with pluralism as even with regard to logic an argument can be made for a ‘multiplicity of logics’, as van Lambalgen and Stenning argue in several places. They refer to the varieties in reasoning that can be observed in humans and which are partly due to there being ‘dual systems’ of reasoning: System 1 processes information fast, automatized, and emotional, while System 2 is rather slow, more deliberative, and more rational. In contrast to a widely held view, the authors argue that System 1 processing is not without logic, even though it is a different form of logic from System 2. In addition, the multiplicity of logics they discuss is related to the multiple semantics required for distinct domains of reasoning. This perspective raises the subsequent question how this pluralism can be available while maintaining consistency, how should the available options be configured or related to each other? In the remainer of this chapter I’m addressing several such options for configurating pluralism like: non-foundational pluralism and foundational pluralism, moderate or temporary pluralism, antagonistic pluralism, incompatible pluralism, incommensurable pluralism, ‘Anything goes’ pluralism, complementary pluralism, integrative pluralism, and interactive pluralism. The discussion and examples of these options show that irrespective of its domain, the encounter with different configurations of pluralism shows how some forms of pluralism are likely to be productive, whereas others are less so - which is an important lesson given the prominent pluralism of pluralisms in philosophy and beyond. (shrink)

Literature frequently describes how ineffective implementation of instructional policy frameworks can make distance learning a lonely and unrewarding academic pursuit, characterized by high student drop-out rates, high failure rates and academic exclusion. In trying to mitigate this catastrophe, academic departments in distance learning institutions utilize learning management systems (LMSs) to stimulate students’ learning experiences. In keeping with techno-progressivism, the researchers (and authors of this paper) turned to extant documentary policy and literature to review – qualitatively – how the University of (...) South Africa’s (Unisa’s) Open Distance Learning Policy (ODLP) promotes academic inclusion and learning agency as cornerstones of student success and social justice, especially in an unequal society like South Africa. The findings revealed the following: 1) Unisa’s ODLP position has the impetus to influence the deployment of the LMS to promote academic inclusion; 2) Practical means of promoting inclusion were mirrored in the provision of manual or electronic learning material, computer laboratories and free internet connectivity in regional centres across all nine provinces of South Africa, as well as in the provision of laptops for National Student Financial Aid Scheme (NSFAS)-funded students, 30 gigabytes of free monthly mobile data to all students, and assistive technologies for students with disabilities; 3) Practical utilization of an LMS to foster self-regulated learning occurred through problem-based individual activities supplemented by asynchronous demonstrative learning material (e.g. audio, video), while collaborative learning agency was enabled through e-tutoring, which afforded students the opportunity to interact with e-tutors and their peers about the learning content; 4) Drawbacks in the use of the LMS stemmed from the insufficiency of assistive learning technologies that are required for students with disabilities to participate fully in online learning, and a corpus of students’ irregular attendance at and participation in e-tutoring discussions and their projection of a negative attitude towards the e-tutors. -/- . (shrink)

Persuasive technologies can adopt several strategies to change the attitudes and behaviors of their users. In this work I synthesize the lessons learned from three empirical case studies on automated persuasion that have been carried out in the last decade in the contexts of: persuasive news recommendations, social robotics, and e-commerce, respectively. In particular, such studies have assessed, in the technological domain, the effects of nudging techniques relying on well known persuasive argumentation schemas and on framing strategies. In discussing the (...) main findings, I will argue that the obtained persuasive effects are due to the fact that such techniques leverage on cognitive mechanisms that refer to the “system 1” types of automatic processes hypothesized in the context of the dual process theory of reasoning. As a consequence of this state of affairs, any automated persuasive systems (used for ethical purposes: e.g. suggesting good health habits) should be able to re-use these types of system 1 strategies in order to gradually take the users in an argumentation territory where system 2 processes can take place. -/- . (shrink)

The relationship between law and coercion has always been a highly controversial topic in contemporary legal philosophy. After an initial phase in which there was a strong consensus on its essential importance for law, an apparent consensus on the exact opposite has emerged in the last decades. In recent years, however, several important publications have reignited the debate. They criticise the latter position and argue strongly in favour of considering coercion as a necessary or relevant property of law, as well (...) as propose new ways to approach the debate and conceive the relevant question. -/- The aim of this chapter is to contribute to the revitalised debate by arguing for the importance of coercion both for the existence of law and for the function(s) of law. I will argue that if law is seen as a tool or artefact, the fulfilment of its function(s) depends both on its existence and on its possession of a certain property that enables the achievement of that end. I will then show how coercion can be understood as necessary for the existence of law by analysing two main arguments for coercion-dependent existence: that coercion is motivationally necessary to ensure conformity to law, and that it is necessary to ensure the existence of a community. Finally, even if this argument fails, I will show that coercion can nevertheless be understood as the particular property that law has to fulfil its function(s). I will argue that this is the case for most of the possible functions of law, especially those related to behaviour-guidance and coordination-solving. -/- I will proceed as follows. In section 2, I will address some useful definitions of coercion and law and offer some insights into the view of law as an artefact and the functions ascribed to it. In section 3, I will set out some general theoretical positions on the relationship between coercion and law that will help to frame the content of the arguments that follow in the next section. In section 4, I will analyse the role and significance of coercion for the existence of legal systems (4.1) and for the function of legal systems (4.2). Finally, in section 5, I will offer some concluding remarks. (shrink)

The way, in which quantum information can unify quantum mechanics (and therefore the standard model) and general relativity, is investigated. Quantum information is defined as the generalization of the concept of information as to the choice among infinite sets of alternatives. Relevantly, the axiom of choice is necessary in general. The unit of quantum information, a qubit is interpreted as a relevant elementary choice among an infinite set of alternatives generalizing that of a bit. The invariance to the axiom of (...) choice shared by quantum mechanics is introduced: It constitutes quantum information as the relation of any state unorderable in principle (e.g. any coherent quantum state before measurement) and the same state already well-ordered (e.g. the well-ordered statistical ensemble of the measurement of the quantum system at issue). This allows of equating the classical and quantum time correspondingly as the well-ordering of any physical quantity or quantities and their coherent superposition. That equating is interpretable as the isomorphism of Minkowski space and Hilbert space. Quantum information is the structure interpretable in both ways and thus underlying their unification. Its deformation is representable correspondingly as gravitation in the deformed pseudo-Riemannian space of general relativity and the entanglement of two or more quantum systems. The standard model studies a single quantum system and thus privileges a single reference frame turning out to be inertial for the generalized symmetry [U(1)]X[SU(2)]X[SU(3)] “gauging” the standard model. As the standard model refers to a single quantum system, it is necessarily linear and thus the corresponding privileged reference frame is necessary inertial. The Higgs mechanism U(1) → [U(1)]X[SU(2)] confirmed enough already experimentally describes exactly the choice of the initial position of a privileged reference frame as the corresponding breaking of the symmetry. The standard model defines ‘mass at rest’ linearly and absolutely, but general relativity non-linearly and relatively. The “Big Bang” hypothesis is additional interpreting that position as that of the “Big Bang”. It serves also in order to reconcile the linear standard model in the singularity of the “Big Bang” with the observed nonlinearity of the further expansion of the universe described very well by general relativity. Quantum information links the standard model and general relativity in another way by mediation of entanglement. The linearity and absoluteness of the former and the nonlinearity and relativeness of the latter can be considered as the relation of a whole and the same whole divided into parts entangled in general. (shrink)

Brain tumors pose significant challenges in modern healthcare, with accurate and timely diagnosis crucial for determining appropriate treatment strategies. Artificial intelligence has made significant advancements in recent years. Rule-based expert systems (if-then rule-based systems) have emerged as a promising approach for clinical decision-making in brain tumor diagnosis. In this paper, we present "A CLIPS-Based Expert System for Brain Tumor Diagnosis," which leverages a set of 14 if-then rules to diagnose brain tumors with three possible outcomes: 1) Confirm the diagnosis (...) of a brain tumor, 2) Consider the possibility of a brain tumor that has metastasized, and 3) Consider the possibility of a brain tumor. Our expert system offers a user-friendly interface, enabling users to select symptoms and receive a diagnosis based on the provided information. This paper discusses the expert system's development, implementation, and evaluation, highlighting its potential to facilitate brain tumor diagnosis and decision-making in clinical settings. Additionally, we provide a literature review that contextualizes our expert system within the broader landscape of rule-based expert systems for brain tumor diagnosis, examining their effectiveness, limitations, and challenges. (shrink)

While philosophers hold that it is patently absurd to blame robots or hold them morally responsible [1], a series of recent empirical studies suggest that people do ascribe blame to AI systems and robots in certain contexts [2]. This is disconcerting: Blame might be shifted from the owners, users or designers of AI systems to the systems themselves, leading to the diminished accountability of the responsible human agents [3]. In this paper, we explore one of the potential underlying reasons for (...) robot blame, namely the folk's willingness to ascribe inculpating mental states or "mens rea" to robots. In a vignette-based experiment (N=513), we presented participants with a situation in which an agent knowingly runs the risk of bringing about substantial harm. We manipulated agent type (human v. group agent v. AI-driven robot) and outcome (neutral v. bad), and measured both moral judgment (wrongness of the action and blameworthiness of the agent) and mental states attributed to the agent (recklessness and the desire to inflict harm). We found that (i) judgments of wrongness and blame were relatively similar across agent types, possibly because (ii) attributions of mental states were, as suspected, similar across agent types. This raised the question - also explored in the experiment - whether people attribute knowledge and desire to robots in a merely metaphorical way (e.g., the robot "knew" rather than really knew). However, (iii), according to our data people were unwilling to downgrade to mens rea in a merely metaphorical sense when given the chance. Finally, (iv), we report a surprising and novel finding, which we call the inverse outcome effect on robot blame: People were less willing to blame artificial agents for bad outcomes than for neutral outcomes. This suggests that they are implicitly aware of the dangers of overattributing blame to robots when harm comes to pass, such as inappropriately letting the responsible human agent off the moral hook. (shrink)

The local food movement is, increasingly, becoming a part of the modern American landscape. However, while it appears that the local food movement is gaining momentum, one could question whether or not this trend is, in fact, politically and socially sustainable. Is local food just another trend that will fade away or is it here to stay? One way to begin addressing this question is to ascertain whether or not it is compatible with liberalism, a set of influential political theories (...) that have shaped and continue to shape our political system. In this paper, I argue that the local food movement is partially compatible with forms of liberalism that accept the limited application of the principle of neutrality, as there are two directions or trends within local food: (1) The systems based direction and (2) the individual focused direction. The systems based direction is not compatible while the individual focused movement is largely compatible with liberalism. I go on to argue that the two directions form a dialectic that increases the political and social sustainability of the movement as a whole. Conceiving of the individual focused and the systems focused directions as in opposition to one another is, itself, a mistake. (shrink)

This paper examines Susan Wolf's account of "the Reason View" of moral responsibility as articulated and defended in 'Freedom Within Reason' (OUP 1990). The discussion turns on two questions about the Reason View: -/- (1) Does the Reason View aim to satisfy what Bernard Williams describes as “morality” and its (“peculiar”) conception of responsibility and blame? -/- (2) If it does, how successful is the Reason View judged in these terms? -/- It is argued that if the Reason View aims (...) to satisfy “morality” in respect of its understanding of deserved blame -- as it seems to -- then it fails for reasons similar to those that apply to R. J. Wallace’s 'rational self-control' model. On the other hand, if Wolf’s Reason View does not aim to satisfy “morality” in this respect then it might well rest satisfied with the more limited conditions of Wallace’s Reflective Self-Control model, which in contrast with the Reason View, does not appeal to the (problematic) apparatus of asymmetry and PAP. The paper concludes by drawing a contrast between the Reason View and a more "realistic" conception of responsibility, as suggested by the critique of “the morality system” and the more radical "recasting" of our ethical concepts that it proposes. -/- . (shrink)

Relying on evidence from fifteen epigraphic collections and sixty-odd ancient sources as well as discussing a literature of over five hundred titles, the essay’s highly unorthodox conclusions are a case in point of the micrological ideal of achieving novelty on any given subject by way of transcribing and studying first-hand all relevant materials – edited and unedited alike. The paper’s ambition was to shed new light on one of the most intriguing analogies of the whole Aristotelian corpus, namely the comparison (...) between words and pebbles. A review of all material evidence and virtually all extant sources made short work of two related, albeit mutually exclusive, misconception about ancient reckoning boards and their workings: (1) the idea that – for all practical purposes – the abacus’ arrangement mirrored the decimal system, its columns and rows conveniently matching units, tens, hundreds, thousands, etc. (2) the idea that the inscriptions on several surviving counting boards were a nuisance to the extent that, being inconsistent to a fault with the decimal system itself, they made actual calculations harder than they already were (as opposed to making them easier, as one would expect). The paper demonstrated that the first assumption – the « decimal » bias – is simply mistaken and betrays little or no awareness of the epigraphic and archaeological evidence. The paper also demonstrated that the second assumption – the « abacus riddled with complications » bias – simply defeats the purpose of resorting to the abacus in the first place and betrays a poor understanding of its practical vocation which, most assuredly, was not to add to the very problem it was meant to solve. After bulldozing its way through both misunderstandings, the essay focused on the abacus most distinctive features, that is positionality (i.e. the abacus being a positional system through and through) and hybridity (i.e. the abacus’ place value system being monetary in nature and purpose, as opposed to it being abstract and homogeneous). The final result is an interpretation that moves away from the received views by showing that the prologue of the Sophistici elenchi offers no support to the notion that, when Aristotle referred to counters, he was leaning on a kinship of sorts – or any kinship, for that matter – between abstract calculation and speech. Once we turns the pebble’s simile on its head and set it back upon its feet (Aristotle’s pebble analogy is about pebbles, what else?), it becomes clear that it presupposed numeracy all right, but it was not about numeracy itself. Moreover its goal was not to explain why computational and linguistic symbolisms succeed, but to explain how they fail – failure being the whole point; in this particular instance, failure to detect and prevent abusive value shifts affecting words and counters alike. (shrink)

Stress and depression can be seen as the major obstacles for sustained education and attainment of foreign students, and in turn, the sustainability of an education system as a whole. However, the mainstream consideration following Berry’s model on acculturation does not take into account whether students of the host countries are immune to these problems. This study aims to examine the prevalence and predictors of help-seeking behaviors among international and domestic students in a multicultural environment by employing ANOVA and (...) polynomial regression. Some significant results from this study are: (1) Informal sources were the most prevalent sources of help-seeking among international and domestic students, while formal help-seeking was not popular; (2) international students were more likely to overcome emotional difficulties alone and seek help on the Internet than domestic students; (3) acculturative stress was a positive predictor of formal, informal, and miscellaneous help-seeking behaviors among international students and informal help-seeking behaviors or among domestic students; and (4) depression was negatively correlated with the willingness of international students to seek help from informal sources. The findings hint at the risk of acculturative stress faced by domestic students in a multicultural environment being overlooked and the lack of help-seeking sources for international students. The study also provides empirical evidence for policy-planners to design a sustainable education system better at supporting students dealing with depression and acculturative stress. (shrink)