In this book, Michael Arbib, a researcher in artificial intelligence and brain theory, joins forces with Mary Hesse, a philosopher of science, to present an integrated account of how humans 'construct' reality through interaction with the social and physical world around them. The book is a major expansion of the Gifford Lectures delivered by the authors at the University of Edinburgh in the autumn of 1983. The authors reconcile a theory of the individual's construction of reality as a (...) network of schemas 'in the head' with an account of the social construction of language, science, ideology and religion to provide an integrated schema-theoretic view of human knowledge. The authors still find scope for lively debate, particularly in their discussion of free will and of the reality of God. The book integrates an accessible exposition of background information with a cumulative marshalling of evidence to address fundamental questions concerning human action in the world and the nature of ultimate reality. (shrink)

Similarity and difference, patterns of variation, consistency and coherence: these are the reference points of the philosopher. Understanding experience, exploring ideas through particular instantiations, novel and innovative thinking: these are the reference points of the artist. However, at certain points in the proceedings of our Symposium titled, Next to Nothing: Art as Performance, this characterisation of philosopher and artist respectively might have been construed the other way around. The commentator/philosophers referenced their philosophical interests through the particular examples/instantiations created by the (...) artist and in virtue of which they were then able to engage with novel and innovative thinking. From the artists’ presentations, on the other hand, emerged a series of contrasts within which philosophical and artistic ideas resonated. This interface of philosopher-artist bore witness to the fact that just as art approaches philosophy in providing its own analysis, philosophy approaches art in being a co-creator of art’s meaning. In what follows, we discuss the conception of philosophy-art that emerged from the Symposium, and the methodological minimalism which we employed in order to achieve it. We conclude by drawing out an implication of the Symposium’s achievement which is that a counterpoint to Institutional theories of art may well be the point from which future directions will take hold, if philosophy-art gains traction. (shrink)

. Atomic individualism is embedded in most definitions of stakeholder theory, and as a result, stakeholders are not integral to the basic identity of the corporation which is considered to be independent of, and separate from, its stakeholders. Feminist theory has been suggested as a way of developing a more relational view of the corporation and its stakeholders, but it lacks a systematically developed conceptual framework for undergirding its own insights. Pragmatic philosophy is offered as a way of (...) providing this theoretical undergirding for . a relational understanding of the firm and its stakeholders. (shrink)

Collaboration requires agents to coordinate their behavior on the fly, sometimes cooperating to solve a single task together and other times dividing it up into sub‐tasks to work on in parallel. Underlying the human ability to collaborate is theory‐of‐mind (ToM), the ability to infer the hidden mental states that drive others to act. Here, we develop Bayesian Delegation, a decentralized multi‐agent learning mechanism with these abilities. Bayesian Delegation enables agents to rapidly infer the hidden intentions of others by inverse (...) planning. We test Bayesian Delegation in a suite of multi‐agent Markov decision processes inspired by cooking problems. On these tasks, agents with Bayesian Delegation coordinate both their high‐level plans (e.g., what sub‐task they should work on) and their low‐level actions (e.g., avoiding getting in each other's way). When matched with partners that act using the same algorithm, Bayesian Delegation outperforms alternatives. Bayesian Delegation is also a capable ad hoc collaborator and successfully coordinates with other agent types even in the absence of prior experience. Finally, in a behavioral experiment, we show that Bayesian Delegation makes inferences similar to human observers about the intent of others. Together, these results argue for the centrality of ToM for successful decentralized multi‐agent collaboration. (shrink)

Objective Adolescents have had very limited access to research on biomedical prevention interventions despite high rates of HIV acquisition. One concern is that adolescents are a vulnerable population, and trials carry a possibility of harm, requiring investigators to take additional precautions. Of particular concern is preventive misconception, or the overestimation of personal protection that is afforded by enrolment in a prevention intervention trial. Methods As part of a larger study of preventive misconception in adolescent HIV vaccine trials, we interviewed 33 (...) male and female 16–19-year-olds who have sex with men. Participants underwent a simulated HIV vaccine trial consent process, and then completed a semistructured interview about their understanding and opinions related to enrolment in a HIV vaccine trial. A grounded theory analysis looked for shared concepts, and focused on the content and process of adolescent participants’ understanding of HIV vaccination and the components of preventive misconception, including experiment, placebo and randomisation. Results Across interviews, adolescents demonstrated active processing of information, in which they questioned the interviewer, verbally worked out their answers based upon information provided, and corrected themselves. We observed a wide variety of understanding of research concepts. While most understood experiment and placebo, fewer understood randomisation. All understood the need for safer sex even if they did not understand the more basic concepts. Conclusions Education about basic concepts related to clinical trials, time to absorb materials and assessment of understanding may be necessary in future biomedical prevention trials. (shrink)

As organizations place greater emphasis on environmental objectives, business educators must produce the next set of leaders who can champion corporate environmental sustainability initiatives. However, environmental sustainability represents a polarizing topic with some students dismissing its importance and legitimacy. Limited research exists to understand student behavioral influences on sustainability education, especially as it translates to environmental sustainability behavior in the workplace. This gap challenges our ability as educators to understand how to best teach environmental sustainability in order to reach diverse (...) student mindsets. We apply the theory of planned behavior (TPB) to address this gap, investigating the influence of student attitudes, subjective norm, and perceived behavioral control on environmental sustainability intention and behavior. A structural model tested with student survey data finds that student attitude represents the strongest influence on environmental sustainability intention. The model also validates that subjective norm affects sustainability intention with students considering professors along with business leaders and politicians as valid references for sustainability knowledge. To tie the results to effective educational interventions, we use the TPB to organize an extensive review of the sustainability pedagogy literature and identify specific teaching recommendations for increasing the effectiveness of environmental sustainability education. (shrink)

Unique in both perspective and approach, this is the first book to use classical American pragmatism as an ethical framework for dealing with ethical issues in business. The book first explores ethical theory from both the traditional and pragmatic perspectives. Then, using the pragmatic perspective, discusses the nature of the corporation and its relationship to society, the various environments in which business functions, and specific issues in the contemporary marketplace and workplace.

It has been proposed that the implicate order can be given mathematical expression in terms of an algebra and that this algebra is similar to that used in quantum theory. In this paper we bring out in a simple way those aspects of the algebraic formulation of quantum theory that are most relevant to the implicate order. By using the properties of the standard ket introduced by Dirac we describe in detail how the Heisenberg algebra can be generalized (...) to produce an algebraic structure in which it is possible to describe space translations in a way that is analogous to the description of rotations in a Clifford algebra. This approach opens up the possibility of going beyond the limits of the present quantum formalism and we discuss briefly some of the new implications. (shrink)

People who teach business ethics seem locked between two general approaches: an applied philosophy approach that emphasizes the application of abstract ethical theories and principles to specific cases, and the case method approach that leaves the students without any more general theoretical framework with which to approach ethical issues. Classical American Pragmatism, understood as a school of philosophical thought, links these two approaches by providing a new grounding for moral theory in which moral rules are understood as working hypotheses (...) abstracted from concrete situations and moralreasoning demands the return to concrete situations as the foundation for moral decision making that is inherently contextual. Thus moral decision making is bottom up rather than top down, and a sense of moral rightness comes not from the indoctrination of abstract principles but from attunement to the way in which moral beliefs and practices must be rooted naturally in the very conditions of human existence. (shrink)

Dual-process theories of conditional reasoning predict that relationships among four basic logical forms, and to intellectual ability and thinking predictions, are most evident when conflict arises between experiential and analytic processing (e.g., Stanovich & West, 2000). To test these predictions, 210 undergraduates were presented with conditionals for which the consequents were either weakly or strongly associated with alternative antecedents (i.e., WA and SA problems, respectively). Consistent with predictions, modus ponens inferences were not related to inferences on the uncertain forms (affirmation (...) of the consequent, denial of the antecedent). On WA problems, modus tollens, affirmation of the consequent, and denial of the antecedent were related to each other and to verbal ability. Modus ponens was linked to verbal ability only when disabling conditions were activated. In accord with the predictions of Stanovich and West (2000), on most problems, thinking dispositions predicted variance in inferences independently from verbal ability. We argue that a largely automatic experiential processing system governs performance on modus ponens, unless disablers are activated. Consciously controlled analytic processing predominates on the uncertain forms and, under some conditions, on modus tollens. (shrink)

Since Austin’s introduction of the locutionary-illocutionary-perlocutionary distinction, it has been a matter of debate within speech act theory whether illocutionary acts like promising, warning, refusing and telling require audience ‘uptake’ in order to be performed. Philosophers on different sides of this debate have tried to support their positions by appealing to hypothetical scenarios, designed to elicit intuitive judgements about the role of uptake. However, philosophers’ intuitions appeared to remain deadlocked, while laypeople’s intuitions have not yet been probed. To begin (...) rectifying that, we ran two experiments probing lay intuitions about the implications of uptake failure. Overall, we found that participants’ responses were skewed towards agreement that speech acts were performed, despite the lack of uptake. There were, however, significant differences across the four different speech act types we investigated (with the highest levels of agreement found for refusing, followed by warning, then telling, and finally promising). We also obtained evidence of complex effects relating to the (high or low) stakes involved in the scenarios. While this study only represents an initial exploration of intuitions about uptake, our results form a basis for further research into their nature and significance, across a range of speech acts, scenarios, and experimental designs. (shrink)

A number of nonmonotonic reasoning formalisms have been introduced to model the set of beliefs of an agent. These include the extensions of a default logic, the stable models of a general logic program, and the extensions of a truth maintenance system among others. In [13] and [16], the authors introduced nonmonotomic rule systems as a nonlogical generalization of all essential features of such formulisms so that theorems applying to all could be proven once and for all. In this paper, (...) we extend Rieter's normal default theories, which have a number of the nice properties which make them a desirable context for belief revision, to the setting of nonmonotonic rule systems. Reiter defined a default theory to be normal if all the rules of the default theory satisfied a simple syntatic condition. However, this simple syntatic condition has no obvious analogue in the setting of nonmonotonic rule systems. Nevertheless, an analysis of the proofs of the main results on normal default theories reveals that the proofs do not rely on the particular syntactic form of the rules but rather on the fact that all rules have a certain consistency property. This led us to extend the notion of normal default theories with respect to a general consistency property. This extended notion of normal default theories, which we call Forward Chaining normal , is easily lifted to nonmonotomic rule systems and hence applies to general logic programs and truth maintenance. (shrink)

The Social Issues in Management Division has had a long history of research into various aspects of governmental influences on business. Recent years, however, have seen stakeholder theory sort of sweep the field, and under a stakeholder theory of capitalism, governments will matter less then they have in the past as stakeholder principles are implemented throughout the corporate world. This article will examine the nature of this claim by discussing problems with the implementation of stakeholder theory and (...) examining the role of public policy in our society. (shrink)

We formulate and analyze the dynamics of an influenza pandemic model with vaccination and treatment using two preventive scenarios: increase and decrease in vaccine uptake. Due to the seasonality of the influenza pandemic, the dynamics is studied in a finite time interval. We focus primarily on controlling the disease with a possible minimal cost and side effects using control theory which is therefore applied via the Pontryagin’s maximum principle, and it is observed that full treatment effort should be given (...) while increasing vaccination at the onset of the outbreak. Next, sensitivity analysis and simulations (using the fourth order Runge-Kutta scheme) are carried out in order to determine the relative importance of different factors responsible for disease transmission and prevalence. The most sensitive parameter of the various reproductive numbers apart from the death rate is the inflow rate, while the proportion of new recruits and the vaccine efficacy are the most sensitive parameters for the endemic equilibrium point. (shrink)

This paper examines whether a classical model could be translated into a PDP network using a standard connectionist training technique called extra output learning. In Study 1, standard machine learning techniques were used to create a decision tree that could be used to classify 8124 different mushrooms as being edible or poisonous on the basis of 21 different Features (Schlimmer, 1987). In Study 2, extra output learning was used to insert this decision tree into a PDP network being trained on (...) the identical problem. An interpretation of the trained network revealed a perfect mapping from its internal structure to the decision tree, representing a precise translation of the classical theory to the connectionist model. In Study 3, a second network was trained on the mushroom problem without using extra output learning. An interpretation of this second network revealed a different algorithm for solving the mushroom problem, demonstrating that the Study 2 network was indeed a proper theory translation. (shrink)

This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that (...) is of commercial value in social science. Classroom experience has led to numerous pedagogical improvements and many new exercises have been added. As before, exposure to elementary abstract algebra and the notation of set theory are the only prerequisites, making the book suitable for advanced undergraduates and beginning graduate students. It will also be a valuable resource for anyone who meets ordered structures. (shrink)

Leaders and managers of today's multinational corporations face a plethora of problems and issues directly attributable to the fact that they are operating in an international context. With work-sites, plants and/or customers based in another country, or even several countries, representing a vast spectrum of cultural differences, international trade and offshore operations, coupled with increased globalisation in respect to political, social and economic realities, contribute to new dilemmas that these leaders must deal with. Not the least of these being a (...) Code of Ethics and ethical decision making.This paper examines the differences in culture between a group of managers from the United States and similar group from Croatia using Hofstede's theory of International Cultures. The study explores how these cultural dimensions may help in our understanding of the differences in reported whistleblowing. The authors then postulate four hypotheses regarding various aspects of whistleblowing. These Hypotheses were than tested using a survey administered to a sample of U.S.A. and Croatian managers. Finally, the paper discusses the findings and practical implications for contemporary managers in the international arena. (shrink)

This book is a study of the second-edition version of the 'Transcendental Deduction', which is one of the most important and obscure sections of Kant's Critique of Pure Reason. By way of a close analysis of the B-Deduction, Adam Dickerson makes the distinctive claim that the Deduction is crucially concerned with the problem of making intelligible the unity possessed by complex representations - a problem that is the representationalist parallel of the semantic problem of the unity of the proposition. Along (...) the way he discusses most of the key themes in Kant's theory of knowledge, including the nature of thought and representation, the notion of objectivity, and the way in which the mind structures our experience of the world. (shrink)

We investigated how people interpret conditionals and how stable their interpretation is over a long series of trials. Participants were shown the colored patterns on each side of a six-sided die, and were asked how sure they were that a conditional holds of the side landing upwards when the die is randomly thrown. Participants were presented with 71 trials consisting of all combinations of binary dimensions of shape (e.g., circles and squares) and color (e.g., blue and red) painted onto the (...) sides of each die. In two experiments (N1 = 66, N2 = 65), the conditional event was the dominant interpretation, followed by conjunction, and material conditional responses were negligible. In both experiments, the percentage of participants giving a conditional event response increased from around 40% at the beginning of the task to nearly 80% at the end, with most participants shifting from a conjunction interpretation. The shift was moderated by the order of shape and color in each conditional’s antecedent and consequent: participants were more likely to shift if the antecedent referred to a color. In Experiment 2 we collected response times: conditional event interpretations took longer to process than conjunction interpretations (mean difference 500 ms). We discuss implications of our results for mental models theory and probabilistic theories of reasoning. (shrink)

Sections R1 to R3 attempt to take the sting out of hostile commentaries. Sections R4 to R5 engage Berlin and Kay and the World Color Survey to correct the record. Section R6 begins the formulation of a new theory of colour as an engineering project with a technological developmental trajectory. It is recommended that the colour space be abandoned.

What is it to be a woman? What is it to be a man? We start by laying out desiderata for an analysis of 'woman' and 'man': descriptively, it should link these gender categories to sex biology without reducing them to sex biology, and politically, it should help us explain and combat traditional sexism while also allowing us to make sense of the activist view that gendering should be consensual. Using a Putnam-style 'Twin Earth' example, we argue that none of (...) the existing analyses in the feminist literature succeeds in meeting all of our desiderata. Finally, we propose a positive account that we believe can satisfy all the desiderata outlined. According to our theory, the genders 'woman' and 'man' are individuated not by their contemporary connections to sex biology, but by their historical continuity with classes that were originally closely connected to sex biology. (shrink)

According to probabilistic theories of reasoning in psychology, people's degree of belief in an indicative conditional `if A, then B' is given by the conditional probability, P(B|A). The role of language pragmatics is relatively unexplored in the new probabilistic paradigm. We investigated how consequent relevance a ects participants' degrees of belief in conditionals about a randomly chosen card. The set of events referred to by the consequent was either a strict superset or a strict subset of the set of events (...) referred to by the antecedent. We manipulated whether the superset was expressed using a disjunction or a hypernym. We also manipulated the source of the dependency, whether in long-term memory or in the stimulus. For subset-consequent conditionals, patterns of responses were mostly conditional probability followed by conjunction. For superset-consequent conditionals, conditional probability responses were most common for hypernym dependencies and least common for disjunction dependencies, which were replaced with responses indicating inferred consequent irrelevance. Conditional probability responses were also more common for knowledge-based than stimulus-based dependencies. We suggest. (shrink)

This comprehensive book covers the research, theory, policy and practice context of unusual reproduction using third parties. Olga Van den Akker details the psychological adaptation required to continuing changes in public opinion, advances in technologies and new legislations in surrogate motherhood and discusses their impact at an individual, societal and global level. She describes the competing interests and interactions between legal, organisational, personal, social, psychological and cultural issues in relation to biological and genetic surrogate and commissioning parenthood. This book (...) is intended for professionals, practitioners, academics and students interested in the complexities of unusual reproduction using multidisciplinary perspectives. (shrink)

Never before, in any anthology, have contemporary epistemologists and philosophers of language come together to address the single most neglected important issue at the confluence of these two branches of philosophy, namely: Can we know facts from reliable reports? Besides Hume's subversive discussion of miracles and the literature thereon, testimony has been bypassed by most Western philosophers; whereas in classical Indian theories of evidence and knowledge philosophical debates have raged for centuries about the status of word-generated knowledge. `Is the response (...) "I was told by an expert on the subject" as respectable as "I saw" or "I inferred" in answer to "How do you know?"' is a question answered in diverse and subtle ways by Buddhists, Vaisesikas and Naiyayikas. For the first time this book makes available the riches of those debates, translating from Sanskrit some contemporary Indian Pandits' reactions to Western analytic accounts of meaning and knowledge. For advanced undergraduates in philosophy, for researchers - in Australia, Asia, Europe or America - on epistemology, theory of meaning, Indian or comparative philosophy, as well as for specialists interested in this relatively fresh topic of knowledge transmission and epistemic dependence this book will be a feast. After its publication analytic philosophy and Indian philosophy will have no excuse for shunning each other. (shrink)

The first book to be devoted to the logic behind the application of ethical theories, this collection of essays explores the question of how many different moral traditions (utilitarianism, natural rights theory, Marxism, Christian moral theology, and Kantianism among others) view the relation between theory and concrete judgments. By considering many applications of moral theory in medical ethics the authors illustrate their point.

In this paper, I consider a variety of objections against the covering-law model of scientific explanation, show that Aristotle was already aware of them and had solutions for them, and argue that these solutions are correct. These solutions involve the notions of nonHumean causality and of essential properties. There are a great many familiar objections, both methodological and epistemological, to introducing these concepts into the methodology of science, but I show that these objections are based upon misunderstandings of these concepts.

This paper examines the challenge that psychoanalytic theory cannot be refuted. It does so by considering the theory in its orthodox Freudian form, and in the main branches into which it can be divided ? the theory of Instincts, of Development, of Psychic Structure, of Mental Economics or Defence, and of Symptom Formation. The essential character of the generalizations and concepts of these branches will just be indicated; and we shall ask of each branch whether it is (...) possible to refute it. A considerable amount of scientific enquiry has been done into the concepts and generalizations of psychoanalysis. Relevant examples of these enquiries will be noted; and the question asked whether these scientific studies have in fact done anything to refute or support the various branches of psychoanalytic theory. The general upshot will be that the challenge is both important and a mistake. (shrink)

Cognitive Task Analysis (CTA) helps researchers understand how cognitive skills and strategies make it possible for people to act effectively and get things done. CTA can yield information people needemployers faced with personnel issues, market researchers who want to understand the thought processes of consumers, trainers and others who design instructional systems, health care professionals who want to apply lessons learned from errors and accidents, systems analysts developing user specifications, and many other professionals. CTA can show what makes the workplace (...) workand what keeps it from working as well as it might.Working Minds is a true handbook, offering a set of tools for doing CTA: methods for collecting data about cognitive processes and events, analyzing them, and communicating them effectively. It covers both the "why" and the "how" of CTA methods, providing examples, guidance, and stories from the authors' own experiences as CTA practitioners. Because effective use of CTA depends on some conceptual grounding in cognitive theory and researchon knowing what a cognitive perspective can offerthe book also offers an overview of current research on cognition.The book provides detailed guidance for planning and carrying out CTA, with chapters on capturing knowledge and capturing the way people reason. It discusses studying cognition in real-world settings and the challenges of rapidly changing technology. And it describes key issues in applying CTA findings in a variety of fields. Working Minds makes the methodology of CTA accessible and the skills involved attainable. (shrink)

This provocative but persuasive book is essentially a radical attack upon the Humean conception of causality and the presentation and defense of a counter-theory, closer to everyday experience and pre-Humean traditional views. As formulated by empiricist philosophers, the Humean approach depends on two basic postulates. The philosophical analysis of any non-empirical concept must be a formal explication; any residue elements have to be accounted for in terms of their psychological origins. The world as experienced can be conceived adequately as (...) a logically independent system of things or flux of events, without the unwarranted assumption that individuals persist diachronically. As the grounds for undermining these assumptions, the authors develop a conception of causes as "powerful particulars," i.e., things which have both a nature and powers. So long as the nature remains unchanged the agent in question will continue to behave in this fashion with a natural necessity, stemming from the individual’s nature and specific powers. The opening chapter discusses the problem of conceptual and natural necessity—as distinct from logical necessity which alone is allowed by the Humean empiricists. Natural necessity is the mark of the relationship between real causes and their respective effects, whereas conceptual necessity characterizes the way our statements about such are themselves related. Later the irreducibility of natural necessity is emphasized and its differences from logical entailment spelled out. Chapter two takes up the subject of the "regularity theory and its allies." Characteristic of such are two claims: the empirical content of a causal-relationship statement is exhausted by the actual or hypothetical regularity between independent entities, and the necessity ordinarily attributed to causal production is an illusion, to be accounted for in various ways. Subsequent chapters are devoted to assaulting the pillars of the Humean notion either directly or indirectly through an illuminating and attractive account of their own theory of nature, causal powers, and natural necessity. The final chapter, entitled "Fields of Potential," indulges in speculation about the nature of ultimate entities on the basis of an extended generalization of the notion of the powerful individual, and concludes with a brief account of the historical antecedents of Faraday’s modern field theory and the metaphysical implications of a generalized field theory.—A.B.W. (shrink)

An attempt is made to show that Wittgenstein's later philosophy of logic is not the kind of conventionalism which is often ascribed to him. On the contrary, Wittgenstein gives expression to a “mixed” theory which is not only interesting but tends to resolve the perplexities usually associated with the question of the a priori character of logical truth. I try to show that Wittgenstein is better understood not as denying that there are such things as “logical rules” nor as (...) denying that the results of applying such rules are “logically necessary,” but as trying to understand what it is to appeal to a logical rule and what it means to say that the results of applying such a rule are “necessary.” He is not so much overthrowing standard accounts of logical necessity as discovering the limits of the concept. (shrink)

Extensive research has documented the harmful effects associated with working for a narcissistic supervisor. However, little effort has been made to investigate ways for victims to alleviate the burdens associated with exposure to such aversive persons. Building on the tenets of conservation of resources theory and the documented efficacy of functional assets to combat job-related stress, we hypothesized that subordinates’ resource management ability would buffer the detrimental impact of narcissistic supervisors on affective, cognitive, and behavioral work outcomes for subordinates. (...) We found support for our hypotheses across three independent samples of US workers. Specifically, higher levels of subordinate resource management ability attenuated the harmful effects of supervisor narcissism on employee-reported emotional exhaustion, job tension, depressed mood, task performance, and citizenship behavior. Conversely, these relationships further deteriorated for subordinates with lower levels of resource management ability. Overall, our research contributes to the literature that, although extensively documenting the harmful ramifications of narcissism in organizations, has neglected to investigate potentially mitigating factors. (shrink)

A highly ordered universe is described in terms of neutrino and electrino alone as basic particles, and length and time alone as dimensional units. New theories are obtained of particles, nuclides, atomic spectra, general relativity, and gravitation.

Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in (...) the form of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{M}$ are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions. (shrink)

In the paper we explore the idea of describing Pawlak’s rough sets using three-valued logic, whereby the value t corresponds to the positive region of a set, the value f — to the negative region, and the undefined value u — to the border of the set. Due to the properties of the above regions in rough set theory, the semantics of the logic is described using a non-deterministic matrix (Nmatrix). With the strong semantics, where only the value t (...) is treated as designated, the above logic is a “common denominator” for Kleene and Łukasiewicz 3-valued logics, which represent its two different “determinizations”. In turn, the weak semantics—where both t and u are treated as designated—represents such a “common denominator” for two major 3-valued paraconsistent logics. We give sound and complete, cut-free sequent calculi for both versions of the logic generated by the rough set Nmatrix. Then we derive from these calculi sequent calculi with the same properties for the various “determinizations” of those two versions of the logic (including Łukasiewicz 3-valued logic). Finally, we show how to embed the four above-mentioned determinizations in extensions of the basic rough set logics obtained by adding to those logics a special two-valued “definedness” or “crispness” operator. (shrink)

Theories of beauty are often divided into the objective and the subjective. I am doubtful whether a rigid distinction between the two can be maintained. It is difficult for an objective theory to assert that the impression of beauty is received quite passively, without any reaction or co-operation on the part of the subject, which is likely to be similar in the various cases.

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...

We prove the Main Gap for the class of a -models (sufficiently saturated models) of an arbitrary stable 1-based theory T . We (i) prove a strong structure theorem for a -models, assuming NDOP, and (ii) roughly compute the number of a -models of T in any given cardinality. The analysis uses heavily group existence theorems in 1-based theories.