This expository paper presents an application, to the modal logic S4, of the valuation semantics technique proposed by Loparić for the basic normal modal logic K. In previous works we presented a valuation semantics for the minimal temporal logic Kt and several other systems modal and temporal logic. How to deal with S4, however, was left as an open problem—although we arrived at a working definition of \(A_1,\ldots,A_n\) -valuations, we were not able to prove an important lemma (...) for correctness. In this paper we solve this, presenting valuations for S4. (shrink)

Taking full measure of Rorty's influence and legacy demands encountering his reception outside North America. One such case, Eastern Europe, where Rorty spent considerable time and enjoys a committed following, is especially interesting, given the post-1989 resonance of his claims about the priority of democracy to philosophy.Polish philosopher Krzysztof Skowroński's attention to the underappreciated normative dimension of Rorty's pragmatism opens a window into this reception. This wide-ranging book advances a core – and, in my view, essential – insight: there is (...) a "profoundly axiological character" to Rorty's philosophy. Even though Rorty consciously eschewed a theory of values or a system of axiology, for... (shrink)

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS and (...) show that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)

Philosophical investigation in synthetic biology has focused on the knowledge-seeking questions pursued, the kind of engineering techniques used, and on the ethical impact of the products produced. However, little work has been done to investigate the processes by which these epistemological, metaphysical, and ethical forms of inquiry arise in the course of synthetic biology research. An attempt at this work relying on a particular area of synthetic biology will be the aim of this chapter. I focus on the reengineering of (...) metabolic pathways through the manipulation and construction of small DNA-based devices and systems synthetic biology. Rather than focusing on the engineered products or ethical principles that result, I will investigate the processes by which these arise. As such, the attention will be directed to the activities of practitioners, their manipulation of tools, and the use they make of techniques to construct new metabolic devices. Using a science-in-practice approach, I investigate problems at the intersection of science, philosophy of science, and sociology of science. I consider how practitioners within this area of synthetic biology reconfigure biological understanding and ethical categories through active modelling and manipulation of known functional parts, biological pathways for use in the design of microbial machines to solve problems in medicine, technology, and the environment. We might describe this kind of problem-solving as relying on what Helen Longino referred to as “social cognition” or the type of scientific work done within what Hasok Chang calls “systems of practice”. My aim in this chapter will be to investigate the relationship that holds between systems of practice within metabolic engineering research and social cognition. I will attempt to show how knowledge and normative valuation are generated from this particular network of practitioners. In doing so, I suggest that the social nature of scientific inquiry is ineliminable to both knowledge acquisition and ethical evaluations. (shrink)

The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the original presentation, which (...) did not incorporate identity systematically into Quarc, and although it proved the soundness of the system did not prove its completeness. (shrink)

In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others proper. Improper inference rules are more complicated and are often harder to understand than the proper ones. In the present paper, we distinguish between proper and improper derivations by using sequent systems. Specifically, we introduce a sequent system \(\vdash_{\bf Sc}\) for classical propositional logic with only structural (...) rules, and prove that \(\vdash_{\bf Sc}\) does not allow improper derivations in general. For instance, the sequent \(\Rightarrow p \to q\) cannot be derived from the sequent \(p \Rightarrow q\) in \(\vdash_{\bf Sc}\). In order to prove the failure of improper derivations, we modify the usual notion of truth valuation, and using the modified valuation, we prove the completeness of \(\vdash_{\bf Sc}\). We also consider whether an improper derivation can be described generally by using \(\vdash_{\bf Sc}\). (shrink)

We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove that the 2-valid arguments are identical to the 3-valid ones with strict-to-tolerant validity. Next, we introduce a Lemmon-style Natural Deduction system and prove the completeness of Quarc on both two- and three-valued versions, adapting Lindenbaum’s Lemma to truth-valuational semantics. We proceed to investigate the relations of three-valued Quarc and the Predicate Calculus (PC). Adding a logical predicate T to Quarc, true of (...) all singular arguments, allows us to represent PC quantification in Quarc and translate PC into Quarc, preserving validity. Introducing a weak existential quantifier into PC allows us to translate Quarc into PC, also preserving validity. However, unlike the translated systems, neither extended system can have a sound and complete proof system with Cut, supporting the claim that these are basically different calculi. (shrink)

Gain or omission/termination of loss produces approach; while loss or omission/termination of gain produces withdrawal. Control of approach/withdrawal motivation is distinct from valuation of gain/loss and does not entail learning – making “reward” and “punishment” ambiguous. Approach-withdrawal goal conflict engages a neurally distinct Behavioural Inhibition System, which controls “anxiety” but not “fear”.

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all (...) the sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

Issues of interest, identity and values intertwine in environmental conflicts, creating challenges that cannot generally be overcome using rationalities grounded in generalised argumentation and abstraction. To address the growing need to engage interests and identities along with plural values in the conservation of biodiversity and ecological systems, we introduce the concept of ‘appropriateness of actions’ and ground it in a relational understanding of environmental ethics. A determination of appropriateness for actions comes from combining outputs from value elicitation with those (...) of interest and identity negotiation in ways that are salient to specific people and their relationships to specific places. Drawing on the Blue Mountain Forest Partnership in the Pacific Northwest, we propose factors of success for supporting appropriate actions: 1) understanding context and identifying key stakeholders; 2) surfacing a diversity of interests and building system-level trust; 3) building empathy for different identities grounded in specific places; 4) eliciting diverse values and seeking to understand their links to worldviews and knowledge systems and; 5) seeking out appropriate actions. (shrink)

The final portion of the thesis surveys proposals for the introduction of hidden variables into quantum mechanics, proofs of the impossibility of such hidden-variable proposals, and criticisms of these impossibility proofs. And arguments in favour of the partial-Boolean algebra, rather than the orthomodular lattice, formalization of the quantum propositional structures are reviewed. ;As for , each quantum state-induced expectation-function on a P truth-functionally assigns 1 and 0 values to the elements in a ultrafilter and dual ultraideal of P, where in (...) general the union of an ultrafilter and its dual ultraideal is smaller than the entire structure. Thus it is argued that each expectation-function is the quantum analog of a classical semantic mapping, even though the domain where each expectation-function is bivalent and truth-functional is usually a non-Boolean substructure of P. ;In classical propositional logic, propositions form a Boolean algebra, and each semantic mapping assigns the value 1 to the members of a certain subset of the algebra, namely, an ultrafilter, and assigns 0 to the members of the dual ultraideal, where the union of these two subsets is the entire algebra. The propositional structures of classical mechanics are likewise Boolean algebras, so one can straightforwardly provide a classical semantics, which also satisfies . However, quantum propositional structures are non-Boolean, so it is an open question whether a semantics satisfying , and can be provided. ;Von Neumann first proposed that the algebraic structures of the subspaces of Hilbert space be regarded as the propositional structures P of quantum mechanics. These structures have been formalized in two ways: as orthomodular lattices which have the binary operations "and", "or", defined among all elements, compatible and incompatible ; and as partial-Boolean algebras which have the binary operations defined among only compatible elements. In the thesis, two basic senses in which these structures are non-Boolean are discriminated. And two notions of truth-functionality are distinguished: truth-functionality ,) applicable to the Plattices; and truth-functionality ) applicable to both the Plattices and partial-Boolean algebras. Then it is shown how the lattice definitions of "and", "or", among incompatibles rule out a bivalent, truth-functional ,) semantics for any PQM lattice containing incompatible elements. In contrast, the Gleason and Kochen-Specker proofs of the impossibility of hidden-variables for quantum mechanics show the impossibility of a bivalent, truth-functional ) semantics for three-or-higher dimensional Hilbert space PQM structures; and the presence of incompatible elements is necessary but is not sufficient to rule out such a semantics. ;The thesis investigates the possibility of a classical semantics for quantum propositional structures. A classical semantics is defined as a set of mappings each of which is bivalent, i.e., the value 1 or 0 is assigned to each proposition, and truth-functional, i.e., the logical operations are preserved. In addition, this set must be "full", i.e., any pair of distinct propositions is assigned different values by some mapping in the set. When the propositions make assertions about the properties of classical or of quantum systems, the mappings should also be "state-induced", i.e., values assigned by the semantics should accord with values assigned by classical or by quantum mechanics. (shrink)

Here I use aspects of Phil Graham’s discourse analytical work to examine forms of e/valuations and critically analyse the formulation of truths in the constitution of Artificial Intelligence (hereafter, AI). This paper focuses on two 2019 documents: Ethics guidelines for trustworthy AI (AI HLEG, Citation2019a) and Policy and investment recommendations for trustworthy AI (AI HLEG, Citation2019b). My aim here is to provide a timely contribution to contemporary philosophical–methodological innovations in documenting the constellation of values that are prefigured in human-centric constructions (...) of AI. The analysis is informed primarily by principles from Graham’s distinctive approach to critical discourse analysis (CDA), which I take to be the philosophical study of valuation. In that approach, political economy is taken as a composite formulation of values whereby neo-liberalism is discursively entwined and progressed through a system of principles of e/valuation. This paper presents a roadmap to demonstrate the usefulness of a philosophically grounded interdisciplinary piece of linguistic research through which evaluative semantic categories can be usefully synthesised with CDA to systematically expose the assumptions which underpin current truth claims and values – in this case, about and around the ethics of AI. (shrink)

Daniel Hausman’s book ‘Valuing Health’ is a valuable contribution to our understanding of QALYs and DALYs and to moving health economics to adopting a broader perspective than that taken in conventional cost-effectiveness analysis. Hausman’s attempt at constructing a public value table for health states without having recourse to data from population preferences studies is also a fascinating read. But I have serious concerns about his resulting table. Hausman’s views on which dimensions of health a benevolent liberal state should care about (...) are essentially not different from what has long been emphasized in health economists’ work on valuations of health outcomes. His table would have been helpful as a sketch if it was the first attempt in health economics to quantify numerically the societal value of different types and degrees of health improvement. But research in the field has gone far beyond that. Multi-attribute utility instruments with much more accurate health classification systems than Hausman’s sketch are now at hand. Available also are models of societal valuations of QALYs that are broadly consistent with general population values, incorporate wider concerns than Hausman’s table does and do not have the questionable numerical properties that characterize Hausman’s sketch. (shrink)

Our moral valuation of nonhuman and human beings alike may arise in sympathy, the realization in feeling of a significant commonality between self and others; in scrupulous observance of policy, the affirmation in practical consistency of a system of relations with others; and in piety, the attitude of boundless appreciation and absolute scruple with respect to objects as sacred - that is, as valued for the sake of adequate valuation of the holy. Differences between the moral status of (...) humans and that of nonhumans are to be explained not by any single criterion such as the capacity to suffer or to make contracts, but rather by finding the relative positions of humans and nonhumans on continua of feelable commonality, policy considerateness, and sacredness. Investigation of these differences must take into account the way basic religious apprehensions (or the absence thereof) organize these frames of reference. (shrink)

On one standard philosophical position adopted by evolutionary naturalists, human ethical systems are nothing more than evolutionary adaptations that facilitate social behavior. Belief in an absolute moral foundation is therefore in error. But evolutionary naturalism, by its commitment to the basic valutional concept of fitness, reveals another, logical error: standard conceptions of value in terms of simple predication and properties are mistaken. Valuation has instead, a relational structure that makes reference to respects, subjects and environments. This relational nature (...) is illustrated by the analogy commonly drawn between value and color. Color perception, as recognized by the ecological concept, is relational and dependent on subject and environment. In a similar way, value is relational and dependent on subject and environment. This makes value subjective, but also objective in that it is grounded on facts about mattering. At bottom, values are complex relational facts. The view presented here, unlike other prominent relational and naturalistic conceptions of value, recognizes the full range of valuation in nature. The advantages of this relational conception are first, that it gets valuation right; second, it provides a framework to better explain and understand valuation in all its varieties and patterns. (shrink)

On one standard philosophical position adopted by evolutionary naturalists, human ethical systems are nothing more than evolutionary adaptations that facilitate social behavior. Belief in an absolute moral foundation is therefore in error. But evolutionary naturalism, by its commitment to the basic valutional concept of fitness, reveals another, logical error: standard conceptions of value in terms of simple predication and properties are mistaken. Valuation has instead, a relational structure that makes reference to respects, subjects and environments. This relational nature (...) is illustrated by the analogy commonly drawn between value and color. Color perception, as recognized by the ecological concept, is relational and dependent on subject and environment. In a similar way, value is relational and dependent on subject and environment. This makes value subjective, but also objective in that it is grounded on facts about mattering. At bottom, values are complex relational facts. The view presented here, unlike other prominent relational and naturalistic conceptions of value, recognizes the full range of valuation in nature. The advantages of this relational conception are first, that it gets valuation right; second, it provides a framework to better explain and understand valuation in all its varieties and patterns. (shrink)

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all (...) other possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization. (shrink)

In this paper we give relational semantics and an accompanying relational proof theory for full Lambek calculus (a sequent calculus which we denote by FL). We start with the Kripke semantics for FL as discussed in [11] and develop a second Kripke-style semantics, RelKripke semantics, as a bridge to relational semantics. The RelKripke semantics consists of a set with two distinguished elements, two ternary relations and a list of conditions on the relations. It is accompanied by a Kripke-style valuation (...) system analogous to that in [11]. Soundness and completeness theorems with respect to FL hold for RelKripke models. Then, in the spirit of the work of Orlowska [14], [15], and Buszkowski and Orlowska [3], we develop relational logic RFL. The adjective relational is used to emphasize the fact that RFL has a semantics wherein formulas are interpreted as relations. We prove that a sequent Γ → α in FL is provable if and only if a translation, t( $\gamma_1 \bullet \cdots \bullet \gamma_n \supset \alpha)\varepsilon \upsilon u$ , has a cut-complete fundamental proof tree. This result is constructive: that is, if a cut-complete proof tree for $t(\gamma_1 \bullet \cdots \bullet \gamma_n \supset \alpha)\varepsilon \upsilon u$ is not fundamental, we can use the failed proof search to build a relational countermodel for $t(\gamma_1 \bullet \cdots \bullet \gamma_n \supset \alpha)\varepsilon \upsilon u$ and from this, build a RelKripke countermodel for $\gamma_1 \bullet \cdots \bullet \gamma_n \supset \alpha$ . These results allow us to add FL, the basic substructural logic, to the list of those logies of importance in computer science with a relational proof theory. (shrink)

Neste artigo faz-se uma descrição do Sistema Global de Posicionamento e dos dispositivos de navegação de uso rodoviário que o constituem, enquanto artefatos, com vista a uma leitura semiótica destes últimos em articulação com a sistematicidade. De uma semiótica tradicional dos objetos passa-se a uma que se centra na sua materialidade, a partir da qual é possível detecar sentidos performativos na tecnologia. Esta abordagem permite uma compreensão mais detalhada do caráter global das tecnologias móveis em articulação com a sua individualização. (...) A tese que se defende é a de que é possível dar conta do que é próprio da materialidade deste fenómeno, explorando, a par dos elementos tradicionalmente simbólicos, aspectos não redutíveis a estes. Não obstante, destaca-se como o material e o simbólico permanecem numa relação que permite identificar mais claramente a complexidade dos sistemas e artefatos técnicos, bem como os elementos que, neste domínio, estabelecem uma interação entre produção e consumo. Deste modo, chega-se a uma semiótica material que permite uma interpretação mais fiel do que é específico da componente funcional da tecnologia, em particular de um sistema e artefatos que se instalam cada vez mais no quotidiano, evitando a redução a uma valoração utilitária. This paper makes a depiction of the Global Positioning System and the navigation devices that are part of it, as artifacts. It aims to develop a semiotic reading of these artifacts in articulation with systematicity. From a traditional semiotics of objects, it goes to a material one, in which it is possible to find performative trends on technology. This approach is an opportunity to understand in a detailed way the global character of mobile technologies in articulation with individualization. The thesis held here is that this is a better way to handle with the specificities of materiality, exploring, besides the traditionally symbolic elements, aspects not reducible to the latter. Nevertheless, both the material and the symbolic layers are in permanent relation. The observation of this helps to understand systems and artifacts' complexity, as well as some of the elements that are involved in the interactions between production and consumption. By doing this, the paper tries to achieve a material semiotics frame that allows an interpretation more faithful to the specificities of the functional aspects of technology, particularly those that are part of a system and artifacts so present in daily life, avoiding a reduction to a utilitarian valuation. (shrink)

This paper seeks to analyse the effects on Economics of Research Assessment Systems, such as the Research Assessment Exercise (or RAE) which was carried out in the UK between 1986 and 2008. The paper begins by pointing out that, in the 2008 RAE, economics turned out to be the research area which was accorded the highest valuation of any subject in the UK, even though economists were then under attack for failing to predict the global financial crash which (...) had occurred a few months earlier. One aim of the paper is to explain this economics anomaly in research assessment. The paper goes on to point out a key difference between economics and the natural sciences. Most areas of the natural sciences are dominated for most of the time by a single, generally accepted, paradigm, whereas there are always in economics different schools of thought which have different and highly conflicting paradigms. Given this situation, it is argued that the effect of research assessment systems in economics is to strengthen the majority school in the subject (whatever that is), and weaken the minority schools. This conclusion is supported by empirical data collected by Frederic Lee for the UK. It is then shown that the greater the dominance of the majority school, the higher the overall valuation of the subject is likely to be, and this is used to explain the anomaly noted earlier. It is argued that research in economics flourishes better in a situation in which there are a number of different schools treated equally, than in one in which a single school dominates. The conclusion is that research assessment systems have a negative effect on research in economics and give misleading results. Instead of such systems, an attempt should be made to encourage pluralism in the subject. (shrink)

In this paper we analyse the conditions for attributing to AI autonomous systems the ontological status of “artificial moral agents”, in the context of the “distributed responsibility” between humans and machines in Machine Ethics (ME). In order to address the fundamental issue in ME of the unavoidable “opacity” of their decisions with ethical/legal relevance, we start from the neuroethical evidence in cognitive science. In humans, the “transparency” and then the “ethical accountability” of their actions as responsible moral agents is (...) not in contradiction with the unavoidable “opacity” (unawareness) of the brain process by which they perform their moral judgements on the right action to execute. In fact, the moral accountability of our actions depends on what is immediately before and after our “moral judgements” on the right action to execute (formally, deontic first order logic (FOL) decisions). I.e., our moral accountability depends on the “ethical constraints” we imposed to our judgement before performing it in an opaque way. Anyway, our moral accountability depends overall on the “ethical assessment” or explicit “moral reasoning” after and over the moral judgement before executing our actions (deontic higher order logic (HOL) assessment). In this way, in the light of the AI “imitation game”, the consistent attribution of the status of ethically accountable artificial moral agents to autonomous AI systems depends on two similar conditions. Firstly, it depends on the presence of “ethical constraints” to be satisfied in their Machine Learning (ML) supervised optimization algorithm during its training phase, to give the system ethical skills (“competences”) in its decisions. Secondly – and definitely—, it depends on the presence in an AI autonomous system of a deontic HOL “ethical reasoner” to perform an automatic, and fully transparent assessment (metalogical deontic valuation) about the decisions taken by the ethically skilled ML algorithm about the right action to execute, before executing it. Finally, we show that the proper deontic FOL and HOL for this class of artificial moral agents is Kripke’s modal relational logic, in its algebraic topological formalization. This is naturally implemented in the dissipative QFT unsupervised deep learning of our brains, based on the “doubling of the degrees of freedom” (DDF), and then in the so-called “deep-belief” artificial neural networks for the statistical data pre-processing. This unsupervised learning procedure is also compliant with the usage of the “maximin fairness principle”, used as a balancing aggregation principle of the statistical variables in Sen’s formal theory of fairness. (shrink)

Science-based methods for assessing the practical rationality of a proposed public policy typically represent assumed future outcomes of policies and values attributed to these outcomes in an idealized, that is, intentionally distorted way and abstracted from aspects that are deemed irrelevant. Different types of methods do so in different ways. As a consequence, they instantiate the properties that result from abstraction and idealization such as conceptual simplicity versus complexity, or comprehensiveness versus selectivity of the values under consideration to different degrees. (...) I hold that none of these methods is best in general. Instead, I opt for the valuation method that is useful for the policy issue in question both in terms of its relevance and in terms of its practicability. Relevance requires that the method can represent and account for what is at stake in the policy issue. Practicability refers to aspects such as easy versus difficult handling of the method. To argue for the claim, I evaluate three types of valuation methods: cost–benefit analysis that rests on unidimensional measurement and ranking, multi-criteria decision analysis that applies multi-dimensional measurement but unidimensional ranking, and non-aggregate indicator systems that operate with multi-dimensional measurement and sometimes also multi-dimensional ranking. Second-order justification indicating whether and how the valuation method chosen is capable of accounting for the substantive value considerations that constitute the real-world policy issue in question renders the conditions on which the results of a proposed policy evaluation rest transparent. (shrink)

Using the Public Value Mapping framework, I address the values successes and failures of chemistry as compared to the emerging field of green chemistry, in which the promoters attempt to incorporate new and expanded values, such as health, safety, and environmental sustainability, to the processes of prioritizing and conducting chemistry research. I document how such values are becoming increasingly public. Moreover, analysis of the relations among the multiple values associated with green chemistry displays a greater internal coherence and logic than (...) for conventional chemistry. Although traditional chemistry research has successfully contributed to both economic and values gains, there have been public values failures due to imperfect values articulations, failure to take a longer-term view, and inertia within a system that places too much emphasis on science values. Green chemistry, if implemented effectively, has potential to remedy these failures. (shrink)

The present research is an attempt to determine the contribution of the management system and the institutional framework to the efficiency of values-based management. The interest in the question of efficiency stems from the fact that to grasp this founding principle of management is essential for any effort of evaluation and valuation accompanying the adoption of any type of management. Our choice of an organizational variable as well as an environmental one to explain the phenomenon of efficiency, intends to (...) cover sources of influence, both internal and external to the organization. As such, this study addresses the following question: What is the effect of the management system and the institutional framework on the efficiency of values-based management? The main theoretical and empirical results reveal that these two variables contribute jointly to the efficiency of VBM. More precisely, the empirical results obtained, in particular through the canonical correlation analysis, specify that both variables influence the efficiency of VBM in different degrees, with the effect of the management system being superior. The latter explains the efficiency of the management by the values at a rate of 52.59 %, whereas the institutional framework explains it only up to 25.15 %. (shrink)

Consider the reaction of Trayvon Martin’s family to the jury verdict. They were devastated that George Zimmerman, the defendant, was found not guilty of manslaughter or murder. Whatever the merits of this outcome, what does the Martin family’s emotional reaction mean? What does it say about criminal punishment – especially the reasons why we punish? Why did the Martin family want to see George Zimmerman go to jail? And why were – and are – they so upset that he didn’t? (...) -/- This Article will argue for three points. First, what fuels this kind of outrage is vengeance: the desire to see defendants like George Zimmerman be forced to “pay” for the harms that they needlessly and culpably inflict on others. While this point may seem obvious, it isn’t. Most people repudiate revenge and therefore the notion that it plays any role in the criminal justice system. -/- Second, this attitude toward revenge is misguided and needs to change. We need to recognize that vengeance not only does but should play a significant role in motivating criminal punishment. Our vengeful reactions to harmful crimes are not ugly or shameful; on the contrary, they manifest a deep valuation of victims and a bitter denunciation of individuals who actively renounce this valuation through their criminal behavior. -/- Third, these two points have significant implications for the two main theories of criminal punishment: “retributivism,” which says that criminals should be punished in order to give them their “just deserts,” and “consequentialism,” which says that criminals should be punished in order to bring about such good consequences as deterrence, incapacitation, and rehabilitation. Traditionally, these two theories have been at war with one another. But I will show how recognizing revenge as a motivation and justification for punishment can help to end this war and bring these two theories together. (shrink)

In On Revolution and other writings, Arendt expresses her enthusiasm for the council system, a bottom-up political structure based on local councils that are open to all citizens and so allow them to participate in government. This aspect of her thought has been sharply criticized – ‘a curiously unrealistic commitment’ (Margaret Canovan), ‘a naiveté’ (Albrecht Wellmer) – or, more often, simply ignored. How, her readers generally wonder, could Arendt in all seriousness advocate the council system as an alternative to parliamentary (...) democracy? In this paper, I will pursue two distinct but related aims. First, I want to show that Arendt’s ideal of council politics is an integral element of her thought. It is connected to – indeed, follows from – some of her most central notions, namely her concept of freedom, her valuation of ‘public happiness’ and her distinction between opinion and interest. Second, I want to defend the ideal in the face of the criticisms that have been levelled against it. I seek to show that it is a cogent and pertinent proposition, not ‘a curiously unrealistic commitment’. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of (...) the paper is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

Continued concern for animal welfare may be alleviated when welfare would be monitored on farms. Monitoring can be characterized as an information system where various stakeholders periodically exchange relevant information. Stakeholders include producers, consumers, retailers, the government, scientists, and others. Valuating animal welfare in the animal-product market chain is regarded as a key challenge to further improve the welfare of farm animals and information on the welfare of animals must, therefore, be assessed objectively, for instance, through monitoring. Interviews with Dutch (...) stakeholder representatives were conducted to identify their perceptions about the monitoring of animal welfare. Stakeholder perceptions were characterized in relation to the specific perspectives of each stakeholder. While producers tend to perceive welfare from a production point of view, consumers will use visual images derived from traditional farming and from the animals’ natural environments. Scientists’ perceptions of animal welfare are affected by the need to measure welfare with quantifiable parameters. Retailers and governments (policy makers) have views of welfare that are derived from their relationships with producers, consumers, non-governmental organizations (NGOs), and scientists. All interviewed stakeholder representatives stated that animal welfare is important. They varied in the extent to which they weighted economic considerations relative to concern for the animals’ welfare. Many stakeholders emphasized the importance of communication in making a monitoring system work. Overall, the perspectives for the development of a sustainable monitoring system that substantially improves farm animal welfare were assessed as being poor in the short term. However, a reliable system could be initiated under certain conditions, such as integrated chains and with influential and motivated stakeholders. A scheme is described with attention points for the development of sustainable monitoring systems for farm animal welfare in the long term. (shrink)

In this note, an error in the axiomatization of Ivlev’s modal system Sa+ which we inadvertedly reproduced in our paper “Finite non-deterministic semantics for some modal systems”, is fixed. Additionally, some axioms proposed in were slightly modified. All the technical results in which depend on the previous axiomatization were also fixed. Finally, the discussion about decidability of the level valuation semantics initiated in is taken up. The error in Ivlev’s axiomatization was originally pointed out by H. Omori and (...) D. Skurt in the paper “More modal semantics without possible worlds”, where an alternative solution was proposed. (shrink)

In this paper we propose substructural propositional logic obtained by da Costa weakening of the intuitionistic negation. We show that the positive fragment of the da Costa system is distributive lattice logic, and we apply a kind of da Costa weakening of negation, by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion, and additivity for distributive lattices. The other stronger paraconsistent logic with constructive negation is obtained by adding an axiom for multiplicative property of weak negation. After that, (...) we define Kripke-style semantics based on possible worlds and derive from it many-valued semantics based on truth-functional valuations for these two paraconsistent logics. Finally, we demonstrate that this model-theoretic inference system is adequate—sound and complete with respect to the axiomatic da Costa-like systems for these two logics. (shrink)

A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the (...) concrete example of the C*-algebra M n (ℂ) of complex n×n matrices. This leads to an explicit expression for the pointfree quantum phase space Σ n and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen–Specker Theorem.In our approach, the nondistributive lattice ℘(M n (ℂ)) of projections in M n (ℂ) (which forms the basis of the traditional quantum logic of Birkhoff and von Neumann) is replaced by a specific distributive lattice $\mathcal{O}(\Sigma_{n})$ of functions from the poset $\mathcal{C}(M_{n}(\mathbb{C}))$ of all unital commutative C*-subalgebras C of M n (ℂ) to ℘(M n (ℂ)). The lattice $\mathcal{O}(\Sigma_{n})$ is essentially the (pointfree) topology of the quantum phase space Σ n , and as such defines a Heyting algebra. Each element of $\mathcal{O}(\Sigma_{n})$ corresponds to a “Bohrified” proposition, in the sense that to each classical context $C\in\mathcal{C}(M_{n}(\mathbb{C}))$ it associates a yes-no question (i.e. an element of the Boolean lattice ℘(C) of projections in C), rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann. (shrink)

Problem of Axiological Legitimization of the Universal System of the Protection of Human Rights Summary In this paper it is argued that legitimization of the universal system of the protection of human rights depends primary not from the content of values recognised as fundamental but rather from metaaxiological solutions related to the way of existence and to the possibility of cognition of these values. Legitimisation is based on the recognition of an objective nature and of cognoscibility of basic values. Realisation (...) of the primary aim of this paper is linked to the problem of different meanings of the notion of universality, used in the context of the universal system of the protection of human rights. First, descriptive and normative meanings have to be distinguished. In the case of normative sense, there are moral and legal meanings of “universality”. An axiological justification of the universality of human rights in the legal sense leads to the legitimisation of the universal system. It is shown that modifications of – broadly accepted in the Polish theory of law – definitions of an axiological justification of legal norms are needed. These definitions base such a justification on the valuations made by particular groups of subjects. It is argued that it is much more convenient to refer to valuations understood as meanings of sentences of certain kind. -/- Streszczenie W artykule zmierza się do uzasadnienia tezy, że legitymizacja uniwersalnego systemu ochrony praw człowieka jest oparta nie tyle na treści wartości uznawanych w tym systemie, ale na uznanych w nich rozstrzygnięciach metaaksjologicznych, dotyczących tego, jak istnieją wartości podstawowe dla tego systemu i czy są one poznawalne. Walor legitymizacyjny posiada przede wszystkim uznanie obiektywnego charakteru tych wartości i ich poznawalności. Realizacja zasadniczego celu zakłada uporządkowanie podstawowych pojęć dotyczących problematyki powszechności praw człowieka – termin „powszechność” stosowany w odniesieniu do praw człowieka w kontekście uniwersalnego systemu ochrony ma wiele znaczeń. Przede wszystkim odróżnić trzeba powszechność w aspekcie opisowym i w aspekcie normatywnym. W przypadku powszechności w aspekcie normatywnym w grę może wchodzić powszechność w sensie ideowym i powszechność w sensie pozytywnoprawnym. Uzasadnienie tej ostatniej jest też uzasadnieniem poszukiwanej tu legitymizacji uniwersalnego systemu ochrony praw człowieka. Prowadzone analizy prowadza także do sformułowania postulatów dotyczących sposobu definiowania uzasadnienia aksjologicznego norm prawnych. Modyfikacji wymagają powszechnie przyjmowane w polskiej teorii prawa definicje relatywizujące takie uzasadnienie do ocen przyjmowanych przez konkretne podmioty oceniające lub ich grupy. (shrink)

I develop a general framework for natural and human values based on the position that end value is constructed by persons, but not wholly referent to them, identify and analyze three hierarchically related levels of end value in relation to the functional values which support them and the held and ascribed values generated by entities possessing teleological value, use this framework to indicate the context in which economic values should be located, and assess the implications of the framework for environmental (...) policy and future valuation work. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:"The Veil of Maya": Schopenhauer's System and Early Indian ThoughtStephan Atzert"The Veil of Maya": Schopenhauer's System and Early Indian Thought. By Douglas Berger. Binghamton: Global Academic Publishing, 2004. Pp. 319.Arthur Schopenhauer's (1788-1860) philosophy combines a number of inquiries into epistemology, metaphysics, ethics, aesthetics, and psychology. Schopenhauer read widely in several languages and incorporated many influences, including his reading of Anquetil Dupperon's Latin translation of selected Upanishads. From a (...) contemporary perspective it is fair to say that Schopenhauer does not offer a systematic philosophy, internally consistent in all its parts, but rather a philosophical approach that is descriptive and sensitive to a wide range of issues. Despite definite exceptions, the strength of Schopenhauer's writing lies in his attempt to be descriptive about the human experience, in combination with a willingness to incorporate its possibilities, and therefore his writings provided, and still do provide, points of departure for a wide variety of investigations.Schopenhauer became especially popular with artists, due to the fact that he proposed a metaphysical theory of art that offered artists possibilities for self-flattering. Aside from the role he played for Nietzsche, this is perhaps the only area in which Schopenhauer's impact is well understood. By contrast, Schopenhauer's decisive role in the development of Freud's psychoanalytic theory has only begun to be appreciated in the past few years. And although there exists a significant tradition of relating Advaita Vedānta and Buddhism to Schopenhauer's philosophy-the approaches of Paul Deussen, Helmuth von Glasenapp, and Wilhelm Halbfass marking conceptual shifts in this tradition-truly comprehensive perspectives are emerging only now. The fascinating exploration of Schopenhauer's exposure to relevant indological texts, commentaries, and scholars is still far from complete, as only a comparatively small selection of Schopenhauer's manuscript remains has been published, by Arthur Hübscher in 1966. As recently as 1998 Urs App was able to conclude, from his study of Schopenhauer's unpublished annotations to the Asiatick Researches, that it has been a misconception-although one carefully nourished by Schopenhauer himself-to assume that Indian concepts only confirmed what Schopenhauer had conceptualized intuitively of his own accord. Douglas Berger's timely study, "The Veil of Maya": Schopenhauer's System and Early Indian Thought, shows that this case can be made by way of a careful analysis of the development of Schopenhauer's philosophy without recourse to unpublished manuscript remains. In this respect Berger states:After reading Schopenhauer for some years, I became convinced that some crucial aspects of his system, specifically how he made argumentative transitions from epistemology to metaphysics to ethics, transitions about which much dispute still rages in the secondary literature, could not be well assessed without taking into consideration how Scho-penhauer understood the Upanishadic and Vedantic notion of maya.(p. xii) [End Page 675]On the basis of the published manuscript remains Berger traces how the early system developed. Here Berger shows very convincingly that the formation of Schopenhauer's system was strongly influenced by his appropriation of one particular element of Hinduism-or better, of Brahmanic world views-namely the idea of maya. Maya in the Upanishads is "most often identified to be the magical power of God employed to create the world and then to hide behind the matter out of which it was made" (p. 62). As Berger has traced in the manuscript remains,Schopenhauer develops an understanding of maya over time which makes it at once an epistemological category of falsification and an existential fetter that causes human beings to comport themselves... in an ethically pernicious way. More specifically Scho-penhauer believes maya to be a way the world appears to us as something it is not.... Epistemologically, maya entails an erroneous perception of things and a fallacious assessment of their nature; axiologically, it is the inauthentic valuation of world and other; metaphysically, it is the mere phenomenal appearance of a noumenal reality; and ethically, it leads to an unjustifiable alienation of other from self.(p. 63)In Schopenhauer's own words from a manuscript dating to 1814:In so far as he is alive... a human being... is doomed not merely to... (shrink)

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.

Theories of decision-making and its neural substrates have long assumed the existence of two distinct and competing valuation systems, variously described as goal-directed vs. habitual, or, more recently and based on statistical arguments, as model-free vs. model-based reinforcement-learning. Though both have been shown to control choices, the cognitive abilities associated with these systems are under ongoing investigation. Here we examine the link to cognitive abilities, and find that individual differences in processing speed covary with a shift from (...) model-free to model-based choice control in the presence of above-average working memory function. This suggests shared cognitive and neural processes; provides a bridge between literatures on intelligence and valuation; and may guide the development of process models of different valuation components. Furthermore, it provides a rationale for individual differences in the tendency to deploy valuation systems, which may be important for understanding the manifold neuropsychiatric diseases associated with malfunctions of valuation. (shrink)

Twenty-six commentators from several disciplines have written on the assumption that choice is determined by comparative valuation in a common denominator of reward, the “competitive marketplace.” There was no apparent disagreement that prospective rewards are discounted hyperbolically, although some found that the resulting predictions could come just as well from other models, including the interpretation of delay as risk and analysis in terms of hot versus cold valuation systems. Several novel ideas emerged.

A social network is a web that integrates multiple levels of interindividual social relationships and has direct associations with an individual’s health and well-being. Previous research has mainly focused on how brain and social network structures act on each other and on how the brain supports the spread of ideas and behaviors within social networks. The structure of the social network is correlated with activity in the amygdala, which links decoding and interpreting social signals and social values. The structure also (...) relies on the mentalizing network, which is central to an individual’s ability to infer the mental states of others. Network functional properties depend on multilayer brain-social networks, indicating that information transmission is supported by the default mode system, the valuation system, and the mentalizing system. From the perspective of neuroendocrinology, overwhelming evidence shows that variations in oxytocin, β-endorphin and dopamine receptor genes, including oxytocin receptor, mu opioid receptor 1 and dopamine receptor 2, predict an individual’s social network structure, whereas oxytocin also contributes to improved transmission of emotional and behavioral information from person to person. Overall, previous studies have comprehensively revealed the effects of the brain, endocrine system, and genes on social networks. Future studies are required to determine the effects of cognitive abilities, such as memory, on social networks, the characteristics and neural mechanism of social networks in mental illness and how social networks change over time through the use of longitudinal methods. (shrink)

Hotel architectural design plays a critical role in the hospitality experiences of consumers, and it is important to consider that people may have different aesthetic cognitions toward the sensory properties of nature, such as its color and texture, as well as the landscape. While neuroaesthetics has emerged as a nascent field in hospitality research, few studies have investigated how nature reflects aesthetic experiences in the human brain. Moreover, the neuroaesthetic interpretation of architecture through the aesthetic triad is a novel interdisciplinary (...) field. A field survey conducted at Amanfayun, a hotel in Hangzhou, China, in support of our propositions proves that sensory-motor, knowledge-meaning, and emotion valuation systems play key roles in appreciating architectural aesthetics. This study demonstrates that the evaluation of fluency, complexity, and naturalistic patterns of an architectural masterpiece is achieved through the sensory-motor systems. Our results also prove that familiarity, expectations, context, and cultural background directly affect the aesthetic knowledge of an individual and the meaning of architecture. Moreover, the interaction of sensory-motor and knowledge elements is uniformly moderated by the emotion valuation systems, resulting in a balanced appreciation of aesthetic architecture. Finally, the study reveals the central roles of culture and nature in cognitive rejuvenation. (shrink)

I shall argue that, with a proper realignment of core Confucian values, an explicitly feminist reading of Confucianism—a conception of Confucian feminism—could be constructed to promote the feminist goal of gender equality in contemporary Confucian societies. My paper proceeds in the following order: first, I shall identify two aspects of Confucianism implicated in the Confucian subjugation of women: li and family. Given the centrality of both li and family in Confucianism, it may seem that Confucianism is inherently antagonistic to the (...) feminist goal of gender equality. In order to determine whether this is the case, I shall reconstruct the valuational system of Confucianism and examine the proper locations of li and family within it. I shall argue that Confucian ethics promotes women’s self-cultivation on a par with men’s and that Confucian emphases on li and family do not necessitate the subjugation of women. However, some may worry that the importance of family in Confucianism may require the undivided attention of at least one parent, which in reality would be mostly the mother. To alleviate this worry, I shall argue that a democratic Confucian welfare state, entailed by the Confucian thought system, ought to pick up the responsibility of providing comprehensive assistance to families so that families can thrive in the Confucian polity. (shrink)

The paper discusses possible roles of consciousness in a semiotic activity of a cognitive agent. The discussion, we claim, is based on two related approaches to consciousness: on Chalmers’ theory of phenomenal and psychological consciousness and on Damasio’s neural theory, which draws a distinction between core and extended consciousness. Two stages of cognitive-semiotic processing are discussed: the moment of perception of a sign as a meaningful entity and the metasemiotic processes understood as the human capacity to reflect on signs and (...) their usage, analyse and control processes of recognition, interpretation of signs and to detect and correct errors in semiotic activity. In the case of the first stage, it is argued that signs as meaningful entities have a distincly experiential character. The feeling of meaningfulness is a result of phenomenal consciousness, in particular a result of the so-called valuation features of phenomenal experience. I claim that this aspect of cognitive-semiotic activity is possible owing to a special neural mechanism called a semiotic marker. It is argued that semiotic systems have to be able to use signs as signs, i.e. they should display some metacognitive capacities, in particular an ability to analyse semiosis at a metalevel. It is argued that such metasemiosis is dependent on psychological consciousness and is realized at the neural level in the form of extended consciousness. The paper is based on a particular understanding of cognitive semiotics as a discipline involving analyses of cognitive processes as semiotic processes, i.e. processes requiring usage of signs. (shrink)

The paper discusses possible roles of consciousness in a semiotic activity of a cognitive agent. The discussion, we claim, is based on two related approaches to consciousness: on Chalmers’ theory of phenomenal and psychological consciousness and on Damasio’s neural theory, which draws a distinction between core and extended consciousness. Two stages of cognitive-semiotic processing are discussed: the moment of perception of a sign as a meaningful entity and the metasemiotic processes understood as the human capacity to reflect on signs and (...) their usage, analyse and control processes of recognition, interpretation of signs and to detect and correct errors in semiotic activity. In the case of the first stage, it is argued that signs as meaningful entities have a distincly experiential character. The feeling of meaningfulness is a result of phenomenal consciousness, in particular a result of the so-called valuation features of phenomenal experience. I claim that this aspect of cognitive-semiotic activity is possible owing to a special neural mechanism called a semiotic marker. It is argued that semiotic systems have to be able to use signs as signs, i.e. they should display some metacognitive capacities, in particular an ability to analyse semiosis at a metalevel. It is argued that such metasemiosis is dependent on psychological consciousness and is realized at the neural level in the form of extended consciousness. The paper is based on a particular understanding of cognitive semiotics as a discipline involving analyses of cognitive processes as semiotic processes, i.e. processes requiring usage of signs. (shrink)

I use Nietzsche's work on theodicy to explore gendered valuation systems around women's bodies. The notion of theodicy provides a different entry point to questions of ideology, as it begins with an account of people's attempts to find meaning in their lives. Nietzsche traced humans' propensity to look for and create stories that give meaning to their lives, even when this meaning is one that may ultimately oppress them or celebrate something negative, such as suffering. For him it (...) is not the suffering that torments humans, but rather its meaninglessness. In the slums of Northeast Brazil, Afro-Brazilian women invest in the Christian glorification of suffering in a context where they experience their bodies in terms of loss, shame and alienation. I explore how, through a process of creative deception, this suffering comes to be experienced as pleasure. That is, the women reconstruct their bodies using two dominant stories to which they have access: Christianity and glamorous Brazilian soap operas. South African Journal of Philosophy Vol. 26 (1) 2007: pp. 31-43. (shrink)

I use Nietzsche's work on theodicy to explore gendered valuation systems around women's bodies. The notion of theodicy provides a different entry point to questions of ideology, as it begins with an account of people's attempts to find meaning in their lives. Nietzsche traced humans' propensity to look for and create stories that give meaning to their lives, even when this meaning is one that may ultimately oppress them or celebrate something negative, such as suffering. For him it (...) is not the suffering that torments humans, but rather its meaninglessness. In the slums of Northeast Brazil, Afro-Brazilian women invest in the Christian glorification of suffering in a context where they experience their bodies in terms of loss, shame and alienation. I explore how, through a process of creative deception, this suffering comes to be experienced as pleasure. That is, the women reconstruct their bodies using two dominant stories to which they have access: Christianity and glamorous Brazilian soap operas. (shrink)

The concept of value is so wide that could be considered as synonymous with human life and existence. The human being is engaged in the evaluations of being by doing every act. Life is a value that even its ascetic denial is a kind of valuation. When the human being enters the world, in fact he enters a pre-valued world and many values weighed upon him. To what extent is man capable of emancipating from pre-existing values and to what (...) extent can he succeed in creating value? The complex world today is very similar to the mythical world in which the blind and deaf valuing forces have overwhelmed and conquered human choices. It is here that human choices show a confusing and algebraic procedure, and freedom is as s chain that human being wrap around himself. (shrink)

The starting point of this paper is the empirically determined ability to reason in natural language by employing probable sentences. A sentence is understood to be logically probable if its schema, expressed as a formula in the language of classical propositional calculus, takes the logical value of truth for the majority of Boolean valuations, i.e., as a logically probable formula. Then, the formal system P is developed to encode the set of these logically probable formulas. Based on natural semantics, a (...) strong completeness theorem for P is proved. Alternative notions of consequence for logically probable sentences are also considered. (shrink)

This paper addresses problems related to transferring market concepts to non-market domains. More specifically it is about fallacies following from the use of the commodity concept in environmental valuation studies. First of all, the standard practice tends to misconstrue the ethical aspects related to environmental choices by forcing them into becoming ordinary trade-off problems. Second, the commodity perspective ignores important technical interdependencies within the environment and the relational character of environmental goods. These are all properties that have made many (...) such goods escape the commoditisation pressure of markets in the first place. Further, it is shown that these interdependencies are the source of some of the ethical dilemmas observed. Finally, inherent characteristics of the environment tend to make the concept of the margin, so indispensable to economic calculus, either difficult or irrelevant to define. The commodity 'fiction' twists the perception of the environment from systems preservation to items use or transformation. This is a problem of increased importance as we approach potential systems perturbations. (shrink)

This paper is dedicated to the memory of Mike Dunn. His untimely death is a loss not only to logic, computer science, and philosophy, but to all of us who knew and loved him. The paper gives an argument for closure under γ in standard systems of relevance logic (first proved by Meyer and Dunn 1969). For definiteness, I chose the example of R. The proof also applies to E and to the quantified systems RQ and EQ. The (...) argument uses semantic tableaux (with one exceptional rule not satisfying the subformula property). It avoids the previous arguments’ use of cutting down inconsistent sets of formulas to consistent sets. Like all tableau arguments, it extends partial valuations to total valuations. (shrink)

Recent work in positive psychology demonstrates the importance of self-transcendence: understanding oneself to be part of something greater than the self, such as a family, community, or tradition of sacred practice. Self-transcendence is positively associated with wellbeing and a sense of meaning and purpose. Philosophers have argued that self-transcendent motivation has a central role in good character, or virtue. Positive psychologists are just now beginning to integrate the aim of developing such motivation in character interventions. In this paper we draw (...) attention to an important but overlooked condition on effectively developing self-transcendent motivation constitutive of virtue: such a process must engage the subject’s will in the right way. If a process does not meet this condition it will fail to produce motivation constitutive of virtue according to leading philosophical accounts of virtue. We identify a suite of strategies for cultivating motivations that do meet this condition but have not been explored in relation to character interventions, namely, reappraisal strategies from the extended process model of emotion regulation (EPM-ER). (shrink)