We define a potentialist system of ‐structures, i.e., a collection of possible worlds in the language of connected by a binary accessibility relation, achieving a potentialist account of the full background set‐theoretic universe V. The definition involves Berkeley cardinals, the strongest known large cardinal axioms, inconsistent with the Axiom of Choice. In fact, as background theory we assume just. It turns out that the propositional modal assertions which are valid at every world of our system are (...) exactly those in the modal theory. Moreover, we characterize the worlds satisfying the potentialist maximality principle, and thus the modal theory, both for assertions in the language of and for assertions in the full potentialist language. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

We introduce the subject of modal model theory, where one studies a mathematical structure within a class of similar structures under an extension concept that gives rise to mathematically natural notions of possibility and necessity. A statement φ is possible in a structure (written φ) if φ is true in some extension of that structure, and φ is necessary (written φ) if it is true in all extensions of the structure. A principal case for us will be the class Mod(T) (...) of all models of a given theory T—all graphs, all groups, all fields, or what have you—considered under the substructure relation. In this article, we aim to develop the resulting modal model theory. The class of all graphs is a particularly insightful case illustrating the remarkable power of the modal vocabulary, for the modal language of graph theory can express connectedness, k-colorability, finiteness, countability, size continuum, size ℵ1, ℵ2, ℵω, ℶω, first ℶ-fixed point, first ℶ-hyper-fixed point, and much more. A graph obeys the maximality principle φ(a)→φ(a) with parameters if and only if it satisfies the theory of the countable random graph, and it satisfies the maximality principle for sentences if and only if it is universal for finite graphs. (shrink)

In this article I address the issue of the ontological conditions of possibility for a naturalistic notion of emergence, trying to determine its fundamental differences from the atomist, vitalist, preformationist and potentialist alternatives. I will argue that a naturalistic notion of ontological emergence can only succeed if we explicitly refuse the atomistic fundamental ontological postulate that asserts that every entity is endowed with a set of absolutely intrinsic properties, being qualitatively immutable through its extrinsic relations. Furthermore, it will be (...) shown that, ironically enough, this metaphysical assumption is implicitly shared by all the above mentioned alternatives to Emergentism. The current article concludes that the notion of organization by itself is not enough, and that ontological emergence can only be justified by assuming a relational ontological perspective that, in opposition both to atomism and holism, defends that the existence-conditions, the identity and the causal behavior of any emergent systemic property can only be conceived, and explained, as constructed by and through specific networks of qualitatively transformative relational processes that occur between the system’s components and between the system and its environment. Additionally, I try to explain how one can make sense of the idea that an emergent phenomenon is both dependent on, and autonomous from, its emergence base. (shrink)

One of the foundational problems of biochemistry concerns the conceptualisation of the relationship between the composition, structure and function of macromolecules like proteins. Part of the recent philosophical literature displays a reductionist bias, that is, the endorsement of a form of microstructuralism mirroring an out-dated biochemical conceptualisation. We shall argue that such microstructuralist approaches are ultimately committed to a potentialist form of micro-predeterminism whereby the macrostructure and function of proteins is accounted for solely in terms of the intrinsic properties (...) and potentialities of the components of the primary structure as if they were self-contained or essentially immutable entities. We shall instead suggest that a conceptualisation of the relationship between proteins’ composition, structure and function consistent with contemporary biochemical practice should account also for the causal role of the cellular, organismal and environmental relations in protein development. The analysis of the folding process we propose suggests that microstructure-laden reductionist approaches are ontologically indefensible. Rather than a potentialist form of micro-predeterminism, our analysis ultimately supports a relational-construction-based view of protein development and potentialities formation, which requires an indispensable analysis of the dynamical interplay between the micro-level of the parts and the macro-level of the relational structures of their systems. (shrink)

In these essays Geoffrey Hellman presents a strong case for a healthy pluralism in mathematics and its logics, supporting peaceful coexistence despite what appear to be contradictions between different systems, and positing different frameworks serving different legitimate purposes. The essays refine and extend Hellman's modal-structuralist account of mathematics, developing a height-potentialist view of higher set theory which recognizes indefinite extendability of models and stages at which sets occur. In the first of three new essays written for this volume, Hellman (...) shows how extendability can be deployed to derive the axiom of Infinity and that of Replacement, improving on earlier accounts; he also shows how extendability leads to attractive, novel resolutions of the set-theoretic paradoxes. Other essays explore advantages and limitations of restrictive systems - nominalist, predicativist, and constructivist. Also included are two essays, with Solomon Feferman, on predicative foundations of arithmetic. (shrink)

Far from being indiscriminately critical of the ideas he associated with the morality system, Bernard Williams offered vindicatory explanations of its crucial building blocks, such as the moral/non-moral distinction, the idea of obligation, the voluntary/involuntary distinction, and the practice of blame. The rationale for these concessive moves, I argue, is that understanding what these ideas do for us when they are not in the service of the system is just as important to leading us out of the (...) class='Hi'>system as the critique of that system. I then show how regarding the aspiration to shelter life from luck as the system’s organizing ambition explains why the system elaborates and combines these building blocks in the way it does. Finally, I argue that the ultimate problem with the resulting construction is its frictionless purity. It robs valuable concepts of their grip on the world we live in, and, by insisting on purity from contingency, threatens to issue in nihilism about value and scepticism about agency. (shrink)

Ethics and jurisprudence are liable to the remark in common with logic. Almost every writer having taken a different view of some of the particulars which ...

This two-volume work, first published in 1843, was John Stuart Mill's first major book. It reinvented the modern study of logic and laid the foundations for his later work in the areas of political economy, women's rights and representative government. In clear, systematic prose, Mill (1806–73) disentangles syllogistic logic from its origins in Aristotle and scholasticism and grounds it instead in processes of inductive reasoning. An important attempt at integrating empiricism within a more general theory of human knowledge, the work (...) constitutes essential reading for anyone seeking a full understanding of Mill's thought. Volume 1 contains Mill's introduction, which elaborates upon his definition of logic as 'not the science of Belief, but the science of Proof, or Evidence'. It also features discussions of the central components of logical reasoning - propositions and syllogisms - in relation to Mill's theories of inductive reasoning and experimental method. (shrink)

This paper aims at helping trainees to overcome the difficulties they face when dealing with Arduino platform by describing the design of a desktop based intelligent tutoring system. The main idea of this system is a systematic introduction into the concept of Arduino platform. The system shows the circuit boards of Arduino that can be purchased at low cost or assembled from freely-available plans; and an open-source development environment and library for writing code to control the board (...) topic of Arduino platform. The system is adaptive with the trainee’s individual progress. The system functions as a special tutor who deals with trainees according to their levels and skills. Evaluation of the system has been applied on professional and unprofessional trainees in this field and the results were good. (shrink)

The approximate number system (ANS) enables organisms to represent the approximate number of items in an observed collection, quickly and independently of natural language. Recently, it has been proposed that the ANS goes beyond representing natural numbers by extracting and representing rational numbers (Clarke & Beck, 2021a). Prior work demonstrates that adults and children discriminate ratios in an approximate and ratio-dependent manner, consistent with the hallmarks of the ANS. Here, we use a well-known “connectedness illusion” to provide evidence that (...) these ratio-dependent ratio discriminations are (a) based on the perceived number of items in seen displays (and not just non-numerical confounds), (b) are not dependent on verbal working memory, or explicit counting routines, and (c) involve representations with a part-whole (or subset-superset) format, like a fraction, rather than a part-part format, like a ratio. These results vindicate key predictions of the hypothesis that the ANS represents rational numbers. (shrink)

This paper presents the design and development of intelligent tutoring system for teaching Oracle. The Oracle Intelligent Tutoring System (OITS) examined the power of a new methodology to supporting students in Oracle programming. The system presents the topic of Introduction to Oracle with automatically generated problems for the students to solve. The system is dynamically adapted at run time to the student’s individual progress. An initial evaluation study was done to investigate the effect of using the (...) intelligent tutoring system on the performance of students. (shrink)

Background: Arthritis is very common but is not well understood. Actually, “arthritis” is not a single disease; it is an informal way of referring to joint pain or joint disease. There are more than 100 different types of arthritis and related conditions. People of all ages, sexes and races can and do have arthritis, and it is the leading cause of disability in America. More than 50 million adults and 300,000 children have some type of arthritis. It is most common (...) among women and occurs more frequently as people get older. Common arthritis joint symptoms include swelling, pain, stiffness and decreased range of motion. Symptoms may come and go. They can be mild, moderate or severe. They may stay about the same for years, but may progress or get worse over time. Severe arthritis can result in chronic pain, inability to do daily activities and make it difficult to walk or climb stairs. Arthritis can cause permanent joint changes. These changes may be visible, such as knobby finger joints, but often the damage can only be seen on X-ray. Some types of arthritis also affect the heart, eyes, lungs, kidneys and skin as well as the joints. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment and give the appropriate method of treatment through several tips that concern the disease and how to treat it and we will see it through the application on the expert system. Methods: in this paper the design of the proposed Expert System which was produced to help Orthopedist in diagnosing Arthritis disease through its symptoms such as: pain on pressure in a joint , Inflammation indicated by joint swelling, Stiffness especially in the morning , Loss of flexibility of joint, Limited, joint movement, Deformity of the joints , Weight loss and fatigue , Non-specific fever and Crepitus. The proposed expert system presents an overview about Arthritis disease is given, the cause of diseases is outlined and the treatment of disease whenever possible is given out. SL5 Object Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Arthritis disease diagnosis expert system was evaluated by Orthopedics students and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for Orthopedist, patients with arthritis and newly graduated Orthopedics students. (shrink)

Background: Depression (major depressive disorder) is a common and serious medical illness that negatively affects how you feel, the way you think and how you act. Fortunately, it is also treatable. Depression causes feelings of sadness and/or a loss of interest in activities once enjoyed. It can lead to a variety of emotional and physical problems and can decrease a person’s ability to function at work and at home. Depression affects an estimated one in 15 adults (6.7%) in any given (...) year. And one in six people (16.6%) will experience depression at some time in their life. Depression can strike at any time, but on average, first appears during the late teens to mid-20s. Women are more likely than men to experience depression. Some studies show that one-third of women will experience a major depressive episode in their lifetime. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment and give the appropriate method of treatment through several tips that concern the disease and how to treat it and we will see it through the application on the expert system. Methods: in this paper the design of the proposed Expert System which was produced to help Psychologist in diagnosing depression disease through its symptoms such as: a loss of energy, a change in appetite, sleeping more or less, anxiety, reduced concentration, indecisiveness, restlessness, feelings of worthlessness, guilt or hopelessness and thoughts of self-harm or suicide. The proposed expert system presents an overview about depression disease is given, the cause of diseases is outlined and the treatment of disease whenever possible is given out. SL5 Object Expert System language was used for designing and implementing the proposed expert system. Results: The proposed depression disease diagnosis expert system was evaluated by psychologist students and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for psychologist, patients with depression and newly graduated psychologist. (shrink)

What is morality? How many moral values are there? And what are they? According to the theory of morality-as-cooperation, morality is a collection of biological and cultural solutions to the problems of cooperation recurrent in human social life. This theory predicts that there will be as many different types of morality as there are different types of cooperation. Previous research, drawing on evolutionary game theory, has identified at least seven different types of cooperation, and used them to explain seven different (...) types of morality: family values, group loyalty, reciprocity, heroism, deference, fairness and property rights. Here we explore the conjecture that these simple moral ‘elements’ combine to form a much larger number of more complex moral ‘molecules’, and that as such morality is a combinatorial system. For each combination of two elements, we hypothesise a candidate moral molecule, and successfully locate an example of it in the professional and popular literature. These molecules include: fraternity, blood revenge, family pride, filial piety, gavelkind, primogeniture, friendship, patriotism, tribute, diplomacy, common ownership, honour, confession, turn taking, restitution, modesty, mercy, munificence, arbitration, mendicancy, and queuing. These findings indicate that morality – like many other physical, biological, psychological and cultural systems – is indeed a combinatorial system. Thus morality-as-cooperation provides a principled and powerful theory, that explains why there are many moral values, and successfully predicts what they will be; and it generates a systematic framework that has the potential to explain all moral ideas, possible and actual. Pursuing the many implications of this theory will help to place the study of morality on a more secure scientific footing. (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)

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

In this paper we show how a student can learn the basics of the system databases using (W3school CSS) which was built as intelligent tutoring educational system by using the authoring tool called (ITSB). The learning material contains CSS and HTML. We divided the material in a group of lessons for novice learner which combines relational system and lessons in the process of learning. The student can learn using example of CSS, and types of CSS color. Furthermore, (...) the intelligent tutoring system supports not only lessons; but exercises of different difficult levels for each lesson. When a student finish successfully the first difficulty level in a lesson, the student is allowed to move to the next difficulty level of the exercises of the lesson. (shrink)

Many phenomena in the natural world are complex, so scientists study them through simplified and idealised models. Philosophers of science have sought to explain how these models relate to the world. On most accounts, models do not represent the world directly, but through target systems. However, our knowledge of target systems is incomplete. First, what is the process by which target systems come about? Second, what types of entity are they? I argue that the basic conception of target systems, on (...) which other conceptions depend, is as parts of the world. I outline the process of target system specification and show that it is a crucial step in modelling. I also develop an account of target system evaluation, based on aptness. Paying close attention to target system specification and evaluation can help scientists minimise the frequency and extent of mistakes, when they are using models to investigate phenomena in complex real-world systems. (shrink)

Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary (...) evaluation of the ITS was done by a group of students and teachers. The results were acceptable. (shrink)

A motivational system approach to avoidance behavior is presented. According to this approach, a motivational state increases the probability of relevant response patterns and establishes the appropriate or “ideal” consummatory stimuli as positive reinforcers. In the case of feeding motivation, for example, hungry rats are likely to explore and gnaw, and to learn to persist in activities correlated with the reception of consummatory stimuli produced by ingestion of palatable substances. In the case of defense motivation, fearful rats are likely (...) to flee or freeze, and to learn to persist in activities correlated with consummatory stimuli produced by flight from a dangerous place. Defense system activation is distinct from alarm reactions. The latter prepare the animal for probable noxious events, involve relatively intense negative affect and extinguish rapidly in situations where the noxious event no longer occurs. In contrast, defense system activation potentiates innate and modified defense reactions, thus preparing the animal for possible, but not necessarily probable, noxious events; it involves little or no negative affect and extinguishes very slowly when the noxious event no longer occurs. With these assumptions and the resulting model we attempt to resolve several long-standing problems in avoidance learning, including the low correlation between negative affect and avoidance performance, differential rates of extinction for avoidance performance and conditioned emotional responses, and evidence that some avoidance responses are much more easily learned than others. In addition, the model has implications for the study of parallels between appetitive and aversive motivation, sign tracking in aversive conditioning, and orientation of flight responses. Historical antecedents and alternative approaches are discussed. (shrink)

We present a complete and cut-free proof-system for a fragment of MTL, where modal operators are only labelled by bounded intervals with rational endpoints.

We suggest that there is confusion between why consciousness developed and what additional functions, through continued evolution, it has co-opted. Consider episodic memory. If we believe that episodic memory evolved solely to accurately represent past events, it seems like a terrible system—prone to forgetting and false memories. However, if we believe that episodic memory developed to flexibly and creatively combine and rearrange memories of prior events in order to plan for the future, then it is quite a good (...) class='Hi'>system. We argue that consciousness originally developed as part of the episodic memory system—quite likely the part needed to accomplish that flexible recombining of information. We posit further that consciousness was subsequently co-opted to produce other functions that are not directly relevant to memory per se, such as problem-solving, abstract thinking, and language. We suggest that this theory is compatible with many phenomena, such as the slow speed and the after-the-fact order of consciousness, that cannot be explained well by other theories. We believe that our theory may have profound implications for understanding intentional action and consciousness in general. Moreover, we suggest that episodic memory and its associated memory systems of sensory, working, and semantic memory as a whole ought to be considered together as the conscious memory system in that they, together, give rise to the phenomenon of consciousness. Lastly, we suggest that the cerebral cortex is the part of the brain that makes consciousness possible, and that every cortical region contributes to this conscious memory system. (shrink)

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and (...) the predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (shrink)

The reader of Part VI will have noticed that among the set-theoretic models considered there some models were missing which were announced in Part II for certain proofs of independence. These models will be supplied now.Mainly two models have to be constructed: one with the property that there exists a set which is its own only element, and another in which the axioms I–III and VII, but not Va, are satisfied. In either case we need not satisfy the axiom of (...) infinity. Thereby it becomes possible to set up the models on the basis of only I–III, and either VII or Va, a basis from which number theory can be obtained as we saw in Part II.On both these bases the Π0-system of Part VI, which satisfies the axioms I–V and VII, but not VI, can be constructed, as we stated there. An isomorphic model can also be obtained on that basis, by first setting up number theory as in Part II, and then proceeding as Ackermann did.Let us recall the main points of this procedure.For the sake of clarity in the discussion of this and the subsequent models, it will be necessary to distinguish precisely between the concepts which are relative to the basic set-theoretic system, and those which are relative to the model to be defined. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Uriah Kriegel presents a rich exploration of the philosophy of the great nineteenth-century thinker Franz Brentano. He locates Brentano at the crossroads where the Anglo-American and continental European philosophical traditions diverged. At the centre of this account of Brentano's philosophy is the connection between mind and reality. Kriegel aims to develop Brentano's central ideas where they are overly programmatic or do not take into account philosophical developments that have taken place since Brentano's death a century ago; and to offer a (...) partial defense of Brentano's system as quite plausible and in any case extraordinarily creative and thought-provoking. Brentano's system grounds a complete metaphysics and value theory in a well-developed philosophy of mind, and accordingly the book is divided into three parts, devoted to Brentano's philosophy of mind, his metaphysics, and his moral philosophy. The book's fundamental ambition is to show how Brentano combines the clarity and precision of the analytic philosopher with the sweeping vision of the continental philosopher. Brentano pays careful attention to important distinctions, conscientiously defines key notions, presents precise arguments for his claims, judiciously considers potential objections, and in general proceeds very methodically - yet he does so not as an end in itself, but as a means only. His end is the crafting of a grand philosophical system in the classical sense, attempting to produce nothing less than a unified theory of the true, the good, and the beautiful. (shrink)

The world of wage labour seems to have become a soulless machine, an engine of social and environmental destruction. Employees seem to be nothing but 'cogs' in this system - but is this true? Located at the intersection of political theory, moral philosophy, and business ethics, this book questions the picture of the world of work as a 'system'. Hierarchical organizations, both in the public and in the private sphere, have specific features of their own. This does not (...) mean, however, that they cannot leave room for moral responsibility, and maybe even human flourishing. Drawing on detailed empirical case studies, Lisa Herzog analyses the nature of organizations from a normative perspective: their rule-bound character, the ways in which they deal with divided knowledge, and organizational cultures and their relation to morality. The volume examines how individual agency and organizational structures would have to mesh to avoid common moral pitfalls and develops the notion of 'transformational agency', which refers to a critical, creative way of engaging with one's organizational role while remaining committed to basic moral norms. The volume goes on to explore the political and institutional changes that would be required to re-embed organizations into a just society. Whether we submit to 'the system' or try to reclaim it, Herzog argues, is a question of eminent political importance in our globalized world. (shrink)

This work represents Niklas Luhmann's definitive application of systems theory to the understanding of law. In it Luhmann reviews past attempts to create a theory of law and argues they all fail to capture how law operates in modern society. He presents an alternative, critical theory through analysing law as a system of communication.

: Lately there is more attention paid to technological development in intelligent tutoring systems. This field is becoming an interesting topic to many researchers. In this paper, we are presenting an intelligent tutoring system for teaching DES Information Security Algorithm called DES-Tutor. The DES-Tutor target the students enrolled in cryptography course in the department Information Technology in Al-Azhar University in Gaza. Through DES-Tutor the student will be able to study course material and try the exercises of each lesson. An (...) evaluation of the DES-Tutor was carried out and the results were promising. (shrink)

Discusses the base from which modern societies developed.

This paper explores the role of iconicity in spoken language and other human communication systems. First, we concentrate on graphical and gestural communication and show how semantically motivated iconic signs play an important role in creating such communication systems from scratch. We then consider how iconic signs tend to become simplified and symbolic as the communication system matures and argue that this process is driven by repeated interactive use of the signs. We then consider evidence for iconicity at the (...) level of the system in graphical communication and finally draw comparisons between iconicity in graphical and gestural communication systems and in spoken language. (shrink)

In many ways set theory lies at the heart of modern mathematics, and it does powerful work both philosophical and mathematical – as a foundation for the subject. However, certain philosophical problems raise serious doubts about our acceptance of the axioms of set theory. In a detailed and original reassessment of these axioms, Sharon Berry uses a potentialist approach to develop a unified determinate conception of set-theoretic truth that vindicates many of our intuitive expectations regarding set theory. Berry further (...) defends her approach against a number of possible objections, and she shows how a notion of logical possibility that is useful in formulating Potentialist set theory connects in important ways with philosophy of language, metametaphysics and philosophy of science. Her book will appeal to readers with interests in the philosophy of set theory, modal logic, and the role of mathematics in the sciences. (shrink)

The American thinker Charles Sanders Peirce, best known as the founder of pragmatism, has been influential not only in the pragmatic tradition but more recently in the philosophy of science and the study of semiotics, or sign theory. Strands of System provides an accessible overview of Peirce's systematic philosophy for those who are beginning to explore his thinking and its import for more recent trends in philosophy.

This paper defends a view of the Gene Ontology (GO) and of Basic Formal Ontology (BFO) as examples of what the manufacturing industry calls product-service systems. This means that they are products (the ontologies) bundled with a range of ontology services such as updates, training, help desk, and permanent identifiers. The paper argues that GO and BFO are contrasted in this respect with DOLCE, which approximates more closely to a scientific theory or a scientific publication. The paper provides a detailed (...) overview of ontology services and concludes with a discussion of some implications of the product-service system approach for the understanding of the nature of applied ontology. Ontology developer communities are compared in this respect with developers of scientific theories and of standards (such as W3C). For each of these we can ask: what kinds of products do they develop and what kinds of services do they provide for the users of these products? (shrink)

Behavioral immune system describes psychological mechanisms that detect cues to infectious pathogens in the immediate environment, trigger disease-relevant responses and facilitate behavioral avoidance/escape. BIS activation elicits a perceived vulnerability to disease which can result in conformity with social norms. However, a response to superficial cues can result in aversive responses to people that pose no actual threat, leading to an aversion to unfamiliar others, and likelihood of prejudice. Pathogen-neutralizing behaviors, therefore, have implications for social interaction as well as illness (...) behaviors and responses to health communications. In this study, we investigate how PVD influences conformity, attitudes to other people and to lockdown regulations through the lens of the Reinforcement Sensitivity Theory. RST describes personality in terms of biologically-driven approach and avoidance motivations which support personal goals. Participants from the United Kingdom public completed an RST personality questionnaire and then read either coronavirus morbidity-mortality statistics and current United Kingdom government lifestyle regulations, just the regulations, or no information at all. They all completed the Perceived Vulnerability to Disease scale to assess BIS-relevant Germ Aversion and Perceived Infectability, followed by questions measuring social conformity, warmth toward others and attitudes toward lockdown measures. Significantly lower PVD scores were observed in the no-information condition, with the other conditions showing no difference. In terms of RST, approach behaviors related to goal-drive persistence work alongside fear in explaining conformity to social norms. Reward related approach behaviors partially explained warmth toward others, indicating that social rewards gained through interaction continue to be strong drivers of behavior. We found no role for RST traits in attitudes toward lockdown. Overall, coronavirus-related behavior is not driven purely by fear, but also by social and/or protection goals regulated by approach motivation. This study presents new insights into public perceptions of coronavirus and government regulated lifestyle restrictions, helping to explain social behaviors in terms of biologically driven mechanisms. Such understanding is vital if we are to successfully motivate public behavior to constrain spread of the virus. (shrink)

DCPS is a connectionist production system interpreter that uses distributed representations. As a connectionist model it consists of many simple, richly interconnected neuron‐like computing units that cooperate to solve problems in parallel. One motivation for constructing DCPS was to demonstrate that connectionist models are capable of representing and using explicit rules. A second motivation was to show how “coarse coding” or “distributed representations” can be used to construct a working memory that requires far fewer units than the number of (...) different facts that can potentially be stored. The simulation we present is intended as a detailed demonstration of the feasibility of certain ideas and should not be viewed as a full implementation of production systems. Our current model only has a few of the many interesting emergent properties that we eventually hope to demonstrate: It is damage‐resistant, it performs matching and variable binding by massively parallel constraint satisfaction, and the capacity of its working memory is dependent on the similarity of the items being stored. (shrink)

Emotions can be understood as a coherent, integrated system of general-purpose coping strategies, guided by appraisal, for responding to situations of crisis and opportunity (when specific-purpose motivational systems may be less effective). This perspective offers functional explanations for the presence of particular emotions in the emotion repertoire, and their elicitation by particular appraisal combinations. Implications of the Emotion System model for debated issues, such as the dimensional vs. discrete nature of appraisals and emotions, are also discussed.

This study analyses the influence that Adam Smith's philosophy had on his Wealth of Nations, and reveals the unity in Smith's extensive system of morals, politics, and economics. It concludes that Smith was motivated by a political ideal, which was moral liberalism.

The human ability to live according to learned, shared rules of behavior requires cortical functions. Is the limbic system also necessary for culture or are its functions opposed to it, requiring cortical inhibition? The sizes of monkey and ape neocortical and major limbic structures scale with brain weight, but the neocortex expands more (has a steeper exponent) than limbic structures. As the human brain evolved it did not deviate from the scaling relationships found in nonhuman anthropoids. This evidence for (...) conservation in scaling supports the idea that limbic functions are necessary for human symbolism and culture. (shrink)

The essays in this volume, including two published here for the first time, explore various aspects ofKant's conception of the system of nature, the system of ...