We investigate in this work the meaning of weak values through the prism of property ascription in quantum systems. Indeed, the weak measurements framework contains only ingredients of the standard quantum formalism, and as such weak measurements are from a technical point of view uncontroversial. However attempting to describe properties of quantum systems through weak values—the output of weak measurements—goes beyond the usual interpretation of quantum mechanics, that relies on eigenvalues. We first recall the usual (...) form of property ascription, based on the eigenstate-eigenvalue link and the existence of “elements of reality”. We then describe against this backdrop the different meanings that have been given to weak values. We finally argue that weak values can be related to a specific form of property ascription, weaker than the eigenvalues case but still relevant to a partial description of a quantum system. (shrink)

A relation is obtained between weak values of quantum observables and the consistency criterion for histories of quantum events. It is shown that “strange” weak values for projection operators always correspond to inconsistent families of histories. It is argued that using the ABL rule to obtain probabilities for counterfactual measurements corresponding to those strange weak values gives inconsistent results. This problem is shown to be remedied by using the conditional weight, or pseudo-probability, obtained from the multiple-time application (...) of Lüders’ Rule. It is argued that an assumption of reverse causality implies that weak values obtain, in a restricted sense, at the time of the weak measurement as well as at the time of post-selection. Finally, it is argued that weak values are more appropriately characterized as multiple-time amplitudes than expectation values, and as such can have little to say about counterfactual questions. (shrink)

A relation is obtained between weak values of quantum observables and the consistency criterion for histories of quantum events. It is shown that “strange” weak values for projection operators always correspond to inconsistent families of histories. It is argued that using the ABL rule to obtain probabilities for counterfactual measurements corresponding to those strange weak values gives inconsistent results. This problem is shown to be remedied by using the conditional weight, or pseudo-probability, obtained from the multiple-time application (...) of Lüders’ Rule. It is argued that an assumption of reverse causality implies that weak values obtain, in a restricted sense, at the time of the weak measurement as well as at the time of post-selection. Finally, it is argued that weak values are more appropriately characterized as multiple-time amplitudes than expectation values, and as such can have little to say about counterfactual questions. (shrink)

Quantum mechanical weak values of projection operators have been used to answer which-way questions, e.g. to trace which arms in a multiple Mach–Zehnder setup a particle may have traversed from a given initial to a prescribed final state. I show that this procedure might lead to logical inconsistencies in the sense that different methods used to answer composite questions, like “Has the particle traversed the way X or the way Y?”, may result in different answers depending on which methods (...) are used to find the answer. I illustrate the problem by considering some examples: the “quantum pigeonhole” framework of Aharonov et al., the three-box problem, and Hardy’s paradox. To prepare the ground for my main conclusion on the incompatibility in certain cases of weak values and logic, I study the corresponding situation for strong/projective measurements. In this case, no logical inconsistencies occur provided one is always careful in specifying exactly to which ensemble or sample space one refers. My results cast doubts on the utility of quantum weak values in treating cases like the examples mentioned. (shrink)

ABSTRACT: A relation is obtained between weak values of quantum observables and the consistency criterion for histories of quantum events. It is shown that ``strange'' weak values for projection operators always correspond to inconsistent families of histories. It is argued that using the ABL rule to obtain probabilities for counterfactual measurements corresponding to those strange weak values gives inconsistent results. This problem is shown to be remedied by using the conditional weight, or pseudo-probability, obtained from the multiple-time (...) application of Luders' Rule. It is argued that an assumption of reverse causality implies that weak values obtain, in a restricted sense, at the time of the weak measurement as well as at the time of post-selection. Finally, it is argued that weak values are more appropriately characterised as multiple-time amplitudes than expectation values, and as such can have little to say about counterfactual questions. (shrink)

We clarify the significance of quasiprobability in quantum mechanics that is relevant in describing physical quantities associated with a transition process. Our basic quantity is Aharonov’s weak value, from which the QP can be defined up to a certain ambiguity parameterized by a complex number. Unlike the conventional probability, the QP allows us to treat two noncommuting observables consistently, and this is utilized to embed the QP in Bohmian mechanics such that its equivalence to quantum mechanics becomes more (...) transparent. We also show that, with the help of the QP, Bohmian mechanics can be recognized as an ontological model with a certain type of contextuality. (shrink)

In combination with post-selection, weak measurements can lead to surprising results known as anomalous weak values. These lie outside the bounds of the spectrum of the relevant observable, as in the canonical example of measuring the spin of an electron (along some axis) to be 100. We argue that the disturbance caused by the weak measurement, while small, is sufficient to significantly affect the measurement result, and that this is the most reasonable explanation of anomalous weak (...) values. (shrink)

The operational definition of a weak value for a quantum mechanical system involves the limit of the weak measurement strength tending to zero. I study how this limit compares to the situation for the undisturbed system. Under certain conditions, which I investigate, this limit is discontinuous in the sense that it does not merge smoothly to the Hilbert space description of the undisturbed system. Hence, in these discontinuous cases, the weak value does not represent the (...) undisturbed system. As a result, conclusions drawn from such weak values regarding the properties of the studied system cannot be upheld. Examples are given. (shrink)

Despite their important applications in metrology and in spite of numerous experimental demonstrations, weak measurements are still confusing for part of the community. This sometimes leads to unjustified criticism. Recent papers have experimentally clarified the meaning and practical significance of weak measurements, yet in Kastner, Kastner seems to take us many years backwards in the the debate, casting doubt on the very term “weak value” and the meaning of weak measurements. Kastner appears to ignore both (...) the basics and frontiers of weak measurements and misinterprets the weak measurement process and its outcomes. In addition, she accuses the authors of Aharonov et al. in statements completely opposite to the ones they have actually made. There are many points of disagreement between Kastner and us, but in this short reply I will leave aside the ontology and focus mainly on the injustice in her criticism. I shall add some general comments regarding the broader theory of weak measurements and the two-state-vector formalism, as well as supporting experimental results. Finally, I will point out some recent promising results, which can be proven by projective measurements, without the need of employing weak measurements. (shrink)

A so called “weak value” of an observable in quantum mechanics (QM) may be obtained in a weak measurement + post-selection procedure on the QM system under study. Applied to number operators, it has been invoked in revisiting some QM paradoxes (e.g., the so called Three-Box Paradox and Hardy’s Paradox). This requires the weak value to be interpreted as a bona fide property of the system considered, a par with entities like operator mean values and (...) eigenvalues. I question such an interpretation; it has no support in the basic axioms of quantum mechanics and it leads to unreasonable results in concrete situations. (shrink)

Weak measurements offer new insights into the behavior of quantum systems. Combined with post-selection, quantum mechanics predicts a range of new experimentally testable phenomena. In this paper I consider weak measurements performed on time-dependent pre- and post-selected ensembles, with emphasis on the decay of excited states. The results show that the standard exponential decay law is a limiting case of a more general law that depends on both the time of post-selection and the choice of final state. The (...) generalized law is illustrated for two interesting choices of post-selection. (shrink)

Feynman's sum-over-histories formulation of quantum mechanics has been considered a useful calculational tool in which virtual Feynman histories entering into a coherent quantum superposition cannot be individually measured. Here we show that sequential weak values, inferred by consecutive weak measurements of projectors, allow direct experimental probing of individual virtual Feynman histories, thereby revealing the exact nature of quantum interference of coherently superposed histories. Because the total sum of sequential weak values of multitime projection operators for a complete (...) set of orthogonal quantum histories is unity, complete sets of weak values could be interpreted in agreement with the standard quantum mechanical picture. We also elucidate the relationship between sequential weak values of quantum histories with different coarse graining in time and establish the incompatibility of weak values for nonorthogonal quantum histories in history Hilbert space. Bridging theory and experiment, the presented results may enhance our understanding of both weak values and quantum histories. (shrink)

The quantum theoretical concepts of modular momentum and dynamical non-locality, which were introduced four decades ago, have recently been used to explain single particle quantum interference phenomena. Although the non-local exchange of modular momentum associated with such phenomena cannot be directly observed, it has been suggested that effects induced by this exchange can be measured experimentally using weak measurements of pre- and post-selected ensembles of particles. This paper reports on such an optical experiment that yielded measured weak values (...) that were consistent with the theoretical prediction of an effect induced by a non-local exchange of modular momentum. (shrink)

Svensson argued that the concept of the weak value of an observable of a pre- and post-selected quantum system cannot be applied when the expectation value of the observable in the initial state vanishes. Svensson’s argument is analyzed and shown to be inconsistent using several examples.

Ben-Israel and Vaidman have raised objections to my arguments that there are cases where a quantum mechanical weak value can be said not to represent the system to which it pertains. They are correct in pointing out that some of my conclusions were too general. However, for weak values of projection operators my conclusions still stand.

What does it mean that an object has instrumental value? While some writers seem to think it means that the object bears a value, and that instrumental value accordingly is a kind of value, other writers seem to think that the object is not a value bearer but is only what is conducive to something of value. Contrary to what is the general view among philosophers of value, I argue that if instrumental (...) class='Hi'>value is a kind of value, then it is a kind of extrinsic final value. (shrink)

What does it mean that an object has instrumental value? While some writers seem to think it means that the object bears a value, and that instrumental value accordingly is a kind of value, other writers seem to think that the object is not a value bearer but is only what is conducive to something of value. Contrary to what is the general view among philosophers of value, I argue that if instrumental (...) class='Hi'>value is a kind of value, then it is a kind of extrinsic final value. (shrink)

This article investigates Kripke-style semantics for two sorts of logics: pseudo-Boolean and weak-Boolean logics. As examples of the first, we introduce G3 and S53pB.G3 is the three-valued Dummett–Gödel logic; S53pB is the modal logic S5 but with its orthonegation replaced by a pB negation. Examples of wB logic are G3wB and S53wB.G3wB is G3 with a wB negation in place of its pB negation; S53wB is S5 with a wB negation replacing its orthonegation. For each system, we provide a (...) three-valued Kripke-style semantics with and without star operation . We prove soundness and completeness theorems in each case. Note that wB logics may be equivalent to logics with Baaz’s projection Δ. We finally introduce the G3 and the S53pB both with Δ and show that they are equivalent to G3wB and S53wB, respectively. (shrink)

This paper evaluates a recent method proposed by Jeremy Gwiazda for calculating the value of gambles that fail to have expected values in the standard sense. I show that Gwiazda’s method fails to give answers for many gambles that do have standardly defined expected values. However, a slight modification of his method (based on the mathematical notion of the ‘Cauchy principal value’ of an integral), is in fact a proper extension of both his method and the method of (...) ‘weak expectations’. I show that this method gives an appropriate value when the ‘tails’ of the gambles that are eliminated in the truncation are ‘stable’, but that the value is not appropriate when the tails are not stable. I do not attempt to give an argument for the use of this method, but just note that it is more general than Gwiazda’s method, and is mathematically quite natural. (shrink)

Professional environmental ethics arose directly out of the interest in the environment created by Earth Day in 1970. At that time many environmentalists, primarily because they had read Aldo Leopold’s essay, “The Land Ethic,” were convinced that the foundations of environmental problems were philosophical. Moreover, these environmentalists were dissatisfied with the instrumental arguments based on human use and benefit—which they felt compelled to invoke in defense of nature—because they thought these arguments were part of the problem. Wanting to counter instrumental (...) arguments in some way with non- or even anti-instrumental arguments, and unable to think of anything else to say, they began wistfully suggesting that perhaps nature had or ought to have rights. When professional environmental ethics came into its own in the early 1980s, rights for nature were one of the first subjects to be debated in detail. Unfortunately, however, no one could come up with a theory to support such rights attributions. Nevertheless, because rights had been invoked by environmentalists to challenge the preeminent role of instrumental value arguments, and because the field of environmental ethics developed in support of environmental concerns and arguments, environmental ethicists turned to an examination of noninstrumental or intrinsic value arguments for the preservation of nature. (shrink)

In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of the Weak Kleene logics with unary operators that allow looking (...) at them as Logics of Formal Inconsistency and Logics of Formal Underterminedness. Our aim with this work, rather than arguing for Suszko’s thesis, is to show that two-valued presentations of these peculiar logics enlighten the non-standard behavior of their logical connectives. More specifically, the two-valued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems of Weak Kleene logics reveal the conjunctive flavor of the disjunction. (shrink)

We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratifiable logic programs, producing a semantics (...) we call weak stratified. Finally, we show weak stratified semantics coincides exactly with the three-valued approach on stratifiable programs, though the three-valued version is generally applicable, and does not require stratification assumptions. (shrink)

In this paper we focus on some new normativist positions and compare them with traditional ones. In so doing, we claim that if normative judgments are involved in determining whether a condition is a disease only in the sense identified by new normativisms, then disease is normative only in a weak sense, which must be distinguished from the strong sense advocated by traditional normativisms. Specifically, we argue that weak and strong normativity are different to the point that one (...) ‘normativist’ label ceases to be appropriate for the whole range of positions. If values and norms are not explicit components of the concept of disease, but only intervene in other explanatory roles, then the concept of disease is no more value-laden than many other scientific concepts, or even any other scientific concept. We call the newly identified position “value-conscious naturalism” about disease, and point to some of its theoretical and practical advantages. (shrink)

Weak values are average quantities, therefore investigating their associated variance is crucial in understanding their place in quantum mechanics. We develop the concept of a position-postselected weak variance of momentum as cohesively as possible, building primarily on material from Moyal and Sonego :1135, 1991) . The weak variance is defined in terms of the Wigner function, using a standard construction from probability theory. We show this corresponds to a measurable quantity, which is not itself a weak (...) value. It also leads naturally to a connection between the imaginary part of the weak value of momentum and the quantum potential. We study how the negativity of the Wigner function causes negative weak variances, and the implications this has on a class of ‘subquantum’ theories. We also discuss the role of weak variances in studying determinism, deriving the classical limit from a variational principle. (shrink)

The theory of weak measurements developed by Aharonov and coworkers has been applied by them and others to several interesting problems in which the system of interest is both pre- and post-selected. When the probability of successful post-selection is very small the prediction for the weak value of the measured quantity is often “bizarre” and sometimes controversial, lying outside the range of possibility for a classical system or for a quantum system in the absence of post-selection (e.g. (...) negative kinetic energies associated with particles found immediately after the weak measurement deep inside a classically forbidden region). In Bohmian mechanics a quantum particle is postulated to be a point-like particle which is always accompanied by a wave which probes its environment and guides its motion accordingly. Hence, from the point of view of this theory, it is natural to ask whether the measured weak value under consideration is a property of the point-like particle or of the wave (or of both) and what, if anything, it is that is actually being measured. In this paper, weak measurements of position, momentum and kinetic energy are considered for very simple case studies with these questions in mind. (shrink)

This paper is a critique of the present mode of capitalist democracy from the ethico-moral viewpoint. The crisis of values is identified as the great bane of free market-led globalization. This trend has aggravated worldwide inequality, promoted terrorism and violence, created psychological anomie and triggered eco logical disasters. Only a few business interests in the wealthier economies are gaining at the expense of humankind. The moral dimension of the government's role has been undermined by such profit-making free market gospel. The (...) author contends that more than beingjust secular, democracy is a pre-social moral force and, as such, is perceived more proximately in the religious temper of a non-industrial society than in a mass industrial society. In the latter democracy is almost a farce with the periodic ritual of public voting as its main act. The paper castigates the global economy and global media which cleverly mastermind our lives, and pleads for a change of values which will make humans self-conscious and will restore their autonomy. (shrink)

The phenomenon of weakness of will – not doing what we perceive as the best action – is not recognized by neoclassical economics due to the axiomatic assumptions of the revealed preference theory (RPT) that people do what is best for them. However, present bias shows that people have different preferences over time. As they cannot be compared by the utility measurements, economists need to normatively decide between selves (short- versus long-term preferences). A problem is that neoclassical economists perceive RPT (...) as value-free and incorporate present bias within the economic framework. The axiomatic assumption that people do what is best for them leads to theoretical and practical dilemmas. This work examines weakness of will to resolve some shortcomings of RPT. The concept of intention is used to provide multiple self conception with the framework to decide between selves, which had not been done before. The paper concludes that individuals should not always follow their revealed preferences (desires) but the intentions (reason) because the latter indicates what people really want. (shrink)

Mental conflict not always amounts to weakness of will. Irresistible motives not always speak of addiction. This book proposes an integrated account of what singles out these phenomena: addiction and weakness of will are both forms of secondary akrasia. By integrating these two phenomena into a classical conception of akrasia as poor resolution of an unnecessary conflict – valuing without intending while intending without valuing – the book makes an original contribution to central issues in moral psychology and philosophy of (...) action, including the relationship between responsibility and intentional agency, and the nature and scope of moral appraisal. In particular, the proposed integrated account is grounded in a general theory of responsibility and a related model of action as actualisation bringing together insights from both volitional and non-volitional conceptions, such as the intuition that it is unfair to hold a person responsible for things that are not up to her and the parity of actions and attitudes as legitimate objects of moral appraisal. Furthermore, the actualisation model supports a distinctive version of the Guise of the Good thesis which links valuing and intending in terms of success in action and explains why akratic actions and their offspring – addiction and weakness of will – are necessarily less than successful yet fully responsible. (shrink)

Weak measurement devices resemble band pass filters: they strengthen average values in the state space or equivalently filter out some ‘frequencies’ from the conjugate Fourier transformed vector space. We thereby adjust a principle of classical communication theory for the use in quantum computation. We discuss some of the computational benefits and limitations of such an approach, including complexity analysis, some simple examples and a realistic not-so-weak approach.

Suppose that A and B are two kinds of goods such that more of each is better than less. A is strongly superior to B if any amount of A is better than any amount of B. It is weakly superior to B if some amount of A is better than any amount of B. There are many examples of these relations in the literature, sometimes under the labels “higher goods” and “discontinuity.” The chapter gives a precise and generalized statement (...) of Strong and Weak Superiority and discusses different ways in which these relations can be relevant to the aggregation of welfare. It also proves a number of general results. One of the results gives rise to a dilemma: It can be used as an argument against the existence of value superiority or, alternatively, as an argument against the view that superiority entails a radical difference in value. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...) exploring the foundations of multialgebras applied to the study of logic systems. It is well known from universal algebra that, for every signature \, there exist algebras over \ which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of \-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms. Equivalently, the forgetful functor, from the category of \-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor \, from the category of \-multialgebras to Set, does not have a left adjoint. In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices, there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that \ does not have a left adjoint. (shrink)

Extensive measurement is called weak if the axioms allow two objects to have the same scale value without being indifferent with respect to the order. Necessary and/or sufficient conditions for such representations are given. The Archimedean and the non-Archimedean case are dealt with separately.

Paraconsistent Weak Kleene logic is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic. We give a Hilbert-style system for PWK and prove a normal form theorem. We examine some algebraic structures for PWK, called involutive bisemilattices, showing that they are distributive as bisemilattices and that they form a variety, \, generated by the 3-element algebra WK; (...) we also prove that every involutive bisemilattice is representable as the Płonka sum over a direct system of Boolean algebras. We then study PWK from the viewpoint of AAL. We show that \ is not the equivalent algebraic semantics of any algebraisable logic and that PWK is neither protoalgebraic nor selfextensional, not assertional, but it is truth-equational. We fully characterise the deductive filters of PWK on members of \ and the reduced matrix models of PWK. Finally, we investigate PWK with the methods of second-order AAL—we describe the class \ of PWK-algebras, algebra reducts of basic full generalised matrix models of PWK, showing that they coincide with the quasivariety generated by WK—which differs from \—and explicitly providing a quasiequational basis for it. (shrink)

This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].

Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.

Safe-by-Design (SBD) frameworks for the development of emerging technologies have become an ever more popular means by which scholars argue that transformative emerging technologies can safely incorporate human values. One such popular SBD methodology is called Value Sensitive Design (VSD). A central tenet of this design methodology is to investigate stakeholder values and design those values into technologies during early stage research and development (R&D). To accomplish this, the VSD framework mandates that designers consult the philosophical and ethical literature (...) to best determine how to weigh moral trade-offs. However, the VSD framework also concedes the universalism of moral values, particularly the values of freedom, autonomy, equality trust and privacy justice. This paper argues that the VSD methodology, particularly applied to nano-bio-info-cogno (NBIC) technologies, has an insufficient grounding for the determination of moral values. As such, an exploration of the value-investigations of VSD are deconstructed to illustrate both its strengths and weaknesses. This paper also provides possible modalities for the strengthening of the VSD methodology, particularly through the application of moral imagination and how moral imagination exceed the boundaries of moral intuitions in the development of novel technologies. (shrink)

Weak panpsychism, the view that mindlike qualities are wide-spread in nature, has recently been argued for by the prominent ecofeminist Val Plumwood and has been used by her to ground an ethic of respect for nature. This ethic advocates a principle of respect for difference, the rejection of moral hierarchy and the inclusion of plants, mountains, rivers and ecosystems within the moral community. I argue that weak panpsychism cannot, convincingly, justify the rejection of moral hierarchy, as it is (...) compatible with it. Also the intentional criterion of mind, employed by weak panpsychism, which includes teleology, has the counter-intuitive implication of giving machines moral status. I cast doubt on the claims that (i) intentionality is a necessary condition for moral status and that (ii) it is sufficient for the ascription of agency. It is suggested that any account of intentionality that allows it to be predicated of mountains, rivers etc. would be widely, and correctly regarded as a reduction of that account. Finally an aesthetic reinterpretation of weak panpsychism is offered. (shrink)

Derek Parfit defends the Imprecise Lexical View as a way to avoid the Repugnant Conclusion. Allowing for ‘imprecise equality’, Parfit argues, makes it possible to avoid some well-known problems for the Lexical View. It is demonstrated that the Lexical View has stronger implications than envisaged by Parfit; moreover, his assumption of Non-diminishing Marginal Value makes the Lexical View collapse into a much stronger view, which lets the two appear incompatible. Introducing imprecise equality does not address the latter problem. But (...) it does makes it possible for the Imprecise Lexical View to soften the discontinuities it would otherwise face, at the cost of blurring the difference between options.However, if Non-diminishing Marginal Value is rejected, the remaining complications for the resulting most plausible version of the Imprecise Lexical View, including a confrontation with Arrhenius’ Non-Elitism Condition, may be within a range where the view largely remains defensible. (shrink)

The design argument for God’s existence was critically assessed when in the growth of modern science the cognitive value of teleological categories was called into question. In recent discussions dealing with anthropic principles there has appeared a new version of the design argument, in which cosmic design is described without the use of teleological terms. The weak anthropic principle (WAP), a most critical version of all these principles, describes the fine-tuning of physical parameters necessary to the genesis of (...) carbon-based life. Consequently, a new version of the philosophical design argument can be developed on the basis of the weak anthropic principle.(edited). (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...) exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

Considerations of accuracy – the epistemic good of having credences close to truth-values – have led to the justification of a host of epistemic norms. These arguments rely on specific ways of measuring accuracy. In particular, the accuracy measure should be strictly proper. However, the main argument for strict propriety supports only weak propriety. But strict propriety follows from weak propriety given strict truth directedness and additivity. So no further argument is necessary.

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.