ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; (...) but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

Michael T. Stuart (2021 and 2022) has proposed imagination as an intellectual dual‐process virtue, consisting of imagination1 (underwritten by cognitive Type 1 processing) and imagination2 (supported by Type 2 processing). This paper investigates the consequences of taking such an account seriously. It proposes that the dual‐process view of imagination allows us to incorporate recent insights from virtue epistemology, providing a fresh perspective on how imagination can be epistemically reliable. The argument centers on the distinction between General Reliability (GR) and Functional (...) System Reliability (FSR), for example in relation to Kengo Miyazono and Uko Tooming's (2023) argument for epistemic generativity. Furthermore, the paper claims that the dual‐process virtue account enables us to integrate a wide range of findings from the literature on epistemology and imagination. Moreover, it suggests a novel way to distinguish the virtues of creativity and imagination and presents a case for viewing imagination as a virtue rather than a skill. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in (...) the light of supraclassical consequence. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to (...) non-trivial counterpossibles, which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (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)

Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be normative systems that allow conflicting obligations. Surprisingly, however, little direct attention has been paid to questions about how we may reason with conflicting obligations. In this paper, I present a problem for making sense of reasoning with conflicting obligations and argue that no deontic logic can solve this problem. I then develop an account of reasoning based on the popular idea in ethics that reasons (...) explain obligations and show that it solves this problem. (shrink)

Contemporary Information Systems management incorporates the need to make explicit the links between semiotics, meaning-making and the digital age. This focus addresses, at its core, pure rationality, that is, the capacity of human interpretation and of human inscription upon reality. Creating the new real, that is the motto. Humans are intrinsically semiotic creatures. Consequently, semiotics is not a choice or an option but something that works like a second skin, establishing limits and permeable linkages between: human thought and human's infinite (...) world of imagination; and human action, with its correspondent infinite world of intentionality, of desire and of unexplored possibilities. Two instances are contrasted as two reading lenses of current business reality: IS governance and industry 4.0. These phenomena correspond to the need to take accountability, transparency and responsibility into account, when designing IS and when using such systems through the ecology of connectivity, Big Data and the Internet of Things. Political, social and cultural dimensions are brought into the equation, when addressing the question of the relevance and adequateness of IS theory and practice to respond to contemporary challenges. The message is that what has already been achieved is but a shadow, a pale vision, of what might be achieved in the age of the new Renaissance. (shrink)

The importance of addressing the existential threat to humanity, climate change, has grown remarkedly in recent years while conflicting views and interests in societies exist. Therefore, climate change agendas have been weaponized to varying degrees, ranging from the international level between countries to the domestic level among political parties. In such contexts, climate change agendas are predominantly driven by political or economic ambitions, sometimes unconnected to concerns for environmental sustainability. Consequently, it can result in an environment that fosters antagonism and (...) disputes over power and position and increases the risk of prolonged confrontations, hindering the collective global efforts to mitigate and adapt to climate change. Through the current discourse, we aim to provide a preliminary definition of the weaponization of climate change and environmental degradation and examine its risks and consequences on international relations, political dynamics, public perception, and the comprehensive integrity of climate action. We also recommend embracing a globally coordinated, scientifically substantiated approach to circumvent climate change by building an eco-surplus cultural value system. (shrink)

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...) possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization. (shrink)

The importance of the prime factorization problem is very well known (e.g., many security protocols are based on the impossibility of a fast factorization of integers on traditional computers). It is necessary from a number k to establish two primes a and b giving k = a · b. Usually, k is written in a positional numeral system. However, there exists a variety of numeral systems that can be used to represent numbers. Is it true that the prime factorization (...) is difficult in any numeral system? In this paper, a numeral system with partial carrying is described. It is shown that this system contains numerals allowing one to reduce the problem of prime factorization to solving [K/2] − 1 systems of equations, where K is the number of digits in k (the concept of digit in this system is more complex than the traditional one) and [u] is the integer part of u. Thus, it is shown that the difficulty of prime factorization is not in the problem itself but in the fact that the positional numeral system is used traditionally to represent numbers participating in the prime factorization. Obviously, this does not mean that P=NP since it is not known whether it is possible to re-write a number given in the traditional positional numeral system to the new one in a polynomial time. (shrink)

The paper offers a model of Kant's claim that unity of consciousness entails objectivity of experience. This claim has nothing especially to do with thought, language or the categories but is a general truth about arbitrary signaling systems of the sort modeled in the paper. In conclusion I draw some consequences for various forms of idealism.

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)

I argue that the human mind includes an innate domain-specific system for representing precise small numerical quantities. This theory contrasts with object-tracking theories and with domain-general theories that only make use of mental models. I argue that there is a good amount of evidence for innate representations of small numerical quantities and that such a domain-specific system has explanatory advantages when infants’ poor working memory is taken into account. I also show that the mental models approach requires previously (...) unnoticed domain-specific structure and consequently that there is no domain-general alternative to an innate domain-specific small number system. (shrink)

In this contribution an attempt is made to analyze an important mathematical discovery, the theorem of Gödel, and to explore the possible impact on the consistency of metaphysical systems. It is shown that mathematics is a pointer to a reality that is not exclusively subjected to physical laws. As the Gödel theorem deals with pure mathematics, the philosopher as such can not decide on the rightness of this theorem. What he, instead can do, is evaluating the general acceptance of this (...) mathematical finding and reflect on the consistency between consequences of the mathematical theorem with consequences of his metaphysical view. The findings of three mathematicians are involved in the argumentation: first Gödel himself, then the further elaboration by Turing and finally the consequences for the human mind as worked out by Penrose. As a result one is encouraged to distinguish two different types of intellectual activity in mathematics, which both can be carried out by humans. The astonishing thing is not the distinction between a formalized, logic approach on the one side and intuition, mathematical insight and meaning on the other. Philosophically challenging, however, is the claim that principally only one of these intellectual activities can be carried out by objects exclusively bound to the laws of physical reality. (shrink)

Application of the reliability of repairable systems on solving problems from constructing production systems takes an important place in the process of finding the optimal solution among the suggested system choices. The basic hypothesis when using the reliability of the repairable systems is that every machine is representing a component, a fact that is debatable when talking about technical sciences. However, considering the second assumption of the stationary process, the function of the availability is introduced. It represents the measure (...) between the reliability and the benefit of maintaining the components and the system as a whole one. An additional and the last reason for analyzing constructing machine as a whole one has an economic reason. From the aspect of the total cost and the capacity of the system, the function of the availability is catching more and more impact in the process of determinating the total cost in bill of quantities as the most important part of tender documents. Until former works, techno-economic optimisation usually ran over when choosing the system of the construction machines. In the work, there are shown the methodologies for gathering and analyzing the indicators of availabilities per unit of a company's machine park. The time of demission and reparation have been investigated among 34 components in the period of 6 years. Based on the obtained result for different conditions of machine exploitation and facilities, it is suggested the methodology of the future behaviour of the corresponding within the model optimization availability of constructing production system with the aim of eliminating extra criterion. The suggested model takes in consideration the total cost of the components when they are functional, and when they are not. This kind of approach enables the one who take choices decision of the height of profits, in the lenght of work in function of the projection of cash flow and managing with real indicators of functioning the system at the project level. Given the fact that the maintanance policy of machines is based on availability, and not on reliability of components, with the aim of maximizing the availability of different budget scenarios, a logical approach to the selection of the objective function in the terms of management of construction production systems is to minimize costs for a given availability of system constructing machinery is based on the use of historical data base with the values of the operational availability of components, conditions in which they function, in the process of forecasting the project availability for projects that follow. Ranking variant solutions is the result of the adopted function of the aim as a consequence due to enlargement methods of availability for serial parallel systems with the associated restrictions. For optimal system availability is taken a value that belongs to minimal total cost. However, it is predicted that after the end of the financial year, the real and projected indicators of system functions get compared to each other. Informational support to the proposed model is informational company system, which was built in the PHP programming language on the Linux software platform, and with data based in My SQL. The suggested model is tested on the system for the production and embedding bitumen bound materials on the specific project. Obtained results confirm the assumptions used in work. (shrink)

When a group of processes achieves such closure that a set of states of affairs recurs continually, then the effect of that coherence on the world differs from what would occur in the absence of that closure. Such altered effectiveness is an attribute of the system as a whole, and would have consequences. This indicates that the network of processes, as a unit, has ontological significance. Whenever a network of processes generates continual return to a limited set of states (...) of affairs, the system may function as a “whole”— with respect to appropriate interaction partners. The balance achieved by the processes provides the form of definiteness of a unified agent. The causal powers of such coherent aggregates are indeed just the powers of the “constituents acting in concert”. However, the components act in concert in the specific way they do only because of their inclusion in the closed set of interactions that defines the coherence. This renders the causal powers of the coherence defined by that closure non-redundant, and hence the coherence, as a unit, is ontologically significant. The form of definiteness that provides internal coherence also grounds external efficacy of the societal aggregation. The closure is a structural feature of the coherence — possibly, but not necessarily, apparent in spatial structuring. This approach can provide a unified account that includes quantum microphysics, systems biology, and the philosophy of organism ─ without reducing any of these to another. (shrink)

ANNOTATION Sardak S.E. Global Regulatory System of Human Resources Development. – Manuscript. Thesis for the Doctor of Economic Science academic degree with major in 08.00.02 – World Economy and international economic relations. – SHEE «Kyiv National Economic University named after Vadym Hetman», Kyiv, 2014. The preconditions and factors of the global economic system with the identified relevant subjects areas and mechanisms of regulation instruments have been investigated. The crucial role of humans in the global economic system as (...) a key factor of production, the main resource, the producer and the consumer of economic and social benefits that are exposed to global threats, problems, challenges, trends and subjects has been confirmed. There have been revealed the causes and consequences of the public institutions transformation under the influence of globalization, which formed a qualitatively new conditions for social and economic development that determine the need for further changes in the areas of conceptual guideline for the management of human resources development, optimization of tasks, state and international institutions activity forms, integration of efforts as for monitoring, planning and forecasting. The modern major instruments and spheres of international cooperation to ensure human development have been determined. The integrated characteristic of human resources and their role in social development both from the standpoint of their use in labour processes and as a medium of civilization and social utility with the help of the categorical classification system organizing and expanding which enables to design and apply the appropriate approaches at all managerial levels have been defined. The necessity and the concept of human resources development in the context of the content of managerial influence identifying (self-development, self-management and external control of development) at different administrative levels that ensures the growth of human capital to the limits of its potential have been analysed. The survey of human activity system aspects in the global world, taking into account the parametrization of the global environment, its structure, management and development have been realized. The formed methodology principles of managerial influence on the development of human resources with scientific schools, hardness degrees, available models, research and providing theoretical and practical implementation peculiarities for groups of countries and territories of the world taken into consideration have been examined. There have been noted civilization and national differences in the forms of managerial influence on the development of human resources, which lead to the formation of human resources development national control systems conditioned by different value public strategic guidelines, especially in relation to social security, education, national management and state migration policy. The current and future requirements for global human resources development which are proposed to be achieved by the development and formalization of global civilizational paradigm of social development due to social coordination interaction have been given. The influence of the institute of state on the human resources development has been evaluated and it has been proved that in the beginning of the XXI century in the global environment the institute of state is the ultimate guarantor of its citizens’ labour ability and vital activity renewal, that makes it the main instrument of managerial influence on human development. The methodology of countries and territories matrix positioning by human development qualitative criteria and population size quantitative parameters which allows to design unified managerial measures as for human resources for similar national economies in the context of global regulatory trends has been proposed. The strategic trends of improvement of human resources development in the national economy, taking into account the differences in the development of human resources in different countries and areas which vary and differ in their focus, content and ways of implementation for such groups. The varying criteria for evaluating the effectiveness of the global impact on human resources development, taking into account the natural, biological, technological, economic, social and management dimensions and the results of human resources development management in social and economic systems at various levels have been revealed. The periodization and the forecast of the global dynamics of human resources development by analyzing and modeling the values of the absolute and relative terms correlation character have been carried out, which enables to make their retrospective and prospective comparison and to find chronological boundaries of qualitatively different periods. The configuration of the human resource development global coordinate system as a set of interrelated principles, components, fields, tools, frameworks, management levels and forms of managerial influence that allows with the help of institutional means to adapt the state of human resources development to a globally varying environment. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

Predictions about autonomous weapon systems are typically thought to channel fears that drove all the myths about intelligence embodied in matter. One of these is the idea that the technology can get out of control and ultimately lead to horrifi c consequences, as is the case in Mary Shelley’s classic Frankenstein. Given this, predictions about AWS are sometimes dismissed as science-fiction fear-mongering. This paper considers several analogies between AWS and other weapon systems and ultimately offers an argument that nuclear weapons (...) and their effect on the development of modern asymmetrical warfare are the best analogy to the introduction of AWS. The fi nal section focuses on this analogy and offers speculations about the likely consequences of AWS being hacked. These speculations tacitly draw on myths and tropes about technology and AI from popular fi ction, such as Frankenstein, to project a convincing model of the risks and benefi ts of AWS deployment. (shrink)

As a moral foundation for vegetarianism and other consumer choices, act consequentialism can be appealing. When we justify our consumer and dietary choices this way, however, we face the problem that our individual actions rarely actually precipitate more just agricultural and economic practices. This threshold or individual impotence problem engaged by consequentialist vegetarians and their critics extends to morally motivated consumer decision-making more generally, anywhere a lag persists between individual moral actions taken and systemic moral progress made. Regan and others (...) press just this point against Singer's utilitarian basis for vegetarianism; recently Chartier criticizes act-consequentialist vegetarianism by identifying many factors weakening the connection between individual meat purchases and changes in animal production. While such factors are relevant to act-consequentialist moral reasoning, I argue, they need not defeat the act-consequentialist case for vegetarianism and consumer ethics. This is shown by offering a probabilistic account of the threshold issue and discussing the positive and negative role-modelling effects of our morally motivated dietary and consumer choices. (shrink)

In this paper I investigate Aristotle’s account of predication in Topics I 9. I argue for the following interpretation. In this chapter Aristotle (i) presents two systems of predication cutting across each other, the system of the so-called four ‘predicables’ and of the ten ‘categories’, in order to distinguish them and explore their mutual relationship. I propose a semantic interpretation of the relationship between them. According to this reading, every proposition formed through a predicable constitutes at the same time (...) a predication according to one of the ten categories, and, consequently, signifies one of them, expressing one of the predicative relationship conveyed by them. Further, Aristotle (ii) explains the predicative connection between these two systems and the ten items signified by the ‘things said without any combination’ enumerated in Chapter 4 of the Categories, whose list is almost identical with that of categories in Top. I 9, with the only exception of their first members. (shrink)

Unlike human soldiers, autonomous weapons systems are unaffected by psychological factors that would cause them to act outside the chain of command. This is a compelling moral justification for their development and eventual deployment in war. To achieve this level of sophistication, the software that runs AWS will have to first solve two problems: the frame problem and the representation problem. Solutions to these problems will inevitably involve complex software. Complex software will create security risks and will make AWS critically (...) vulnerable to hacking. I claim that the political and tactical consequences of hacked AWS far outweigh the purported advantages of AWS not being affected by psychological factors and always following orders. Therefore, one of the moral justifications for the deployment of AWS is undermined. (shrink)

Technology is a practically indispensible means for satisfying one’s basic interests in all central areas of human life including nutrition, habitation, health care, entertainment, transportation, and social interaction. It is impossible for any one person, even a well-trained scientist or engineer, to know enough about how technology works in these different areas to make a calculated choice about whether to rely on the vast majority of the technologies she/he in fact relies upon. Yet, there are substantial risks, uncertainties, and unforeseen (...) practical consequences associated with the use of technological artifacts and systems. The salience of technological failure (both catastrophic and mundane), as well as technology’s sometimes unforeseeable influence on our behavior, makes it relevant to wonder whether we are really justified as individuals in our practical reliance on technology. Of course, even if we are not justified, we might nonetheless continue in our technological reliance, since the alternatives might not be attractive or feasible. In this chapter I argue that a conception of trust in technological artifacts and systems is plausible and helps us understand what is at stake philosophically in our reliance on technology. Such an account also helps us understand the relationship between trust and technological risk and the ethical obligations of those who design, manufacture, and deploy technological artifacts. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations (...) form a bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

There is an ongoing debate on whether or to what degree computer simulations can be likened to experiments. Many philosophers are sceptical whether a strict separation between the two categories is possible and deny that the materiality of experiments makes a difference (Morrison 2009, Parker 2009, Winsberg 2010). Some also like to describe computer simulations as a “third way” between experimental and theoretical research (Rohrlich 1990, Axelrod 2003, Kueppers/Lenhard 2005). In this article I defend the view that computer simulations are (...) not experiments but that they are tools for evaluating the consequences of theories and theoretical assumptions. In order to do so the (alleged) similarities and differences between simulations and experiments are examined. It is found that three fundamental differences between simulations and experiments remain: 1) Only experiments can generate new empirical data. 2) Only Experiments can operate directly on the target system. 3) Experiments alone can be employed for testing fundamental hypotheses. As a consequence, experiments enjoy a distinct epistemic role in science that cannot completely be superseded by computer simulations. This finding in connection with a discussion of border cases such as hybrid methods that combine measurement with simulation shows that computer simulations can clearly be distinguished from empirical methods. It is important to understand that computer simulations are not experiments, because otherwise there is a danger of systematically underestimating the need for empirical validation of simulations. (shrink)

Learning programming is thought to be troublesome. One doable reason why students don’t do well in programming is expounded to the very fact that traditional way of learning within the lecture hall adds more stress on students in understanding the Material rather than applying the Material to a true application. For a few students, this teaching model might not catch their interest. As a result, they'll not offer their best effort to grasp the Material given. Seeing however the information is (...) applied to real issues will increase student interest in learning. As a consequence, this may increase their effort to be taught. In the current paper, we try to help students learn C# programming language using Intelligent Tutoring System. This ITS was developed using ITSB authoring tool to be able to help the student learn programming efficiently and make the learning procedure very pleasing. A knowledge base using ITSB authoring tool style was used to represent the student's work and to give customized feedback and support to students. (shrink)

The aim of this paper is to explore and understand the Albanian Party System. The analysis will cover the period from the collapse of the communist regime in 1991 until 2014. It will try to investigate what forces drive the battle of the parties, what cleavages 'divide' society and consequently the party system as well as which are the parties that count the most. in order to assess this, the paper will focus on the parliamentary parties and will (...) relay on various theoretical concepts of the contemporary literature on political parties. First it will draw on Sartori's concept of 'relevance' in order to understand whether all the parliamentary parties over the course of twenty four years of pluralism are important or not and what weight do they have. Then it will use the Laakso - Taagepera index of the Effective Number of Parties to understand how power is distributed within the parliament. (shrink)

In the field of machine consciousness, it has been argued that in order to build human-like conscious machines, we must first have a computational model of qualia. To this end, some have proposed a framework that supports qualia in machines by implementing a model with three computational areas (i.e., the subconceptual, conceptual, and linguistic areas). These abstract mechanisms purportedly enable the assessment of artificial qualia. However, several critics of the machine consciousness project dispute this possibility. For instance, Searle, in his (...) Chinese room objection, argues that however sophisticated a computational system is, it can never exhibit intentionality; thus, would also fail to exhibit consciousness or any of its varieties. This paper argues that the proposed architecture mentioned above answers the problem posed by Searle, at least in part. Specifically, it argues that we could reformulate Searle’s worries in the Chinese room in terms of the three-stage artificial qualia model. And by doing so, we could see that the person doing all the translations in the room could realize the three areas in the proposed framework. Consequently, this demonstrates the actualization of self-consciousness in machines. (shrink)

This paper provides an analysis of the way in which two foundational principles of medical ethics–the trusted doctor and patient autonomy–can be undermined by the use of machine learning (ML) algorithms and addresses its legal significance. This paper can be a guide to both health care providers and other stakeholders about how to anticipate and in some cases mitigate ethical conflicts caused by the use of ML in healthcare. It can also be read as a road map as to what (...) needs to be done to achieve an acceptable level of explainability in an ML algorithm when it is used in a healthcare context. (shrink)

Learner-centered approaches have emerged as the fundamental pillar of effective pedagogy in the rapidly evolving landscape of 21st century education. This paradigm shift places the learner at the heart of the educational process, recognizing their diverse needs and aspirations. Consequently, the achievements of learners have become crucial indicators of institutional success. While extensive research has focused on student affairs and services, limited attention has been given to understanding the impact of administration on realizing the objectives of these support systems. This (...) study aims to investigate the relationship between the administration of learner-centered academic support systems and the attainment of desired outcomes in student affairs and services within higher education institutions in the Philippines. Utilizing a non-experimental correlational quantitative research design, a sample of three hundred fifty university students from various academic disciplines was randomly selected as participants. The findings demonstrate a strong positive correlation between the administration of learner-centered academic support systems and the achievement of desired outcomes in student affairs and services. As a result, the null hypothesis was rejected based on statistical analysis employing Pearson Correlation (r). These findings highlight the significant impact that learner-centered academic support system administration has on the realization of objectives in student affairs and services within the contemporary higher educational setting. To ensure sustained best practices in student development, it is imperative for the administration to foster collaboration with internal stakeholders and external partners. Recognizing that students are the focal point of instruction, their performance serves as a reflection of the institution’s commitment to providing quality education. By aligning administrative efforts with the evolving needs of students, institutions can enhance student affairs and services and create an optimal learning environment in the 21st century. (shrink)

This study explores the entry of new and small parties into the party system in Albania, focusing on the period from 1990 to 2017. It is a comprehensive exploration of the Albanian political landscape from 1991 to 2017, focusing on the role of electoral systems and how they influence party politics. The study underscores the necessity for strong, stable political parties in a thriving democracy and investigates how the electoral system either facilitates or hinders the representation of small (...) and new parties. It investigates the influence of institutional factors, as well as the challenges and strategies related to political survival that these parties face. The analysis reveals how the two-round majority system typically fosters a two-party system, whereas a proportional system can lead to a more fragmented party landscape, often necessitating coalitions for effective governance. The impact of these dynamics was observed during several key periods in Albanian political history, noting the consequences of changes in the electoral system on the party system. The paper also highlights how major parties often manipulate the electoral system, through practices such as gerrymandering, to their own advantage, leading to potential distortions in representation. Furthermore, it presents the challenges for new and small parties, emphasizing the importance of financial support and media coverage for their survival and competitive performance. (shrink)

The context for biological emergence is modular hierarchical structures; their existence is what enables functional complexity to arise. Because of the openness of organisms to their environment, complete initial data (position, momentum) of all particles making up their structure is insufficient to determine future outcomes, because unpredictable new matter, energy, and information impacts each organism from the exterior. Consequently, through Darwinian evolution, life has developed processes to handle this issue functionally on short time scales as well on longer developmental timescales. (...) Symbolism and technology are the transforming factors handling this issue at the social levels, which is where the most sophisticated outcomes of openness occur. Considering the cosmological context, the issue is, should the universe itself be regarded as an open system over time? I make the case that is indeed so, because radically new outcomes occur such as the existence of aircraft, iPads, and the internet, which could not plausibly have been encoded in some form of data on the Last Scattering Surface in the expanding universe. (shrink)

Integrated Information Theory (IIT) identifies consciousness with having a maximum amount of integrated information. But a thing’s having the maximum amount of anything cannot be intrinsic to it, for that depends on how that thing compares to certain other things. IIT’s consciousness, then, is not intrinsic. A mereological argument elaborates this consequence: IIT implies that one physical system can be conscious while a physical duplicate of it is not conscious. Thus, by a common and reasonable conception of intrinsicality, (...) IIT’s consciousness is not intrinsic. It is then argued that to avoid the implication that consciousness is not intrinsic, IIT must abandon its Exclusion Postulate, which prohibits overlapping conscious systems. Indeed, theories of consciousness that attribute consciousness to physical systems, should embrace the view that some conscious systems overlap. A discussion of the admittedly counterintuitive nature of this solution, along with some medical and neuroscientific realities that would seem to support it, is included. (shrink)

With the rise and public accessibility of AI-enabled decision-support systems, individuals outsource increasingly more of their decisions, even those that carry ethical dimensions. Considering this trend, scholars have highlighted that uncritical deference to these systems would be problematic and consequently called for investigations of the impact of pertinent technology on humans’ ethical decision-making. To this end, this article conducts a systematic review of existing scholarship and derives an integrated framework that demonstrates how intelligent decision-support systems (IDSSs) shape humans’ ethical decision-making. (...) In particular, we identify resulting consequences on an individual level (i.e., deliberation enhancement, motivation enhancement, autonomy enhancement and action enhancement) and on a societal level (i.e., moral deskilling, restricted moral progress and moral responsibility gaps). We carve out two distinct methods/operation types (i.e., processoriented and outcome-oriented navigation) that decision-support systems can deploy and postulate that these determine to what extent the previously stated consequences materialize. Overall, this study holds important theoretical and practical implications by establishing clarity in the conceptions, underlying mechanisms and (directions of) influences that can be expected when using particular IDSSs for ethical decisions. (shrink)

Culture as a dynamic system of meaningful relations can naturally accommodate a hermeneutic analysis. In this essay, the notion of Gadamer’s hermeneutics as involving interpretable meaning throughout experiential reality permits a natural concordance with an understanding of culture as meaningful. The Gadamerian idea that prejudices inform the horizons that make our experiences intelligible is applied to the view that culture is both a self-enclosed structure that is given by one’s horizon and one that continuously points past this horizon in (...) genuine dialogue. Nevertheless, in seeing culture as a coherent system that transcends itself, we are consequently faced with a dilemma regarding the evolution of one’s cultural horizons: whether past horizons can survive the creation of novel ones through dialogue. However, this may be resolved through Gadamer’s understanding of the functions of sameness and difference within horizonal evolution, and how these functions feature in the distinction between a shared ontological ground and the horizons through which the ground is interpreted. Ultimately, we showcase how it is noncontradictory to suppose that culture is both self- and other-referential. (shrink)

Environmental activism plays a vital role in raising awareness of environmental degradation and halting environmentally destructive activities, which is expected to contribute to safeguarding the Earth’s system against climate and biodiversity loss crises. Although the passion and commitment of environmental activists should be acknowledged, several groups of environmental activists are embracing the radical environmentalist movement. They support using illegal actions to achieve their primary goal of environmental protection. The actions perpetrated by radical environmentalist groups are not impulsive but rather (...) part of a deliberately planned and organized following a long-term strategy. (shrink)

Due to the tremendous progress in technology and the methods used in its application to facilitate and refine human's life, Intelligent Tutoring System was created to contribute in this era. In this study, the Intelligent Tutoring System was adopted as a platform in linking the complex Technological fields for obtaining information smoothly, and highlighting the importance of water issues and in the Gaza strip. In the light of the absence and inability of the formal education system to (...) raise awareness of the water crisis and its consequences on the daily life of the Gazans, the current Intelligent Tutoring System (ITS) has been utilized to disseminate knowledge and enhance awareness of water problems. The ITS aims to embrace a new water conservation practices and ensure the sustainability of fresh water. Basically the software of the tutoring system is used to create a program which could be easily used by the public population and specialists in the water field. The resulting program was fed with plenty of information about the current local water status and its related problems which are considerably useful for anyone interested to raise his/her level of knowledge and awareness about the local water status in addition to the researchers by reducing their dependency on human sources. The ITS system was presented to two groups of people: The first one consists of specialized water experts and the other consists of master student enrolled in Institute of Water and Environment in Al-Azhar University in Gaza who are interested in water problems. Both groups were requested to use the final version of the system and give their feedback by filling a questionnaire, and then the averages of the answered questions were measured for each group. It was found that the overall impressions of the users were positive. (shrink)

Origin of life on earth transpired once and from then on, it emerges as an endless eternal process. Matter and energy are constants of the cosmos and the hypothesis is that the origin of life is a moment when these constants intertwined or interacted. Energy from the cosmos interacted with inorganic matter to support matter with retention of this riveted energy, as energy to be circulated within the primitive channelized structures to conserve energy by the materialization of the proton homeostasis (...) mechanisms developed from the obtainable inorganic matter. The driver for these processes as we now confirm, exists in the quantum world and through quantum phenomenal processes could have combined these constants to create the magic of life. Primitive earth was a chemical reactive system that triggered a macromolecular evolution by means of open thermodynamic systems, driven by cyclic gradients of temperature, electromagnetic radiation and chemical potentials which sustained life and proto-consciousness in the first life forms driven by the quantum processes. The origin of life is always an intriguing topic but the purpose for finding the cause should never be inclined towards obliterating it; for if that is the case, the further we seek, the farther it will go. (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)

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)

It has been argued that ethical frameworks for data science often fail to foster ethical behavior, and they can be difficult to implement due to their vague and ambiguous nature. In order to overcome these limitations of current ethical frameworks, we propose to integrate the analysis of the connections between technical choices and sociocultural factors into the data science process, and show how these connections have consequences for what data subjects can do, accomplish, and be. Using healthcare as an example, (...) attention to sociocultural conversion factors relevant to health can help in navigating technical choices that require broader considerations of the sociotechnical system, such as metric tradeoffs in model validation, resulting in better ethical and technical choices. This approach promotes awareness of the ethical dimension of technical choices by data scientists and others, and that can foster the cultivation of 'ethical skills' as integral to data science. (shrink)

What we have learnt in the last six or seven decades about virtual machinery, as a result of a great deal of science and technology, enables us to offer Darwin a new defence against critics who argued that only physical form, not mental capabilities and consciousness could be products of evolution by natural selection. The defence compares the mental phenomena mentioned by Darwin’s opponents with contents of virtual machinery in computing systems. Objects, states, events, and processes in virtual machinery which (...) we have only recently learnt how to design and build, and could not even have been thought about in Darwin’s time, can interact with the physical machinery in which they are implemented, without being identical with their physical implementation, nor mere aggregates of physical structures and processes. The existence of various kinds of virtual machinery (including both “platform” virtual machines that can host other virtual machines, e.g. operating systems, and “application” virtual machines, e.g. spelling checkers, and computer games) depends on complex webs of causal connections involving hardware and software structures, events and processes, where the specification of such causal webs requires concepts that cannot be defined in terms of concepts of the physical sciences. That indefinability, plus the possibility of various kinds of self-monitoring within virtual machinery, seems to explain some of the allegedly mysterious and irreducible features of consciousness that motivated Darwin’s critics and also more recent philosophers criticising AI. There are consequences for philosophy, psychology, neuroscience and robotics. (shrink)

Colour is, according to prevailing orthodoxy in perceptual psychology, a kind of autonomous and unitary attribute. It is regarded as unitary or homogeneous by assuming that its core properties do not depend on the type of ‘perceptual object’ to which it pertains and that‘colour per se’ constitutes a natural attribute in the functional architecture of the perceptual system. It is regarded as autonomous by assuming that it can be studied in isolation of other perceptual attributes. These assumptions also provide (...) the pillars for the technical field of colorimetry, and have proved very fruitful for neurophysiological investigations into peripheral colour coding. They also have become, in a technology-driven cultural process of abstraction, part of our common-sense conception of colour. With respect to perception theory, however, both assumptions are grossly inadequate, on both empirical and theoretical grounds. All the same, the idea of an internal homogeneous and autonomous attribute of ‘colour per se’, mostly taken not as an empirical hypothesis but as a kind of truism, became a guiding idea in perceptual psychology. Here, it has impeded the identification of relevant theoretical issues and consequently has become detrimental for the development of explanatory frameworks for the role of ‘colour’ within the structure of our perceptual system. The chapter argues that enquiries into colour perception cannot be divorced from general enquiries into the structure of the conceptual forms underlying perception. (shrink)

Edelcio G. de Souza is a Brazilian logician and philosopher who has researches in the domains of abstract logic, non-classical systems, philosophy of science and the foundations of mathematics. This book is in his honor with the purpose of celebrating his 60th birthday. It contains some articles connected with the above topics and other subjects in logical investigations.

The present article deals with specific normative concepts of Spinoza’s ethical system and compares them to certain aspects of the theory of ethics of social consequences. At first, a way to approach the problem of normativity in Spinoza is presented, concentrating on the obligatory character of rational - or intellectual - motives. Then, theoretical evidence is presented which links Spinoza to normative-ethical consequentialism. The basis for a consequentialist model of Spinoza’s ethics is the concept of perfection, and on this (...) basis it seems possible to consider its compatibility with non-utilitarian forms of consequentialism, such as ethics of social consequences. Conclusively, the paper’s aim is to present the possibility of considering Spinozian consequentialism as a non-utilitarian consequentialism, while considering ethics of social consequences as a contemporary form of Spinozian consequentialism. (shrink)

Research has probed the consequences of providing people with different types of information regarding why a person possesses a certain characteristic. However, this work has largely examined the consequences of different information subsets (e.g., information focusing on internal versus societal causes). Less work has compared several types of information within the same paradigm. Using the legal system as an example domain, we provided children (N=198 6- to 8-year-olds) with several types of information—including information highlighting internal moral character, internal biological (...) factors, behavioral factors, and societal factors—about why a specific outcome (incarceration) might occur. We examined how such language shaped children’s attitudes. In Study 1, children reported the most positivity toward people who were incarcerated for societal reasons and the least positivity toward people who were incarcerated for their internal moral character; attitudes linked with behavioral information fell between these extremes. Studies 2a-2b suggested that Study 1’s effects could not be fully explained by participants drawing different about individuals in Study 1. Study 3 replicated Study 1’s results and showed that information linking incarceration with internal biological factors led to more positivity than information linking incarceration with internal moral character. Finally, Study 4 suggested that the patterns found in Studies 1 and 3 generalize to non-punitive contexts. Moreover, Study 4 found that the effects in Studies 1 and 3 emerged regardless of whether information was communicated via explanations or descriptions. These results demonstrate that how we express our beliefs about social phenomena shape the realities in which others live. (shrink)

The practice of Afiye (Caste System) among the Yala communities of Cross River State of Nigeria, settled in Yala Ogoja, Yala Obubra, and Yala Ikom, is an age long practice, which no one today can precisely point to its exact origin. The practice of Afiye and the Ayiwoole (slaves and freeborn), without considering the grave consequences, here analysed as implication of the system. The implication involves the political implication which tends to hinder the political rights of members of (...) this caste, through its social structure. There is also the implication on Human Right, whereby members of this caste are denied freedom of association and movement. There is also social discrimination, which has equally affected their social standing in their different communities, such that they cannot be Ochuole (Traditional Rulers) or be allowed to participate in traditional burial rites of the traditional ruler that is regarded as the father of all. The economic factor is not left out as dispute bothering on land matters are usually and often settled in the palace and since they are the unwelcome species of human beings in the palace, there are left with no other opportunity than to be disempowered. Of course, there is the strained relationship and conflicts between the Ayiwoole and the Afiye, what Ralph Darendorf called the dialectical conflict theory. This has led to under development, Anger, bitterness and uncooperative attitude and indeed suspicion and all manners of negative tendencies among the Yala communities. It is the submission of this paper therefore, that the practice of this caste with its antecedent implications be put to a stop in order to bring about a meaningful development to Yala land. (shrink)

Concerns about population ageing apply to both developed and many developing countries and it has turned into a global issue. In the forthcoming decades the population ageing is likely to become one of the most important processes determining the future society characteristics and the direction of technological development. The present paper analyzes some aspects of the population ageing and its important consequences for particular societies and the whole world. Basing on this analysis, we can draw a conclusion that the future (...) technological breakthrough is likely to take place in the 2030s (which we define as the final phase of the Cybernetic Revolution). In the 2020s – 2030s we will expect the upswing of the forthcoming sixth Kondratieff wave, which will introduce the sixth technological paradigm (system). All those revolutionary technological changes will be connected, first of all, with breakthroughs in medicine and related technologies. We also present our ideas about the financial instruments that can help to solve the problem of pension provision for an in-creasing elderly population in the developed countries. We think that a more purposeful use of pension funds' assets together with an allocation (with necessary guarantees) of the latter into education and upgrading skills of young people in developing countries, perhaps, can partially solve the indicated problem in the developed states. (shrink)

The advance of mechanism in science and philosophy in the 17th century created a great interest to machines or automata. Leibniz was no exception - in an early memoir Drôle de pensée he wrote admiringly about a machine that could walk on water, exhibited in Paris. The idea of automatic processing in general had a large role in his thought, as can be seen, for example, in his invention of the binary code and the so-called Calculemus!-model for solving controversies. In (...) metaphysics, the idea of an automata was expressed most clearly in the 1695 article New System of the Nature of Substances and their Communication, and the ensuing correspondence with, among others, Foucher, Bayle, Lamy, Jaquelot and Masham. In the article Leibniz discusses the soul as a spiritual machine in the context of pre-established harmony, arguing that God can "give to a substance at the outset a nature or internal force which could produce in it an orderly way (as in spiritual or formal automaton; but a free one, in the case of a substance which is endowed with a share of reason) everything that is going to happen to it, that is to say, all the appearances or expressions it is going to have, and all without the help of any created thing." The basic idea of Leibniz's spiritual machine is that the soul or entelechy is an autonomous and spontaneous unity, consisting of internal active force and producing its own perceptions (both confused and distinct). It is a self-moving machine, driven by its perceptions and appetites, but it follows (without being conscious of it) a lawful series or programme created by God. The entelechy remains the same despite undergoing an infinite number of changes. To Foucher he explained that each state of the individual substance is a consequence of its preceding one, "as if there were only God and the substance in the world". Despite this, the spiritual machine is related not only to God, but through the pre-established harmony to bodies or natural machines. However, as it is not dependent on them, the spiritual machine is superiot to natural machines. In this paper I concentrate on three moral themes related to the spiritual machine: moral deliberation, moral identity and the goal of moral action. All these themes are more or less implicit in the New System, but are discussed in more detail in the ensuing correspondence after the publication of the article. Finally, the themes are given an extended discussion especially in the second book of New Essays on Human Understanding (1704, published 1765), written partly at the same time as some of the correspondence and unpublished related material. I will first give an overview of Leibniz's position concerning the spiritual machine or automaton in the New System and then go on to explore the three moral themes one by one, as they feature in the subsequent correspondence and in the New Essays. I will show that the three topics are essential to the function of the spiritual machine – to Sophie Charlotte Leibniz wrote: "...let us say that everything in bodies happens mechanically, or in accordance with laws of motion, and that everything in the soul happens morally, or in accordance with perceived good or evil." There are many texts that anticipate the views in the New System (notably the unpublished memoir De Affectibus of 1679) and Leibniz continued to discuss its themes later on (in addition to correpondence, for example, in Theodicy of 1710 and Monadology and Principles of Nature and Grace of 1714). Here I focus on the short-term development of Leibniz's views on the topic (around 1695-1705), but I argue that his basic view of the spiritual machine did not change much after finishing the dialogue with Locke in 1704. (shrink)

Beyond reasonable doubt, the influence of Western culture and civilizations has enervated traditional African family systems, and their functions as providers of social welfare. Hitherto, traditional African family and clan by extension served as the plausible medium by which Africans proffered solutions to those social, economic and other existential problems found within their communities. However, measuring and evaluating the successes of the various social welfare programs organized by the family and clan was a difficult task to achieve. It seems the (...) services rendered merely controlled the social problems but did not improve the standard of living of the victims. This paper seeks to critically analyse the traditional African family system and its role as a provider of social welfare and argues that it can complement the Western models towards holistic social integration. Thus this work adopts the theory of change as a tool for understanding how Western models of social welfare should be integrated with traditional African approaches to care for the ‘weak’ in the society. Advocating for a paradigm shift from the modern models of providing social welfare to the traditional African family and clan model is consequent upon the claim that the latter is more embracing in approach. (shrink)