This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they (...) face. (shrink)

There seems to be a distinction between primary and secondary properties; some philosophers defend the view that properties like colours and values are secondary, while others criticize it. The distinction is usually introduced in terms of essence; roughly, secondary properties essentially involve mental states, while primary properties do not. In part because this does not seem very illuminating, philosophers have produced different reductive analyses in modal terms, metaphysic or epistemic. Here I will argue, firstly, that some well-known examples fail, (...) and also that there are deep reasons why such approaches should do so. Secondly, I will argue that it is acceptable to remain satisfied with the non-reductive account in terms of essence. To that end, I will indicate how such an explication could be put to use to support the claim that properties like colours and values are secondary. In a series of recent writings, Kit Fine has argued that essence cannot be reductively analysed in modal terms. Fine offers some examples to motivate his claim. I suggest that the primary/secondary distinction constitutes a philosophically interesting illustration. (shrink)

The modal account of luck has become very popular and influential in the past decade. More recently, some of its proponents have also put forth a modal account of risk and argued that we ought to apply it to problems both in and out of philosophy. This paper tries to show that modal conceptions of luck and risk are mistaken.

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot (...) support Peacocke's moderate rationalism. (shrink)

Günter Wagner’s Homology, Genes, and Evolutionary Innovation collects and synthesizes a vast array of empirical data, theoretical models, and conceptual analysis to set out a progressive research program with a central theoretical commitment: the genetic theory of homology. This research program diverges from standard approaches in evolutionary biology, provides sharpened contours to explanations of the origin of novelty, and expands the conceptual repertoire of evolutionary developmental biology. I concentrate on four aspects of the book in this essay review: the genetic (...) theory of homology and character identity networks; the implications for how we explain evolutionary novelties; the expanded set of concepts surrounding homology, and the epistemological conflicts between Wagner’s viewpoint and functionally-oriented evolutionary biology, as well as differences with other Evo–devo researchers. Together these have ramifications for how we interpret different explanatory approaches to evolutionary phenomena and understand relationships between the usefulness of concepts and the reality they represent. (shrink)

What grounds the truth of modal statements? And how do we get to know about what is possible or necessary? One of the most prominent anti-realist perspectives on the nature of modality, due to Peter Menzies, is the response-dependent account of modal concepts. Typically, offering a response-dependent account of a concept means defining it in terms of dispositions to elicit certain mental states from suitable agents under suitable circumstances. Menzies grounded possibility and necessity in the conceivability-response of ideal (...) conceivers: P is possible iff an ideal conceiver could conceive that P. I will draw attention to three major objections that can be identified in the modal metaphysics and epistemology literature: Chalmers’ Incoherency Objection, Sherratt’s Transparency Objection and Geirsson’s Irrelevancy Objection. Each of these objections raises a different worry regarding Menzies’ account: that the notion of an ideal conceiver is incoherent, that the account implies a controversial thesis, and that it fails to offer an explanation of our knowledge of modality. The aim of this paper is to defend the response-dependent account of modality against these three objections. (shrink)

Aristotle connects modality and time in ways strange and perplexing to modern readers. In this book the author proposes a new solution to this exegetical problem. Although primarily expository, this work explores topics of central concern for current investigations into causality, time, and change.

forthcoming in R. Cameron, B. Hale and A. Hoffmann (ed.s), The Logic, Epistemology and Metaphysics of Modality, Oxford University Press. Presents a concept-grounding account of modal knowledge.

Aristotle connects modality and time in ways strange and perplexing to modern readers. In this book the author proposes a new solution to this exegetical problem. Although primarily expository, this work explores topics of central concern for current investigations into causality, time, and change.

The concept of "nature as inner principle of change" is fundamental to Aristotle's theory of the physical world; it is the object of the present thesis to substantiate this claim by tracing the effects of this idea in Aristotle's rejection of materialism, in his doctrine of "natural places", in his definition of change and process in general, and in his notion of agency in general and the supreme Unmoved Mover in particular ). Aristotle elucidates "natural" by. contrast with "artificial" - (...) ), holding that natural substances not merely collectively - ) but as individuals each possess an 'innate impulse of change'. But this must be explained so as to allow for the fact that no change is entirely independent of external conditions - ). If, however, change were totally dependent on external conditions, its occurrence would be inexplicable - ), and the very concept of "change" would be incoherent. This latter conclusion emerges from an examination of the ancient paradox of becoming and Aristotle's treatment of it - ). The paradox is expounded -). Aristotle answers it by showing that language assumes a continuing subject of change - ). But this assumption meets the problem only if the metaphysical category of substance is also assumed, and along with it some distinction between substance-constitutive and non-substance-constitutive characteristics - ). The former mark off their subject as a thing of a certain causal type; thus change, in presupposing a substantial subject, presupposes one that makes some causal contribution to its own changes - ). But Aristotle means more than this by 'nature as inner principle'. He holds a natural substance to be the autonomous determinant of certain changes; these therefore are "natural", as manifesting the substantial nature - ). This problematic notion is taken for granted by Aristotle in the Vhys-ics - ), but can be seen to rest on his metaphysic of substance. It is a consequence of this that the natural change of a given substance be of one kind and display a unitary pattern reflecting the unity of the substance ). This view cripples scientific method as we understand it ), but Aristotle's idea of substance anyway cuts him off from the approaches successfully operated in later mechanics and chemistry - ). A summary of the ground so far covered ) introduces a further sense in which Aristotle's natures are "inner" principles of change: the subject of change is not external to the being which is the source of change - ). (shrink)

This book explores noteworthy approaches to modal syllogistic adopted by medieval logicians including Abélard, Albert the Great, Avicenna, Averröes, Jean Buridan, Richard Campsall, Robert Kilwardby, and William of Ockham. The book situates these approaches in relation to Aristotle's discussion in the Prior and Posterior Analytics, and other parts of the Organon, but also in relation to the thought of Alexander of Aphrodisias and Boethius on the one hand, and to modern interpretations of the modal syllogistic on the other. (...) Problems explored include: Aristotle's doctrine of modal conversion, the pure and mixed necessity-moods, modal ecthesis, the pure and mixed contingency-moods, and Aristotle's use of counter-examples. Medieval logicians brought various concepts to bear on these problems, including the distinction between per se and per accidens terms, the notion of essential predication, the distinction between ut nunc and simpliciter propositions, the distinction between de dicto and de re modals, and the notion of ampliation. All these are examined in this book. (shrink)

Theories of embodied cognition hold that the conceptual system uses perceptual simulations for the purposes of representation. A strong prediction is that perceptual phenomena should emerge in conceptual processing, and, in support, previous research has shown that switching modalities from one trial to the next incurs a processing cost during conceptual tasks. However, to date, such research has been limited by its reliance on the retrieval of familiar concepts. We therefore examined concept creation by asking participants to interpret modality-specific compound (...) phrases (i.e., conceptual combinations). Results show that modality switching costs emerge during the creation of new conceptual entities: People are slower to simulate a novel concept (e.g., auditory jingling onion) when their attention has already been engaged by a different modality in simulating a familiar concept (e.g., visual shiny penny). Furthermore, these costs cannot be accounted for by linguistic factors alone. Rather, our findings support the embodied view that concept creation, as well as retrieval, requires situated perceptual simulation. (shrink)

The central aim of this short and pithy book is to challenge the widely held view that the concepts expressed by Aristotelian modal idioms are essentially temporal modalities, by which is meant that they can be defined wholly by means of non-modal and temporal idioms. More specifically, Waterlow contends that two notorious Aristotelian theses, if it is possible that p, then at some time it is the case that p, and if it is always the case that p, (...) then it is necessary that p, are not to be understood, even in restricted forms, as analytic outfall of the very nature of Aristotle's modalities. Rather, she argues, they are viewed by Aristotle himself as substantive principles whose truth he undertakes to establish in De Caelo 1.12 by means of an assortment of premises, some of which do flow from the nature of the modalities involved, but others of which pertain to the peculiar metaphysical setting in which the arguments occur. Now since, on Waterlow's account, this metaphysical setting centrally involves the notion of omnitemporality, and inasmuch as she also endeavors to explain how these same modalities operate in Aristotle's discussion of future contingents in De Interpretatione 9, her basic thesis is that for Aristotle, modal and temporal notions never merge, but occasionally mingle. (shrink)

The article deals with the interpretation of propositional attitudes in the framework of modal predicate logic. The first part discusses the classical puzzles arising from the interplay between propositional attitudes, quantifiers and the notion of identity. After comparing different reactions to these puzzles it argues in favor of an analysis in which evaluations of de re attitudes may vary relative to the ways of identifying objects used in the context of use. The second part of the article gives this (...) analysis a precise formalization from a model-and proof-theoretic perspective. (shrink)

The use of tensed language and the metaphor of set ‘formation’ found in informal descriptions of the iterative conception of set are seldom taken at all seriously. Both are eliminated in the nonmodal stage theories that formalise this account. To avoid the paradoxes, such accounts deny the Maximality thesis, the compelling thesis that any sets can form a set. This paper seeks to save the Maximality thesis by taking the tense more seriously than has been customary (although not literally). (...) A modal stage theory, MST, is developed in a bimodal language, governed by a tenselike logic. Such a language permits a very natural axiomatisation of the iterative conception, which upholds the Maximality thesis. It is argued that the modal approach is consonant with mathematical practice and a plausible metaphysics of sets and shown that MST interprets a natural extension of Zermelo set theory less the axiom of Infinity and, when extended with a further axiom concerning the extent of the hierarchy, interprets Zermelo–Fraenkel set theory. (shrink)

Our concerns fall into three areas: (1) Barsalou fails to make clear what simulators are (vs. what they do); (2) activation of perceptual areas of the brain during thought does not distinguish between the activation's being constitutive of concepts or a mere causal consequence (Barsalou needs the former); and (3) Barsalou's attempt to explain how modal symbols handle abstraction fails.

'Concept' is a central notion in modern philosophy. This book deals with the philosopher Aristotle to compare modern theories of 'concepts' as he is said to be the predecessor both of classical theory and of modal theories of 'concepts' in the modern debate. Both pathêma and logos are central to his theory of language, thought, and concepts.

These lecture notes were composed while teaching a class at Stanford and studying the work of Brian Chellas (Modal Logic: An Introduction, Cambridge: Cambridge University Press, 1980), Robert Goldblatt (Logics of Time and Computation, Stanford: CSLI, 1987), George Hughes and Max Cresswell (An Introduction to Modal Logic, London: Methuen, 1968; A Companion to Modal Logic, London: Methuen, 1984), and E. J. Lemmon (An Introduction to Modal Logic, Oxford: Blackwell, 1977). The Chellas text influenced me the most, (...) though the order of presentation is inspired more by Goldblatt.2 My goal was to write a text for dedicated undergraduates with no previous experience in modal logic. The text had to meet the following desiderata: (1) the level of difficulty should depend on how much the student tries to prove on his or her own—it should be an easy text for those who look up all the proofs in the appendix, yet more difficult for those who try to prove everything themselves; (2) philosophers (i.e., colleagues) with a basic training in logic should be able to work through the text on their own; (3) graduate students should find it useful in preparing for a graduate course in modal logic; (4) the text should prepare people for reading advanced texts in modal logic, such as Goldblatt, Chellas, Hughes and Cresswell, and van Benthem, and in particular, it should help the student to see what motivated the choices in these texts; (5) it should link the two conceptions of logic, namely, the conception of a logic as an axiom system (in which the set of theorems is constructed from the bottom up through proof sequences) and the conception of a logic as a set containing initial ‘axioms’ and closed under ‘rules of inference’ (in which the set of theorems is constructed from the top down, by carving out the logic from the set of all formulas as the smallest set closed under the rules); finally, (6) the pace for the presentation of the completeness theorems should be moderate—the text should be intermediate between Goldblatt and Chellas in this regard (in Goldblatt, the completeness proofs come too quickly for the undergraduate, whereas in Chellas, too many unrelated.... (shrink)

What is the modal significance of sortal concepts? It is generally accepted that sortal concepts provide persistence conditions with modal implications that are de re, and not merely de dicto. I do not think that this important assumption has received the scrutiny that it deserves. In this paper, I examine the contrast between a ‘pure de dicto’ theory of the persistence conditions associated with sortal concepts and a variety of de re theories, both essentialist and non-essentialist. I conclude (...) that although there is a defensible argument against the pure de dicto theory, it has two interesting implications. First, the argument lends no support to an essentialist version of the de re theory. Secondly, it appears to support the rejection of the pure de dicto theory only by a theorist who is also a pluralist about coincidence. Hence it appears to provide no justification for the rejection of the pure de dicto theory on the part of a contingent identity theorist. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

What is the modal significance of sortal concepts? It is generally accepted that sortal concepts provide persistence conditions with modal implications that are de re, and not merely de dicto. I do not think that this important assumption has received the scrutiny that it deserves. In this paper, I examine the contrast between a ‘pure de dicto’ theory of the persistence conditions associated with sortal concepts and a variety of de re theories, both essentialist and non-essentialist. I conclude (...) that although there is a defensible argument against the pure de dicto theory, it has two interesting implications. First, the argument lends no support to an essentialist version of the de re theory. Secondly, it appears to support the rejection of the pure de dicto theory only by a theorist who is also a pluralist about coincidence. Hence it appears to provide no justification for the rejection of the pure de dicto theory on the part of a contingent identity theorist. (shrink)

The debate about the nature of the representational format of concepts seems to have reached an impasse. The debate faces two fundamental problems. Firstly, amodalists (i.e., those who argue that concepts are represented by amodal symbols) and modalists (i.e., those who see concepts as involving crucially representations including sensorimotor information) claim that the same empirical evidence is compatible with their views. Secondly, there is no shared understanding of what a modal or amodal format amounts to. Both camps recognize that (...) the two formats play essential roles in higher cognition, leading to an increasing number of hybrid proposals. In this paper, I argue that the existence of those fundamental problems should make us suspicious about a modal/amodal dichotomy. Also, I suggest that hybrid approaches, as they currently stand, do not provide suitable solutions to the impasse. Instead, we should overcome the dichotomy and treat the modal/amodal distinction as a graded phenomenon. I illustrate this hypothesis with an example of a cognitive-computational model of concepts based on the Predictive Processing framework. (shrink)

Generalises the concept of a relational model for modal logic, due to Kripke, so as to obtain a closer correspondence between relational and algebraic models. The generalisation obtained is essentially equivalent to the notion of a "first-order" model that was defined independently by S.K.Thomason.

I provide a tableau system and completeness proof for a revised version of Carnap's semantics for quantified modal logic. For Carnap, a sentence is possible if it is true in some first order model. However, in a similar fashion to second order logic, no sound and complete proof theory can be provided for this semantics. This factor contributed to the ultimate disappearance of Carnapian modal logic from contemporary philosophical discussion. The proof theory I discuss comes close to Carnap's (...) semantic vision and provides an interesting counterpoint to mainstream approaches to modal logic. Despite its historical origins, my intention is to demonstrate that this approach to modal logic is worthy of contemporary attention and that current debate is the poorer for its absence. (shrink)