By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

Bertrand Russell’s _Principles of Mathematics_ (1903) gives rise to several interpretational challenges, especially concerning the theory of denoting concepts. Only relatively recently, for instance, has it been properly realised that Russell accepted denoting concepts that do not denote anything. Such empty denoting concepts are sometimes thought to enable Russell, whether he was aware of it or not, to avoid commitment to some of the problematic non-existent entities he seems to accept, such as the Homeric gods and chimeras. In this paper, (...) I argue first that the theory of denoting concepts in _Principles of __Mathematics_ has been generally misunderstood. According to the interpretation I defend, if a denoting concept shifts what a proposition is about, then the aggregate of the denoted terms will also be a constituent of the proposition. I then show that Russell therefore could not have avoided commitment to the Homeric gods and chimeras by appealing to empty denoting concepts. Finally, I develop what I think is the best understanding of the ontology of _Principles of __Mathematics_ by interpreting some difficult passages. (shrink)

In this paper, I critically approach the essence of Dewey’s philosophy: his method. In particular, it is what Dewey termed as denotative method is at the center of my attention. I approach Dewey’s denotative method via what I call the “genealogical deconstruction” that is followed by the “pragmatic reconstruction.” This meta-approach is not alien to Dewey’s philosophy, and in fact was employed by Dewey himself in Experience and Nature. The paper consists of two parts. In Part 1, I genealogically deconstruct (...) the philosophical foundation of the denotative method: the doctrine of immediate empiricism. The latter was originally stated in Dewey’s 1905 seminal “The Postulate of Immediate Empiricism” article, and fully developed twenty years later in his Experience and Nature. I claim that Dewey’s immediate empiricism is essentially incompatible with his pragmatism (instrumentalism) and with pragmatism overall. In Part 2, I pragmatically reconstruct Dewey’s denotative method from the perspective of what I term as the “hermeneutic empiricism” which is grounded in Dewey’s 1896 “The Reflex Arc Concept in Psychology” article. As opposed to the immediate empiricism’s main thesis “things are what they are experienced as,” the motto of the hermeneutic empiricism would be “things are what they are interpreted as”/“things are experienced what they are interpreted as.” The above-mentioned pragmatic reconstruction also leads to the transformation of the notion of “common sense” which is vital to Dewey’s method, into the notion of sound reason. (shrink)

I present and discuss three previously unpublished manuscripts written by Bertrand Russell in 1903, not included with similar manuscripts in Volume 4 of his Collected Papers. One is a one-page list of basic principles for his “functional theory” of May 1903, in which Russell partly anticipated the later Lambda Calculus. The next, catalogued under the title “Proof That No Function Takes All Values”, largely explores the status of Cantor’s proof that there is no greatest cardinal number in the variation of (...) the functional theory holding that only some but not all complexes can be analyzed into function and argument. The final manuscript, “Meaning and Denotation”, examines how his pre-1905 dis­tinction between meaning and denotation is to be understood with respect to functions and their arguments. In them, Russell seems to endorse an extensional view of functions not endorsed in other works prior to the 1920s. All three manuscripts illustrate the close connection between his work on the logical paradoxes and his work on the theory of meaning. (shrink)

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating (...) any two senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

There is an inconsistency among claims made (or apparently made) in separate articles by Alonzo Church concerning Frege's distinction between sense and denotation taken together with plausible assertions by Frege concerning his notion of ungerade Sinn-i.e., the sense that an expression allegedly takes on in positions in which it has ungerade Bedeutung, denoting its own customary sense. As with any inconsistency, the difficulty can be avoided by relinquishing one of the joint assumptions from which contradiction may be derived. Yet (...) what seems the most plausible resolution, in light of Church's own arguments, involves abandoning the theory of sense and denotation, in the form in which it has been staunchly advocated by both Frege and Church. That theory has come under sustained criticism from several quarters. Whereas the present difficulty supplements the case against the theory, it is unlike more familiar criticisms, since it is not framed from the perspective of an alternative theory (or picture) but is based instead on an internal conflict, and therefore has special force. (shrink)

The paper defends a variant of the material implication approach to the meaning of conditional sentences against some arguments that are considered to be widely subscribed to and/or important in the philosophical, psychological and linguistic literature. These arguments are shown to be wrong, debatable, or to miss their aim if the truth conditions defining material implication are viewed as determining nothing but the denotation of conditional sentences and if the function of conditional sentences in deduction (logic) is focused on (...) rather than in inferencing (reasoning). It is shown that some ‘paradoxes of material implication’ are due to inconsistent premises of deductions introduced by semantic relations between clauses constituting the premises, a fact which does not invalidate the approach. Other ‘paradoxes’ are shown to arise because they are based on uninformative deductions, violating a basic pragmatic principle. In addition, the paper introduces the distinction between the set of possible states of a mental model of the actual world and of alternative worlds. It is argued that material implication determines the denotation of an indicative conditional as a subset of the former set and the denotation of a subjunctive conditional as a subset of the latter set, thus unifying these two types of conditionals. (shrink)

In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't (...) make use of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction (...) system of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

Propositional attitude sentences, such as "John believes that snow is white," are traditionally taken to express the holding of a relation between a subject and what ‘that’-clauses like ‘that snow is white’ denote, i.e. propositions. On the traditional account, propositions are abstract, mind- and language-independent entities. Recently, some have raised some serious worries for the traditional account and thought that we were mistaken about the kind of entities propositions are. Over the last ten years there has then been a boom (...) of accounts of propositions in terms of mental acts. But Friederike Moltmann has recently suggested that in accounting for attitudes we should forget about mindand language-independent entities and acts and follow Twardowski in focusing instead on attitudinal objects, which are the products of our mental life. In this paper, I will focus on some semantic problems that any product-based account seems to face. Moreover, I will show that product-based accounts may be also criticised on ontological grounds. My conclusion will be that we lack a reason to think that in accounting for propositional attitudes we should focus on the alleged products of our mental lives. (shrink)

In this paper, I attempt to clarify the heart of Dewey’s philosophy: his method (denotative method (DM) / pattern of inquiry (PI)). Despite the traditional understanding of Dewey as anti-foundationalist, I want to show that Dewey did have metaphysical foundations for his method: the principle of continuity or theory of emergentism. I also argue that Dewey’s metaphysical position is better named as ‘cultural emergentism’, rather than his own term ‘cultural naturalism’. What Dewey called ‘common sense’ in his Logic, Husserl termed (...) as the ‘life-world’ in his Crisis. I compare two perspectives of dealing with the phenomenon and conclude that for Dewey, the difference between natural sciences and the common sense inquiry is that of subject-matter but not of method. Thus, the goal is to find the unified method to be applied in both domains. Whereas Husserl was more pessimistic: for him, the difference was not only in subject-matter, but in the very methods. Following that discussion, I also attempt to reformulate the hard problem of consciousness in Deweyan terms. In the end, I compare Dewey’s DM / PI with Popper’s understandings of scientific method and conclude that there is no significant difference between the two and that Dewey’s method could also be looked at as hypothetic-deductive method, with the only difference in emphases. (shrink)

Now that complex Agent-Based Models and computer simulations spread over economics and social sciences - as in most sciences of complex systems -, epistemological puzzles (re)emerge. We introduce new epistemological tools so as to show to what precise extent each author is right when he focuses on some empirical, instrumental or conceptual significance of his model or simulation. By distinguishing between models and simulations, between types of models, between types of computer simulations and between types of empiricity, section 2 gives (...) conceptual tools to explain the rationale of the diverse epistemological positions presented in section 1. Finally, we claim that a careful attention to the real multiplicity of denotational powers of symbols at stake and then to the implicit routes of references operated by models and computer simulations is necessary to determine, in each case, the proper epistemic status and credibility of a given model and/or simulation. (shrink)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role of (...) these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

Fregeans face the difficulty finding a notation for distinguishing statements about the sense or meaning of an expression as opposed to its reference or denotation. Famously, in "On Denoting", Russell rejected methods that begin with an expression designating its denotation, and then alter it with a "the meaning of" operator to designate the meaning. Such methods attempt an impossible "backward road" from denotation to meaning. Contemporary neo-Fregeans, however, have suggested that we can disambiguate _with_, rather than _against_, (...) the grain, by using a notation that begins with expressions designating senses or meanings, and then alters them with a "the denotation of" operator to designate the denotation. I show that in his manuscripts of 1903–05, Russell both considered and rejected a similar notation along with the metaphysical suppositions underlying it. This discussion sheds light on the evolution of Russell's thought, and may yet be instructive for ongoing debates. (shrink)

A recent and growing discussion in philosophy addresses the construction of models and their use in scientific reasoning by comparison with fiction. This comparison helps to explore the problem of mediated observation and, hence, the lack of an unambiguous reference of representations. Examining the usefulness of the concept of fiction for a comparison with non-denoting elements in science, the aim of this paper is to present reasonable grounds for drawing a distinction between these two kinds of representation. In particular, my (...) account will suggest a demarcation between fictional and non-fictional discourse as involving two different ways of interpreting representations. This demarcation, leading me to distinguish between fictional and non-fictional forms of enquiry, will provide a useful tool to explore to what extent the descriptions given by a model can be justified as making claims about the world and to what degree they are a consequence of the model’s particular construction. (shrink)

The aim of this paper is to discuss the “Framework for M&S with Agents” (FMSA) proposed by Zeigler et al. [2000, 2009] in regard to the diverse epistemological aims of agent simulations in social sciences. We first show that there surely are great similitudes, hence that the aim to emulate a universal “automated modeler agent” opens new ways of interactions between these two domains of M&S with agents. E.g., it can be shown that the multi-level conception at the core of (...) the FMSA is similar in both contexts: notions of “levels of system specifi cation”, “behavior of models”, “simulator”and “endomorphic agents” can be partially translated in the terms linked to the “denotational hierarchy” (DH) recently introduced in a multi-level centered epistemology of M&S. Second, we suggest considering the question of “credibility” of agent M&S in social sciences when we do not try to emulate but only to simulate target systems. Whereas a stringent and standardized treatment of the heterogeneous internal relations (in the DH) between systems of formalisms is the key problem and the essential challenge in the scope of Agent M&S driven engineering, it is urgent too to address the problem of the external relations (and of the external validity, hence of the epistemic power and credibility) of such levels of formalisms in the specific domains of agent M&S in social sciences, especially when we intend to introduce the concepts of activity tracking. (shrink)

In this paper I argue against a deflationist view that as representational vehicles symbols and models do their jobs in essentially the same way. I argue that symbols are conventional vehicles whose chief function is denotation while models are epistemic vehicles whose chief function is showing what their targets are like in the relevant aspects. It is further pointed out that models usually do not rely on similarity or some such relations to relate to their targets. For that referential (...) relation they reply instead on symbols (names and labels) given to them and their parts. And a Goodmanian view on pictures of fictional characters reveals the distinction between symbolic and model representations. (shrink)

Many differences exist between the logical relations “equality” and “equivalence”. In this monograph I point out differences that concern definition, linguistics, computational gates and tables, denotation, application, negation of terms, negation of the relation, relations to other relations, the laws of symmetry, transitivity and reflexivity, the laws of commutation and permutation, the law of tautology, the law of distribution, the law of association, propositional meaning, and “genesis”. I also point out a form of “symmetry breaking”: the negation of some (...) equality may yield some non-equality, while the negation of that non-equality might not yield the same equality. (For full access: use the website link of the title page. -- Copyright License: CC BY-NC-ND. -- DOI: 10.17026/dans-zh3-h2b2 --). (shrink)

Bertrand Russell in his essay On Denoting [1905] presented a theory of description developed in response to the one proposed by Gottlob Frege in his paper Über Sinn und Bedeutung [1892]. The aim of our work will be to show that Russell underestimated Frege three times over in presenting the latter’s work: in relation to the Gray’s Elegy argument, to the Ferdinand argument, and to puzzles discussed by Russell. First, we will discuss two claims of Russell’s which do not do (...) justice to Frege: that we speak of a sense by means of quotation marks, and that all Frege does to cope with phrases that might denote nothing is define an arbitrary object as their reference. Second, we will show that Russell omitted the fact that Frege’s theory provided some answers for the puzzles presented by Russell in his essay. (shrink)

The paper proposes a new formal approach to vagueness and vague sets taking inspirations from Pawlak’s rough set theory. Following a brief introduction to the problem of vagueness, an approach to conceptualization and representation of vague knowledge is presented from a number of different perspectives: those of logic, set theory, algebra, and computer science. The central notion of the vague set, in relation to the rough set, is defined as a family of sets approximated by the so called lower and (...) upper limits. The family is simultaneously considered as a family of all denotations of sharp terms representing a suitable vague term, from the agent’s point of view. Some algebraic operations on vague sets and their properties are defined. Some important conditions concerning the membership relation for vague sets, in connection to Blizard’s multisets and Zadeh’s fuzzy sets, are established as well. A classical outlook on a logic of vague sentences (vague logic) based on vague sets is also discussed. (shrink)

The analysis method and paradigm of film have become a controversial topic in the data-driven era. Film, is not only an attractive industry that can achieve filmmakers’ imagination but has become a perfect stimulus to understand human being’s mental activity. The core research in this study is to examine the impact of filmmaking experience and the role of narrative denoters from filmmakers’ construction to audiences’ interpretation. Based on previous studies and integrating cognitive approaches, the thesis re-explores the nature and essence (...) of film and proposes an alternative term - narrative denoter - which can be used as the indication of message exchanging between filmmakers and audiences. Using a released film that has a complete story to do the experiment, this study investigates the relationship between major, film interpretations, event segmentation, and audience’s preference. The result showed that filmmaking experience does not impact the interpretation of film; however the identification of the narrative denoter played an important role in film perception and cognition; apart from these, the audience’s preference did not correlate with film interpretation. With respect to this result, the narrative denoter can be indicator to demonstrate the message transitions from filmmaker to audience. Suggestions were made for future cognitive film studies on using the narrative denoters as a new analysis unit. (shrink)

‘Complexics’ denotes the meta-transdisciplinary field specifically concerned with giving us suitable cognitive tools to understand the world’s complexity. Additionally, the use of the adjective ‘complexical’ would avoid the common confusion caused by the adjective ‘complex’, which belongs to everyday usage and already has its own connotations of complication and confusion. Thus, ‘complexical’ thinking and ‘complexical’ perspective would provide clearer terms, be freer of confusion, and refer more precisely to epistemic elements in contrast to the ‘complexity’ typical of many phenomena of (...) reality. In short, the world would be ‘complex’, but our way of looking at the world would be ‘complexical’. As a meta-transdiscipline, ‘complexics’ would carry on the perspective of cybernetics: “Cybernetics deals with all forms of behaviour insofar as they are regular, or determinate, or reproducible. The materiality is irrelevant… The truths of cybernetics are not conditional on their being derived from some other branch of science. Cybernetics has its own foundations” (Ashby, 1956:1). Thus, it has a distinctly transdisciplinary mission to provide concepts, schema and possibilities of thinking and representation able to express the multidimensional and systemic interwovenness and interdependence of the many, highly significant phenomena of reality that have these characteristics. On the level of theory, complexics needs to provide a set of principles, concepts and conceptual landscapes that can be applied transversally to distinct areas of knowledge and phenomena of reality, enabling us to gain a much firmer grasp of the complex aspects of their existence than we currently have. For this reason, our aim needs to be, as Morin says, not “to reduce complexity to simplicity, [but] to translate complexity into theory” (1994:315). (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

Let ‘warrant’ denote whatever precisely it is that makes the difference between knowledge and mere true belief. A current debate in epistemology asks whether warrant entails truth, i.e., whether (Infallibilism) S’s belief that p is warranted only if p is true. The arguments for infallibilism have come under considerable and, as of yet, unanswered objections. In this paper, I will defend infallibilism. In Part I, I advance a new argument for infallibilism; the basic outline is as follows. Suppose fallibilism is (...) true. An implication of fallibilism is that the property that makes the difference between knowledge and mere belief (which I dub ‘warrant*’) is the conjunctive property being warranted and true . I show that this implication of fallibilism conflicts with an uncontroversial thesis we have learned from reflection on Gettier cases: that nonaccidental truth is a constituent of warrant*. It follows that infallibilism is true. In the second part of the paper, I present and criticize a new argument against infallibilism. The argument states that there are plausible cases where, intuitively, the only thing that is keeping a belief from counting as knowledge is the falsity of that belief. Furthermore, it is plausible that such a belief is warranted and false. So, the argument goes, infallibilism is false. I show that this argument fails. (shrink)

The concept of impetus denoted the transmission of a power from the mover to the object moved. Many authors resorted to this concept to explain why a projectile keeps on moving when no longer in contact with its initial mover. But its application went further, as impetus was also appealed to in attempts to explain the acceleration of falling bodies or the motion of the heavens. It was widely applied in Renaissance natural philosophy, but it also raised a number of (...) ontological questions concerning its precise nature. (shrink)

Toleration classically denotes a relation between two agents that is characterised by three components: objection, power, and acceptance overriding the objection. Against recent claims that classical toleration is not applicable in liberal democracies and that toleration must therefore either be understood purely attitudinally or purely politically, we argue that the components of classical toleration are crucial elements of contemporary cases of minority accommodation. The concept of toleration is applicable to, and is an important element of descriptions of such cases, provided (...) that one views them as wholes, rather than as sets of isolated relations. We explain this by showing how certain cases of toleration are multi-dimensional and how the descriptive concept of toleration might be understood intersectionally. We exemplify this by drawing on case studies of mosque controversies in Germany and Denmark. Finally, we propose that intersectionality is not only relevant to the descriptive concept of toleration but also captures an important aspect of normative theories of toleration. We illustrate this by discussing ideals of respect-based toleration, which we also apply to the case studies. (shrink)

“Passive fear” denotes a certain type of response to a perceived threat; what is distinctive about the state of passive fear is that its behavioral outlook appears to qualify the emotional experience. I distinguish between two cases of passive fear: one is that of freezing in fear; the other is that of fear-involved tonic immobility. I reconstruct the explanatory strategy that is commonly employed in the field of emotion science, and argue that it leaves certain questions about the nature of (...) passive fear unanswered. I subsequently propose an account of passive fear that builds upon a phenomenological theory of emotions, placing emphasis on the interpretation of current research into human tonic immobility. (shrink)

Pronouns often convey information about a person’s social identity (e.g., gender). Consequently, pronouns have become a focal point in academic and public debates about whether pronouns should be changed to be more inclusive, such as for people whose identities do not fit current pronoun conventions (e.g., gender non-binary individuals). Here, we make an empirical contribution to these debates by investigating which social identities lay speakers think that pronouns should encode and why. Across four studies, participants were asked to evaluate different (...) types of real and hypothetical pronouns, including binary gender pronouns, race pronouns, and identity-neutral pronouns. We sampled participants from two languages with different pronoun systems: English (N = 1,120) and Turkish (N = 260). English pronouns commonly denote binary gender (e.g., he for men), whereas Turkish pronouns are identity-neutral (e.g., o for anyone). Participants’ reasoning about pronouns reflected both a familiarity preference (i.e., participants preferred the pronoun type used in their language) and—critically—participants’ social ideologies. In both language contexts, participants’ ideological beliefs that social groups are inherently distinct (essentialism) and should be hierarchal (social dominance orientation) predicted relatively greater endorsement of binary gender pronouns and race pronouns. A preregistered experimental study with an English-speaking sample showed that the relationship between ideology and pronoun endorsement is causal: Ideologies shape attitudes toward pronouns. Together, the present research contributes to linguistic and psychological theories concerning how people reason about language and informs policy-relevant questions about whether and how to implement language changes for social purposes. (shrink)

This paper presents a puzzle involving embedded attitude reports. We resolve the puzzle by arguing that attitude verbs take restricted readings: in some environments the denotation of attitude verbs can be restricted by a given proposition. For example, when these verbs are embedded in the consequent of a conditional, they can be restricted by the proposition expressed by the conditional’s antecedent. We formulate and motivate two conditions on the availability of verb restrictions: a constraint that ties the content of (...) restrictions to the “dynamic effects” of sentential connectives and a constraint that limits the availability of restriction effects to present tense verbs with first-person subjects. However, we also present some cases that make trouble for these conditions, and outline some possible ways of modifying the view to account for the recalcitrant data. We conclude with a brief discussion of some of the connections between our semantics for attitude verbs and issues concerning epistemic modals and theories of knowledge. (shrink)

This essay presents a fully inferentialist-expressivist account of scientific representation. In general, inferentialist approaches to scientific representation argue that the capacity of a model to represent a target system depends on inferences from models to target systems. Inferentialism is attractive because it makes the epistemic function of models central to their representational capacity. Prior inferentialist approaches to scientific representation, however, have depended on some representational element, such as denotation or representational force. Brandom’s Making It Explicit provides a model of (...) how to fully discharge such representational vocabulary, but it cannot be applied directly to scientific representations. Pursuing a strategy parallel to Brandom’s, this essay begins with an account of how surrogative inference is justified. Scientific representation and the denotation of model elements are then explained in terms of surrogative inference by treating scientific representation and denotation as expressive, analogous to Brandom’s account of truth. The result is a thoroughgoing inferentialism: M is a scientific representation of T if and only if M has scientifically justified surrogative consequences that are answers to questions about T. (shrink)

Let us denote by ‘methodological normativism’ the thesis that part of the business of philosophical methodology consists in examining or influencing norms understood to determine, at any given time, methods actually used in philosophy. For the value of methodological normativism to be adequately recognized, there should exist a relatively standard “system” in which one evaluates competing views on how, and why, philosophical methods may be reformed. No such system appears to be standardly recognized, and the consequence is an unpalatable prolongation (...) of debates on norms philosophers, as a matter of fact, follow in implementing philosophical methods. I will seek to develop, in what follows, a contextualist principle of arbitrating competing methodological proposals in meta-philosophy using insights well-entrenched in meta-metaphysics. In other words, I seek to discuss a possible way, af f orded by meta-metaphysics, of systematizing methodological normativism. (shrink)

Apoha, a Sanskrit term meaning exclusion, was used by the late fifth- to early sixth-century Buddhist philosopher Dignā ga as a keystone in his theory of denotation. According to Dignā ga, a word denotes its meaning through the exclusion of what is other (anyā poha). This idea provoked celebration and controversy that would last through the end of Sanskritic Indian Buddhism. In the hands of Dignā ga’s successor Dharmakīrti (seventh century), who developed what became the normative version of this (...) theory, apoha leverages the fact that a causally efficacious real thing is different from everything else to describe how the interaction between living beings and their worlds produces judgements that are either shared or not in accord with the various factors contributing to the judgement’s formation. Dharmakīrti argues that there’s an infinite number of ways that a real thing could be conceptualised since each real thing is different from the infinite expanse of other real things. Acting toward a real thing requires delimiting the scope of what one ignores so that just some of the differences are left over. A living being can afford to ignore the differences between the differences that are left over in this exclusion because these differences don’t impact the specific goal based on which the living being judges an object to be efficacious or not. (shrink)

When reusing existing ontologies for publishing a dataset in RDF (or developing a new ontology), preference may be given to those providing extensive subcategorization for important classes (denoted as focus classes). The subcategories may consist not only of named classes but also of compound class expressions. We define the notion of focused categorization power of a given ontology, with respect to a focus class and a concept expression language, as the (estimated) weighted count of the categories that can be built (...) from the ontology’s signature, conform to the language, and are subsumed by the focus class. For the sake of tractable initial experiments we then formulate a restricted concept expression language based on existential restrictions, and heuristically map it to syntactic patterns over ontology axioms (so-called FCE patterns). The characteristics of the chosen concept expression language and associated FCE patterns are investigated using three different empirical sources derived from ontology collections: first, the concept expression pattern frequency in class definitions; second, the occurrence of FCE patterns in the Tbox of ontologies; and last, for class expressions generated from the Tbox of ontologies (through the FCE patterns); their ‘meaningfulness’ was assessed by different groups of users, yielding a ‘quality ordering’ of the concept expression patterns. The complementary analyses are then compared and summarized. To allow for further experimentation, a web-based prototype was also implemented, which covers the whole process of ontology reuse from keyword-based ontology search through the FCP computation to the selection of ontologies and their enrichment with new concepts built from compound expressions. (shrink)

The ontology behind quantum mechanics has been the subject of endless debate since the theory was formulated some 100 years ago. It has been suggested, at one time or another, that the objects described by the theory may be individual particles, waves, fields, ensembles of particles, observers, and minds, among many other possibilities. I maintain that these disagreements are due in part to a lack of precision in the use of the theory’s various semantic designators. In particular, there is some (...) confusion about the role of representation, reference, and denotation in the theory. In this article, I first analyze the role of the semantic apparatus in physical theories in general and then discuss the corresponding ontological implications for quantum mechanics. Subsequently, I consider the extension of the theory to quantum fields and then analyze the semantic changes of the designators with their ontological consequences. In addition to the classical arguments to rule out a particle ontology in the case of non-relativistic quantum field theory, I show how the existence of black holes makes the proposal of a particle ontology in general spacetimes unfeasible. I conclude by proposing a provisional pluralistic ontology of fields and spacetime and discussing some prospects for possible future ontological economies. (shrink)

Urban infrastructures serve as the backbone of modern economies, mediating global exchanges and responding to urban demands. Yet, our comprehension of these complex structures, particularly within diverse socio-political terrain, remains fragmented. In bridging this knowledge gap, this study delves into “boundary objects”—entities enabling diverse stakeholders to collaborate without a comprehensive consensus. Central to our investigation is the hypothesis that oceanic infrastructural developments are instrumental in molding the interface of urban, industrial, and energy sectors within marine contexts. Our lens is directed (...) at the Gulf of Mexico, which is distinguished by its industrial depth and expansive marine grid. We highlight the Gulf Intracoastal Waterway’s (GIWW) paramount role in regional movement and the ecological facets of practices such as dredging, which is vital for transport and coastal conservation. A striking revelation of our study is the transformation of offshore structures in the Gulf into vibrant marine habitats. Emphasizing the intertwined nature of marine infrastructures, we denote oceans as pivotal platforms for impending urban expansion, especially as land resources wane. Our research aspires to validate the role played by oceans as a nexus in the urban–industrial–energy fusion. (shrink)

Purpose The purpose of this paper is to defend the notion of “trust in technology” against the philosophical view that this concept is misled and unsuitable for ethical evaluation. In contrast, it is shown that “trustworthy technology” addresses a critical societal need in the digital age as it is inclusive of IT-security risks not only from a technical but also from a public layperson perspective. Design/methodology/approach From an interdisciplinary perspective between philosophy andIT-security, the authors discuss a potential instantiation of a (...) “trustworthy information and communication technology ”: a solution for privacy respecting video surveillance. Here, strong data protection measures address grave concerns such as the threat of bulk biometric tracking of citizens. In a logical argument, however, the authors show that this technical notion of “trust” needs to be complemented by interlocking trust relations to justify public trust. Findings Based on this argument, the authors demonstrate that the philosophical position considering “trust in technology” to denote either “reliability” or “interpersonal trust” is too limited as it fails to address critical aspects of IT-security. In a broader, socio-technical sense, however, it is shown that several distinct accounts of trust – technical, interpersonal and institutional – should meaningfully interlock, to address concerns with ICTs. Originality/value This conceptual study demonstrates the potential of “trust in technology” for a more comprehensive evaluation of ICTs within the context of operation. Furthermore, it adds to the discussion of trust in IT-security by highlighting the layperson’s challenge of judging a technology’s trustworthiness. Vice versa, it contributes to Ethics of Technology by highlighting crucial IT-security needs. (shrink)

The standard view of "believes" and other propositional attitude verbs is that such verbs express relations between agents and propositions. A sentence of the form “S believes that p” is true just in case S stands in the belief-relation to the proposition that p; this proposition is the referent of the complement clause "that p." On this view, we would expect the clausal complements of propositional attitude verbs to be freely intersubstitutable with their corresponding proposition descriptions—e.g., "the proposition that p"—as (...) they are in the case of "believes." In many cases, however, intersubstitution of that-clauses and proposition descriptions fails to preserve truth value or even grammaticality. These substitution failures lead some philosophers to reject the standard view of propositional attitude reports. Others conclude that propositional attitude verbs are systematically ambiguous. I reject both these views. On my view, the that-clause complements of propositional attitude verbs denote propositions, but proposition descriptions do not. (shrink)

Modifying the descriptive and theoretical generalizations of Relativized Minimality, we argue that a significant subset of weak island violations arise when an extracted phrase should scope over some intervener but is unable to. Harmless interveners seem harmless because they can support an alternative reading. This paper focuses on why certain wh-phrases are poor wide scope takers, and offers an algebraic perspective on scope interaction. Each scopal element SE is associated with certain operations (e.g., not with complements). When a wh-phrase scopes (...) over some SE, the operations associated with that SE are performed in its denotation domain. The requisite operations may or may not be available in a domain, however. We present an empirical analysis of a variety of wh-phrases. It is argued that the wh-phrases that escape all weak islands (i.e., can scope over any intervener) are those that range over individuals, the reason being that all Boolean operations are defined for their domain. Collectives, manners, amounts, numbers, etc. all denote in domains with fewer operations and are thus selectively sensitive to scopal interveners—a “semantic relativized minimality effect”. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector (...) models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

Mereological entities often seem to violate ‘ordinary’ ideas of what a concrete object can be like, behaving more like sets than like Aristotelian substances. However, the mereological notions of ‘part’, ‘composition’, and ‘sum’ or ‘fusion’ appear to find concrete realisation in the actual semantics of mass nouns. Quine notes that ‘any sum of parts which are water is water’; and the wine from a single barrel can be distributed around the globe without affecting its identity. Is there here, as some (...) have claimed, a ‘natural’ or ‘innocent’ form of mereology? The claim rests on the assumption that what a mass noun such as ‘wine’ denotes — the wine from a single barrel, for example — is indeed a unit of a special type, the sum or fusion of its many ‘parts’. The assumption is, however, open to question on semantic grounds. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

This paper argues that Wolff’s rejection of Leibnizian monads is rooted in a disagreement concerning the general notion of substance. Briefly, whereas Leibniz defines substance in terms of activity, Wolff retains a broadly scholastic and Cartesian conception of substance as that which per se subsists and sustains accidents. One consequence of this difference is that it leads Wolff to interpret Leibniz’s concept of a constantly striving force as denoting a feature of substance separate from its static powers, and not as (...) their replacement. For Wolff, powers are essential possibilities of acting in subjects suited for independent existence. Force is a further ingredient that provides a reason for the contingent operation of powers. Unlike Leibniz, Wolff conceives force narrowly as a principle of actuality, which he calls the “nature” of substance, as distinct from its principle of possibility, or essence. (shrink)

This paper advocates a generalized form of Expressivism, as a strategy for resolving certain metasemantic puzzles about identifying the semantic value of a context-sensitive expression in context. According to this form of Expressivism, speakers express properties of semantic parameters, and they do so in order to proffer those properties for cognitive adoption (acceptance) by their addressees. Puzzles arising from the pressure to say what a putatively context-sensitive expression refers to or denotes in contexts that do not seem to specify a (...) referent or denotation dissolve, once we appreciate that such attempts were ill-placed to begin with. Gibbard's Norm Expressivism, according to which speakers express properties of planning states or normative systems, can be regarded as a branch of this more general theory. I will however argue that Gibbard takes on commitments -- optional for the Expressivist -- that make it a bit hard to see how to distinguish his theory from a nuanced form of Subjectivism. (shrink)

Thick concepts, namely those concepts that describe and evaluate simultaneously, present a challenge to science. Since science does not have a monopoly on value judgments, what is responsible research involving such concepts? Using measurement of wellbeing as an example, we first present the options open to researchers wishing to study phenomena denoted by such concepts. We argue that while it is possible to treat these concepts as technical terms, or to make the relevant value judgment in-house, the responsible thing to (...) do, especially in the context of public policy, is to make this value judgment through a legitimate political process that includes all the stakeholders of this research. We then develop a participatory model of measurement based on the ideal of co-production. To show that this model is feasible and realistic, we illustrate it with a case study of co-production of a concept of thriving conducted by the authors in collaboration with a UK anti-poverty charity Turn2us. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We (...) motivate this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (shrink)

As the word demos denotes, the democracy is generally considered as the rule or governance based on the general base of people in which monarchy or oligarchy form is excluded. We have a classical view about the four forms of government, which was proposed by Platonic concepts. Most idealistic form of government, in his prongs, could be found in Crete and Sparta, which was nevertheless not a democratic form. His accolade of these two nations, which, of course, would be a (...) kind of God’s product so to be most benevolent, humanly appealing, efficient and philanthropic. This means the democratic form of government is not best, but most favored alternative to police the society. The political terms, henceforth, would supervene the concept of democracy, and, for many reasons and on historical wake, democracy is generally accepted as practically most desired form of rule or governance. While some modern scholar revealed, a mini-republic can be a niche to contest the merits of various forms of governance. We can gauge a scope of elements we value through the governance process, human intrinsic, efficiency, equality, welfare and even individual happiness. As the time is a small city community, called a polis, in Plato and Socrates, a mini republic can be well envisaged in understanding the Platonic Republic. In that case, most benevolent ruler may be superior to any other form of governance, which can be a philosopher’s Republic. The ideal ruler would behave and govern with mighty intelligence and concomitant power to rule. It is idealistic to produce maximum happiness of polis constituents. The worst contras, however, a tyranny, comes that the constituents legitimately expel their ruler by a collective vote. This extreme contrast and the way of process also could be ascertained in the ancient form of oriental monarchy. The dynasty could be legitimately revoked to restore new heritage of emperor or Kings where a kind of rebellion, as elucidated by Locke, is well justified in the name of heaven’s command. Given the size of polis or governed territory, there are separate ways to redress the evils of tyranny while the Oriental culture has not recognized the kind of formal vote methods. Any means to expel the tyranny could be embraced to rebel. For our purpose of grasp through this working paper, I would theorize on the traditional elements of public policy and democratic form of government. (shrink)

This paper explores the theological and philosophical implications of artificial intelligence (AI) and Neuroscience research on the Christian’s notion of the human person. The paschal mystery of Christ is the intuitive foundation of Christian anthropology. In the intellectual history of the Christianity, Platonism and Aristotelianism have been employed to articulate the Christian philosophical anthropology. The Aristotelian systematization has endured to this era. Since the modern period of the Western intellectual history, Aristotelianism has been supplanted by the positive sciences as the (...) standard scientific and philosophical interpretative framework for many. This paper argues that there is need for a new Christian anthropology based on the interpretation of the paschal mystery of Christ that is consistent with contemporary science and philosophy, especially as informed by research in AI and neuroscience. Christian anthropology today ought to be fully aware of the theological and philosophical implications of AI and neuroscience research. This paper denotes this new Christian anthropology as neuro-theological Christian anthropology. (shrink)