The semantic automata framework, developed originally in the 1980s, provides computational interpretations of generalized quantifiers. While recent experimental results have associated structural features of these automata with neuroanatomical demands in processing sentences with quantifiers, the theoretical framework has remained largely unexplored. In this paper, after presenting some classic results on semantic automata in a modern style, we present the first application of semantic automata to polyadic quantification, exhibiting automata for iterated quantifiers. We also discuss the role of semantic automata in (...) linguistic theory and offer new empirical predictions for sentence processing with embedded quantifiers. (shrink)

Existing research suggests that people's judgments of actual causation can be influenced by the degree to which they regard certain events as normal. We develop an explanation for this phenomenon that draws on standard tools from the literature on graphical causal models and, in particular, on the idea of probabilistic sampling. Using these tools, we propose a new measure of actual causal strength. This measure accurately captures three effects of normality on causal judgment that have been observed in existing studies. (...) More importantly, the measure predicts a new effect ("abnormal deflation"). Two studies show that people's judgments do, in fact, show this new effect. Taken together, the patterns of people's causal judgments thereby provide support for the proposed explanation. (shrink)

Theories of rational decision making often abstract away from computational and other resource limitations faced by real agents. An alternative approach known as resource rationality puts such matters front and center, grounding choice and decision in the rational use of finite resources. Anticipated by earlier work in economics and in computer science, this approach has recently seen rapid development and application in the cognitive sciences. Here, the theory of rationality plays a dual role, both as a framework for normative assessment (...) and as a source of scientific hypotheses about how mental processes in fact work. The latter project, often called rational analysis, depends for its success on a fine-grained characterization of the computational problem facing a decision maker, which may in turn depend on realistic assumptions about what the relevant agent is like. As a consequence, resource rationality involves a delicate, but often fruitful interplay between the normative and the descriptive. (shrink)

While Bayesian models have been applied to an impressive range of cognitive phenomena, methodological challenges have been leveled concerning their role in the program of rational analysis. The focus of the current article is on computational impediments to probabilistic inference and related puzzles about empirical confirmation of these models. The proposal is to rethink the role of Bayesian methods in rational analysis, to adopt an independently motivated notion of rationality appropriate for computationally bounded agents, and to explore broad conditions under (...) which Bayesian agents would be rational. The proposal is illustrated with a characterization of costs inspired by thermodynamics. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

While pragmatic arguments for numerical probability axioms have received much attention, justifications for axioms of qualitative probability have been less discussed. We offer an argument for the requirement that an agent’s qualitative judgments be probabilistically representable, inspired by, but importantly different from, the Money Pump argument for transitivity of preference and Dutch book arguments for quantitative coherence. The argument is supported by a theorem, to the effect that a subject is systematically susceptible to dominance given her preferred acts, if and (...) only if the subject’s comparative judgments preclude representation by a standard probability measure. (shrink)

The provability logic of a theory $T$ is the set of modal formulas, which under any arithmetical realization are provable in $T$. We slightly modify this notion by requiring the arithmetical realizations to come from a specified set $\Gamma$. We make an analogous modification for interpretability logics. We first study provability logics with restricted realizations and show that for various natural candidates of $T$ and restriction set $\Gamma$, the result is the logic of linear frames. However, for the theory Primitive (...) Recursive Arithmetic (PRA), we define a fragment that gives rise to a more interesting provability logic by capitalizing on the well-studied relationship between PRA and I$\Sigma_1$. We then study interpretability logics, obtaining upper bounds for IL(PRA), whose characterization remains a major open question in interpretability logic. Again this upper bound is closely related to linear frames. The technique is also applied to yield the nontrivial result that IL(PRA) $\subset$ ILM. (shrink)

We present a formal system for reasoning about inclusion and exclusion in natural language, following work by MacCartney and Manning. In particular, we show that an extension of the Monotonicity Calculus, augmented by six new type markings, is sufficient to derive novel inferences beyond monotonicity reasoning, and moreover gives rise to an interesting logic of its own. We prove soundness of the resulting calculus and discuss further logical and linguistic issues, including a new connection to the classes of weak, strong, (...) and superstrong negative polarity items. (shrink)

The semantic automata framework, developed originally in the 1980s, provides computational interpretations of generalized quantifiers. While recent experimental results have associated structural features of these automata with neuroanatomical demands in processing sentences with quantifiers, the theoretical framework has remained largely unexplored. In this paper, after presenting some classic results on semantic automata in a modern style, we present the first application of semantic automata to polyadic quantification, exhibiting automata for iterated quantifiers. We also discuss the role of semantic automata in (...) linguistic theory and offer new empirical predictions for sentence processing with embedded quantifiers. (shrink)

A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬BOXp, read as “p is true but you do not know p.” Not only is the (...) Moore sentence unsuccessful, it is self-refuting, for it never remains true as described. We show that in logics of knowledge and belief for a single agent (extended by S5), Moorean phenomena are the source of all self-refutation; moreover, in logics for an introspective agent (extending KD45), Moorean phenomena are the source of all unsuccessfulness as well. This is a distinctive feature of such logics, for with a non-introspective agent or multiple agents, non-Moorean unsuccessful formulas appear. We also consider how successful and self-refuting formulas relate to the Cartesian and learnable formulas, which have been discussed in connection with Fitch’s “paradox of knowability.” We show that the Cartesian formulas are exactly the formulas that are not eventually self-refuting and that not all learnable formulas are successful. In an appendix, we give syntactic characterizations of the successful and the self-refuting formulas. (shrink)

In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown to result from Kratzer’s (1991) semantics by Yalcin (2006, 2009, 2010). In contrast to the alternative semantics presented by Yalcin and Lassiter (2010, 2011), based on finitely additive probability measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of Kratzer (1991). All of these (...) semantics avoid the entailment problems that result from Kratzer’s semantics. Our discussion focuses on methodological issues concerning the choice between different semantics. (shrink)

Existing research has shown that norm violations influence causal judgments, and a number of different models have been developed to explain these effects. One such model, the necessity/sufficiency model, predicts an interac- tion pattern in people’s judgments. Specifically, it predicts that when people are judging the degree to which a particular factor is a cause, there should be an interaction between (a) the degree to which that factor violates a norm and (b) the degree to which another factor in the (...) situation violates norms. A study of moral norms (N = 1000) and norms of proper functioning (N = 3000) revealed robust evidence for the predicted interaction effect. The implications of these patterns for existing theories of causal judgments is discussed. (shrink)

While much of semantic theorizing is based on intuitions about logical phenomena associated with linguistic constructions—phenomena such as consistency and entailment—it is rare to see axiomatic treatments of linguistic fragments. Given a fragment interpreted in some class of formally specified models, it is often possible to ask for a characterization of the reasoning patterns validated by the class of models. Axiomatizations provide such a characterization, often in a perspicuous and efficient manner. In this paper, we highlight some of the benefits (...) of providing axiomatizations for the purpose of semantic theorizing. We illustrate some of these benefits using three examples from the study of modality. (shrink)

This paper studies connections between two alternatives to the standard probability calculus for representing and reasoning about uncertainty: imprecise probability andcomparative probability. The goal is to identify complete logics for reasoning about uncertainty in a comparative probabilistic language whose semantics is given in terms of imprecise probability. Comparative probability operators are interpreted as quantifying over a set of probability measures. Modal and dynamic operators are added for reasoning about epistemic possibility and updating sets of probability measures.

We prove that the generalized cancellation axiom for incomplete comparative probability relations introduced by Rios Insua and Alon and Lehrer is stronger than the standard cancellation axiom for complete comparative probability relations introduced by Scott, relative to their other axioms for comparative probability in both the finite and infinite cases. This result has been suggested but not proved in the previous literature.

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...) First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...) many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitu- tion core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with (...) infinitely many agents, PAL-Kω , as well as standard extensions thereof, e.g., PAL-Tω , PAL-S4ω, and PAL-S5ω. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

The emergence of ethical controversy -- First embryo research regimes -- The ethics of embryonic stem cell research -- Stem cell and cloning politics.

Understanding the development and practice of power based on an in-depth observation of human psychology has been a part of traditional Chinese thought for thousands of years and is considered a prerequisite for mastering the arts of strategy and leadership. "Thunder in the Sky" presents two secret classics of this ancient Chinese tradition. The commentary by Thomas Cleary the renowned translator of dozens of Asian classics highlights the contemporary application of these teachings.

We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof standards to determine the acceptability of statements on an issue-by-issue basis. The model uses different types of premises (ordinary premises, assumptions and exceptions) and information about the dialectical status of statements (stated, questioned, accepted or rejected) to allow the burden of proof to be allocated to the proponent or the respondent, as appropriate, for each premise separately. (...) Our approach allows the burden of proof for a premise to be assigned to a different party than the one who has the burden of proving the conclusion of the argument, and also to change the burden of proof or applicable proof standard as the dialogue progresses from stage to stage. Useful for modeling legal dialogues, the burden of production and burden of persuasion can be handled separately, with a different responsible party and applicable proof standard for each. Carneades enables critical questions of argumentation schemes to be modeled as additional premises, using premise types to capture the varying effect on the burden of proof of different kinds of questions. (shrink)

The Pleadings Game is a normative formalization and computational model of civil pleading, founded in Roberty Alexy''s discourse theory of legal argumentation. The consequences of arguments and counterarguments are modelled using Geffner and Pearl''s nonmonotonic logic,conditional entailment. Discourse in focussed using the concepts of issue and relevance. Conflicts between arguments can be resolved by arguing about the validity and priority of rules, at any level. The computational model is fully implemented and has been tested using examples from Article Nine of (...) the Uniform Commercial Code. (shrink)

Authors of books on business ethics and corporate social responsibility fall into two general approaches when they answer the question: Why should a business firm, which represents private property, have greater obligations to the local community than an ordinary citizen? Authors generally subscribe to a rights approach or to a power model. This paper will present four rights approaches and three power models which are used to describe the relationship of the firm to society. Introducing these different approaches and models (...) will be two brief expositions which provide the setting for determining the relationship of a firm to society. The first traces two lines to the development of the contemporary American corporation. The second views the business corporation as a quasi-public institution. (shrink)

Many individuals with developmental language disorder (DLD) and individuals who are deaf or hard of hearing (D/HH) have social–emotional problems, such as social difficulties, and show signs of aggression, depression, and anxiety. These problems can be partly associated with their executive functions (EFs) and theory of mind (ToM). The difficulties of both groups in EF and ToM may in turn be related to self-directed speech (i.e., overt or covert speech that is directed at the self). Self-directed speech is thought to (...) allow for the construction of non-sensory representations (i.e., representations that do not coincide with direct observation). Such non-sensory representations allow individuals to overcome the limits set upon them by the senses. This ability is constrained by the development of word meaning structure (i.e., the way words are understood). We argue that the greater ability to construct non-sensory representations may result in more enhanced forms of EF and ToM. We conclude that difficulties in EF, ToM, and social–emotional functioning in those with hearing and language problems may be accounted for in terms of word meaning impairments. We propose that word meaning structure and self-directed speech should be considered in assigning EF and ToM treatments to individuals with DLD and those who are D/HH. (shrink)

The reaction to Darwin's Origin of Species varied in many countries according to the roles played by national scientific institutions and traditions and the attitudes of religious and political groups. The contributors to this volume, including M. J. S. Hodge, David Hull, and Roberto Moreno, gathered in 1972 at an international conference on the comparative reception of Darwinism. Their essays look at early pro- and anti-Darwinism arguments, and three additional comparative essays and appendices add a larger perspective. For this paperback (...) edition, Thomas F. Glick has added a new preface commenting on recent research. (shrink)

What does religion contribute to business ethics? Related to the practical, religion applies theological concepts to business situations; namely, vocation, stewardship, human dignity, co-creation, co-conservation, sharing in God's power, servant leadership, encounter with the Incarnation, sacramental sign and justice (divine and human). These concepts suggest the threefold component of religion: doctrine (creed), worship (cult) and values governing behavior (code). A principle taken from religious practice illustrates its unique contribution to business ethics. The principle of proportionality (or double effect) exemplifies code (...) in its balancing of good and evil outcomes. The more contemporary principle called the fundamental option identifies the role of vocation and calling in the notion of creed. The component cult might be reflected in the insistence on human dignity which is highlighted in papal social teaching. (shrink)

We present a high-level declarative programming language for representing argumentation schemes, where schemes represented in this language can be easily validated by domain experts, including developers of argumentation schemes in informal logic and philosophy, and serve as executable specifications for automatically constructing arguments, when applied to a set of assumptions. This new rule language for representing argumentation schemes is validated by using it to represent twenty representative argumentation schemes.

On 26 February 1616 Galileo was ordered to cease to defend heliocentrism in any way whatsoever. This order, called a precept, automatically applied to anything he might later attempt to publish on the subject. Issued at the end of his first trial by the Roman Inquisition, the precept became the spark that triggered his second trial in 1632–3 and figured importantly in the justification of his sentence. This precept has been a subject of controversy since the late nineteenth century for (...) its authenticity, legality and legitimacy. This paper addresses the first two points and establishes the facts of what probably happened in 1616. It does so by examining seven texts that bear on the event. All but one of these agree tolerably well that Galileo did indeed receive the precept in the strongest form. An examination of the singleton text in the context of how the Inquisition produced and kept its records as well as of its procedures and personnel shows that it is the least reliable source. This context also supports the argument that certainty about what happened is impossible to achieve. The theory that the document most damaging to Galileo was a forgery is also disposed of. Examination of the crucial phrase successive ac incontinenti in one of the documents supports the paper's suggestion that more caution is in order before accepting the currently nearly universal claim that the precept was improper in law. (shrink)

Rights, justice, and power raise many interesting questions. Why do such basic concepts as rights and justice have such differentpoints of concern—equality, proportionality, medium rei (moderation or the middle of the thing itself without reference to the person using it)? Why are there such different perspectives in philosophy, theology, and law? Why is the notion of power in business ethics so isolated from the general discussion of applied justice in treatises on business contracts, employee relations, and in other related topics? (...) Discussions of power seemed parallel with discussions of justice. The two did not seem to intersect.In this paper I shall argue that rights, power, and justice are interrelated. While natural rights are the basis for justice, rights cannotbe realized nor justice become operative without power. I shall call this relationship and the theory underlying it “Transforming Justice.”One of the basic concerns of this article is to notice the lack of interaction between rights and power in the traditional theories ofjustice. Granted that for many philosophers it is sufficient to determine what is just. But the notion of justice as an active virtue that persons are to exercise in their dealings with others goes further. It touches the realities of life that every person experiences. Life doesnot separate rights from power. Reflection upon the current separation of rights from power both in theory and in action is analogous to the separation of the “sensory” from the “imaginative” in art and in life. The urge to devise a framework of justice that brings out thewholeness of its existential being is the underlying rationale for developing a theory of transforming justice. Another purpose fordeveloping a theory of transforming justice is to suggest a conceptual framework of business ethics and corporate social responsibility that incorporates values, rights, power, and virtue. Authors and teachers approach these issues either from a value (or rights/justice)perspective or from the view that institutions respond only to those who exercise power (apart from legitimate claims). Thus, it isnecessary for a conceptual framework to incorporate the dynamics of power and the qualifying aspects of rights or claims.A natural law approach to justice and rights argues that humans have certain basic rights that others, whether humans or institutions(regardless of source), are required to respect. Natural rights theory places the burden or duty on each individual to respect the rights ofevery other person. In addition, justice is usually defined by natural law theorists as “giving each person his or her due,” what is requiredby natural rights, what is owed, earned, or deserved. But its applications fall short of reality. It raises other questions. How does one person get another to give him what is “his due”? How are duties and claims entailed by natural rights enforced in practice? The notionof transforming justice attempts to answer these questions. (shrink)

Carneades is an open source argument mapping application and a programming library for building argumentation support tools. In this paper, Carneades’ support for argument reconstruction, evaluation and visualization is illustrated by modeling most of the factual and legal arguments in Popov v Hayashi.

Everything about us today tells us that we live in a world which will be increasingly dominated by empirical and theoretic science. This is the world in which the Church lives and proclaims its message about Jesus Christ. It is not an alien world, for it is in this world of space and time that God has planted us. He made the universe and endowed man with gifts to investigate and understand it. Just as he made life to produce itself, (...) so he has made the universe with man as an essential constituent in it, that it may bring forth and articulate knowledge of itself. Regarded in this light the pursuit of science is one of the ways in which man exercises the dominion in the earth which he was given at his creation. That is how, for example, Francis Bacon understood the work of human science, as man's obedience to God. Science is a religious duty, while man as scientist can be spoken of as the priest of creation , whose task it is to interpret the books of nature, to understand the universe in its wonderful structures and harmonies, and to bring it all into orderly articulation, so that it fulfils its proper end as the vast theatre of glory in which the creator is worshipped and praised. Nature itself is dumb, but it is man's part to bring it to word, to be its mouth through which the whole universe gives voice to the glory and majesty of the living God. (shrink)

This groundbreaking work was the first to propose an inquiry into the forms, dynamics, and constructs of educational policy. This fine book remains the only treatment of educational policy incorporating an account of the differences between various kinds of educational goods. Professor Green explored the nature of policy and prospects for the future, and it is a rare treat that we can now (more than fifteen years later) revisit the text to discover his uncanny accuracy.

The vulnerability of participants in Substance Abuse and Mental Health Services Administration (SAMHSA) programs is a consequence of the illnesses that they are experiencing; ethical guarantees must be in place that ensure the dignity of the persons involved in such programs. Dignity is more than an individual concern; it has individual, institutional, and societal dimensions. An ethical framework is proposed that involves the interrelated vulnerabilities and needs of individuals and communities and our societal response to them. Among the issues given (...) particular attention are individual and community stigmatization, target population involvement in program planning, balance with regard to confidentiality and privacy, the place of proportionality grounded in a rich sense of community as a guiding ethical principle, and guidelines for SAMHSA programs. (shrink)