Mechanisms pervade the sciences, and a significant portion of scientific research is concerned with their discovery and description. This paper is concerned with the latter, categorizing the components that should be included in the description of a mechanism. In describing mechanisms, the question of relevant level of description often arises; the question is where, if anywhere, one should halt a reductionist approach. In this paper, I propose a framework for mechanistic description that identifies the 'relevant' hierarchical levels of a mechanism (...) based on their contributions to the functionality of the mechanism's endproduct. Mechanisms culminate in an endproduct, be it an activity or an entity, and that endproduct has qualities that allow it to participate in certain subsequent (or higher level) mechanisms. The proposed framework takes into account the level of description necessary to result in a functional endproduct; that is, an endproduct that exhibits the enabling properties required for it to fulfill its known roles in other mechanisms. Adhering to this framework results in a mechanistic description containing only the components that directly contribute to endproduct functionality. By constraining the hierarchical level of the description, the mechanistic sequence is clarified and made practical for many research applications where inadvertent focus on irrelevant details can prove costly. (shrink)

In her seminal attack on modern moral philosophy, G. E. M. Anscombe claims that Kant's ‘rule about universalizable maxims is useless without stipulations as to what shall count as a relevant description of an action with a view to constructing a maxim about it’. Although this so-called problem of relevant descriptions has received considerable attention in the literature, there is little agreement on how it should be understood or solved. My aim in this paper is, first, to clarify the problem (...) by clearing up several misunderstandings, and, second, to show that the problem is rooted in a standard assumption about Kant's stance on the scope of moral principles—an assumption that precludes its solution. I argue that the problem consists in the fact that Kant's formula of universal law seems to stand in need of an account of moral sensibility that does not render the formula superfluous. But, as my discussion of existing solutions reveals, there can be no such account. Instead, I propose a dissolution: we should think of the formula of universal law itself as Kant's account of moral sensibility. In order to do so, we must reject the standard assumption that a principle is universal if and only if it holds for all instances of the action type that it specifies. (shrink)

Definite descriptions (e.g. 'The king of France in 1997', 'The teacher of Aristotle') do not stand for particulars. Or so I will assume. The semantic alternative has seemed to be that descriptions only have meaning within sentences: i.e., that their semantic contribution is given syncategorimatically. This doesn't seem right, however, because descriptions can be used and understood outside the context of any sentence. Nor is this use simply a matter of "ellipsis." Since descriptions do not denote particulars, but seem to (...) have a meaning in isolation, I propose that they be assigned generalized quantifiers as denotations — i.e. a kind of function, from sets/properties to propositions. I then defend the pragmatic plausibility of this proposal, using Relevance Theory. Specifically, I argue that, even taken as standing for generalized quantifiers, descriptions could still be used and understood in interpersonal communication. (shrink)

Mario Gómez-Torrente is a fundamental contribution to the issue of reference and especially of reference fixing. In this article I will focus on some questions addressed in it, especially on the relationships between some components of Kripke’s, Putnam’s and Gómez-Torrente’s theories of reference fixing as well as on the relevance of descriptions for those theories; I will then make some observations about Gómez-Torrente’s view of the reference-fixing conventions.

I argue that the Universal Law formulation of the Categorical Imperative is best interpreted as a test or decision procedure of moral rightness and not as a criterion intended to explain the deontic status of actions. Rather, the Humanity formulation is best interpreted as a moral criterion. I also argue that because the role of a moral criterion is to explain, and thus specify what makes an action right or wrong, Kant's Humanity formulation yields a theory of relevant descriptions.

Instrumental rationality requires that an agent selects those actions that give her the best outcomes. This is the principle of consequentialism. It may be that it is not the only requirement of this form of rationality. Considerations other than the outcomes may enter the picture as well. However, the outcome(s) of an action always play a role in determining its rationality. Seen in this light consequentialism is a minimum requirement of instrumental rationality. Therefore, any theory that tries to spell out (...) the implications of instrumental rationality, in particular expected utility theory, should subscribe to the principle of consequentialism. Or so it seems. (shrink)

We perceive relevance by virtue of inference habits, which may be expressed as Pierce's leading principles or as Toulmin's warrants. Hence relevance in a descriptive sense is a ternary relation between two statements and a set of inference rules. For a normative sense, the warrants must be properly backed. Different types of warrant to empirical generalizations, we introduce L.J. Cohen's notion of inductive support. A to empirical generalizations, we introduce L.J. Cohen's notion of inductive support. A generalization (...) H is supported by evidence E to degree i/in iff E indicates that H passes canonical test i, where there are n canonical tests. In a canonical test, one or more relevant variables, factors which may falsify H, are varied. H passes a test if it is not falsified. The tests are cumulative. Degree of support is relative to the canonical test, and may be modeled as relative to a point in a dialectical situation. A value of a variable at which H is falsified is a rebutting value. A is normatively relevant to B with respect to W iff sup[associated generalization(W), E] = i/n and for j > i, there is a presumption that the values of j are non-rebuting. (shrink)

Many significant moral theories, ones to which a large number of philosophers pledge themselves, employ in a fundamental way the criterion of universalizability. This is true not only of Kant and his more illustrious successors, but also utilitarians of many sorts. But concomitant with adherence to universalizability as a moral criterion is adherence to the belief that certain features of putatively moral acts and immoral acts are relevant and others irrelevant to the determination to the rightness or wrongness of those (...) acts. Despite the fact that this belief is problematic, few moral philosophers have openly struggled with the problem of relevant descriptions. It is as if investigation of this problem would invite unsettlable doubts about universalizability itself. (shrink)

The biological sciences have become increasingly reliant on so-called 'model organisms'. I argue that in this domain, the concept of a descriptive model is essential for understanding scientific practice. Using a case study, I show how such a model was formulated in a preexplanatory context for subsequent use as a prototype from which explanations ultimately may be generated both within the immediate domain of the original model and in additional, related domains. To develop this concept of a descriptive (...) model, I focus on use of the nematode worm Caenorhabditis elegans and the wiring diagrams that were developed as models of its neural structure. In addition, implications of the concept of a descriptive model, particularly its relevance for the data-phenomena distinction as well as its relation to long-standing debates on realism, are briefly examined. (shrink)

EI objetivo de este artículo es presentar los principios de la programación lógica borrosa y de sus principales variantes, ilustrándolas a través de un conjunto de aproximaciones que, a nuestro entender, son representativas de los avances en esta área. También incluimos la descripción de otros sistemas de programación lógica que se sustentan en lógicas de la incertidumbre diferentes de la lógica borrosa. En esta presentación presuponemos que la mayoría de los lectores no son expertos en programación lógica; para seguirla sólo (...) se requiere un conocimiento básico de la lógica de predicados.The purpose of this paper is to present the principles of the fuzzy logic programming, exemplifying them by a couple of proposals that we think are representatives of the advances in this field. We include also the description of another systems of logic programming with uncertain information that are based on other logics of uncertainty which are different from fuzzy logic. This article only presuppose anelementary knowledge of the classical first-order logic. (shrink)

Anscombe's indictment of modern moral philosophy is full-blooded. She began with three strong claims: The first is that is not profitable to do moral philosophy… until we have an adequate philosophy of psychology, in which we are conspicuously lacking. The second is that the concepts of obligation and duty… and of the moral sense of ‘ought’, ought to be jettisoned… because they are derivatives… from an earlier conception of ethics… and are only harmful without it. The third thesis is that (...) the differences between the well-known English writers on moral philosophy from Sidgwick to the present are of little importance. (shrink)

Definite descriptions, I shall argue, have two possible functions. 1] They are used to refer to what a speaker wishes to talk about, but they are also used quite differently. Moreover, a definite description occurring in one and the same sentence may, on different occasions of its use, function in either way. The failure to deal with this duality of function obscures the genuine referring use of definite descriptions. The best known theories of definite descriptions, those of Russell and Strawson, (...) I shall suggest, are both guilty of this. Before discussing this distinction in use, I will mention some features of these theories to which it is especially relevant. (shrink)

Three views on definite descriptions are summarized and discussed, including that of P. F. Strawson in which reference failure results in lack of truth value. When reference failure is allowed, a problem arises concerning Universal Instantiation. Van Fraassen solves the problem by the use of supervaluations, preserving as well such theorems as a=a, and Fa or ~Fa, even when the term a fails to refer. In the present paper a form of relevant, quasi-analytic implication is set out which allows reference (...) failure to infect even a=a and Fa or ~Fa with lack of truth-value. Reference failure causes lack of truth-value in a subwff to spread throughout any wff built up by the classical connectives. As a result none of the classical first-order axiom schemes remain as axiom schemes in the system presented. (shrink)

Heather Douglas has helped to set the standard for twenty-first century discussions in philosophy of science on the topics of values in science and science in democracy. Douglas’s work has been part of a movement to bring the question of values in science back to center of the field and to focus especially on policy-relevant science. This first chapter, on the pervasive entanglement of science and values, includes an improved and definitive statement of the argument from inductive risk, which she (...) is single-handedly responsible for rehabilitating and returning to the center of the debate. This statement makes clear the fundamental and absolutely pervasive nature of inductive risk and its import for our understanding of the role of values in science. The chapter also provides a survey of the current field of alternative approaches to ideals for the epistemic role of values in science that is comprehensive and generous, yet critical of each. -/- In these brief comments, I focus on providing an alternative perspective on some conceptual and rhetorical issues in Douglas’s account, specifically dealing with the nature of values and the relation of the descriptive and the normative. This will lead me to somewhat different evaluations of two of the five new ideals for values in science that Douglas canvasses in the chapter. (shrink)

Viebahn (2018) has recently argued that several tests for ambiguity, such as the conjunction-reduction test, are not reliable as tests for polysemy, but only as tests for homonymy. I look at the more fine-grained distinction between regular and irregular polysemy and I argue for a more nuanced conclusion: the tests under discussion provide systematic evidence for homonymy and irregular polysemy but need to be used with more care to test for regular polysemy. I put this conclusion at work in the (...) context of the debate over the alleged referential-attributive ambiguity of the definite article. In reply to various criticisms, defenders of the ambiguity view argue that this is a case of polysemy. But opponents object that the dual use of the definite article fails tests for ambiguity. The debate seems to have come to stalemate, unless the relevance of the tests is determined for cases of alleged polysemy. I conclude that the balance of considerations incline towards rejecting the ambiguity thesis. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

In this paper I present an analysis of causal relevance for properties. I believe that most of us are already familiar with the notion of a causally relevant property. But some of us may not recognize it "under that description." So I begin below with some intuitive explanations and some illustrative examples.

It is argued that, contrary to appearances, description-names (e.g.: "The Roman Empire", "The Beatles", "The Holy Virgin",...) do conform to Millianism, i.e. the view that proper names are directly referential expressions, referring regardless of whether the relevant individual satisfies some associated description or not. However, description-names name and describe. Some arguments supporting this peculiarity and a logic to handle description-names are proposed. It will be shown that the best framework with which to accommodate description-names is a multiple-proposition theory, according to (...) which a given utterance may express several propositions. (shrink)

This is the first part of a larger project that aims to develop a cross-categorical semantic account of a broad range of _as if_ constructions in English. In this paper, we focus on descriptive uses of _as if_ with regular truth-conditional content. The core proposal is that _as if_-phrases contribute hypothetical (_if_-like) and comparative (_as_-like) properties of situations, which are instantiated by an event, state, or larger situation when it resembles in some relevant respect its counterparts in selected stereotypical (...) worlds described by the clause embedded under _as if_. We motivate and develop this situation-semantic analysis in detail for examples like _Pedro danced as if he was possessed by demons_ where the modifying _as if_-adjunct is used to inferentially convey the manner of a reported activity. We extend this analysis to _as if_-complements of perception verbs in reports like _The soup tastes as if it contains fish sauce_, offering an alternative to conceptually problematic approaches that assimilate such perceptual resemblance reports to propositional attitude ascriptions. We also examine the predicative function of _as if_ in examples like _The state of the house is as if a tornado passed through it_ where the _as if_-phrase denotes a hypothetical comparative property of the nominal subject. (shrink)

This is an attempt at reviving Kneale's version of the description theory of names, which says that a proper name is synonymous with a definite description of the form ‘the individual named so-and-so’. To begin with, I adduce a wide range of observations to show that names and overt definites are alike in all relevant respects. I then turn to Kripke's main objection against Kneale's proposal, and endeavour to refute it. In the remainder of the paper I elaborate on Kneale's (...) analysis, adopting a theory of presupposition proposed by van der Sandt. (shrink)

This book is an investigation into the descriptive task of moral philosophy. Nora Hämäläinen explores the challenge of providing rich and accurate pictures of the moral conditions, values, virtues, and norms under which people live and have lived, along with relevant knowledge about the human animal and human nature. While modern moral philosophy has focused its energies on normative and metaethical theory, the task of describing, uncovering, and inquiring into moral frameworks and moral practices has mainly been left to (...) social scientists and historians. Nora Hämäläinen argues that this division of labour has detrimental consequences for moral philosophy and that a reorientation toward descriptive work is needed in moral philosophy. She traces resources for a descriptive philosophical ethics in the work of four prominent philosophers of the twentieth century: John Dewey, Ludwig Wittgenstein, Michel Foucault, and Charles Taylor, while also calling on thinkers inspired by them. (shrink)

Multiscale modeling techniques have attracted increasing attention by philosophers of science, but the resulting discussions have almost exclusively focused on issues surrounding explanation (e.g., reduction and emergence). In this paper, I argue that besides explanation, multiscale techniques can serve important exploratory functions when scientists model systems whose organization at different scales is ill-understood. My account distinguishes explanatory and descriptive multiscale modeling based on which epistemic goal scientists aim to achieve when using multiscale techniques. In explanatory multiscale modeling, scientists use (...) multiscale techniques to select information that is relevant to explain a particular type of behavior of the target system. In descriptive multiscale modeling scientists use multiscale techniques to explore lower-scale features which could be explanatorily relevant to many different types of behavior, and to determine which features of a target system an upper-scale data pattern could refer to. Using multiscale models from data-driven neuroscience as a case study, I argue that descriptive multiscale models have an exploratory function because they are a sources of potential explanations and serve as tools to reassess our conception of the target system. (shrink)

When discussing the distinction between referential and attributive uses of definite descriptions, Keith Donnellan also mentions cases such as ‘Smith’s murderer is insane’, uttered in a scenario in which Smith committed suicide. In this essay, I defend a two-fold thesis: (i) the alleged intuition that utterances of ‘Smith’s murderer is insane’ are true in the scenario in question is independent from the phenomenon of referential uses of definite description, and, most importantly, (ii) even if such intuition is granted semantic (...) class='Hi'>relevance, the evidence it presents is compatible with a Russellian treatment of definite descriptions. I thus present a Russellian analysis of ‘Smith’s murderer is insane’ which, when coupled with certain independently plausible hypotheses, explains the presumed intuition that certain utterances of this sentence are indeed true, at least as long as the intended individual is insane. (shrink)

Every description contains within it a qualifier that allows us to avoid the problem of descriptive regress, and thus allows us to use the description for various purposes. Descriptive regress occurs because no one description can be understood without referring to further descriptions, which themselves require unpacking by reference to further descriptions ad infinitum. There are no fundamental descriptions no descriptions that attain and keep some privileged ontological status. The qualifier works by invoking the normal circumstances in which (...) the description obtains. It is impossible to foresee and describe in advance all the circumstances that would not be normal and that would reveal to us when the description could not obtain. It is our common sense the sense we develop as members of communities, and a sense sometimes narrowed and specialized in certain forms of life of what set of normal circumstances are implied into the description that allows us to use descriptions for various purposes (e.g. for describing circumstances in which some normative consequence should follow if the description obtains). This theory of descriptions is particularly relevant to the analysis of the role of descriptions of behavior and behavioral concepts in law. Law, in order to enable the regulation and evaluation of human behavior, cannot do without behavioral foundations criteria for evaluation of behavior are always based on certain descriptions of behavior and behavioral concepts. The theory of descriptions developed explains how descriptions of behavior function, namely, their utility relies on the legal community's common sense of the qualifiers attaching to descriptions of behavior. But that theory also has a reformative agenda: we should not think that any one description or any one behavioral concept such as that of intentionality can do all the work for us, in every area of the law, and in respect of every single social phenomenon. We need, in other words, to rethink the criteria for the evaluation of behavior on the basis of this theory of descriptions: i.e. on both the power and the limitations of descriptions of behavior. (shrink)

The desire-satisfaction theory of welfare says that what is basically good for a subject is the satisfaction of his desires. One challenge to this view is the existence of quirky desires, such as a desire to count blades of grass. It is hard to see why anyone would desire such things, and thus hard to believe that the satisfaction of such desires could be basically good for anyone. This suggests that only some desires are basically good when satisfied, and that (...) desire satisfactionists owe us an account of which desires these are, and why. In "Quirky Desires and Well-Being," Donald Bruckner proposes such an account: a desire is welfare-relevant (i.e., such that its satisfaction would be basically good for its subject) if and only if and because its subject could describe its object in a way that makes it comprehensible what about the object attracts him or appeals to him. We are inclined to view quirky desires as welfare-irrelevant because we assume that their objects cannot be described in such a way. But if there were a quirky desire whose object could be so described by the subject whose desire it is, then this desire would be relevant to that subject's welfare. I will argue that while Bruckner's view delivers plausible verdicts about the cases to which it is meant to apply, its account of what makes a desire welfare-relevant is unmotivated and implausible. Desire satisfactionists can retain what is plausible about his view while endorsing a better explanation of why welfare-relevant desires have that status if they accept the following account instead: a desire is welfare-relevant if and only if and because something about its object attracts, or appeals to, the subject who has the desire. (shrink)

In this paper I critically examine the Generality Problem and argue that it does not succeed as an objection to reliabilism. Although those who urge the Generality Problem are correct in claiming that any process token can be given indefinitely many descriptions that pick out indefinitely many process types, they are mistaken in thinking that reliabilists have no principled way to distinguish between relevant and irrelevant process types.

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

In his paper, “Descriptions, Indexicals, and Belief Reports: Some Dilemmas (But Not the Ones You Expect)” (Mind 104, (1995)), Stephen Schiffer presents a powerful argument against anyone who accepts a Russellian account of definite descriptions (including incomplete descriptions) and who also accepts a direct referential account of indexicals. On the one hand, the most plausible version of the Theory of Descriptions, namely, the Hidden-Indexical Theory of Descriptions, entails that a speaker who uses an incomplete description, “the F”, referentially means some (...) description-theoretic, object-independent proposition by an utterance of a sentence of the form, “The F is G”. On the other hand, since speaker meaning supervenes on one’s psychological states, what holds for referential uses of incomplete descriptions must also hold for referential uses of indexicals and demonstatives. In other words, speakers who produce literal, referential, indexical utterances of the form, “" is G” also mean some description-theoretic proposition by their utterances. Furthermore, the Russellian has no non-arbitrary reason for preferring a direct referential account of indexicals, which he should accept, to a rival, incompatible account which treats indexicals as disguised descriptions. In my paper, I argue that the Russellian does have such a reason: the rival account cannot explain all the relevant speaker meaning facts that the direct reference theory can. I conclude the paper by defending the Russellian view that, in producing a referential utterance of “the F is G”, a speaker can mean a description-theoretic proposition and, in addition, mean an object-dependent proposition involving the speaker’s referent. (shrink)

In this paper I argue that descriptive content associated with a proper name can serve as a truth-conditionally relevant adjunct and be an additional contribution of the name to the truth-conditions. Definite descriptions the so-and-so associated by speakers with a proper name can be used as qualifying prepositional phrases as so-and-so, so sentences containing a proper name NN is doing something could be understood as NN is doing something as NN (which means as so-and-so). Used as an adjunct, the (...) descriptive content of a proper name expresses the additional circumstances of an action (a manner, reason, goal, time or purpose) and constitute a part of a predicate. I argue that qualifying prepositional phrases should be analyzed as predicate modifiers and propose a formal representation of modified predicates. The additional truth-conditional relevance of the descriptive content of a proper name helps to explain the phenomenon of the substitution failure of coreferential names in simple sentences. (shrink)

Humphreys and Forde conceptualize object representations as structural descriptions, without discussing the implications of structural description models. We argue that structural description models entail two major assumptions – a part-structure assumption and an invariance assumption. The invariance assumption is highly problematic because it contradicts a large body of findings which indicate that recognition performance depends on orientation and size. We will delineate relevant findings and outline an alternative conception.

Mediation is a process in which two parties agree to resolve their dispute by negotiating over alternative solutions presented by a mediator. In order to construct such solutions, the mediator brings more information and knowledge, and, if possible, resources to the negotiation table. In order to do so, the mediator faces the challenge of determining which information is relevant to the current problem, given a vast database of knowledge. The contribution of this paper is the automated mediation machinery to resolve (...) this issue. We define the concept of a Mediation Problem and show how it can be described in Game Description Language. Furthermore, we present an algorithm that allows the mediator to efficiently determine which information is relevant to the problem and collect this information from the negotiating agents. We show with several experiments that this algorithm is much more efficient than the naive solution that simply takes all available knowledge into account. (shrink)

The question of whether cultural transmission is faithful has attracted significant debate over the last 30 years. The degree of fidelity with which an object is transmitted depends on 1) the features chosen to be relevant, and 2) the quantity of details given about those features. Once these choices have been made, an object is described at a particular grain. In the absence of conventions between different researchers and across different fields about which grain to use, transmission fidelity cannot be (...) evaluated because it is relative to the choice of grain. In biology, because a genotype-to-phenotype mapping exists and transmission occurs from genotype to genotype, a privileged grain of description exists that circumvents this ‘grain problem.’ In contrast, in cultural evolution, the genotype–phenotype distinction cannot be drawn, rendering claims about fidelity dependent upon researchers’ choices. Thus, due to a lack of unified conventions, claims about fidelity transmission are difficult to evaluate. (shrink)

In this paper, I discuss the different views of the founders of descriptive psychology in the 19th century about the meaning and purpose of this discipline and sketch a new plan for connecting descriptive psychology with the language-critical tradition of analytic philosophy. I will show that the goals Hermann Lotze, Franz Brentano, and Wilhelm Dilthey set for descriptive psychology were too lofty for different reasons. The common problem they faced was how to reconcile the ideal of autonomous (...) philosophical knowledge with the empirical relevance that descriptive psychology should have. Faced with this dilemma, I outline a new plan to conceive of descriptive psychology as a critical project aimed at overcoming the obstacles that language places in the way of our knowledge of mental phenomena. (shrink)

Descriptive semantic theories purport to characterize the meanings of the expressions of languages in whatever complexity they might have. Foundational semantics purports to identify the kind of considerations relevant to establish that a given descriptive semantics accurately characterizes the language used by a given individual or community. Foundational Semantics I presents three contrasting approaches to the foundational matters, and the main considerations relevant to appraise their merits. These approaches contend that we should look at the contents of speakers’ (...) intuitions; at the deep psychology of users and its evolutionary history, as revealed by our best empirical theories; or at the personal‐level rational psychology of those subjects. Foundational Semantics II examines a fourth view, according to which we should look instead at norms enforced among speakers. The two papers aim to determine in addition the extent to which the approaches are really rival, or rather complementary. (shrink)

The Bayesian brain hypothesis, predictive processing, and variational free energy minimisation are typically used to describe perceptual processes based on accurate generative models of the world. However, generative models need not be veridical representations of the environment. We suggest that they can be used to describe sensorimotor relationships relevant for behaviour rather than precise accounts of the world.

R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend S4, first with propositional quantifiers, to the system S4π+; and then with definite propositional descriptions, to the system S4π+ lp . We show that relevant implication can in some sense be defined in the modal system S4π+ lp , although it cannot be defined in S4π+.

As many philosophers agree, the frame problem is concerned with how an agent may efficiently filter out irrelevant information in the process of problem-solving. Hence, how to solve this problem hinges on how to properly handle semantic relevance in cognitive modeling, which is an area of cognitive science that deals with simulating human's cognitive processes in a computerized model. By "semantic relevance", we mean certain inferential relations among acquired beliefs which may facilitate information retrieval and practical reasoning under (...) certain epistemic constraints, e. g., the insufficiency of knowledge, the limitation of time budget, etc. However, traditional approaches to relevance—as for example, relevance logic, the Bayesian approach, as well as Description Logic—have failed to do justice to the foregoing constraints, and in this sense, they are not proper tools for solving the frame problem/relevance problem. As we will argue in this paper, Non-Axiomatic Reasoning System (NARS) can handle the frame problem in a more proper manner, because the resulting solution seriously takes epistemic constraints on cognition as a fundamental theoretical principle. (shrink)

General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.

In everyday causal explanations of human behaviour, known generally as folk psychology,' the causal powers of the mental seem to be taken for granted. Mental properties such as perceptions, beliefs, and desires, are all called upon in causal explanations of events that are deemed intentional. Jaegwon Kim's exclusion principle has led him to deny mental properties causal efficacy unless they are metaphysically reduced to physical properties, but what of their causal relevance? By giving up the assumption of causally efficacious (...) mental properties, has Kim put into question the explanatory value of explanations with mental descriptions? In other words, if a lower order neurological causal explanation involving a causally efficacious property is at hand, does it make the higher order mental explanation irrelevant and therefore redundant? If we are to save the explanatory importance of higher order predicates, and thus the causal explanations of the special sciences and folk psychology, we need an account of how such properties can be relevant as opposed to irrelevant in causal explanations, even though they may not be causally efficacious. Frank Jackson's and Philip Pettit's notion of program explanation tries to do just this. (shrink)

Nondescriptivist Cognitivism vindicates the cognitive value of moral judgements despite their lack of descriptive content. In this paper,I raise a few worries about the proclaimed virtues of this new metaethical framework Firstly, I argue that Nondescriptivist Cognitivism tends to beg the question against descriptivism and, secondly, discuss Horgan and Timmons' case against Michael Smith's metaethical rationalism. Although I sympathise with their main critical claims against the latter, I am less enthusiastic about the arguments that they provide to support them.

The present study explores the Bianchi type I universe in the frame work of f theory of gravity by considering strange quark matter attached to string cloud and domain walls in the presence and absence of magnetism. Field equations are solved by choosing a constant curvature method. It is found that obtained cosmological models are relevant to the early era of evolution of the universe. The strange quark matter may be a source of string cloud and domain walls.

The present work explores the possibility of conciliating the truth-conditional relevance of referential uses of definite descriptions with the assignment of a univocal linguistic meaning to these constructions. It is argued that conciliation is possible if we reject the thesis, central to the debate between Russellians and ambiguity theorists, according to which referential uses are truth-conditionally relevant if and only if they constitute referential meanings. We sketch a framework within which the denial of that thesis has theoretical content, by (...) drawing on the conceptual resources of Relevance Theory and on a pragmatic conception of reference, following Strawson. The linguistic meaning of definite descriptions is analyzed as a procedural meaning that is semantically underdetermined with respect to both referential and attributive readings, and a pragmatic strategy for understanding this ambiguity is sketched. El presente trabajo explora una posible conciliación de la relevancia para las condiciones de verdad de los usos referenciales de descripciones definidas con la postulación de un significado lingüístico unívoco para tales construcciones. Se argumenta que dicha conciliación es posible si se abandona la tesis, central en el debate entre russellianos y teóricos de la ambigüedad, según la cual los usos referenciales son relevantes para las condiciones de verdad si y sólo si constituyen significados referenciales. Se esboza un marco dentro del cual la negación de esta tesis tiene contenido teórico, apelando a los recursos conceptuales de la Teoría de la Relevancia y a una concepción pragmática de la referencia en la línea de Strawson. Se analiza el significado de las descripciones definidas como un significado procedimental, semánticamente subdeterminado respecto de una lectura referencial o atributiva, y se esboza una manera pragmática de entender esta ambigüedad. (shrink)

This article suggests that there are systematic ways in which the identity of the ‘self’, as created and performed through first-person markers, can be made relevant and consequential in particular episodes of interaction. More specifically, the study looks at generalizations that people present about themselves in local interactional contexts: displays of the types of people they are and the ways in which they always or never behave. It will be shown that such self-generalizations are typically used to account for one’s (...) behavior, and that this tendency is tied to the epistemic and moral rights provided by the first-person perspective, having the primary rights to one’s own experience. The study suggests that speakers’ personal characteristics or habitual behavior can be offered as a locally produced micro-identity, which can come to have interactional significance. (shrink)

Descriptive semantic theories purport to characterize the meanings of the expressions of languages in whatever complexity they might have. Foundational semantics purports to identify the kind of considerations relevant to establish that a given descriptive semantics accurately characterizes the language used by a given individual or community. Foundational Semantics I presents three contrasting approaches to the foundational matters, and the main considerations relevant to appraise their merits. These approaches contend that we should look at the contents of speakers’ (...) intuitions; at the deep psychology of users and its evolutionary history, as revealed by our best empirical theories; or at the personal-level rational psychology of those subjects. Foundational Semantics II examines a fourth view, according to which we should look instead at norms enforced among speakers. The two papers aim to determine in addition the extent to which the approaches are really rival, or rather complementary. (shrink)

R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend $\mathbf{S4}$, first with propositional quantifiers, to the system $\mathbf{S4\pi}+$; and then with definite propositional descriptions, to the system $\mathbf{S4\pi}+^{lp}$. We show that relevant implication can in some sense be defined in the modal system $\mathbf{S4\pi}+^{lp}$, although it cannot be defined in $\mathbf{S4\pi}+$.

Accounts of scientific explanation disagree about what’s required for a cause, law, or other fact to be a reason why an event occurs. In short, they disagree about the conditions for explanatory relevance. Nonetheless, most accounts presuppose that claims about explanatory relevance play a descriptive role in tracking reality. By rejecting the need for this descriptivist assumption, I develop an expressivist account of explanatory relevance and explanation: to judge that an answer is explanatory is to express (...) an attitude ofbeing for being satisfied by that answer. I show how expressivism vindicates ordinary scientific discourse about explanation, including claims about the objectivity and mind-independence of explanations. By avoiding commitment to ontic relevance relations, I rehabilitate an irrealist conception of explanation. (shrink)

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...) came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

One reason for the popularity of Craver’s mutual manipulability account of constitutive relevance is that it seems to make good sense of the experimental practices and constitutive reasoning in the life sciences. Two recent papers propose a theoretical alternative to in light of several important conceptual objections. Their alternative approach, the no de-coupling account, conceives of constitution as a dependence relation that once postulated provides the best explanation of the impossibility of breaking the common cause coupling of a macro-level (...) mechanism and its micro-level components. This entails an abductive view of constitutive inference. Proponents of the NDC or abductive account recognize that their discussion leaves open a big question concerning the practical dimension of the notion of constitutive relevanssssce: Is it possible to faithfully reconstruct constitutional reasoning in science in terms of a failure to de-couple, via interlevel experiments, phenomena from their mechanistic constituents? Focusing on the field of memory and long-term potential research, this article argues that the abductive account provides a more adequate description of interlevel experiments in neuroscience. We also suggest that the account highlights some significant practical recommendations of how to interpret the findings of interlevel experiments. 1Introduction 2Mutual Manipulability and Constitutive Relevance 2.1Constitutive relevance through an interventionist lens 2.2Mutual manipulability: A methodological application 3Trouble for the Mutual Manipulability Account 4The Abductive Account of Constitution 5The Abductive Account: A Methodological Application 5.1Long-term potential and memory experiments 5.2A comparative summary 6Conclusions. (shrink)