Undeniably, the greatest way for a Moslem to be closer to Allah, is recitation of Holy-Quran approves with the method conveyed from Messenger of Allah Mohammed from the feature of speech points of letters and the intrinsic and fleeting characteristics of the letters, So, there is a persistent need to teach all Moslems the science of Tajweed Al-Quran. ITS (Intelligent Tutoring System) is computer software that supplies direct and tailored training or response to students without human teacher interfering. The main (...) target of ITS is smoothing the learning process using the wide-ranging facilities of computer. The proposed system will be implemented using the ITSB Authoring tool. In this thesis, the researcher presents an intelligent tutoring system for teaching Reciting Al-Quran "Tajweed" with Rewaya: Hafs from ‘Aasem by the way of Shatebiyyah. It was a novel idea that the researcher combined the science of Tajweed Al-Quran and the science of artificial intelligence in his thesis. The researcher arranged the material into chapters, lessons, examples then, added all these to the proposed system. He also added questions, right answers and the level of difficulty for each lesson. He prepared an exam for each chapter and a final exam to test the knowledge of the learner in the whole material. The system was evaluated by teachers and students in reciting science and the outcome of the assessment was encouraging and promising. (shrink)

In this article, the concept of system of symbolic 2-plithogenic linear equations and its solutions are introduced and studied. The Cramer's rule was applied to solve the system of symbolic 2-plithogenic linear equations. Also, provided enough examples for each case to enhance understanding.

This note corrects an error in my paper 'Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule' (Archive for Mathematical Logic 61 (2022): 105-129, DOI 10.1007/s00153-021-00775-6): Theorem 2 is mistaken, and so is a corollary drawn from it as well as a corollary that was concluded by the same mistake. Luckily this does not affect the main result of the paper.

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...) in normal form have the subformula property. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule (...) for implication. The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

Digitalisation is attracting much scholarly attention at present. However, scholars often take its benefits for granted, overlooking the essential question: “Does digital technology make us better?” This paper aims to help fill this gap by examining digitalisation as a form of government (digitocracy) and the way it shapes a new kind of man: _animal digitalis_. I argue that the digitalised man is animal-like rather than machine-like. This man does not use efficient and cold machine-like language, but is rather emotionalised through (...) digital technology. If those who are ruled acted like machines, data would not be produced on a mass scale, and machine learning would stop learning. Digital man has animal features and is ruled by his brain’s reward system. We need to abandon this new form of government and the resulting man. To overcome digitalisation, we need a humanism that recovers the proper place of man over animals and artefacts, but maintains respect for the value of nature. (shrink)

The U.S. election in November 2016 raised and amplified doubts about first-past-the-post (“plurality rule”) electoral systems. Arguments against plurality rule and for alternatives like preferential voting tend to be consequentialist: it is argued that systems like preferential voting produce different, better outcomes. After briefly noting why the consequentialist case against plurality rule is more complex and contentious than it first appears, I offer an expressive alternative: plurality rule produces actual or apparent dilemmas for voters (...) in ways that are morally objectionable, and avoidable under preferential voting systems. This expressive case against plurality rule is both simpler and more ecumenical than its consequentialist counterpart, and it provides strong reasons to prefer alternatives to plurality rule. Moreover, it suggests a distinct way of evaluating different alternatives like preferential voting. (shrink)

There is a large and growing literature on communal interpretive resources: the concepts, theories, narratives, and so on that a community draws on in interpreting its members and their world. (They're also called “hermeneutical resources” in some places and “epistemic resources” in others.) Several recent contributions to this literature have concerned dominant and resistant interpretive resources and how they affect concrete lived interactions. In this article, I note that “using” interpretive resources—applying them to parts of the world in conversation with (...) others—is “a rule‐governed activity”; and I propose that in oppressive systems, these rules are influenced by the rules of oppression. Section I clarifies some rules governing the use of resources. Section II draws on work by Gaile Pohlhaus, Jr. and others to suggest that according to the present rules of our oppressive system, it is permissible for dominantly situated speakers to dismiss interpretive resources developed in marginalized communities. Section III appeals to Charles Mills's work on White ignorance to propose, further, that our system's rules make it impermissible and deserving of punishment to use resistant resources. The conclusion enumerates several further points about such rules governing the use of interpretive resources, their social effects, and some philosophical literatures. (shrink)

The system R, or more precisely the pure implicational fragment R›, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict relevant implication. The next system of relevance logic is RM or R-mingle. The question is whether adding mingle axiom to R› yields the pure implicational fragment RM› of the system? As concerns the weak systems there are at least (...) two approaches to the problem. First of all, it is possible to restrict a validity of some theorems. In another approach we can investigate even weaker logics which have no theorems and are characterized only by rules of deducibility. (shrink)

AI is revolutionizing everyone’s life, and it is crucial that it does so in the right way. AI’s profound and far-reaching potential for transformation concerns the engineering of systems that have some degree of autonomous agency. This is epochal and requires establishing a new, ethical balance between human and artificial autonomy.

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinite rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinite rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinite rules of inference in their reasoning. (shrink)

Rules are meant to apply equally to all within their jurisdiction. However, some rules are frequently broken without consequence for most. These rules are only occasionally enforced, often at the discretion of a third-party observer. We propose that these rules—whose violations are frequent, and enforcement is rare—constitute a unique subclass of explicitly codified rules, which we call ‘phantom rules’ (e.g., proscribing jaywalking). Their apparent punishability is ambiguous and particularly susceptible to third-party motives. Across six experiments, (N = 1440) we validated (...) the existence of phantom rules and found evidence for their motivated enforcement. First, people played a modified Dictator Game with a novel frequently broken and rarely enforced rule (i.e., a phantom rule). People enforced this rule more often when the “dictator” was selfish (vs. fair) even though the rule only proscribed fractional offers (not selfishness). Then we turned to third person judgments of the U.S. legal system. We found these violations are recognizable to participants as both illegal and commonplace (Experiment 2), differentiable from violations of prototypical laws (Experiments 3) and enforced in a motivated way (Experiments 4a and 4b). Phantom rule violations (but not prototypical legal violations) are seen as more justifiably punished when the rule violator has also violated a social norm (vs. rule violation alone)—unless the motivation to punish has been satiated (Experiment 5). Phantom rules are frequently broken, codified rules. Consequently, their apparent punishability is ambiguous, and their enforcement is particularly susceptible to third party motives. (shrink)

Socrates ́ thought of justice and obedience to laws is moti- vated by a will to avoid the destructive effects of Sophistic criti- cisms and theories of laws. He thus requires–against theories of natural law–an almost absolute obedience to the law, as far as this law respects the legal system of the city. But, against legal positivism, Socrates would not admit that a law is just simply because it is a law: he is looking for the true Just. However, as (...) often in Socratic philosophy, Socrates cannot accept that two equally justified and legitimate rights or moral values conflict. (shrink)

The legal progression in China is portrayed negatively by western scholars who often argue that the state institutions in China are subordinate to the control of Chinese Communist Party’s leadership which makes these institutions politically insignificant. We consider that the legal progression in China has an instrumental role in achieving “Harmonious Socialist Society.” The purpose of this thesis is to provide an analytical literature review of scholastic work to explain the legality of rule of law in China and to (...) elaborate the outcomes of China’s recent legal developments. This paper has two main subjects. First, it examines the nature of law and rule of law in China through the prism of different legal theories. Secondly, by arguing from different political theories, it explains the necessity of customized legal system in China for establishing a Harmonious Socialist Society. By giving different examples from contemporary China, this thesis argues that the legality of the rule of law in China ought to be understood in the context of China’s economic and social progression rather than the western legal scholarship. China’s economic progress demands a customized legal system. In our thesis, we claim that the regular upgradation of laws and introduction of constitutional amendments in China, should be recognized as important achievement which is required for the institutional innovation. Legal progression in China during last decade perfectly fit into the framework of “Socialism with Chinese Characteristics” and is very crucial for building a harmonious socialist society. It is vivid from China’s economic growth and developed international relations. Finally, this paper suggests that the Chinese legal progression can be taken as successful example of legal experimentalism. (shrink)

In this essay, I suggest that Spinoza acknowledges a distinction between formal reality that is infinite and timelessly eternal and formal reality that is non-infinite (i. e., finite or indefinite) and non-eternal (i. e., enduring). I also argue that if, in Spinoza’s system, only intelligible causation is genuine causation, then infinite, timelessly eternal formal reality cannot cause non-infinite, non-eternal formal reality. A denial of eternal-durational causation generates a puzzle, however: if no enduring thing – not even the sempiternal, indefinite individual (...) composed of all finite, enduring things – is caused by the infinite, eternal substance, then how can Spinoza consistently hold that the one infinite, eternal substance is the cause of all things and that all things are modes of that substance? At the end of this essay, I sketch how Spinoza could deny eternal-durational causation while still holding that an infinite, eternal God is the cause of all things and that all things are modes. I develop the interpretation more in the companion essay.1 1 In “Spinoza’s Monism II,” in the next issue of this journal. (shrink)

The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal (...) evidence from mathematics, physics, computer science, philosophy, linguistics, and biology, setting up their book around three central questions: What are the essential marks of human intelligence? What is it that researchers try to do when they attempt to achieve "artificial intelligence" (AI)? And why, after more than 50 years, are our most common interactions with AI, for example with our bank’s computers, still so unsatisfactory? Landgrebe and Smith show how a widespread fear about AI’s potential to bring about radical changes in the nature of human beings and in the human social order is founded on an error. There is still, as they demonstrate in a final chapter, a great deal that AI can achieve which will benefit humanity. But these benefits will be achieved without the aid of systems that are more powerful than humans, which are as impossible as AI systems that are intrinsically "evil" or able to "will" a takeover of human society. (shrink)

Big Data is a large-sized and complex dataset, which cannot be managed using traditional data processing tools. Mining process of big data is the ability to extract valuable information from these large datasets. Association rule mining is a type of data mining process, which is indented to determine interesting associations between items and to establish a set of association rules whose support is greater than a specific threshold. The classical association rules can only be extracted from binary data where (...) an item exists in a transaction, but it fails to deal effectively with quantitative attributes, through decreasing the quality of generated association rules due to sharp boundary problems. In order to overcome the drawbacks of classical association rule mining, we propose in this research a new neutrosophic association rule algorithm. The algorithm uses a new approach for generating association rules by dealing with membership, indeterminacy, and non-membership functions of items, conducting to an efficient decision-making system by considering all vague association rules. To prove the validity of the method, we compare the fuzzy mining and the neutrosophic mining. The results show that the proposed approach increases the number of generated association rules. (shrink)

This paper is a commentary on the target article by Lokendra Shastri & Venkat Ajjanagadde [S&A]: “From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony” in same issue of the journal, pp.417–451. -/- It puts S&A's temporal-synchrony binding method in a broader context, comments on notions of pointing and other ways of associating information - in both computers and connectionist systems - and mentions types of reasoning that are a challenge (...) to S&A's system (amongst many other connectionist systems, recognizing that S&A's is much more capable as regards reasoning than most other contemporary systems). (shrink)

Paul Feyerabend argued that theories can be faced with experimental anomalies whose refuting character can only be recognized by developing alternatives to the theory. The alternate theory must explain the experimental results without contrivance and it must also be supported by independent evidence. I show that the situation described by Feyerabend arises again and again in experiments or observations that test the postulates in the standard cosmological model relating to dark matter. The alternate theory is Milgrom’s modified dynamics. I discuss (...) three examples: the failure to detect dark-matter particles in laboratory experiments; the lack of evidence for dark-matter sub-haloes and the dwarf galaxies that are postulated to inhabit them; and the failure to confirm the predicted orbital decay of Milky Way satellite galaxies and other systems due to dynamical friction against the dark matter. In each case, Feyerabend’s criterion directs us to interpret the experimental or observational results as an indirect refutation of the standard cosmological model in favor of Milgrom’s theory. (shrink)

Emergence is typically discussed in the context of mental properties or the properties of the natural sciences, and accounts of emergence within these contexts tend to look a certain way. The emergent property is taken to emerge instantaneously out of, or to be proximately caused by, complex interaction of colocated entities. Here, however, I focus on the properties instantiated by the elements of certain systems discussed in social ontology, such as being a five-dollar bill or a pawn-movement, and I (...) suggest that these properties emerge in a distinctive way. They emerge in part because of a system that is far beyond and typically before the object that instantiates them. I characterize how emergence occurs in these cases, juxtaposing it with how emergence is typically discussed. I then consider whether their emergence is best framed as weak or strong as these notions are characterized in the literature, and I reveal what debates are central to answering this question. Though I will not resolve these debates, I do show a collection of views that would vindicate these properties as strongly emergent and downwardly causing. (shrink)

Until recently most militaries tended to see moral issues through the lens of rules and regulations. Today, however, many armed forces consider teaching virtues to be an important complement to imposing rules and codes from above. A closer look reveals that it is mainly established military virtues such as honour, courage and loyalty that dominate both the lists of virtues and values of most militaries and the growing body of literature on military virtues. Although there is evidently still a role (...) for these traditional martial virtues, it is equally evident that they are not particularly relevant to, for instance, military personnel operating drones. This chapter looks into the ethics of unmanned warfare from the perspective of military virtues and military ethics education, and addresses the question of what we need to solve that just-mentioned misalignment: 1) a new set of virtues; 2) a different interpretation of the existing virtues; or 3) a different approach altogether, that is, an alternative to teaching virtues? That we have to think about such questions is at least partly because unmanned systems bring risk asymmetry in war to a new level, making warlike virtues such as physical courage by and large obsolete. The last section of this chapter therefore addresses the question: to what extent does the possibility of riskless warfare makes drone use ‘virtue-less’? (shrink)

Three problems threaten any account of philosophical rule in the Republic. First, Socrates is supposed to show that acting justly is always beneficial, but instead he extols the benefits of having a just soul. He leaves little reason to believe practical justice and psychic justice are connected and thus to believe that philosophers will act justly. In response to this problem, I show that just acts produce just souls. Since philosophers want to have just souls, they will act justly. (...) Second, Socrates’ alleged aim is to demonstrate that justice is beneficial, but philosophers, who have to give up a life of philosophy to rule, actually appear to be harmed by ruling. I explain that, since the founders of the city justly command them to rule, philosophers cannot, in fact, obtain a better life, and so ruling does not harm them. Third, it seems incongruous that philosophers, who should, as just people, jump at the opportunity to rule Kallipolis, must be compelled to rule. I show that Plato carefully constructs an educational system that produces rulers who do not want to rule, since such rulers alone will rule best. (shrink)

While Autonomous Weapons Systems have obvious military advantages, there are prima facie moral objections to using them. By way of general reply to these objections, I point out similarities between the structure of law and morality on the one hand and of automata on the other. I argue that these, plus the fact that automata can be designed to lack the biases and other failings of humans, require us to automate the formulation, administration, and enforcement of law as much (...) as possible, including the elements of law and morality that are operated by combatants in war. I suggest that, ethically speaking, deploying a legally competent robot in some legally regulated realm is not much different from deploying a more or less well-armed, vulnerable, obedient, or morally discerning soldier or general into battle, a police officer onto patrol, or a lawyer or judge into a trial. All feature automaticity in the sense of deputation to an agent we do not then directly control. Such relations are well understood and well-regulated in morality and law; so there is not much challenging philosophically in having robots be some of these agents — excepting the implications of the limits of robot technology at a given time for responsible deputation. I then consider this proposal in light of the differences between two conceptions of law. These are distinguished by whether each conception sees law as unambiguous rules inherently uncontroversial in each application; and I consider the prospects for robotizing law on each. Likewise for the prospects of robotizing moral theorizing and moral decision-making. Finally I identify certain elements of law and morality, noted by the philosopher Immanuel Kant, which robots can participate in only upon being able to set ends and emotionally invest in their attainment. One conclusion is that while affectless autonomous devices might be fit to rule us, they would not be fit to vote with us. For voting is a process for summing felt preferences, and affectless devices would have none to weigh into the sum. Since they don't care which outcomes obtain, they don't get to vote on which ones to bring about. (shrink)

Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and (...) analyzing at least simple formal systems using fractal patterns of infinite depth. Progressively deeper dimensions of such a fractal can be used to map increasingly complex wffs or increasingly complex 'value spaces', with tautologies, contradictions, and various forms of contingency coded in terms of color. This and related approaches, it turns out, offer not only visually immediate and geometrically intriguing representations of formal systems as a whole but also promising formal links (1) between standard systems and classical patterns in fractal geometry, (2) between quite different kinds of value spaces in classical and infinite-valued logics, and (3) between cellular automata and logic. It is hoped that pattern analysis of this kind may open possibilities for a geometrical approach to further questions within logic and metalogic. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates (...) the semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

Organisations are computing systems. The university’s sports centre is a computing system for managing sports teams and facilities. The tenure committee is a computing system for assigning tenure status. Despite an increasing number of publications in group ontology, the computational nature of organisations has not been recognised. The present paper is the first in this debate to propose a theory of organisations as groups structured for computing. I begin by describing the current situation in group ontology and by spelling (...) out the thesis in more detail. I then present the example of a sports centre to illustrate why one might intuitively think of organisations as computing systems. To substantiate the thesis, I introduce Piccinini’s restrictive analysis of physical computation. As I show, organisations meet all criteria for being computing systems. Organisations are structured groups with the function of manipulating medium-independent vehicles according to rules. Furthermore, I argue for the modal claim that this is a necessary feature of organisations. Having sketched the computational account of organisations, I compare it to other proposals in the literature. (shrink)

Contemporary Humeans treat laws of nature as statements of exceptionless regularities that function as the axioms of the best deductive system. Such ‘Best System Accounts’ marry realism about laws with a denial of necessary connections among events. I argue that Hume’s predecessor, George Berkeley, offers a more sophisticated conception of laws, equally consistent with the absence of powers or necessary connections among events in the natural world. On this view, laws are not statements of regularities but the most general rules (...) God follows in producing the world. Pace most commentators, I argue that Berkeley’s view is neither instrumentalist nor reductionist. More important, the Berkeleyan Best System can solve some of the problems afflicting its Humean rivals, including the problems of theory choice and Nancy Cartwright’s ‘facticity’ dilemma. Some of these solutions are available in the contemporary context, without any appeal to God. Berkeley’s account deserves to be taken seriously in its own right. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been criticized (...) for using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (shrink)

ABSTRACT: Decision-theoretic approach and a nonlinguistic theory of norms are applied in the paper in an attempt to explain the nature of scientific rationality. It is considered as a normative system accepted by scientific community. When we say that a certain action is rational, we express a speaker’s acceptance of some norms concerning a definite action. Scientists can choose according to epistemic utility or other rules and values, which themselves have a variable nature. Rationality can be identified with a decision (...) to accept a norm. This type of decision cannot be reduced only to its linguistic formulation; it is an act of evolvement of the normative regulation of human behavior. Norms are treated as decisions of a normative authority: a specific scientific community is the normative authority in science. These norms form a system and they are absolutely objective in the context of individual scientists. There exists an invariant core in all the norms of rationality, accounting for their not being liable to change, as compared with the flexibility of legal norms. The acceptance of and abidance by these norms is of social importance – it affects the aims of the community. A norm only defines the common framework and principles of scientific problem-solving; its application is a matter of professional skills and creative approach to a particular problem. It is of no importance at all, if an agent’s cognitive abilities do not live up to the requirements of a norm. Such discrepancy can be compensated for by the fact that a scientist carries out work in a conceptual and normative framework established by a respective scientific community. (shrink)

Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for bilateral proof (...) rules has a reasonable claim to inferentially articulating the core meaning of all of the classical connectives. I propose this schema in the context of a bilateral sequent calculus in which each connective is given exactly two rules: a rule for affirmation and a rule for denial. Positive and negative rules for all of the classical connectives are given by a single rule schema, harmony between these positive and negative rules is established at the schematic level by a pair of elimination theorems, and the truth-conditions for all of the classical connectives are read off at once from the schema itself. (shrink)

This addendum expands upon the arguments made in the author’s 2020 essay, “Legal Personhood for Artificial Intelligence: Citizenship as the Exception to the Rule”, in an effort to display the significance human augmentation technologies will have on (feasibly) inadvertently providing legal protections to artificial intelligence systems (AIS)—a topic only briefly addressed in that work. It will also further discuss the impacts popular media have on imprinting notions of computerised behaviour and its subsequent consequences on the attribution of legal (...) protections to AIS and on speculative technological advancement that would aid the sophistication of AIS. (shrink)

Issues of sociopolitical systems’ stability and risks of their destabi-lization in process of political transformations belong to the most important ones as regards the social development perspectives, as has been shown again by the recent events in Ukraine. In this re-spect it appears necessary to note that the transition to democracy may pose a serious threat to the stability of respective sociopolitical systems. This article studies the issue of democratization of countries within globalization context, it points to the (...) unreasonably high economic and social costs of a rapid transition to democracy as a result of revolutions or of similar large-scale events for the countries unprepared for it. The authors believe that in a number of cases the authoritarian regimes turn out to be more effective in economic and social terms in comparison with emerging democracies especially of the revolutionary type, which are often incapable to insure social order and may have a swing to authoritarianism. Effective authoritarian regimes can also be a suitable form of a transition to efficient and stable democracy. The article investigates various correlations between revolutionary events and possibilities of establishing democracy in a society on the basis of the historical and contemporary examples as well as the recent events in Egypt. The authors demonstrate that one should take into account a country’s degree of sociopolitical and cultural preparedness for democratic institutions. In case of favorable background, revolutions can proceed smoothly (“velvet revolutions”) with efficient outcomes. On the contrary, democracy is established with much difficulty, throwbacks, return to totalitarianism, and with outbreaks of violence and military takeovers in the countries with high illiteracy rate and rural population share, with low female status, with widespread religious fundamental ideology, where a substantial part of the population hardly ever hears of democracy while the liberal intellectuals idealize this form, where the opposing parties are not willing to respect the rules of democratic game when defeated at elections. (shrink)

This chapter begins with an empirical analysis of attitudes towards the law, which, in turn, inspires a philosophical re-examination of the moral status of the rule of law. In Section 2, we empirically analyse relevant survey data from the US. Although the survey, and the completion of our study, preceded the recent anti-police brutality protests sparked by the killing of George Floyd, the relevance of our observations extends to this recent development and its likely reverberations. Consistently with prior studies, (...) we find that people’s ascriptions of legitimacy to the legal system are predicted strongly by their perceptions of the procedural justice and lawfulness of police and court officials’ action. Two factors emerge as significant predictors of people’s compliance with the law: (i) their belief that they have a (content-independent, moral) duty to obey the law (which is one element of legitimacy, as defined here); and (ii) their moral assessment of the content of specific legal requirements (‘perceived moral content of laws’). We also observe an interactive relationship between these two factors. At higher levels of perceived moral content of laws, felt duty to obey is a better predictor of compliance. And, similarly, perceived moral content of laws is a better predictor of compliance at higher levels of felt duty to obey. This suggests that the moral content incorporated in specific laws interacts with the normative force people ascribe to legal authorities by virtue of other qualities, specifically here procedural justice and lawfulness. In Section 3, the focus shifts to a philosophical analysis, whereby we identify a parallel (similarly interactive) modality in the way that form and content mutually affect the value of the rule of law. We advocate a distinctive alternative to two rival approaches in jurisprudential discourse, the first of which claims that Lon Fuller’s eight precepts of legality embody moral qualities not contingent on the law’s content, while the second denies any independent moral value in these eight precepts, viewing them as entirely subservient to the law’s substantive goals. In contrast, on the view put forward here, Fuller’s principles possess (inter alia) an expressive moral quality, but their expressive effect does not materialise in isolation from other, contextual factors. In particular, the extent to which it materialises is partly sensitive to the moral quality of the law’s content. (shrink)

PARC is an "appended numeral" system of natural deduction that I learned as an undergraduate and have taught for many years. Despite its considerable pedagogical strengths, PARC appears to have never been published. The system features explicit "tracking" of premises and assumptions throughout a derivation, the collapsing of indirect proofs into conditional proofs, and a very simple set of quantificational rules without the long list of exceptions that bedevil students learning existential instantiation and universal generalization. The system can be used (...) with any Copi-style set of inference rules, so it is quite adaptable to many mainstream symbolic logic textbooks. Consequently, PARC may be especially attractive to logic teachers who find Jaskowski/Gentzen-style introduction/elimination rules to be far less "natural" than Copi-style rules. The PARC system is also keyboard-friendly in comparison to the widely adopted Jaskowski-style graphical subproof system of natural deduction, viz., Fitch diagrams and Copi "bent arrow" diagrams. (shrink)

When Pierre Bourdieu addresses the problem of why people from certain discriminated groups are hardly present in some fields, he emphasizes the role of stylistic factors that cannot be captured in terms of rules. An alternative explanation refers to split systems, both of which can be captured by means of rules.

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.

The article considers the problem of the system model of family counseling, in particular, the analysis of the family as a social system, as a complex of elements and their properties, which are in dynamic connections and relationships. The analysis of the theory of systems and the description of the principles of family counseling is carried out. Particular attention is paid to highlighting the main provisions of the individual (“adlerian”) psychology in counseling the family. -/- Currently among specialists there (...) is a high interest in the provision of psychological assistance to a family in crisis. This is largely due to the fact that over the past decades, the institution of the family in this country is experiencing an increase in destructive tendencies. This is evidenced by an increase in the number of appeals to school psychologists, psychological counseling, psychological services and centers from both the individual members of the family and families in general. -/- The psychological help to the family is positioned as a relatively new field of practice for a psychologist. The practice of counseling, including family, is largely determined by the theoretical skills of the counselor, primarily as (s)he understands the personality, determination of behavior, the source of family problems, and the possibility of change. Today, practitioners prefer the integrative method, which is a system approach. -/- The purpose of this article is to analyze the theory of systems as the basis of family counseling. The system model of family counseling is considered to be one of the youngest and most widespread models that received their recognition at the end of the twentieth century. (shrink)

Crossing the road within the traffic system is an example of an action human agents perform successfully day-to-day in complex systems. How do they perform such successful actions given that the behaviour of complex systems is often difficult to predict? The contemporary literature contains two contrasting approaches to the epistemology of complex systems: an analytic and a post-modern approach. We argue that neither approach adequately accounts for how successful action is possible in complex systems. Agents regularly (...) perform successful actions without obeying (explicit or implicit) algorithmic rules (as the analytic approach suggests) and without an existential leap to action (as the post-modern approach suggests). We offer an alternative: A common-sense pragmatist epistemology, one that focuses on the kind of actions making up most agents’ successful moment-to-moment actions in complex systems. Successful actions obtain when agents apply ceteris paribus rules-of-thumb during predictive and decisional practices while achieving some desired goal. (shrink)

The ideas that law is (or can be regarded as) a legal system, and that law evolves over time in adaptation to its context, are two of the most widely shared and presupposed ideas in contemporary legal theory. However, even if much interest has been dedicated in legal theory and legal dogmatics to the evolution of specific legal concepts or institutions, as well as legal norms in particular, not so much attention has been dedicated to the evolution of legal (...) class='Hi'>systems in themselves. In this chapter, I will try to offer an overview of the evolution of the concept of legal system and critically analyse whether an evolutionary theory of legal systems - i.e., a theory about the evolution of legal systems - can be reconstructed and laid down for the analysis both of the past, the present, and the future of legal systems. (shrink)

Contextuality and entanglement are valuable resources for quantum computing and quantum information. Bell inequalities are used to certify entanglement; thus, it is important to understand why and how they are violated. Quantum mechanics and behavioural sciences teach us that random variables ‘measuring’ the same content (the answer to the same Yes or No question) may vary, if ‘measured’ jointly with other random variables. Alice’s and Bob’s raw data confirm Einsteinian non-signaling, but setting dependent experimental protocols are used to create samples (...) of coupled pairs of distant ±1 outcomes and to estimate correlations.Marginal expectations, estimated using these final samples, depend on distant settings. Therefore,a system of random variables ‘measured’ in Bell tests is inconsistently connected and it should be analyzed using a Contextuality- by-Default approach, what is done for the first time in this paper.The violation of Bell inequalities and inconsistent connectedness may be explained using a contextual locally causal probabilistic model in which setting dependent variables describing measuring instruments are correctly incorporated. We prove that this model does not restrict experimenters` freedom of choice which is a prerequisite of science. Contextuality seems to be the rule and not an exception; thus, it should be carefully tested. (shrink)

Memory evolved to supply useful, timely information to the organism’s decision-making systems. Therefore, decision rules, multiple memory systems, and the search engines that link them should have coevolved to mesh in a coadapted, functionally interlocking way. This adaptationist perspective suggested the scope hypothesis: When a generalization is retrieved from semantic memory, episodic memories that are inconsistent with it should be retrieved in tandem to place boundary conditions on the scope of the generalization. Using a priming paradigm and a (...) decision task involving person memory, the authors tested and confirmed this hypothesis. The results support the view that priming is an evolved adaptation. They further show that dissociations between memory systems are not—and should not be—absolute: Independence exists for some tasks but not others. (shrink)

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., (...) in short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such (...) as completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

What factors affect judicial decision-making? The legal system is of utmost importance because of its impact on our lives. Judges appear to have the most power among any social workers seeing as the precedents set in their decisions are tantamount to written law. Nevertheless, judges may be subject to certain biases, moral and cognitive alike, which influence their rulings. Looking into how morality and cognitive biases affect judges may also reveal how we as individuals handle combining morals with ethics- as (...) well as whether any discrepancies among ourselves are justifiable. An investigation into relevant moral and jurisprudential theories revealed much about the inner workings of a judge’s mindset- whether he or she recognizes it or not. Coupling this with corroborated research on a select few heuristics present specifically for judges sets the foundation for an array of possible solutions in order to ensure the most impartial judicial proceedings. Plausible remedies include conducting premortems, implicit association tests, and a revised ruling procedure. (shrink)

The aim of the article. The aim of the article is to identify the components of social and economic systems life cycle. To achieve this aim, the article describes the traits and characteristics of the system, determines the features of social and economic systems functioning and is applied a systematic approach in the study of their life cycle. The results of the analysis. It is determined that the development of social and economic systems has signs of cyclicity (...) and is explained methodologically by the axiomatics, rules and laws. Understanding of circular patterns has been formed long ago and now is recorded by scientists monitoring the properties of natural and artificial environment of human activity. During the study, it was found out that in scientific literature there is no unified description of the life cycle elements of social and economic systems at personal, micro, meso, macro and global levels. The paper investigates the cyclical patterns in multilevel social and economic systems for a human, employee, family, product, company, city, industry, elite, macroeconomic indicators, humanity, global processes, global economic system and the Universe. It is noted that at grass-roots administrative levels of the global environment of a human life activity system, a thesis about the cyclicity of development and the stages of the life cycle is considered by a wide circle of scientists and is doubtless. On hierarchically higher management levels of the global environment of human activity system, the scientists noticed the similar patterns of the cyclical nature. Problematic and discussion questions about cyclic development of social and economic systems are identified: the uncertainty of the driving force source of repeated changes; the vague distinction between systemic (internal) and off-system (external) influence on development; the lack of a unified description of development nature at different managerial levels; the use of different descriptive terms for the same constituent elements of repeated changes (period, stage, phase, wave, cycle); the uncertainty of the number of repeated changes constituent elements; the absence of an identification mechanism of the exact time of changes in the constituent elements of repeated changes; the surface description of out-of-system period of the subjects activity («before-system» period of creation and «after-system» period of liquidation); attaching more importance to primary and less importance to ultimate component elements of the repeated changes; the lack of reliable mechanism for predicting and forecasting the dynamics of constituent components of repeated changes. It is noted that all social and economic systems are developed within repeated changes and they have the same attributes of cyclicity: the fluctuation of indicators is marked that characterize the condition of the subject; the presence of system (from creation to liquidation) and out-of-system (creation – «design» and liquidation – «disposal») periods are noted; the subjects are created by the actions of other subjects (that is, subjects do not arise «out of nowhere», but are the result of actions of other subjects – «constructors»); after cessation of subjects functioning, their resources are used by other subjects (that is, the subjects do not disappear «nowhere», and they are transformed into the resources of other subjects – «recovery»); a unidirectional life cycle from «birth» to «death» is observed in the subjects; the subjects do not have to undergo the whole life cycle (each time might be the last); the subjects display similar changes of the indicators during their activity; ascending, peak and descending fluctuations of indicators are observed in the subjects; minor fluctuations occur in the constituent elements; the subjects have individual nature of indicator fluctuations and duration of activity. Conclusions and directions of further researches. The scientific novelty of the study is identification structure of life cycle of social and economic system with definitions of: common («before-system state», «growth», «stabilization», «reduction», «after-system state») and specific («creation», «slow growth», «rapid growth», «growth stabilization», «short stabilization», «rapid reduction», «slow reduction», «liquidation») constituent elements of repeated changes; marginal borders of indicators; dynamics of constituent elements of life cycle; key points of changing nature of the indicators dynamics. Identification of the life cycle of social and economic systems characterizes potentially possible limits of their activity in time and provides the possibility of further research of aspects of the cyclical development for methodological basis formation and the development of applied measures of systemic development in the areas of marketing and management innovations. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (shrink)

The tenth proposition of Spinoza’s Ethics reads: ‘Each attribute of substance must be conceived through itself.’ Developing and defending the argument for this single proposition, it turns out, is vital to Spinoza’s philosophical project. Indeed, it’s virtually impossible to overstate its importance. Spinoza and his interpreters have used EIp10 to prove central claims in his metaphysics and philosophy of mind (i.e., substance monism, mind-body parallelism, mind-body identity, and finite subject individuation). It’s crucial for making sense of his epistemology (i.e., Spinoza’s (...) account of knowledge and response to skepticism) and in resolving puzzles within the Ethics (i.e., explaining human ignorance of all but two attributes). Even those who do not attribute some of the above claims to Spinoza need EIp10 to defend much of what they believe about Spinoza’s system. This paper locates a previously unnoticed argument for this proposition in Spinoza’s Short Treatise on God, Man, and His Well Being. There, Spinoza shows himself concerned with a powerful and underappreciated form of philosophical skepticism, one with surprising echoes in the work of his contemporary Leibniz as well as in the later Wittgenstein. Spinoza’s introduction of E1p10 in the Ethics circumvents this form of skepticism, solving the problem the Short Treatise envisions while also explaining that text’s argument’s absence from the explicit justificatory structure of the Ethics. (shrink)

Autonomous Weapons Systems (AWS) have not gained a good reputation in the past. This attitude is odd if we look at the discussion of other-usually highly anticipated-AI-technologies, like autonomous vehicles (AVs); whereby even though these machines evoke very similar ethical issues, philosophers' attitudes towards them are constructive. In this article, I try to prove that there is an unjust bias against AWS because almost every argument against them is effective against AVs too. I start with the definition of "AWS." (...) Then, I arrange my arguments by the Just War Theory (JWT), covering jus ad bellum, jus in bello and jus post bellum problems. Meanwhile, I draw attention to similar problems against other AI-technologies outside the JWT framework. Finally, I address an exception, as addressed by Duncan Purves, Ryan Jenkins and Bradley Strawser, who realized the unjustified double standard, and deliberately tried to construct a special argument which rules out only AWS. (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)