We propose certain clases that seem unable to form a completed totality though they are very small, finite, in fact. We suggest that the existence of such clases lends support to an interpretation of the existence of proper clases in terms of availability, not size.

In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof in ZF (...) of the same formula. We argue that the first makes use of a too strong metatheory. Although meaningful, this symmetrical reduction does not equate the ontological content of the theories. The strong metatheory levels the two theories. Moreover, we will modernize Shoenfields proof, emphasizing its relation to Herbrands theorem and that it can only be seen as a partial type of reduction. In contrast with symmetrical reductions, we believe that asymmetrical relations are powerful tools for comparing ontological content. In virtue of this, we prove that there is no interpretation of NBG in ZF, while NBG trivially interprets ZF. This challenges the standard view that the two systems have the same ontological content. (shrink)

I will discuss a variety of cases such that the subject's believing truly is somewhat of an accident, but less so than in a Gettier case. In each case, this is because her reasons are not ultimately undefeated full stop, but they are ultimately undefeated with certain qualifications. For example, the subject's reasons might be ultimately defeated considered in themselves but ultimately undefeated considered as a proper part of an inference to the best explanation that is undefeated without qualification. (...) In each section of the paper, I consider different qualifications and show how in each case we get an epistemic standing I call “coach-class knowledge”. First-class knowledge requires justifying reasons that are undefeated without qualification. Coach-class knowledge only requires qualified lack of defeat. I will use this distinction to bring debates over knowledge from falsehood and fake barns to an ecumenical resolution. In both cases, the subject enjoys coach-class rather than first-class knowledge. I will also show that the defeasible reasoning tradition can better account for graded accidental truth than safety theories. (shrink)

In attempting to form rational personal probabilities by direct inference, it is usually assumed that one should prefer frequency information concerning more specific reference classes. While the preceding assumption is intuitively plausible, little energy has been expended in explaining why it should be accepted. In the present article, I address this omission by showing that, among the principled policies that may be used in setting one’s personal probabilities, the policy of making direct inferences with a preference for frequency information (...) for more specific reference classes yields personal probabilities whose accuracy is optimal, according to all proper scoring rules, in situations where all of the relevant frequency information is point-valued. Assuming that frequency information for narrower reference classes is preferred, when the relevant frequency statements are point-valued, a dilemma arises when choosing whether to make a direct inference based upon relatively precise-valued frequency information for a broad reference class, R, or upon relatively imprecise-valued frequency information for a more specific reference class, R*. I address such cases, by showing that it is often possible to make a precise-valued frequency judgment regarding R* based on precise-valued frequency information for R, using standard principles of direct inference. Having made such a frequency judgment, the dilemma of choosing between and is removed, and one may proceed by using the precise-valued frequency estimate for the more specific reference class as a premise for direct inference. (shrink)

Assembly of minimal genomes revealed many genes encoding unknown functions. Three overlooked functional categories account for some of them. Cells are prone to make errors and age. As a first key function, discrimination between proper and changed entities is indispensable. Discrimination requires management of information, an authentic, yet abstract, cur- rency of reality. For example proteins age, sometimes very fast. The cell must identify, then get rid of old proteins without destroying young ones. Implementing discrimination in cells leads to (...) the second set of functions, usually ignored. Being abstract, information must nevertheless be embodied into material entities, with unavoidable idiosyncratic properties. This brings about novel unmet needs. Hence, the buildup of cells elicits specific but awkward material implementations, ‘kludges’ that become essential under particular settings, while difficult to identify. Finally, a third functional category char- acterizes the need for growth, with metabolic implementations allowing the cell to put together the growth of its cytoplasm, membranes, and genome, spanning different spatial dimensions. Solving this metabolic quandary, critical for engineering novel synthetic biology chassis, uncovered an unexpected role for CTP synthetase as the coordinator of nonhomothetic growth. Because a significant number of SynBio constructs aim at creating cell factories we expect that they will be attacked by viruses (it is not by chance that the function of the CRISPR system was identified in industrial settings). Substantiating the role of CTP, natural selection has dealt with this hurdle via synthesis of the antimetabolite 30-deoxy-30,40-didehydro- CTP, recruited for antiviral immunity in all domains of life. (shrink)

In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced First-order formal languages containing natural numbers and numerals belong to that class. MA languages which are contained in a given fully interpreted MA language augmented by a monadic predicate are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of these languages. MTT makes them fully interpreted MA languages which posses their own truth predicates, yielding consequences to philosophy of mathematics. MTT is (...) shown to conform well with the eight norms presented for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)' by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. (shrink)

In this paper, I argue that knowledge of philosophical propositions can and should perform a role as regulative ideal in high school philosophy classes. Roughly speaking, I think that there are two kinds of knowledge assumed in high school philosophy classes: the first, which, for convenience, I shall call philosophical dispositional knowledge, and the philosophical propositional knowledge. The first one consists in the knowledge that takes into account only certain philosophical skills such as thesis identification, argument identification etc. (...) The second one involves the guarantee of the truth of a philosophical proposition through justification. I argue that the philosophical dispositional knowledge, although it is a sufficient epistemological presupposition to be assumed for the preparation of high school philosophy classes, it is not necessary. This is because this kind of knowledge does not sufficiently plays a role as the ultimate goal in philosophy classes, if we consider that Philosophy itself, by its authors, has the philosophical propositional knowledge as an ultimate goal. Further, I argue that the first kind of knowledge is properly understood only if it is regulated by the second kind of knowledge ideal. Thus considered, besides the fact that, in this way, we in fact make Philosophy present itself in high school classes, we will have considerable gains for the students’ posture in face of the fundamental philosophical problems. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

This paper suggests that time could have a much richer mathematical structure than that of the real numbers. Clark & Read (1984) argue that a hypertask (uncountably many tasks done in a finite length of time) cannot be performed. Assuming that time takes values in the real numbers, we give a trivial proof of this. If we instead take the surreal numbers as a model of time, then not only are hypertasks possible but so is an ultratask (a sequence which (...) includes one task done for each ordinal number—thus a proper class of them). We argue that the surreal numbers are in some respects a better model of the temporal continuum than the real numbers as defined in mainstream mathematics, and that surreal time and hypertasks are mathematically possible. (shrink)

In philosophical logic, a certain family of model constructions has received particular attention. Prominent examples are the cumulative hierarchy of well-founded sets, and Kripke's least fixed point models of grounded truth. I develop a general formal theory of groundedness and explain how the well-founded sets, Cantor's extended number-sequence and Kripke's concepts of semantic groundedness are all instances of the general concept, and how the general framework illuminates these cases. Then, I develop a new approach to a grounded theory of (...) class='Hi'>proper classes. -/- However, the general concept of groundedness does not account for the philosophical significance of its paradigm instances. Instead, I argue, the philosophical content of the cumulative hierarchy of sets is best understood in terms of a primitive notion of ontological priority. -/- Then, I develop an analogous account of Kripke's models. I show that they exemplify the in-virtue-of relation much discussed in contemporary metaphysics, and thus are philosophically significant. I defend my proposal against a challenge from Kripke's “ghost of the hierarchy”. (shrink)

Some hold that proper names and indexicals are “Kaplan rigid”: they designate their designata even in worlds where the designata don’t exist. An argument they give for this is based on the analogy between time and modality. It is shown how this argument gains forcefulness at the expense of carefulness. Then the argument is criticized as forming a part of an inconsistent philosophical framework, the one with which David Kaplan and others operate. An alternative account of a certain class (...) of negative existentials is developed, one which eliminates both the inconsistency and the need for Kaplan rigidity. After all, mustn’t whatever is referred to exist? (shrink)

In Popper's Logik der Forschung, a theoretical system is a set of sentences that describe a particular sub-area of science, in particular of empirical science. The goal of axiomatizing a theoretical system is to specify a small number of "axioms" describing all presuppositions of the sub-area under consideration, so that all other sentences of this system can be derived from them by means of logical or mathematical transformations. The paper discusses two philosophical interpretations of these proper axioms. First, (...) class='Hi'>proper axioms stipulate the use of the signs for the basic concepts of the system. Consequently, the proper axioms turn out to be analytic relative to a class of interpretations of the underlying logic. Hence, they cannot be falsified by refuting their logical consequences because these consequences are analytic as well. Secondly, proper axioms are synthetic, falsifiable and uncertain sentences. Hence, they are not immunized against falsification by refuting their logical consequences. (shrink)

In reply to the problem of evil, some suggest that God created an infinite number of universes—for example, that God created every universe that contains more good than evil. I offer two objections to these multiverse theodicies. First, I argue that, for any number of universes God creates, he could have created more, because he could have created duplicates of universes. Next, I argue that multiverse theodicies can’t adequately account for why God would create universes with pointless suffering, and hence (...) they don’t solve the problem of evil. (shrink)

Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there is a small (...) class of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

The explicit history of the “hidden variables” problem is well-known and established. The main events of its chronology are traced. An implicit context of that history is suggested. It links the problem with the “conservation of energy conservation” in quantum mechanics. Bohr, Kramers, and Slaters (1924) admitted its violation being due to the “fourth Heisenberg uncertainty”, that of energy in relation to time. Wolfgang Pauli rejected the conjecture and even forecast the existence of a new and unknown then elementary particle, (...) neutrino, on the ground of energy conservation in quantum mechanics, afterwards confirmed experimentally. Bohr recognized his defeat and Pauli’s truth: the paradigm of elementary particles (furthermore underlying the Standard model) dominates nowadays. However, the reason of energy conservation in quantum mechanics is quite different from that in classical mechanics (the Lie group of all translations in time). Even more, if the reason was the latter, Bohr, Cramers, and Slatters’s argument would be valid. The link between the “conservation of energy conservation” and the problem of hidden variables is the following: the former is equivalent to their absence. The same can be verified historically by the unification of Heisenberg’s matrix mechanics and Schrödinger’s wave mechanics in the contemporary quantum mechanics by means of the separable complex Hilbert space. The Heisenberg version relies on the vector interpretation of Hilbert space, and the Schrödinger one, on the wave-function interpretation. However the both are equivalent to each other only under the additional condition that a certain well-ordering is equivalent to the corresponding ordinal number (as in Neumann’s definition of “ordinal number”). The same condition interpreted in the proper terms of quantum mechanics means its “unitarity”, therefore the “conservation of energy conservation”. In other words, the “conservation of energy conservation” is postulated in the foundations of quantum mechanics by means of the concept of the separable complex Hilbert space, which furthermore is equivalent to postulating the absence of hidden variables in quantum mechanics (directly deducible from the properties of that Hilbert space). Further, the lesson of that unification (of Heisenberg’s approach and Schrödinger’s version) can be directly interpreted in terms of the unification of general relativity and quantum mechanics in the cherished “quantum gravity” as well as a “manual” of how one can do this considering them as isomorphic to each other in a new mathematical structure corresponding to quantum information. Even more, the condition of the unification is analogical to that in the historical precedent of the unifying mathematical structure (namely the separable complex Hilbert space of quantum mechanics) and consists in the class of equivalence of any smooth deformations of the pseudo-Riemannian space of general relativity: each element of that class is a wave function and vice versa as well. Thus, quantum mechanics can be considered as a “thermodynamic version” of general relativity, after which the universe is observed as if “outside” (similarly to a phenomenological thermodynamic system observable only “outside” as a whole). The statistical approach to that “phenomenological thermodynamics” of quantum mechanics implies Gibbs classes of equivalence of all states of the universe, furthermore re-presentable in Boltzmann’s manner implying general relativity properly … The meta-lesson is that the historical lesson can serve for future discoveries. (shrink)

What is the proper metaphysics of quantum mechanics? In this dissertation, I approach the question from three different but related angles. First, I suggest that the quantum state can be understood intrinsically as relations holding among regions in ordinary space-time, from which we can recover the wave function uniquely up to an equivalence class (by representation and uniqueness theorems). The intrinsic account eliminates certain conventional elements (e.g. overall phase) in the representation of the quantum state. It also dispenses with (...) first-order quantification over mathematical objects, which goes some way towards making the quantum world safe for a nominalistic metaphysics suggested in Field (1980, 2016). Second, I argue that the fundamental space of the quantum world is the low-dimensional physical space and not the high-dimensional space isomorphic to the ``configuration space.'' My arguments are based on considerations about dynamics, empirical adequacy, and symmetries of the quantum mechanics. Third, I show that, when we consider quantum mechanics in a time-asymmetric universe (with a large entropy gradient), we obtain new theoretical and conceptual possibilities. In such a model, we can use the low-entropy boundary condition known as the Past Hypothesis (Albert, 2000) to pin down a natural initial quantum state of the universe. However, the universal quantum state is not a pure state but a mixed state, represented by a density matrix that is the normalized projection onto the Past Hypothesis subspace. This particular choice has interesting consequences for Humean supervenience, statistical mechanical probabilities, and theoretical unity. (shrink)

Hume describes “mental geography” as the endeavor to know “the different operations of the mind, to separate them from each other, to class them under their proper heads, and to correct all that seeming disorder, in which they lie involved, when made the object of reflection and enquiry.” While much has been written about his geography of thought in Treatise Book 1, relatively little has been written about his geography of feeling in Books 2 and 3, with the result (...) that there has been considerable puzzlement and disagreement about the meaning and grounds of many of his central theses about the passions, action, and morals. My endeavor in this chapter is to remove some common sources of perplexity about his classification of the operations of feeling “under their proper heads” in that work. I begin by explaining his three highest-level distinctions bearing on this terrain: that between impressions and ideas; that between original impressions and secondary impressions; and that between the passions and the other emotions. In order to understand this third distinction, I explain his three different senses of the term ‘emotion’ and the relations among them. I ill then examine five different kinds of secondary impressions that he recognizes. These are: (1) sensible agitations; (2) feelings of or from mental operations; (3) volitions; (4) the passions (including motives); and (5) sentiments of taste. The broad outlines of the resulting geography are mapped out in a chart at the end. (shrink)

Requirement specifications in software engineering involve developing a conceptual model of a target domain. The model is based on ontological exploration of things in reality. Many things in such a process closely tie to problems in metaphysics, the field of inquiry of what reality fundamentally is. According to some researchers, metaphysicians are trying to develop an account of the world that properly conceptualizes the way it is, and software design is similar. Notions such as classes, object orientation, properties, instantiation, (...) algorithms, etc. are metaphysical concepts developed many years ago. Exploring the metaphysics of such notions aims to establish quality assurance though some objective foundation not subject to misapprehensions and conventions. Much metaphysical work might best be understood as a model-building process. Here, a model is viewed as a hypothetical structure that we describe and investigate to understand more complex, real-world systems. The purpose of this paper is to enhance understanding of the metaphysical origins of conceptual modeling as exemplified by a specific proposed high-level model called thinging machines (TMs). The focus is on thimacs (things/machine) as a single category of TM modeling in the context of a two-phase world of staticity and dynamics. The general idea of this reality has been inspired by Deleuze’s ‘the virtual’ and related to the classical notions of Leibniz’s monads and Avicenna’s essence. The analysis of TMs leads to several interesting results about a thimac’s nature at the static and existence levels. (shrink)

This article looks at some of the metaphysical properties of cognitive artefacts. It first identifies and demarcates the target domain by conceptualizing this class of artefacts as a functional kind. Building on the work of Beth Preston, a pluralist notion of functional kind is developed, one that includes artefacts with proper functions and system functions. Those with proper functions have a history of cultural selection, whereas those with system functions are improvised uses of initially non-cognitive artefacts. Having identified (...) the target domain, it then briefly looks at the multiple usability of physical structures and the multiple realizability of cognitive function. Further developing insights from the “dual nature of artefacts thesis”, the article ends with conceptualizing the structure–function relations of cognitive artefacts. More specifically, it unpacks the relation between physical structure, representational structure, information, and cognitive function. (shrink)

Traditionally, species have been treated as classes. In fact they may be considered individuals. The logical term “individual” has been confused with a biological synonym for “organism.” If species are individuals, then: 1) their names are proper, 2) there cannot be instances of them, 3) they do not have defining properties, 4) their constituent organisms are parts, not members. “ Species " may be defined as the most extensive units in the natural economy such that reproductive competition occurs (...) among their parts. Species are to evolutionary theory as firms are to economic theory: this analogy resolves many issues, such as the problems of “reality” and the ontological status of nomenclatorial types. (shrink)

Moral reasoning traditionally distinguishes two types of evil: moral and natural. The standard view is that ME is the product of human agency and so includes phenomena such as war, torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics. It is argued that this goes some way towards providing a methodological explanation of why cyberspace is central to so many of CE’s concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent’s action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil but conversely to ‘receive’ or ‘suffer from’ it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively, in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics is proposed for that theory. It is argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective. In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

We argue that there is a large class of questions—specifically questions about how to epistemically evaluate environments that currently available epistemic theories are not well-suited for answering, precisely because these questions are not about the epistemic state of particular agents or groups. For example, if we critique Facebook for being conducive to the spread of misinformation, then we are not thereby critiquing Facebook for being irrational, or lacking knowledge, or failing to testify truthfully. Instead, we are saying something about the (...) social media environment. In this paper, we first propose that a new branch of epistemology–Environmental Epistemology–is needed to address these questions. We argue that environments can be proper objects of epistemic evaluation, and that there are genuine epistemic norms that govern environments. We then provide a positive account of these norms and conclude by considering how recognition of these norms may require us to rethink longstanding epistemic debates. (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. (...) This undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color terms like (...) ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

It is one thing to hold that merely statistical evidence is _sometimes_ insufficient for rational belief, as in typical lottery and profiling cases. It is another thing to hold that merely statistical evidence is _always_ insufficient for rational belief. Indeed, there are cases where statistical evidence plainly does justify belief. This project develops a dispositional account of the normativity of statistical evidence, where the dispositions that ground justifying statistical evidence are connected to the goals (= proper function) of objects. (...) There are strong intuitive motivations for doing this. For we can turn almost any case of _non-justifying_ merely statistical evidence into a case of _justifying_ merely statistical evidence by adding information about the dispositions and goals of the objects involved. The resulting view not only helps us understand when and why merely statistical evidence is normatively significant, but it also helps us understand how statistical evidence relates to more standard forms of evidence (perceptual, testimonial). The emerging view also has surprising applications, as it imposes limitations on the epistemic value of fine-tuning arguments for theism as well as undermines a standard class of case-based arguments for moral encroachment. (shrink)

The paper aims to briefly look into the civil law remedies of CISG from the perspective of economic efficiency. It mainly illustrates the basic tools of remedies in CISG, and discusses its strengths and flaws from the standpoint of economic deals normally present in most of commercial transactions. As many literature have long contributed to the legal economic discourse, our discussion, as a matter of course, largely depends on the current stronghold, or prospect that those theories espouse. Generally, the remedies (...) in CISG have two basic pathways addressing or penalizing the breach of contract from one party, namely specific performance and damages award. Other instruments to deal with the breach of contract cover a cure of defect, repudiation to perform a contract, additional period to perform a contractual duty, avoidance of contract and etc. This group of instruments can be classed as a privately administered remedies for our purpose of analysis. On this assumption, we can find many aspects of strengths in economic terms, but some paucity that the prescribed approach cannot properly address the best of economics between the contracting parties. This paucity comes mainly because the lawmakers normally could not pre-consider all circumstances among the individual contracting parties. For this reason, this paper argues in favor of privately administered remedies to fill the paucity of two typical remedies. Moreover, the contractual negotiation or design of contract is considered very important as the contracting parties are most informed about their best of economics besides the official lawmakers. The paper concludes with a short discussion of the electronic commerce in comparison with the traditional domestic and international commerce. (shrink)

Text classification is one of the most important task in natural language processing, In this research, we carried out several experimental research on three (3) of the most popular Text classification NLP classifier in Convolutional Neural Network (CNN), Multinomial Naive Bayes (MNB), and Support Vector Machine (SVN). In the presence of enough training data, Deep Learning CNN work best in all parameters for evaluation with 77% accuracy, followed by SVM with accuracy of 76%, and multinomial Bayes with least performance of (...) 69% accuracy. CNN has the best performance in the presence of large enough training dataset because of the presence of filter/ kernels which help to indentify patterns in text data regardless of their position in the sentence. We repeated the training again with just one-third of our data, at this point SVM comes with the best performance, the performance of CNN noticeably drops but still better than Multinomial Naive Bayes, the reason why SVM works best when we reduce the training data was because of its ability to look for a hyper-plane that creates a boundary between different classes of data so as to properly classify them, so we believed that getting the hyper-plane was more efficient when we reduce the dataset, hence reason for the good performance. Multinomial Naive Bayes have the least performance which we attributed to its assumption of independency between the features which sometimes does not hold true. We concluded that availability of data should be an important factor when choosing classifier for Natural Language Processing Text Classification task. CNN should be use in the presence of enough dataset, and SVM should be use when data is not enough. Multinomial Naive Bayes must not be trusted with state of the art NLP task due to its assumption of independency between the features . (shrink)

Claims about needs are a ubiquitous feature of everyday practical discourse. It is therefore unsurprising that needs have long been a topic of interest in moral philosophy, applied ethics, and political philosophy. Philosophers have devoted much time and energy to developing theories of the nature of human needs and the like. -/- Philosophers working on needs are typically committed to the idea that there are different kinds of needs and that within the different kinds of needs is a privileged class (...) of needs that is especially normatively significant. -/- Some philosophers go further and make rather grand claims about needs. They claim that needs are central or fundamental to moral thinking and that we must have a needs-centred moral theory or a general reorientation of moral philosophy around needs. -/- In this paper I aim to do two things. First, to show how applying recent work on modal terms can help us to understand thought and talk about needs. This is the positive part. I then use these ideas to cast doubt on the more ambitious claims about needs. Put briefly, a proper understanding of claims about needs undermines the idea that the concept of needs is fundamental in moral thought or in moral philosophy. Ambitious needs theory fails. (shrink)

This paper offers a positive account of an important but under-explored class of mental states, non-propositional attitudes such as loving one’s department, liking lattice structures, fearing Freddy Krueger, and hating Sherlock Holmes. In broadest terms, the view reached is a representationalist account guided by two puzzles. The proposal allows one to say in an elegant way what differentiates a propositional attitude from an attitude merely about a proposition. The proposal also allows one to offer a unified account of the non-propositional (...) attitudes that captures both empty and non-empty cases by properly locating the posited representations in the metaphysical structure of the attitudes. (shrink)

From our everyday commuting to the gold medalist’s world-class performance, skillful actions are characterized by fine-grained, online agentive control. What is the proper explanation of such control? There are two traditional candidates: intellectualism explains skillful agentive control by reference to the agent’s propositional mental states; anti-intellectualism holds that propositional mental states or reflective processes are unnecessary since skillful action is fully accounted for by automatic coping processes. I examine the evidence for three psychological phenomena recently held to support anti-intellectualism (...) and argue that it supports neither traditional candidate, but an intermediate attention-control account, according to which the top-down, intention-directed control of attention is a necessary component of skillful action. Only this account recognizes both the role of automatic control in skilled action and the need for higher-order cognition to thread automatic processes together into a unified, skillful performance. This applies to bodily skillful action in general, from the world-class performance of experts to mundane, habitual action. The attention-control account stresses that, for intentions to play their role as top-down modulators of attention, agents must sustain the intention’s activation; hence, the need for reflecting throughout performance. (shrink)

This paper argues for deific perception, the idea that some perceptual experiences represent deific properties, as an explanation for a certain type of religious experience. Using Siegel's method of phenomenal contrast, a pair of experiences are compared: an ordinary perception of a black rose, and one where the rose seems imbued with religious significance. Intuitively, these have different phenomenologies. Deific perception posits that in the religiously-significant experience, a deific property like "being a creature of God" partly constitutes the visual phenomenology. (...) Rival explanations like differences in attention or cognitive penetration fail to account for the phenomenal contrast. Deific perception coheres with realism about religious properties and provides a naturalistic explanation of how some people directly sense the divine in nature. If valid, it suggests that with proper background beliefs and recognition capacities, perception can represent high-level deific properties, just as it may represent other abstract properties like natural kinds. The paper thus contributes to debates on the contents of perception and offers a sympathetic account of a class of numinous experiences. (shrink)

In this paper a class of languages which are formal enough for mathematical reasoning is introduced. Its languages are called mathematically agreeable. Languages containing a given MA language L, and being sublanguages of L augmented by a monadic predicate, are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of those languages. MTT makes them fully interpreted MA languages which posses their own truth predicates. MTT is shown to conform well with the eight norms formulated for theories (...) of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)', by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. Main tools used in proofs are Zermelo-Fraenkel (ZF) set theory and classical logic. (shrink)

My title is meant to suggest a continuation of the sort of philosophical investigation into the nature of language and modality undertaken in Rudolf Carnap’s Meaning and Necessity and Saul Kripke’s Naming and Necessity. My topic belongs in a class with meaning and naming. It is demonstratives—that is, expressions like ‘that darn cat’ or the pronoun ‘he’ used deictically. A few philosophers deserve particular credit for advancing our understanding of demonstratives and other indexical words. Though Naming and Necessity is concerned (...) with proper names, not demonstratives, it opened wide a window that had remained mostly shut in Meaning and Necessity but that, thanks largely to Kripke, shall forevermore remain unbarred. Understanding of demonstrative semantics grew by a quantum leap in David Kaplan’s remarkable work, especially in his masterpiece “Demonstratives” together with its companion “Afterthoughts.” In contrast to the direct-reference propensities of these two contemporary figures, Gottlob Frege, with his uncompromisingly thoroughgoing intensionalism, shed important light on the workings of demonstratives in “Der Gedanke”—more specifically, in a few brief but insightful remarks from a single paragraph concerning tense and temporal indexicality. (shrink)

Theorists have long debated whether John Rawls’ conception of justice as fairness can be extended to nonideal (i.e. unjust) social and political conditions, and if so, what the proper way of extending it is. This paper argues that in order to properly extend justice as fairness to nonideal conditions, Rawls’ most famous innovation – the original position – must be reconceived in the form of a “nonideal original position.” I begin by providing a new analysis of the ideal/nonideal theory (...) distinction within Rawls’ theoretical framework. I then systematically construct a nonideal original position, showing that although its parties must have Rawls’ principles of ideal justice and priority relations as background aims, the parties should be entirely free to weigh those aims against whatever burdens and benefits they might face under nonideal conditions. Next, I show that the parties ought to aim to secure for themselves a special class of nonideal primary goods: all-purpose goods similar to Rawls’ original primary goods, but which in this case are all-purpose goods individuals might use to (A) promote Rawlsian ideals under nonideal conditions, (B) weigh Rawls’ principles of ideal justice and priority relations against whatever burdens and benefits they might face under nonideal conditions, and (C) effectively pursue their most favored weighting thereof. I then defend a provisional list of nonideal primary goods which include opportunities to participate effectively in equitable and inclusive grassroots reform movements guided by a series of substantive aims. Finally, I briefly speculate on how the parties to the nonideal original position might deliberate to principles of nonideal justice for distributing nonideal primary goods, suggesting that those goods should be distributed in proportion to unjust disadvantage. (shrink)

Moral reasoning traditionally distinguishes two types of evil:moral (ME) and natural (NE). The standard view is that ME is the product of human agency and so includes phenomena such as war,torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil (AE) and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics (CE). It is argued that this goes someway towards providing a methodological explanation of why cyberspace is central to so many of CE's concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent's action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil (and fort that matter good) but conversely to `receive' or `suffer from' it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively,in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics (IE) is proposed for that theory. Itis argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective (though not vice versa). In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

Empiricist philosophers like Carnap invoked analyticity in order to explain a priori knowledge and necessary truth. Analyticity was “truth purely in virtue of meaning”. The view had a deflationary motivation: in Carnap’s proposal, linguistic conventions alone determine the truth of analytic sentences, and thus there is no mystery in our knowing their truth a priori, or in their necessary truth; for they are, as it were, truths of our own making. Let us call this “Carnapian conventionalism”, conventionalismC and cognates for (...) short. This conventionalistC explication of the a priori has been the target of sound criticisms. Arguments like Quine’s in “Truth by Convention” are in our view decisive: the truth of conventionalismC requires that the class of logical truths and logical validities be reductively accounted for as conventionally established; however, no such reduction is forthcoming, because logic is needed to generate the entire class from any given set of conventions properly so-called. Granted that conventionalismC is untenable, we want to take issue with a different, usually made criticism. Although the argument uncovers some difficulties for the way conventionalist claims are defended by some of its advocates, we will try to show that it fails. The criticism thus stands in the way of a proper appreciation of why the Carnapian account of the a priori is not correct. We will try to illustrate this by showing that the criticism we will dispute would dispose of conventionalist claims not only regarding philosophically problematic cases – logical and mathematical truths –, but also regarding cases for which they have some prima facie plausibility. One such case is that of truths that follow from mere abbreviations, “nominal” definitions; ‘someone is a bachelor if and only if he is an unmarried adult male’ can serve at this point for illustration. We will try to articulate a clear sense in which the contents of assertion such as this can be truths by convention. We do not need to prove that a conventionalist claim is true in those cases; it is enough for us to show that it is intelligible, for the arguments we will confront question even this. (shrink)

Epistemic rationality is typically taken to be immodest at least in this sense: a rational epistemic state should always take itself to be doing at least as well, epistemically and by its own light, than any alternative epistemic state. If epistemic states are probability functions and their alternatives are other probability functions defined over the same collection of proposition, we can capture the relevant sense of immodesty by claiming that epistemic utility functions are (strictly) proper. In this paper I (...) examine what happens if we allow for the alternatives to an epistemic state to include probability functions with different domains. I first prove an impossibility result: on minimal assumptions, I show that there is no way of vindicating strong immodesty principles to the effect that any probability function should take itself to be doing at least as well than any alternative probability function, regardless of its domain. I then consider alternative, weaker generalizations of the traditional immodesty principle and prove some characterization results for some classes of epistemic utility functions satisfying each of the relevant principles. (shrink)

It is wholly uncontroversial that measurements-or, more properly, propositions that are measurement reports-are often paradigmatically good cases of propositions that serve the function of evidence. In normal cases it is also obvious that stating such a report is an utterly pedestrian case of successful assertion. So, for example, there is nothing controversial about the following claims: (1) that a proposition to the effect that a particular thermometer reads 104C when properly used to determine the temperature of a particular patient is (...) evidence that the patient in question has a fever and (2) that there is nothing wrong with asserting the proposition that a particular thermometer reads 104C for appropriate reasons of communication, etc. when the thermometer has been properly used to determine the temperature of a particular patient. Here it will be shown that Timothy Williamson’s commitments to a number of principles about knowledge and assertion imply that a whole class of utterly ordinary statements like these that are used as evidence are not really evidence because they are not knowledge and so are (perversely) unassertable according to his principled commitments. This paper deals primarily with the second of these two problems and an alternative account of the norms of assertion is introduced which allows for the assertability of such measurement reports. (shrink)

This article offers a novel solution to the problem of material constitution: by including non-concrete objects among the parts of material objects, we can avoid having a statue and its constituent piece of clay composed of all the same proper parts. Non-concrete objects—objects that aren’t concrete, but possibly are—have been used in defense of the claim that everything necessarily exists. But the account offered shows that non-concreta are independently useful in other domains as well. The resulting view falls under (...) a ‘nonmaterial partist’ class of views that includes, in particular, Laurie Paul’s and Kathrin Koslicki’s constitution views; ones where material objects have properties or structures as parts respectively. The article gives reasons for preferring the non-concretist solution over these other non-material partist views and defends it against objections. (shrink)

In this paper I offer an interpretation of Kant’s theory of perceptual error based on his remarks in the Anthropology. Both hallucination and illusion, I argue, are for Kant species of experience and therefore require the standard co-operation of sensibility and understanding. I develop my account in a conceptualist framework according to which the two canonical classes of non-veridical experience involve error in the basic sense that how they represent the world as being is not how the world is. (...) In hallucination this is due to the misapplication of categories and in illusion to the misapplication of empirical concepts. Yet there is also room in this framework for a distinction in terms of cognitive functionality between the level of experience, which is merely judgementally structured, and that of judgement proper, which involves the free action of a conscious agent. This distinction enables Kant to allow for the otherwise problematic phenomenon of self-aware non-veridicality. (shrink)

There is widespread recognition at universities that a proper understanding of science is needed for all undergraduates. Good jobs are increasingly found in fields related to Science, Technology, Engineering, and Medicine, and science now enters almost all aspects of our daily lives. For these reasons, scientific literacy and an understanding of scientific methodology are a foundational part of any undergraduate education. Recipes for Science provides an accessible introduction to the main concepts and methods of scientific reasoning. With the help (...) of an array of contemporary and historical examples, definitions, visual aids, and exercises for active learning, the textbook helps to increase students’ scientific literacy. The first part of the book covers the definitive features of science: naturalism, experimentation, modeling, and the merits and shortcomings of both activities. The second part covers the main forms of inference in science: deductive, inductive, abductive, probabilistic, statistical, and causal. The book concludes with a discussion of explanation, theorizing and theory-change, and the relationship between science and society. The textbook is designed to be adaptable to a wide variety of different kinds of courses. In any of these different uses, the book helps students better navigate our scientific, 21st-century world, and it lays the foundation for more advanced undergraduate coursework in a wide variety of liberal arts and science courses. Selling Points Helps students develop scientific literacy—an essential aspect of _any_ undergraduate education in the 21 st century, including a broad understanding of scientific reasoning, methods, and concepts Written for all beginning college students: preparing science majors for more focused work in particular science; introducing the humanities’ investigations of science; and helping non-science majors become more sophisticated consumers of scientific information Provides an abundance of both contemporary and historical examples Covers reasoning strategies and norms applicable in all fields of physical, life, and social sciences, _as well as_ strategies and norms distinctive of specific sciences Includes visual aids to clarify and illustrate ideas Provides text boxes with related topics and helpful definitions of key terms, and includes a final Glossary with all key terms Includes Exercises for Active Learning at the end of each chapter, which will ensure full student engagement and mastery of the information include earlier in the chapter Provides annotated ‘For Further Reading’ sections at the end of each chapter, guiding students to the best primary and secondary sources available Offers a Companion Website, with: For Students: direct links to many of the primary sources discussed in the text, student self-check assessments, a bank of exam questions, and ideas for extended out-of-class projects For Instructors: a password-protected Teacher’s Manual, which provides student exam questions with answers, extensive lecture notes, classroom-ready Power Point presentations, and sample syllabi Extensive Curricular Development materials, helping any instructor who needs to create a Scientific Reasoning Course, ex nihilo. (shrink)

Though sometimes maligned, “trolleyology” offers an effective means of opening and framing, not only classes in ethics, but indeed any introductory philosophy course taking a broadly “puzzle-based” approach. When properly sequenced, a subset of the thought experiments that are trolleyology’s stock-in-trade can generate a series of puzzles illustrating the shortcomings of our untutored moral intuitions, and which thus motivate the very enterprise of moral theorizing. Students can be engaged in the attempt to resolve said puzzles, inasmuch as they’re accessible (...) and compelling, and their resolutions generally easy to achieve. Once thus engaged, students can be directed to the fact that they had already rolled up their sleeves and begun “doing philosophy.” In this way, engagement with trolleyological puzzles can serve as a “microcosm” for philosophy more broadly, illustrating the processes of critical thinking that are likewise the stock-in-trade of philosophers across many different domains of inquiry. (shrink)

We argue that there is a tension between two monistic claims that are the core of recent work in epistemic consequentialism. The first is a form of monism about epistemic value, commonly known as veritism: accuracy is the sole final objective to be promoted in the epistemic domain. The other is a form of monism about a class of epistemic scoring rules: that is, strictly proper scoring rules are the only legitimate measures of inaccuracy. These two monisms, we argue, (...) are in tension with each other. If only accuracy has final epistemic value, then there are legitimate alternatives to strictly proper scoring rules. Our argument relies on the way scoring rules are used in contexts where accuracy is rewarded, such as education. (shrink)

The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that the class of non-qualitative (...) properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties. (shrink)

The #MeToo movement generated a feminist insistence that we “believe women.” But the men accused of assault, harassment, and other violations frequently defended themselves with the insistence that they had always “respected women” – sometimes, going so far as to get numerous women to sign letters swearing that these men had always respected them. This common MeToo defense reveals the core inconsistency – and the core entitlement – at the heart of misogyny and sexual injustice: some women deserve respect. But (...) the duty to respect those women relies on an invisible entitlement to disrespect – indeed, to assault, harass, dominate, or exploit – others. This chapter explores consent’s role within the superstructure of misogyny and sexual injustice, arguing what consent is a key apparatus of white supremacy. It argues that consent has been constructed through dynamics of colonial and racist sexual entitlement, mapping some (white) women as deserving of respect and the right to consent, while marking other women as expendable or disposable within the sexual economy. This means not only that consent is historically constructed as white, but also that whiteness, and in particular, white womanhood, is constructed through consent. Thus, white women’s right to consent – or to refuse – is premised upon the inability of other women to do so. In this way, the right to sexual consent does not disrupt the norm of male sexual entitlement. Consent has always been premised on non-consent, from coloniality and slavery to contemporary porn, which offers a vision of the world without proper consent, so that granting consent to actual women is an exceptional practice, an “act of respect.” By including race and class alongside gender in my analysis of consent, I argue that contemporary feminist visions of sexual justice must do more than defend or ameliorate consent, but develop intersectional interrogations of sexual justice that reckon with the complicities of consent. (shrink)

In this paper I defend the existence of a Dialectical school proper against criticisms brought forward by Klaus Döring and by Jonathan Barnes. Whereas Döring claims that there was no Dialectical school separate from the Megarians, Barnes takes issue with my claim (argued for in “Dialektiker und frühe Stoiker bei Sextus Empiricus”) that most of the reports in Sextus on the dialecticians refer to members of the Dialectical school. Barnes contends that these dialecticians are in fact Stoic logicians. As (...) against Döring, I argue that the passage in Diogenes Laertius II 113 (first drawn attention to by David Sedley) which talks of a the Megarian Stilpo winning over disciples from the Dialecticians is not refuted by Döring’s arguments. It clearly shows that the Dialecticians and the Megarians at the time were taken to be different philosophical sects. As against Barnes I insist on the differences between the report in Ps.-Galen’s Historia 9 and the Sextan report on the theory of sign in AM VIII. These reports offer incompatible definitions of the indicative sign. Moreover, the classification of simple propositions reported by Sextus at AM VIII 96f. cannot be a truncated version of the (Stoic) list to be found in Diogenes Laertius VII 69f. since in Sextus’ report one of the three classes of simple propositions is labelled middle (meson). This is a certain sign that we are dealing with a triad, and hence that this list is meant to be complete. Therefore the classification found in Sextus and attributed to the dialecticians and the one in Diogenes Laertius reporting Stoic material do come from different sources. (shrink)

*North American Society for Social Philosophy (NASSP) Book Award 2019.* -/- *International Studies Association (ISA) - International Ethics Section Book Award 2021.* -/- Although military mores have relied primarily on just war theory, the ethic of cooperation in warfare (ECW)—between enemies even as they are trying to kill each other—is as central to the practice of warfare and to conceptualization of its morality. Neither game theory nor unilateral moral duties (God-given or otherwise) can explain the explicit language of cooperation in (...) developing and enforcing principles of military ethics and the law of armed conflict. -/- The ethic of cooperation is borne of various motivations: reciprocity, self-preservation, and efficiency, to be sure, but also a sense of warrior honor and concern with human rights. This shared morality can persist despite making it more difficult for one side or the other to win and, unfortunately, its well-meaning motivations often lead to unintended tragic consequences. -/- This book explores three manifestations of this significant yet overlooked ethic of cooperation in warfare: (1) for a “fair fight,” (2) to protect classes of individuals (e.g., non-combatants or prisoners of war), and (3) to end the war quickly. Such cooperation can take unexpected forms, from ad hoc decisions on the battlefield to institutionalization in international law, and is the source of some critical tensions in one of the most significant developments in warfare in recent years: namely, how to handle terrorism or other forms of warfare that lie outside the purview of international law. -/- Each type of ECW raises questions internal to that ethic, such as inconsistencies in the concept of “parity” across different weapons bans, contradictions within the warrior ethic that heavily influence—and therefore confuse—notions of the “fair fight,” the disconnect between what protections a person receives and his responsibility for the war (e.g., political leaders), or the limited decisiveness of outcomes generated by very short wars. -/- Their simultaneous application also generates significant tensions and raises questions about the proper relationship of ECW to the immediate goal of war itself, which is to win, and thus yield either a political settlement or a justicial decision. For example, the ECWs for a “fair fight” and to protect classes of individuals can make it harder to win the war, but even more concerning is that they can also kill more people, which in the latter case contravenes its very purpose. -/- Human history is in some ways the story of trying to concurrently wage and tame war, and the architecture of warfare itself is informed by the ECW, in particular: (a) the political nature of war, (b) the abdication from jus ad bellum judgments in order to concentrate on justice within war (jus in bello), and (c) the ways in which modern nation-states collude to define “legitimacy” in war. -/- The combination of these three features leave questions of justicial right and responsibility for war disturbingly unresolved, it also generates new challenges in a geopolitical context in which cooperative and non-cooperative (e.g. contemporary terrorism) forms of warfare clash. (shrink)

Evaluativism about desire, the view that desires just are, or necessarily involve, positive evaluations of their objects, currently enjoys widespread popularity in many philosophical circles. This chapter argues that evaluativism, in both of its doxastic and perceptual versions, overstates and mischaracterises the connection between desires and evaluations. Whereas doxastic evaluativism implausibly rules out cases where someone has a desire, despite evaluating its object negatively, being uncertain about its value, or having no doxastic attitude whatsoever towards its evaluative status at all, (...) perceptual evaluativism cannot even properly apply to the large class of standing desires. It is also argued that evaluativism about desire is not even well-motivated in the first place: the theory is supposed to solve a particular puzzle about the role desires play in the explanation of action, yet, in fact, it does not offer any help whatsoever in dealing with the relevant puzzle. (shrink)

The book is written on purpose of Indian Academy for higher classes on English and British Literature. As personally found being a teacher that majority of students are incapable on setting and developing an answer on context of the chapter. It is hurt to say the sweetness of Classic Literature is exactly not teaching properly at Indian Academy on English and British Stories. Students , concerning at my place on context of the aforesaid book, only are gulping in India (...) the matter rather to understand the history on Literature. (shrink)

I argue against Milić's (2017) proposal of analyzing “selfless assertions” (Lackey 2007) as proper, i.e., as assertions which satisfy the norm of assertion. In his view, selfless assertions are hedged assertions governed by the knowledge norm. In my critique, I show that Milić does not make a case that selfless assertions constitute such a special class of assertions. Moreover, he does not deliver a clear criterion for differentiating between flat-out assertions and hedged ones. What is more, his proposal leaves (...) some cases of selfless assertions unexplained. The outcome is that we are still left without a satisfactory account of selfless assertions as proper assertions. (shrink)