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)

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)

This paper provides a short historical-philosophical commentary on the first Ukrainian translation of the seventh chapter, «Nature, Life and Body-Mind», from John Dewey’s Experience and Nature, first published in1925, and which has since been regarded as Dewey’s philosophical magnum opus. This commentary includes a short history of the book, a description of its structure, as well as a brief consideration of its significance from both historical and contemporary perspectives. -/- The paper briefly discusses the book’s main methodology, denotative method, which (...) treats experience from a functional perspective the essence of which can be thought of as the practice-theory-practice pattern. For Dewey, implementing this method into philosophy should make the latter more practical and effective. -/- Experience and Nature is a clear expression of Dewey’s overall metaphysics and philosophy of mind and the book’s seventh chapter is central when it comes to Dewey’s solution to the mind-body problem. Thus, the paper briefly discusses Dewey’s emergent theory of mind, which is Dewey’s metaphysical solution to the mind-body problem, and which aims at restoring the continuity between nature and experience. -/- Since this translation is in a sense experimental, this or that terminological approach should not be understood as the ultimate truth. Thus, any constructive criticism, correctives and suggestions are welcomed. The pragmatic approach to philosophy and philosophizing is essentially fallibilist, and philosophical translation is in no way exception to that. -/- This translation is a part of Dewey’s Experience and Nature Centennial celebration organized by Center for Dewey Studies at Southern Illinois University Carbondale. -/- . (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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

A salient tradition in contemporary affect theory heavily relies on distinguishing between emotions and affects. The former refers to structured categories of socially coded affective states, while the latter denotes the pre-social libidinal flow underlying emotions. This distinction is commonly attributed to Spinoza and is thought to have been further developed by Deleuze. In this article, I argue that this overall historical picture is misleading and inaccurate. Deleuze radically transforms Spinoza’s theory of affect for the ends of his own ethical-political (...) philosophy. Moreover, I argue that Deleuzian and similar conceptualizations of affect fail to fulfill their political and ethical promises due to two critical problems. In the last section, I show that a unified notion of emotion inspired by Spinoza, which does not create a sharp rift between emotions and affect, can perform the same explanatory function intended by the emotion-affect distinction while allowing us to circumvent these problems. (shrink)

In his celebrated 'Good and Evil' (l956) Professor Geach argues as against the non-naturalists that ‘good’ is attributive and that the predicative 'good', as used by Moore, is senseless.. 'Good' when properly used is attributive. 'There is no such thing as being just good or bad, [that is, no predicative 'good'] there is only being a good or bad so and so'. On the other hand, Geach insists, as against non-cognitivists, that good-judgments are entirely 'descriptive'. By a consideration of what (...) it is to be an A, we can determine what it is to be a good A, even where the ‘A’ in question is ‘human being’. These battles are fought on behalf of naturalism, indeed, of an up-to-date Aristotelianism. Geach plans to 'pass' from the 'purely descriptive' man to good/bad man, and from human act to good/bad human act. I argue: (l) That the predicative 'good' does have a genuine sense and that it is a mistake to suppose that ‘good’ is a purely attributive adjective. This does not entail that the predicative good (as used by Moore) denotes a non-natural property, but his mistake, if any is metaphysical or ontological not conceptual. (2) That the attributive 'good' cannot be used to generate a naturalistic ethic. It is difficult to extract a set of biologically based requirements out of human nature that are a) reasonably specific; b) rationally binding or at least highly persuasive; and c) morally credible. -/- On the way I protest against Geach’s tendency to try to win arguments by affecting not to understand things. -/- My views to some extent anticipate those of Kraut in *Against Absolute Goodness*. (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)

The World Health Organization has declared the outbreak of the novel coronavirus, Covid-19 as pandemic across the world. With its alarming surge of affected cases throughout the world, lockdown, and awareness (social distancing, use of masks etc.) among people are found to be the only means for restricting the community transmission. In a densely populated country like India, it is very difficult to prevent the community transmission even during lockdown without social awareness and precautionary measures taken by the people. Recently, (...) several containment zones had been identified throughout the country and divided into red, orange and green zones, respectively. The red zones indicate the infection hotspots, orange zones denote some infection and green zones indicate an area with no infection. Contact tracing is known to be an effective technique for detecting and monitoring persons who may have been exposed to individuals infected with any communicable disease. While a good number of contact tracing schemas are existent today (eg., in-person and phone interviews, paper forms, email and web based questionnaires and smartphone apps), they often require active user participation and might miss certain COVID-19 transmission. The Android application updates the locations of the areas in a Google map which are identified to be the containment zones. The application also notifies the users if they have entered a containment zone and to achieve all these functionalities, many tools, and APIs from Google like Firebase and Geofencing API are used in this application. Therefore, this application can be used as a tool for creating further social awareness about the arising need of precautionary measures to be taken by the people of India. (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)

A complex approach to Martin Buber’s oeuvre requires a consideration of both his dialogical and pre-dialogical writings. The latter include in some cases emphases that differ substantially from the emphases promulgated in Ich und Du. I will focus on three essays from the final stage of Buber’s pre-dialogical period which contain reflections on the fighting individual. The comparison with Ernst Jünger’s reflections on the same motif will show the intellectual proximity between the two authors and will help us understand how (...) Buber’s thought was positioned shortly before his dialogical turn. While after this turn Buber and Jünger could be easily seen as polar opposites, this is not the case when we juxtapose their early reflections on the fighting individual in World War I. There are striking similarities which I denote as a homology, as there is no evidence of influence in either direction. The presented analysis provides an insight into Buber’s controversial pre-dialogical positions as well as into the more general processing of the World War I experience in Germanophone philosophy. (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)

ABSTRACT. Fodor characterizes concepts as consisting of two dimensions: one is content, which is purely denotational/broad, the other the Mentalese vehicle bearing that content, which Fodor calls the Mode of Presentation (MOP), understood "syntactically." I argue that, so understood, concepts are not interpersonally sharable; so Fodor's own account violates what he calls the Publicity Constraint in his (1998) book. Furthermore, I argue that Fodor's non-semantic, or "syntactic," solution to Frege cases succumbs to the problem of providing interpersonally applicable functional roles (...) for MOPs. This is a serious problem because Fodor himself has argued extensively that if Fregean senses or meanings are understood as functional/conceptual roles, then they can't be public, since, according to Fodor, there are no interpersonally applicable functional roles in the relevant senses. I elaborate on these relevant senses in the paper. (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, afforded by meta-metaphysics, of systematizing methodological normativism. (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)

The remaining seven papers (eight, if you count this introductory piece) in this volume of Oxford Studies in Epistemology constitute a special issue on applied epistemology, an exciting, novel, and currently burgeoning subfield of epistemology. The term ‘applied epistemology’ is a relatively recent one, however, and anecdotally, many people I’ve encountered are not quite sure what it denotes, or what different works within the field have in common. In this introductory piece, I’ll venture some views about these questions, and about (...) why applied epistemology is worth doing, as well as about its dangers. Doing so will set the state for me to situate the papers in this volume within the subfield. (shrink)

I critically evaluate Bickle’s version of scientific theory reduction. I press three main points. First, a small point, Bickle modifies the new wave account of reduction developed by Paul Churchland and Clifford Hooker by treating theories as set-theoretic structures. But that structuralist gloss seems to lose what was distinctive about the Churchland-Hooker account, namely, that a corrected theory must be specified entirely by terms and concepts drawn from the basic reducing theory. Set-theoretic structures are not terms or concepts but the (...) structures that they describe. Second, and more serious, a familiar problem for classical positivist account of reduction resurfaces within this newest wave of thinking, namely, commitment to property identities and inter-theoretic bridge laws (a problem I discussed at more length in "Collapse of the New Wave"). Indeed, this problem is exacerbated by Bickle’s conciliatory treatment of property plasticity, since he is willing to grant that a large number of special science terms denote multiply realized properties, at least if realistically construed. Still, in the end, Bickle sidesteps the reduction of properties by appealing to Hooker’s "function-to-structure token reduction." This is an interesting move with an intriguing concept of reduction. But problems remain. For, third, Bickle and Hooker's function-to-structure token reduction is actually a guised form of eliminative materialism. But that should be unacceptable since the position extends well beyond any modest revisionism for suspect items from a folk theory, say, in folk psychology or folk biology. Instead, it applies to functional terms and concepts employed throughout well-developed and explanatorily successful sciences. (shrink)

In addressing the question of what mental health is we might proceed as if there is a single phenomenon – mental health – denoted by a single overarching concept. The task, then, is to provide an informative analysis of this concept which applies to all and only instances of mental health, and which illuminates what it is to be mentally healthy. In contrast, mental health pluralism is the idea that there are multiple mental health phenomena denoted by multiple concepts of (...) mental health. Analysis and illumination of mental health may still be possible, but there isn’t a single phenomenon or concept to be analysed in addressing the question of what mental health is. The question of pluralism has been overlooked in the philosophy of mental health. The discussion to follow is an attempt to get us to take mental health pluralism seriously. To that end, in this essay I have three primary goals: (1) to give a precise account of what mental health pluralism is, (2) to show that the question of pluralism should not be neglected in debate about what mental health is, and (3) to argue for mental health pluralism. I also draw out some implications of this discussion for philosophy, science, and psychotherapy. (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)

Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, strong pluralists cannot find (...) any appropriate truth property for mixed compound propositions, whose atomic constituents are from different domains of discourse (e.g., <sky is blue and chocolate is tasty>). I argue that the strong pluralist is motivated to take the truth predicate in truth-involving universal statements to be deflationary to avoid the two pressing problems. Such a move entails that the truth predicate in the platitude of validity (V) for any argument, it is valid if and only if necessarily its conclusion is true when its premises are all true does not denote any substantive truth property. Instead, it is merely an expressive device to help people generalize instances of (V) to (V). Analogous stories hold for the truth predicate in the platitudes of compound (e.g., conjunction). The upshot is that, the strong pluralist can solve PI and PC by further conceding that mixed compounds are true/false in a deflationary way. (shrink)

I develop a challenge for the view that 'believe' is a propositional attitude verb based on two observations: (i) 'believe' can embed 'in O', and (ii) 'in O' does not denote a proposition. To develop my challenge, I argue (section 2) that 'believe' is not homonymous or polysemous between a propositional belief-that and non-propositional belief-in interpretation, and (section 3) that type-shifting 'in O'’s denotation to a proposition falsely predicts that belief-in and belief-that reports are equivalent.

Reductive, naturalistic psychosemantic theories do not have a good track record when it comes to accommodating the representation of kinds. In this paper, I will suggest a particular teleosemantic strategy to solve this problem, grounded in the neurocomputational details of the cerebral cortex. It is a strategy with some parallels to one that Ruth Millikan has suggested, but to which insufficient attention has been paid. This lack of attention is perhaps due to a lack of appreciation for the severity of (...) the problem, so I begin by explaining why the situation is indeed a dire one. One of the main tasks for a naturalistic psychosemantic theory is to describe how the extensions of mental representations are determined. (Such a theory may also attempt to account for other aspects of the “meaning” of mental representations, if there are any.) Some mental representations, e.g. the concept of water, denote kinds (I shall be assuming this is non-negotiable). How is this possible? Unfortunately, I haven’t the space to canvass all the theories out there and show that each one fails to accommodate the representation of kinds, but I will point out the major types of problems that arise for the kinds of theories that, judging by the literature, are considered viable contenders.1 In general, the theories either attempt and fail to account for the representation of kinds, or they fall back on something like an intention to refer to a kind – not exactly the most auspicious move for a reductive theory. There are a number of problems that prevent non-teleosemantic theories from explaining how it is possible to represent kinds. A concept of a kind K must.. (shrink)

Many natural languages include plural terms, i.e., terms which denote many individuals at once. Are there also superplural terms, i.e., terms which denote many pluralities of individuals at once? Some philosophers say ‘Yes’, citing a range of sentence-types which apparently can’t be analyzed in a first-order plural logic, but which can be analyzed in a superplural one. We argue that all the data presented in favor of the superplural can, in fact, be analyzed using only first-order resources. The key is (...) to add to ordinary plural logic a new notion of a generalized cover. A generalized cover reflects how interlocutors in a conversation may divide a salient plurality into many subpluralities, which can then be involved in reference and predication. With generalized covers in place, all the apparently troublesome sentences can be easily handled. Our approach can also be extended to account, not only for linguistic data which seem to favor the superplural, but also for other phenomena involving plurals. The result is a unified approach to natural language plurals on which superplurals are analyzed away. (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)

Traditionally, ‘that’-clauses occurring in attitude attributions are taken to denote the objects of the attitudes. Prior raised a famous problem: even if Frege fears that the Begriffsschrift leads to a paradox, it is unlikely that he fears a proposition, a sentence or what have you as the alleged object denoted by the ‘that’-clause. The usual way out is to say that ‘that’-clauses do not contribute the objects of the attitudes but their contents. I will show that, if we accept this (...) answer, either we’d better stop working on attitude attributions or we’d better work harder on them. (shrink)

The neutrosophic automorphisms of a neutrosophic groups G (I) , denoted by Aut(G (I)) is a neu-trosophic group under the usual mapping composition. It is a permutation of G (I) which is also a neutrosophic homomorphism. Moreover, suppose that X1 = X(G (I)) is the neutrosophic group of inner neutrosophic auto-morphisms of a neutrosophic group G (I) and Xn the neutrosophic group of inner neutrosophic automorphisms of Xn-1. In this paper, we show that if any neutrosophic group of the sequence (...) G (I), X1, X2, … is the identity, then G (I) is nilpotent. (shrink)

The outputs of generative artificial intelligence (generative AI) are often called “synthetic” to imply that they are not natural but artificial. Against that use of the term, this article focuses on a different denotation of synthesis, stressing the unifying and compositional aspects of anything synthetic. The case of large language models (LLMs) is used as an example to address synthesis philosophically alongside notions of representation in contemporary computational systems. It is argued that synthesis in generative AI should be understood (...) as a search for unity that is fundamental to the making of a representational reality. This representational reality, internal to computation, is a stable (if imperfect) whole, a togetherness of distributed representations. The article thus demonstrates that developing the philosophical concept of synthesis to investigate today’s generative AI involves examining how structuring occurs in LLMs and studying the kinds of forms that structuring results in. (shrink)