We identify two pragmatic problems in temporal reasoning, the qualification problem and the extended prediction problem, the latter subsuming the infamous frame problem. Solutions to those seem to call for nonmonotonic inferences, and yet naive use of standard nonmonotonic logics turns out to be inappropriate. Looking for an alternative, we first propose a uniform approach to constructing and understanding nonmonotonic logics. This framework subsumes many existing nonmonotonic formalisms, and yet is remarkably simple, adding almost no extra baggage to traditional (...) logic. We then use this framework to propose a solution to the qualification problem. We also outline a solution to the extended prediction problem, and speculate on a possible connection between the above discussion and the concept of causation. (shrink)

Ulrike Heuer argues that there can be a reason for a person to perform an action that this person cannot perform, as long as this person can take efficient steps towards performing this action. In this reply, I first argue that Heuer's examples fail to undermine my claim that there cannot be a reason for a person to perform an action if it is impossible that this person will perform this action. I then argue that, on a plausible interpretation (...) of what 'efficient steps' are, Heuer's claim is consistent with my claim. I end by showing that Heuer fails to undermine the arguments I gave for my claim. (shrink)

Argues against the form of instrumentalism on which being practically rational is being efficient in the pursuit of one's ends. The trait of means-end efficiency turns out to be a defect of character, and therefore cannot be identified with practical reason at its best.

Resolution and cut-free LK are the most popular propositional systems used for logical automated reasoning. The question whether or not resolution and cut-free LK have the same efficiency on the system of CNF formulas has been asked and studied since 1960 425–467). It was shown in Cook and Reckhow, J. Symbolic Logic 44 36–50 that tree resolution has super-polynomial speed-up over cut-free LK. Naturally, the current issue is whether or not resolution and cut-free LK expressed as directed acyclic graphs (...) have the same efficiency. In this paper, we introduce a new algorithm to eliminate atomic cuts and show that cut-free LK polynomially simulates resolution when the input formula is expressed as a k-CNF formula. As a corollary, we show that regular resolution does not polynomially simulate cut-free LK . We also show that cut-free LK polynomially simulates regular resolution. (shrink)

I'm going to focus my comments on a relatively small part of Joe Heath's book, the section on the household division of labour. Although it's a small piece of a much larger picture, I've chosen this area for two reasons: First, it connects with my own interests in issues of family justice. Second, I think for me it highlights a potentially larger problem concerning the relationship between justice and efficiency. When Heath puts the contrast between those who place rights before (...) efficiency in terms of a contrast between the US and Canadian health care systems, I find that I'm in agreement with the argument for efficiency. But when I think about the contrast in terms of the question of the gendered division of domestic labour, I'm less certain that I want to accord efficiency the kind of status it has according to Heath. (I must confess that I've always thought of Canada as the just society, rather than the efficient society. If it turns out.. (shrink)

Benchmarking is the major reason for the widespread use of DEA models for efficiency analysis. Determining the closest targets for DMUs, DEA models play a key role in benchmarking their best performance. In fact, these models help develop certain performance enhancement plans that need fewer attempts made by DMUs. Therefore, this study proposes a novel method based on the network DEA to determine the most appropriate target for every stage in addition to benchmarking the DMUs. The proposed model differs from (...) those proposed by other studies in the fact that all DEA models of benchmarking consider input and output values to be linear. However, in real-world problems, many DMU inputs and outputs have nonlinear values, something which was taken into account in the modeling process in this study. The proposed model was employed to benchmark cement factories listed on the Tehran Stock Exchange. (shrink)

In a recent essay in this journal, Tom O’Shea defends socialist republicanism, marrying the value of freedom as nondomination to public ownership of the means of production. In this reply, I argue that the efficiency costs that often attach to public ownership may undercut the ability of the socialist republic to combat domination by public agents. I provide two reasons in support of this claim. First, the economic gains provided by efficiency can insulate individuals from the discretionary power of other (...) agents. Put briefly, the more wealth you have, the less the discretionary power threatens your basic interests. Second, the efficiency costs of public ownership also make it more difficult to hold accountable the managers of economic organizations. This shortcoming of O’Shea’s argument reveals a point hitherto neglected in the republican literature—caring about nondomination implies caring about efficiency. (shrink)

Relational egalitarians argue that workplace hierarchy is wrong or unjust. However, even if workplace hierarchy is morally deficient in one respect, the efficiency of hierarchical cooperation might vindicate hierarchy. This paper assesses the extent to which relational egalitarians must make concessions to workplace hierarchy for the sake of efficiency. I argue that considerations of hierarchy provide egalitarians with reasons that make workplace hierarchy tolerable despite being unjustified, and, moreover, that under a predominantly hierarchical status quo, the practical import of egalitarian (...) reasons is unlikely to be undercut. This can be the case even if social hierarchy sometimes constitutes social cooperation. (shrink)

We describe a relational framework that uniformly supports formalization and automated reasoning in varied propositional modal logics. The proof system we propose is a relational variant of the classical Rasiowa-Sikorski proof system. We introduce a compact graph-based representation of formulae and proofs supporting an efficient implementation of the basic inference engine, as well as of a number of refinements. Completeness and soundness results are shown and a Prolog implementation is described.

Political integration in the European Union creates the need for a common means of communication among the various linguistic communities in Europe. One way of meeting this need is unilingualism: the use of a single language as a "lingua franca". While this option has been thought to be efficient, this does not mean that we should necessarily choose it. This paper argues that a unilinual Europe will inevitably be unfair despite recent attempts to show otherwise, since non-native speakers of (...) the lingua franca will pick up the costs of learning it while native speakers can free-ride on their efforts. This unfairness provides a reason for preferring alternative means of facilitating communication. In particular, multilingualism - communication through translators and interpreters - may be preferable. (shrink)

It is suggested that taking into account considerations that traditionally fall within the scope of computer science in general, and artificial intelligence in particular, sheds new light on the subject of causation. It is argued that adopting causal notions con be viewed as filling a computational need: They allow reasoning with incomplete information, facilitate economical representations, and afford relatively efficient methods for reasoning about those representations. Specifically, it is proposed that causal reasoning is intimately bound to (...) nonmonotonic reasoning. An account of causation is offered that relies upon this connection, and compares this proposal to previous accounts within philosophy and artificial intelligence. (shrink)

This chapter contains sections titled: Reasons as Not (Efficiently) Causal, Underwriting Irreducibly Teleological Explanations Reasons as Efficient Causes Reasons, Causes, and Physicalism Causally Relevant, though Not Causes Structuring Causes Reasons, Causes, and Free Will References Further reading.

Most social institutions are supposed to be relatively benign, so that if they did not exist, rational human beings would find it worthwhile to create them. It is comforting to believe that we have the social institutions we wish to have, and we wish to have them because they enhance the common good. The article claims that this belief is in some important cases either a self-delusion or a pious lie. The classic example is the state. We are taught that (...) since it is necessary for efficient social coexistence, it should be regarded as if it were the result of a social contract we have voluntarily entered into. The law-and-economics school generalizes this type of approach in explaining customs and law. Customs and laws evolve in response to needs. They are what they are because they efficiently serve some purpose. Certain primitive customs are rationalized in this way. The article claims that some of these rationalizations are grossly implausible. One primitive custom, reciprocal gift-giving and hospitality, is alleged to be a mutual insurance scheme, an allegation there are strong reasons to doubt. This custom, then, is said to be the ancestor of the modern welfare state. Both the ancient custom and its modern equivalent are efficient because mutual insurance that redistributes risk is itself efficient. The article demonstrates that mutual insurance and the welfare state are different in essential respects, and the legitimising analogy is false. (shrink)

In this paper I argue that economic theories have never been able to provide a coherent explanation of the causation requirement in tort law. The economic characterization of this requirement faces insurmountable difficulties, because discourse on tort liability cannot be reduced to a cost-benefit analysis without a loss of meaning. More seriously, I try to show that by describing causation in economic terms, economic theories offer an image of the practice in which the participants incur in logical contradictions and develop (...) patterns of inference that are far from intuitive. For this reason, efficiency cannot be the fundamental principle underlying tort law. Finally, I suggest that economic analysis of law can provide a genuine explanation of certain aspects of legal practice if it relinquishes its reductionist claims. (shrink)

I argue that, in light of his critique of rival theories of efficient causation, there is a puzzle latent in Aristotle’s own account. To show this, I consider one of his preferred examples of such causation, the activity of experts. Solving the puzzle yields a novel reading of Aristotle, one according to which experts, but not their characteristic arts or skills, are efficient causes.

In this article, I explore Aquinas’s account of divine creative activities as a type of efficient causation. I propose that Aquinas’s works hold a framework for understanding God as an efficient cause and creating as an act of divine efficient causation that makes explicit what Aquinas views to be implicit in Aristotle’s account of efficient causation. I explore Aristotelian efficient causation in depth, offering a detailed analysis of the components of Aristotelian efficient causation. After (...) this exploration, it is necessary to address what reasons Aquinas has for viewing creation as efficient causation. I explore Aquinas’s understanding of creation and relate it to Aristotle’s analysis of efficient causation, analyzing how, precisely, Aquinas’s conception of efficient causation—which includes change, creation, and conservation—aligns with Aristotle’s. Because Aquinas’s account is derivable directly from elements in Aristotle’s account, Aquinas’s account can be understood to be implied by Aristotle’s account. (shrink)

Reason and Rationality in Health and Human Services Delivery is the first book to discuss the topic of decisionmaking and services from a multidisciplinary approach. It uses theory and social considerations, not just technology, as a basis for improved services. Health and human service students and professionals will learn how to form rational and reasonable decisions that take their clients'cultural backgrounds into consideration when identifying an illness or appropriating any kind of intervention. With a particular emphasis on theories, models, organizational (...) settings, technologies, and practitioner training methods that lead to culturally sensitive decisions, Reason and Rationality will help you deliver efficient and improved medical and social services to clients from all ethnic backgrounds. Recognizing reason as the centerpiece of most of Western philosophy, this text reveals how our idea of truth, fact, and order are wrongly thought to be universal; yet, Western principles are continually used in the decision-making process for health and social services. Focusing on the policy implications of decisionmaking in medical and social service settings, this text works to incorporate a broad range of factors into the reasoning process, such as cultural traditions and beliefs, that will result in better treatment for patients. Giving you suggestions and strategies for upgrading reasoning and decision-making processes and applying them to every area of service, Reason and Rationality discusses different themes that will help you improve services to patients, such as: the rationale currently used to justify decision-making strategies concerning medical and human services using computer technology to make clinical assessments revising administrative structure, management theories, and organizational strategies so that decision-making processes enhance the overall quality of service delivery how the practitioner/patient relationship is important in choosing the proper treatment soliciting community-based input to assess the public's health and human service needs in order to lessen political involvement in decision-making stages In addition, Reason and Rationality provides information and examples that show why you should consider the "life-world"--the values, beliefs, and commitments of a culture's history-- as the key to understanding the powers of reasoning that specify parameters of health and illness. (shrink)

Which premisses should we use to start our inquiries? Which transitions during inquiry should we take next? When should we switch lines of inquiry? In this paper, I address these open questions about inquiry, formulating novel norms for such decisions during deductive reasoning. I use the first-order predicate calculus, in combination with Carnap’s state description framework, to state such norms. Using that framework, I first demonstrate some properties of sets of sentences used in deduction. I then state some norms (...) for decisions made during deductive reasoning, establishing initial benchmarks for efficient deduction by ideal reasoners. When deciding which transition to make next, reasoners should choose the most informative transition, the one that maximally reduces uncertainty in the sense of ruling out the largest number of state descriptions relevant to their inquiry. Finally, inspired by optimal foraging theory, I show that, under certain assumptions of ignorance, reasoners should change premiss sets when their information intake drops below the global average information intake across premiss sets. (shrink)

Collective rationality in its ordinary sense is rationality’s extension to groups. It does not entail efficiency by definition. Showing that it entails efficiency requires a normative argument. Game theorists treating cooperative games generally assume that collective rationality entails efficiency, but formulating the reasoning that leads individuals to efficiency, and verifying the rationality of its steps, presents challenging philosophical issues. This paper constructs a framework for addressing those issues and reaches some preliminary results about the prospects of rational agents achieving (...) efficiency in coalitional games. It concludes that only under strong idealizations does collective rationality entail efficiency. (shrink)

This paper points to some limitations of law and economics as both an explanative and a normative theory. In explaining law as the result of efficiency promoting decisions, law and economics theorists often dismiss the reasons actors in the legal system give for their behavior. Recognizing that sometimes actors may be unaware of why institutions evolve as they do, I argue that the case for dismissing reasons for action is weaker when those reasons make reference to rules of practices that (...) constitute the meaning of actions within those practices, or when they have otherwise been given well-considered defenses. In criticizing law and economics as a normative theory, I acknowledge that economic considerations are often important in deciding how to act in the personal sphere and how government should allocate its scarce resources. I argue that while the use of institutions to promote our ideals forces us to take their costs into account, it is a mistake to infer from this that the question of determining social policy is a purely economic problem, and that we should acknowledge the non-utilitarian moral ideals our law and practices promote. This is the basis of both an internal criticism--law and economics theorists have not sufficiently evaluated and weighed the value of fairness and other ideals in their utility calculations--and an external criticism-- these ideals are important in ways that can not be measured in utiles. (shrink)

I argue that agents can have duties to cooperate with one another if this increases their combined efficiency and/or efficacy in addressing ongoing collective moral problems. I call these duties cooperative duties of efficiency and efficacy. I focus particularly on collective agents and how agents ought to reason and act in the face of global moral problems. After setting out my account, I argue that a subset of cooperative duties of efficiency and efficacy of collective agents are duties of justice (...) in virtue of the roles these agents have taken up. (shrink)

This volume explores two traditions in practical philosophy: action theory, which concerns the nature of motivation for human action, and praxiology, the study of human action. By bringing different perspectives together, the volume strives to contribute to the international debate on theories of reasons for action as a philosophy of action. The volume consists of three main parts. The first part, “Reasons for Action," bridges the gap between reasons for action theories and praxiology. The second part of the volume, titled (...) “Theories of Action," explores philosophical approaches to action. Finally, in the third part, “Applications," the contributors show several ways of applying praxiological ways of thinking and acting to the problems of reflection assessment, solving action incompleteness, and knowledge management. The ultimate goal of this volume is to broaden the scientific view of action: to establish a perspective on action that is permeated by moral theories on the one hand, and accounts focused on efficiency and economy of action on the other hand. (shrink)

A principal rationale for public policy is to address market failures. Pareto efficiency is therefore a highly common and relatively non-controversial evaluative criterion for many policy analyses and is discussed at length in policy analysis texts. This makes sense, for Pareto improvements involve making at least one person better off without making anyone worse off. Who could object to that? But does efficiency deserve the prominence it enjoys in public policy? Is one policy option better than another, at least in (...) one respect, simply because it is more Pareto efficient? Or, is efficiency valuable for some other reason? In this chapter, I discuss Pareto efficiency as an evaluative criterion and argue that it is a stand-in for a more foundational criterion: wellbeing. I begin with an overview of Pareto efficiency, discuss the various ways in which it is operationalized to evaluate policy options, and argue that it is valuable insofar as more efficient states of affairs promise more wellbeing than less efficient states of affairs. I then raise questions regarding whether the conception of wellbeing presupposed by Pareto efficiency – preference satisfaction – is a defensible conception of wellbeing. I go on to introduce three alternative conceptions of wellbeing which have been proposed and defended by both philosophers and policy scholars, namely, hedonism, objective goods views, and the capability approach, and suggest ways in which each can be operationalized as an evaluative criterion. I close by discussing four ‘theory-free’ approaches to thinking about the impact of policies on the quality of people’s lives. Such approaches reject the idea that there is one single theory of wellbeing that should be used to evaluate policy options, and instead develop ways to evaluate the impact of policies on people’s lives that are not grounded in a specific theory. (shrink)

Contrasts common‐sense ideas of what is reasonable with current philosophical ideas of rational choice: maximizing self‐interest, efficiency and coherence in pursuit of one's ends, maximizing intrinsic value, and efficiency and coherence constrained by a Kantian ideal of co‐legislation. Contrary to the usual assumptions, the last corresponds more closely to common‐sense ideas than any of the other models do. This is not a proof of the Kantian ideal, or of common sense, but it calls for rethinking assumptions about self‐regarding and other‐regarding (...) reasons for action. (shrink)

The Problem Economic efficiency is naturally thought to be a virtue of social policies and decisions, and cost-benefit analysis is commonly regarded as a technique for measuring economic efficiency. It is not surprising, then, that CB analysis is so widely used in social policy analysis. However, there is a great deal of controversy about CB analysis, including controversy about its underlying philosophical rationale. The rationales that have been proposed fall into three basic, though not mutually exclusive categories. There are moralist (...) views to the effect that an acceptable CB analysis would provide, or contribute to, an ethical appraisal of proposed policies or projects. There are rationalist views to the effect that an acceptable CB analysis would contribute to the selection of social policies and projects that are “socially rational.” Finally, there are so-called management science views to the effect that the purpose of CB analysis is to promote the achievement of objectives held by the policy maker, whatever they may be. Different positions are available within each of these categories. But there is also the possibility that CB analysis lacks any viable rationale. I will examine some of the major rationales for CB analysis in this paper, and I will suggest that the last view is close to the truth. (shrink)

In contrast to the recent trend of taking external world skepticism as a narrow problem for a demanding conception of "objective" or "certain" knowledge about the world, my thesis offers a re-examination of the distinctively perceptual basis of the skeptical problem. On my view the skeptic challenges the very possibility of rationally justifying beliefs in so far as they are based on sense experience, a characterization that helps to explain the continuity into the modern period of the ancient skeptical challenge (...) to the pretensions of reason. What is newly radical in external world skepticism is the discovery of the inner realm of the mind, and hence, of inner states as a component of every sense experience. ;I argue that the skeptic relies upon a distinctive, intuitively compelling, conception of sense experience which I call the causal model of experience. This is the view that experience is constituted by self-standing subjective experiences and their external causes, where cause and effect are logically distinct existences. The causal model is not to be identified with a view of perception as epistemically mediated by a "veil of ideas", though it can lead one to embrace that doctrine. My aim is twofold: to understand the motivation for the skeptic's causal model of experience; and to show that, when thought through, this model can ultimately be shown to be incoherent. ;The causal model has its roots in 17th century scientific metaphysics and the idea that the world can be exhaustively explained in terms of mechanical interactions between primary-qualified corpuscles governed by mathematically describable laws. I argue that the perceptual relation is not a mere efficient causal relation and I show that the skeptic is in the incoherent position of wanting a "private" language to describe his subjective experiences despite insisting on conditions of autonomy that deprive his terms of the normativity that is a necessary condition of meaning. Thus I do not answer the skeptical problem so much as undercut the basis upon which it is posed in the first place. (shrink)

In recent years, while extensive researches on various networks properties have been proposed and accomplished, little has been proposed and done on network robustness and node vulnerability assessment under cascades in directed large-scale online community networks. In essential, an online directed social network is a group-centered and information spread-dominated online platform which is very different from the traditional undirected social network. Some further research studies have indicated that the online social network has high robustness to random removals of nodes but (...) fails to the intentional attacks, particularly to those attacks based on node betweenness or node directed coefficient. To explore on the robustness of directed social network, in this article, we have proposed two novel node centralities of ITG and I M p v. These two new centrality models are designed to capture this cascading effect in directed online social networks. Furthermore, we also propose a new and highly efficient computing method based on iterations for I M p v. Then, with the abundant experiments on the synthetic signed network and real-life networks derived from directed online social media and directed human mobile phone calling network, it has been proved that our ITG and I M p v based on directed social network robustness and node vulnerability assessment method is more accurate, efficient, and faster than several traditional centrality methods such as degree and betweenness. And we also have proposed the solid reasoning and proof process of iteration times k in computation of I M p v. To the best knowledge of us, our research has drawn some new light on the leading edge of robustness on the directed social network. (shrink)

Many countries tightly ration access to publicly funded fertility treatments such as in vitro fertilisation. One basis for excluding people from access to IVF is their body mass index. In this paper, I consider a number of potential justifications for such a policy, based on claims about effectiveness and cost-efficiency, and reject these as unsupported by available evidence. I consider an alternative justification: that those whose subfertility results from avoidable behaviours for which they are responsible are less deserving of treatment. (...) I ultimately stop short of endorsing or rejecting such a justification, though highlight some reasons for thinking it is unlikely to be practicable. (shrink)

The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for efficient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozinskii, which happen to suit well the context of our (...) work. The outcome are paraconsistent logics with a lot of desirable properties.1. (shrink)

The concept of efficient causation originates with Aristotle, who states that the types of cause include ‘the primary source of the change or rest’. For Medieval Aristotelians, the scope of efficient causality includes creative acts. The Islamic philosopher Avicenna is an important contributor to this conceptual change. In his Metaphysics, Avicenna defines the efficient cause or agent as that which gives being to something distinct from itself. As previous studies of Avicenna's ‘metaphysical’ conception of the efficient (...) cause attest, it takes God as a model agent. This essay considers whether Avicenna's ‘metaphysical’ conception of the efficient cause applies to natural agents. It ultimately argues that Avicenna offers a unified view of the efficient cause, which includes both divine and natural agents. On this view, an efficient cause gives being to another and is simultaneous with its effect. While Avicenna's defence of this view is an important chapter in the history of the concept of the efficient cause, it is also of interest in its own right. By appeal to a version of the principle of sufficient reason, it challenges a widespread view that causes are temporally prior to their effects. (shrink)

In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other; and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a (...) discussion of the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. The following chapters deal with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. The final chapter discusses the achievements in the field in the light of the Yale shooting example. The book will be welcomed by researchers in theoretical computer science and artificial intelligence. (shrink)

An agent's character is often revealed in the contents of her practical reasoning, in the considerations to which she is sensitive and how she is moved by them, in the acts she considers, the ends she adopts, and in how she plans for the present and the future. According to an influential view, we can distinguish the assessment of practical thought as good or bad reasoning from its assessment as an expression of character. For instance, we might think (...) that good reasoning is a matter of practical rationality, or that it is a matter of means-end efficiency, and that, while efficiency and rationality are virtues, they are independent of the virtues of character. Against this view, I argue that an agent has phronesis---the virtue of practical reason---just in case she has the virtues of character in her dispositions of practical thought. ;In Chapter One, I consider the view that phronesis consists in practical rationality. I argue that, even on the most charitable reading, this view is false. Once we set aside interpretations of "practical rationality" on which it would be trivial or absurd to claim that it constitutes phronesis, we are left with an interpretation on which practical irrationality is analogous to moral culpability. Practical irrationality involves a culpable failure of practical reasoning, and since not every instance of bad practical reasoning is culpable, practical rationality is necessary but not sufficient for phronesis. ;In Chapter Two, I argue against the instrumentalist view that phronesis consists in means-end efficiency, and I present a general argument for the "virtue theory," according to which the dispositions of practical reasoning involved in the virtues of character are essential to phronesis. The argument is that alternative views need to motivate their restrictions on the range of virtues that matter to phronesis, as something other than arbitrary, and that the relevant attempts at motivation fall. ;Chapter Three rebuts a number of objections to the view developed so far. I end with some tentative remarks about the status of moral reasons, and about the need for a substantive metaphysics of virtue. (shrink)

Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency – as though these inferences were a reflexive response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge. This remarkable human ability seems paradoxical given the complexity of reasoning reported by researchers in artificial intelligence. It also poses a challenge for cognitive science and computational neuroscience: How can a system of simple and slow neuronlike elements represent a (...) large body of systemic knowledge and perform a range of inferences with such speed? We describe a computational model that takes a step toward addressing the cognitive science challenge and resolving the artificial intelligence paradox. We show how a connectionist network can encode millions of facts and rules involving n-ary predicates and variables and perform a class of inferences in a few hundred milliseconds. Efficient reasoning requires the rapid representation and propagation of dynamic bindings. Our model (which we refer to as SHRUTI) achieves this by representing (1) dynamic bindings as the synchronous firing of appropriate nodes, (2) rules as interconnection patterns that direct the propagation of rhythmic activity, and (3) long-term facts as temporal pattern-matching subnetworks. The model is consistent with recent neurophysiological evidence that synchronous activity occurs in the brain and may play a representational role in neural information processing. The model also makes specific psychologically significant predictions about the nature of reflexive reasoning. It identifies constraints on the form of rules that may participate in such reasoning and relates the capacity of the working memory underlying reflexive reasoning to biological parameters such as the lowest frequency at which nodes can sustain synchronous oscillations and the coarseness of synchronization. (shrink)

Does the seller of a house have to tell the buyer that the water is turned off twelve hours a day? Does the buyer of a great quantity of tobacco have to inform the seller that the military blockade of the local port, which had depressed tobacco sales and lowered prices, is about to end? Courts say yes in the first case, no in the second. How can we understand the difference in judgments? And what does it say about whether (...) the psychiatrist should disclose to his patient's girlfriend that the patient wants to kill her? Kim Lane Scheppele answers the question, Which secrets are legal secrets and what makes them so? She challenges the economic theory of law, which argues that judges decide cases in ways that maximize efficiency, and she shows that judges use equality as an important principle in their decisions. In the course of thinking about secrets, Scheppele also explores broader questions about judicial reasoning--how judges find meaning in legal texts and how they infuse every fact summary with the values of their legal culture. Finally, the specific insights about secrecy are shown to be consistent with a general moral theory of law that indicates what the content of law should be if the law is to be legitimate, a theory that sees legal justification as the opportunity to attract consent. This is more than a book about secrets. It is also a book about the limits of an economic view of law. Ultimately, it is a work in constructive legal theory, one that draws on moral philosophy, sociology, economics, and political theory to develop a new view of legal interpretation and legal morality. (shrink)

Suppose a driverless car encounters a scenario where harm to at least one person is unavoidable and a choice about how to distribute harms between different persons is required. How should the driverless car be programmed to behave in this situation? I call this the moral design problem. Santoni de Sio defends a legal-philosophical approach to this problem, which aims to bring us to a consensus on the moral design problem despite our disagreements about which moral principles provide the correct (...) account of justified harm. He then articulates an answer to the moral design problem based on the legal doctrine of necessity. In this paper, I argue that Santoni de Sio’s answer to the moral design problem does not achieve the aim of the legal-philosophical approach. This is because his answer relies on moral principles which, at least, utilitarians have reason to reject. I then articulate an alternative reading of the doctrine of necessity, and construct a partial answer to the moral design problem based on this. I argue that utilitarians, contractualists and deontologists can agree on this partial answer, even if they disagree about which moral principles offer the correct account of justified harm. (shrink)

Two experiments were conducted with variants of Wason's (1966) selection task. The common focus was the effect of differences in the sizes of the sets represented by P and not-Q in assertions of the form _If P then Q_ (conditional) or _All P are Q_ (categorical). Results support the conclusion that such set size differences affect the strategies people adopt when asked to determine, efficiently, the truth or falsity of such assertions, but they do not entirely negate the tendency to (...) select the term represented by P (the antecedent of the conditional or the subject of the categorical) in preference to the term represented by not-Q (the complement of the consequent of the conditional or the complement of the predicate of the categorical). Several possible explanations of this perseverance are considered. Results also support the conclusion that people find it easier to assess categorical assertions than logically equivalent conditional assertions. (shrink)

An extended analysis compared to observations shows that modern “globalised” world civilisation has passed through the invisible “complexity threshold”, after which usual “spontaneous”, empirically driven kind of development (“invisible hand” etc.) cannot continue any more without major destructive tendencies. A much deeper, non-simplified understanding of real interaction complexity is necessary in order to cope with such globalised world development problems. Here we introduce the universal definition, fundamental origin, and dynamic equations for a major related quantity of (systemic) risk characterising real (...) complex system development tendencies at any level of dynamics. Practically important conclusions are derived, opening further detailed applications in economy, finance and development practice. (shrink)

When unmanned underwater vehicles perform tasks, the marine environment situation information perceived by their sensors is insufficient and cannot be shared; moreover, the reasoning efficiency of the situation information is not high. To deal with these problems, this paper proposes an ontology-based situation awareness information expression method, using the Bayesian network method to reason about situation information. First, the situation awareness information is determined in uncertain events when performing tasks in the marine environment. The core and application ontologies of (...) UUV situation awareness are also established. Subsequently, semantic rules are constructed, and uncertain events are identified through the corresponding semantic rules. The Jess inference engine is used to update the ontology model. Because the ontology cannot reason about uncertainty, it is transformed into the Bayesian network to reason about the impacts of uncertain events on tasks. Simulation experiments verify the effectiveness and accuracy of the situation awareness reasoning method that combines the ontology and the Bayesian network. (shrink)