We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the 'information-friendly' language of Hintikka and Sandu. For first-order formulas the semantics reduces to Tarski's semantics for first-order logic. We prove that two formulas have the same (...) interpretation in all structures if and only if replacing an occurrence of one by an occurrence of the other in a sentence never alters the truth-value of the sentence in any structure. (shrink)

: I briefly reprise a few themes of my bookMoral Understandingsin order to address some questions about responsibility and justification. I argue for a thoroughly situated and naturalized view of moral justification that warns us not to take moral universalism too easily at face value. I also argue for the significance of reports of experience, among other kinds of empirical evidence, in testing the habitability of moral forms of life.

We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.

We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.

We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.

In the US, research payments are technically taxable income. This article argues that tax liability is a form of possible economic and legal risk of paid research participation. Findings are presented from empirical research on Phase I healthy volunteer trials. The article concludes by discussing the implications of these findings for the informed consent process, as well as for broader ethical issues in whether and how payments for research participation should be regulated.

Philosopher Ludwig Wittgenstein had an enormous influence on twentieth-century philosophy even though only one of his works, the famous Tractatus Logico-Philosophicus, was published in his lifetime. Beyond this publication the impact of his thought was mainly conveyed to a small circle of students through his lectures at Cambridge University. Fortunately, many of his ideas have survived in both the dictations that were subsequently published, and the notes taken by his students, among them Alice Ambrose and the late Margaret Macdonald, (...) from 1932 to 1935. These notes, now edited by Professor Ambrose, are here published, and they shed much light on Wittgenstein's philosophical development. Among the topics considered are the meaning of a word and its relation to common usage, rules of grammar and their relation to fact, the grammar of first person statements, language games, and the nature of philosophy. This volume is indispensable to any serious discussion of Wittgenstein's work. (shrink)

Brain–computer interfaces are a form of technology that read a user’s neural signals to perform a task, often with the aim of inferring user intention. They demonstrate potential in a wide range of clinical, commercial, and personal applications. But BCIs are not always simple to operate, and even with training some BCI users do not operate their systems as intended. Many researchers have described this phenomenon as “BCI illiteracy,” and a body of research has emerged aiming to characterize, predict, and (...) solve this perceived problem. However, BCI illiteracy is an inadequate concept for explaining difficulty that users face in operating BCI systems. BCI illiteracy is a methodologically weak concept; furthermore, it relies on the flawed assumption that BCI users possess physiological or functional traits that prevent proficient performance during BCI use. Alternative concepts to BCI illiteracy may offer better outcomes for prospective users and may avoid the conceptual pitfalls that BCI illiteracy brings to the BCI research process. (shrink)

The provenance of “naturalized epistemology,” so called, is too recent for the hand of Quine not to be still heavily upon it. But like its older relative, “naturalism,” it is an idea rich enough to be coveted, and protean enough to be claimed, by diverse comers with different things in mind. While Quine's version of naturalized epistemology of science inevitably furnishes the backdrop for current discussion of naturalizing moral epistemology, it is important to pause over what “naturalized epistemology” can and (...) should mean in ethics. To what extent is Quine's example of an epistemologyofscience that helps itselfto sciencethe model for understanding knowledge of and in morality? Does it require a view of moral knowledge as reducible to, or in a fundamental way furnished by, science? Or a view of moral theory as sciencelike in some way? I argue that the appropriate analogy is instead a holistic and reflexive epistemology of morality that helps itself to moral judgments and standards seen as answerable to the experience of the kinds of shared lives they make possible and necessary. This approach neither privileges nor rejects wholesale what scientific inquiries might have to say. (shrink)

This first scholarly edition in English of the philosophical writings of Novalis (Friedrich von Hardenberg), the German Romantic poet, philosopher, and mining engineer, includes two collections of fragments published in 1798, Miscellaneous Observations and Faith and Love, the controversial essay Christendom or Europe, and substantial selections from his unpublished notebooks.

Around the globe people are confronted daily with intransigent problems of space and place. Educators have historically called for place-based or place-conscious education to introduce pedagogies that will address such questions as how to develop sustainable communities and places. These calls for place-conscious education have included liberal humanist approaches that evolved from the work of Wendell Berry (Ball & Lai, 2006) and critical place-based approaches such as those advocated by David Gruenewald (e.g. Gruenewald, 2003a, 2003b). In this paper I will (...) propose a reconceptualized framework of place as a pedagogical practice that draws on contemporary feminist poststructural and postcolonial philosophies as a basis for an alternative place pedagogy for 'global contemporaneity' (Carter, 2006, p. 683). Within this reconceptualized concept of place I will outline three key principles for a reconceptualised place pedagogy: our relationship to place is constituted in stories and other representations; place learning is local and embodied; and deep place learning occurs in a contact zone of contestation. These principles give rise to new emergent arts-based methodologies for developing and practising place-responsive pedagogies. (shrink)

Many contexts shape and limit moral thinking in philosophy and life. Human conditions of vulnerability and interdependency, of limited awareness and control, of imperfect insight into ourselves and others are inevitable contexts that neither moral thought nor theory should forget. To be truly reflective, moral thinking and moral philosophy must become aware of the contexts that bind our thinking about how to live. This collection of essays by Margaret Urban Walker seek to show how to do this, and why (...) it makes a difference. Contingent and changeable contexts that shape moral thinking include our individual histories, our social positions, and institutional roles, relationships, cultural settings, and social arrangements, and the specific moral idioms we pick up along the way. The paradigms and specialized language of ethical theory are contexts, too; they shape how moral theory looks and what or whom it looks at. Ethical theory and practice are meaningless without these Moral Contexts. (shrink)

BackgroundMoral distress (MD) is an emotional and psychological response to morally challenging dilemmas. Moral distress is experienced frequently by nurses in the intensive care unit (ICU) and can result in emotional anguish, work dissatisfaction, poor patient outcomes, and high levels of nurse turnover. Opportunities to discuss ethically challenging situations may lessen MD and its associated sequela.ObjectiveThe purpose of this project was to develop, implement, and evaluate the impact of nursing ethics huddles on participants’ MD, clinical ethics knowledge, work satisfaction, and (...) patient care among ICU nurses.Sample and SettingThe sample, 32 nurses from three ICU settings in an 800-bed tertiary academic medical center, participated in six nursing ethics huddles over a two-month period.MethodsAlvita K. Nathaniel’s Theory of Moral Reckoning guided development of the nursing ethics huddle process.1 The Moral Distress Thermometer was administered at three data points: baseline level of MD, and pre- and post-huddle to determine changes in the subjects’ level of MD.2 Focused content analysis was used to analyze qualitative responses from questionnaires about the subjects’ perception of the effect of the huddles on work satisfaction and patient care. Knowledge attainment was evaluated via open-ended short-answer questions.ResultsOverall, use of nurse-ethicist-led nursing ethics huddles was associated with improved quality of work life, patient care, and clinical ethics knowledge. The change in pre- and post-nursing ethics huddles MD scores was statistically significant (p < 0.0001). (shrink)

: International instruments now defend a "right to the truth " for victims of political repression and violence and include truth telling about human rights violations as a kind of reparation as well as a form of redress. While truth telling about violations is obviously a condition of redress or repair for violations, it may not be clear how truth telling itself is a kind of reparations. By showing that concerted truth telling can satisfy four features of suitable reparations vehicles, (...) I defend the idea that politically implemented modes of truth telling to, for, and by those who are victims of gross violation and injustice may with good reason be counted as a kind of reparations. Understanding the doubly symbolic character of reparations, however, makes clearer why truth telling is unlikely to be sufficient reparation for serious wrongs and is likely to be sensitive to the larger context of reparative activity and its social, political, and historical background. (shrink)

The paper analyses what is said and what is presupposed by thePrinciple of Compositionality for semantics, as it is commonly stated. ThePrinciple of Compositionality is an axiom which some semantics satisfy andsome don’t. It says essentially that if two expressions have the same meaning then they make the same contribution to the meanings of expressionscontaining them. This is a sensible axiom only if one combines it with aconverse, that if two expressions make the same contribution to the meanings of sentences (...) containing them, then they have the same meaning;and some assumption that two expressions which can’t meaningfully besubstituted for each other have different meanings. as a full abstraction principle, and as ‘Husserl’s principle’.) Moreoverthe Principle of Compositionality speaks only about when two expressionshave the same meaning; it adds nothing whatever about what that meaningmight be . Some recent discussions by writers in linguistics and logic are assessed. The paper finishes by reviewing thehistory of the notion of compositionality. (shrink)

In Baghdad in the mid twelfth century Abū al-Barakāt proposes a radical new procedure for finding the conclusions of premise-pairs in syllogistic logic, and for identifying those premise-pairs that have no conclusions. The procedure makes no use of features of the standard Aristotelian apparatus, such as conversions or syllogistic figures. In place of these al-Barakāt writes out pages of diagrams consisting of labelled horizontal lines. He gives no instructions and no proof that the procedure will yield correct results. So the (...) reader has to work out what his procedure is and whether it is correct. The procedure turns out to be insightful and entirely correct, but this paper may be the first study to give a full description of the procedure and a rigorous proof of its correctness. (shrink)

A number of authors, Including Thomas Schelling and David Lewis, have envisaged a model of the generation of action in coordination problems in which salience plays a crucial role. Empirical studies suggest that human subjects are likely to try for the salient combination of actions, a tendency leading to fortunate results. Does rationality dictate that one aim at the salient combination? Some have thought so, Thus proclaiming that salience is all that is needed to resolve coordination problems for agents who (...) are rational in the sense of game theory. I argue against this position; rational agents will not necessarily aim for the salient. It remains to explain how the salient comes to be chosen by human beings. Various possibilities are noted. One involves a mechanism invoked by Hume and Wittgenstein in other contexts: we may project an unreasoned compulsion onto reason, falsely believing that rationality dictates our choice of the salient. (shrink)

Seventeenth century discussions of materialism, whether favorable or hostile towards the position, are generally conducted on a level of much less precision and sophistication than recent work on the problem of the mind-body relation. Nevertheless, the earlier discussions can still be interesting to philosophers, as the plethora of references to Cartesian arguments in the recent literature makes clear. Certainly the early development of materialist patterns of thought, and efforts on both the materialist and immaterialist side to establish fundamental points in (...) the philosophical analysis of mind, have considerable historical interest at the present time. This paper attempts to clarify the significance of some of leibniz's views in connection with the materialist thesis. I do not have in mind his rather notorious parallelism, though some of the points made below bear indirectly on the character of this position. Instead, I will examine his approach to arguments against materialism. (shrink)

At least some of these commentators have then, rather naturally, taken a step which it will be the business of this essay to criticize. They have suggested that Leibniz’s "counter-part theory" can be understood as providing an interpretation of counter-factuals and certain forms of modal discourse within his system. For example, Mondadori writes.

Background The ethical use both of human and non-human animals in research is predicated on the assumption that it is of a high quality and its projected benefits are more significant than the risks and harms imposed on subjects. Yet questions remain about whether and how IRBs and IACUCs should consider the scientific value of proposed research studies.Methods We draw upon 45 interviews with IRB and IACUC members and researchers with oversight experience about their perceptions of their own roles in (...) reviewing the quality and value of scientific protocols. Interview transcripts were memoed to highlight specific findings, which were then used to identify key themes through an iterative process.Results IRB and IACUC members expressed broad trust in the need for and value of research, and they often assumed that protocols had social value or that prior review, especially when associated with funding, affirmed both the rigor and merit of those protocols. Some oversight members also took an explicit stance against scientific review by stating that such review is not within the regulatory mandates governing their parts in the oversight system. Yet other interviewees expressed uneasiness about the current paradigm for evaluating the quality and overall value of science, suggesting that IRB and IACUC members perceive gaps in the oversight systems.Conclusions These findings reveal many similarities in how IRB and IACUC members understand the roles and limitations of their respective oversight committees. We conclude with a discussion of how the lack of a clear mandate regarding scientific review within US federal regulations may undermine ethical engagement of whether human and animal research is scientifically justified, resulting in a “mission lapse” wherein no organizational body is clearly responsible for ensuring that the research being conducted has the potential to advance science and benefit society. (shrink)

Ibn Sīnā proposed an analysis of arguments by reductio ad absurdum. His analysis contains, perhaps for the first time, a workable method for handling the making and discharging of assumptions in a formal proof. We translate the relevant text of Ibn Sīnā and put his analysis into the context of his general approach to logic.

Making a show of conceding by using a three-part structure of proposition, concession and reassertion has the effect - in contrast to other ways of conceding - of strengthening one's own position at the expense of a counter-argument. This three-part structure can be also exploited so as to carry the battle to the enemy, as it were, and make the concession do more offensive work. We detail three such ways: Trojan Horses where the speaker imports a caricature of the opposition (...) into the conceded material; stings in the tail, where the speaker specifically overturns the concession they have just made in the original claim; and cheapeners, where the speaker works pragmatically to devalue even a positive endorsement of the opposition's case. In all their variety, what marks the concession as being hearably in the speaker's own interest is the robust, normative three-part proposition - concession - reprise structure. It is available for use in supporting or demeaning any position, whether mundane or explicitly ideological. (shrink)

In a recent paper Johan van Benthem reviews earlier work done by himself and colleagues on ‘natural logic’. His paper makes a number of challenging comments on the relationships between traditional logic, modern logic and natural logic. I respond to his challenge, by drawing what I think are the most significant lines dividing traditional logic from modern. The leading difference is in the way logic is expected to be used for checking arguments. For traditionals the checking is local, i.e. separately (...) for each inference step. Between inference steps, several kinds of paraphrasing are allowed. Today we formalise globally: we choose a symbolisation that works for the entire argument, and thus we eliminate intuitive steps and changes of viewpoint during the argument. Frege and Peano recast the logical rules so as to make this possible. I comment also on the traditional assumption that logical processing takes place at the top syntactic level, and I question Johan’s view that natural logic is ‘natural’. (shrink)

This chapter surveys set theory, model theory, and computability theory: how they first emerged from the foundations of mathematics, and how they have developed since. There are any amounts of mathematical technicalities in the background, but the chapter highlights those themes that have some philosophical resonance.

The idea that ethics can be derived from a common morality, while controversial, has become very influential in biomedical ethics. Although the concept is employed by several theories, it has most prominently been given a central role in principlism, an ethical theory endorsed by Tom Beauchamp and James Childress in Principles of Biomedical Ethics (2009).1 This text has become a cornerstone of medical ethics education, an achievement that has been commended by critics and supporters alike. It articulates a system of (...) ethical decision making that is firmly rooted in claims about the common morality. Beauchamp and Childress’s theory of common morality has been both defended and criticized in the bioethics .. (shrink)

This paper challenges the common assumption that an agreement is an exchange of promises. Proposing that the performance obligations of some typical agreements are simultaneous, interdependent, and unconditional, it argues that no promise-exchange has this structure of obligations. In addition to offering general considerations in support of this claim, it examines various types of promise-exchange, showing that none satisfy the criteria noted. Two forms of conditional promise are distinguished and both forms are discussed. A positive account of agreements as joint (...) decisions founded in a joint commitment is sketched. It is argued that the example agreements represent especially clearly the normative structure of social union. (shrink)

1 INTRODUCTION The Historical and Cultural Background Ludwig Wittgenstein has been and continues to be one of the most enigmatic figures in ...

Linguists started to handle the semantics of linguistic constructions with the proper generality only in the twentieth century. Leonard Bloomfield approaches the notion of a construction via the notion of a constituent. A “constituent” of a linguistic form e is a linguistic form, which occurs in e and also in some other linguistic form. It is an “immediate constituent” of e if it appears at the first level in the analysis of the form into ultimate constituents. A “construction” combines two (...) or more linguistic forms as immediate constituents of a more complex form. Bloomfield's notion of a “pronounceable” string of sounds is purely phonetic. So the entire work of distinguishing grammatical from ungrammatical expressions of the language L rests on the question whether they are “meaningful.”. (shrink)

Tarski's model-theoretic truth definition of the 1950s differs from his 1930s truth definition by allowing the language to have a set of parameters that are interpreted by means of structures. The paper traces how the model-theoretic theorems that Tarski and others were proving in the period between these two truth definitions became increasingly difficult to fit into the framework of the earlier truth definition, making the later one more or less inevitable. The paper also maintains that neither recursiveness nor satisfaction (...) are essential features of the truth definition . The recursive form was a ‘practical’ step towards the explicit definition that was Tarski's target. There are model-theoretic languages for which satisfaction is provably too crude a notion for expressing those properties of formulas that are needed for determining the truth of sentences. (shrink)