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)

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)

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)

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)

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)

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)

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)

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 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)

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)

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 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)

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)

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 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 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 result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (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)

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 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)

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)

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 dominant way to define physical entities is by appeal to ideal physics (as opposed to current physics). However, it has been worried that physicalism understood in terms of ideal physics would be too liberal to rule out “psychism”, the view that mentality exists at the fundamental metaphysical level. In this article, I argue that whereas physicalism is incompatible with some psychist cases, such as the case of “phenomenalism” in which ideal physics adopts mental concepts to denote fundamental entities, physicalism (...) should accommodate a certain type of psychist case in which fundamental mental entities are denoted by non-mental concepts in ideal physics. In so doing, I propose a distinctive account of physical entities, which asserts that physical entities are entities denoted by non-mental natural concepts in ideal physics. Physicalism thus understood is expected to be neither too liberal nor too demanding. (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)

In this paper I try to show that semantics can explain word-to-world relations and that sentences can have meanings that determine truth-conditions. Critics like Chomsky typically maintain that only speakers denote, i.e., only speakers, by using words in one way or another, represent entities or events in the world. However, according to their view, individual acts of denotations are not explained just by virtue of speakers’ semantic knowledge. Against this view, I will hold that, in the typical cases considered, semantic (...) knowledge can account for the denotational uses of words of individual speakers. (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)

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)

Background: how mind functions is subject to continuing scientific discussion. A simplistic approach says that, since no convincing way has been found to model subjective experience, mind cannot exist. A second holds that, since mind cannot be described by classical physics, it must be described by quantum physics. Another perspective concerns mind's hypothesized ability to interact with the world of quanta: it should be responsible for reduction of quantum wave packets; physics producing 'Objective Reduction' is postulated to form the basis (...) for mind-matter interactions. This presentation describes results derived from a new approach to these problems. It is based on well-established biology involving physics not previously applied to the fields of mind, or consciousness studies, that of critical feedback instability. -/- Methods: 'self-organized criticality' in complexity biology places system loci of control at critical instabilities, physical properties of which, including information properties, are presented. Their elucidation shows that they can model hitherto unexplained properties of experience. -/- Results: All results depend on physical properties of critical instabilities. First, at least one feed-back or feed-forward loop must have feedback gain, g = 1: information flows round the loop impress perfect images of system states back on themselves: they represent processes of perfect self-observation. This annihilates system quanta: system excitations are instability fluctuations, which cannot be quantized. Major results follow: -/- 1. Information vectors representing criticality states must include at least one attached information loop denoting self-observation. -/- 2. Such loop structures are attributed a function, 'registering the state's own existence', explaining -/- a. Subjective 'awareness of one's own presence' -/- b. How content-free states of awareness can be remembered (Jon Shear) -/- c. Subjective experience of time duration (Immanuel Kant) -/- d. The 'witness' property of experience – often mentioned by athletes 'in the zone' -/- e. The natural association between consciousness and intelligence -/- This novel, physically and biologically sound approach seems to satisfactorily model subjectivity. -/- Further significant results follow: -/- 1. Registration of external information in excited states of systems at criticality reduces external wave-packets: the new model exhibits 'Objective Reduction' of wave packets. -/- 2. High internal coherence (postulated by Domash & Penrose) leading to a. Non-separable information vector bundles. b. Non-reductive states (Chalmers's criterion for experience). -/- 3. Information that is: a. encoded in coherence negentropy; b. non-digitizable, and therefore c. computationally without digital equivalent (posited by Penrose). -/- Discussion and Conclusions: instability physics implies anharmonic motion, preventing excitation quantization, and totally different from the quantum physics of simple harmonic motion at stability. Instability excitations are different from anything hitherto conceived in information science. They can model aspects of mind never previously treated, including genuine subjectivity, objective reduction of wave-packets, and inter alia all properties given above. (shrink)

This lecture, delivered at the International Conference on 'Philosophy and Racism', held from 6-8 October 2022 in Münster, Germany, addressed the following question: How might one define racism in a way that is not abstracted from concrete existence? The term 'abstraction' denotes a process whereby the phenomenon of racism is reduced to an object of speculation. The objective of organic philosophy, as delineated here, is to situate the subject at the source of judgment, which is everyday inner life. This is (...) achieved by posing questions such as: to what extent does racism resonate in one's own everyday life? The person making the judgment is the one who perceives racism as an everyday experience, and this is where the meaningfulness of their discourse lies. (shrink)

This paper analyzes the determinants of women’s representation on boards of directors based on a panel of all privately owned or listed Danish firms with at least 50 employees observed during the period 1998–2010. We focus on the directors who are not elected by the employees and test three hypotheses on female board representation that we denote the female-led hypothesis, the tokenism hypothesis, and the pipeline hypothesis, respectively. We find evidence rejecting the female-led hypothesis. Firms with a female chairperson on (...) the board of directors tend to have significantly fewer other non-employee-elected female board members. We also find clear evidence of a tokenism behavior in Danish companies. The likelihood of enlarging the share of non-employee-elected female board members is significantly smaller if one, two, or more women have sat on the board of directors. Finally, the pipeline hypothesis is partly confirmed. The relation between the female pipeline of potentially qualified directors and female directors is weaker than the similar relation for males. Our findings offer insights to policy makers interested in promoting gender diversity within boardrooms. Our empirical evidence suggests that an important way to increase the female proportion of non-employee-elected board members is that more women reach top executive positions. (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)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

A Russellian notion of what it is for a proposition to be “directly about” something in particular is defined. Various strong and weak, and mediate and immediate, Russellian notions of general aboutness are then defined in terms of Russellian direct aboutness. In particular, a proposition is about something iff the proposition is either directly, or strongly indirectly, about that thing. A competing Russellian account, due to Kaplan, is criticized through a distinction between knowledge by description and denoting by description. (...) The epistemological significance of Russellian aboutness is assessed. A Russellian substitute for de re propositional attitude is considered. (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)

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)

Özet: Bu yazıda nefret sözcüklerinin dilsel işlevi açıklanmaya çalışılacaktır. Bunun için öncelikle nefret sözcüklerinin kimi özelliklerini tartışıp sonrasında bu özelliklerin tümünün önereceğim sözcük sezdirimine dayalı nefret sözcükleri kuramı ile başarıyla açıklanabileceğini savunacağım. Buna göre nefret sözcükleri sözcük anlamı olarak bir insan grubuna işaret ederken, tipik kullanımlarında kimi olumsuz nitelikleri sözcük düzeyinde sezdirirler. Sözcük sezdirimi kavramı Grice'ın sezdirim kavramının bir tümcecikten daha küçük dilsel yapılara uyarlanmasıyla ortaya çıkar. Bu uyarlamanın olanaklı olduğunun gösterilmesi için Grice’ın tümce düzeyi için tasarladığı ilke ve maksimlerin (...) tümce altı düzeyde nasıl işlediğini açıklayacağım. Abstract: This paper aims at explaining the linguistic function of slurs. To this aim, I will first discuss certain features of slurs and then argue that these features can be successfully explained in my suggested phrasal implicature theory of slurs. In this view, slurs denote a group of people, and in their typical use they imply certain negative features at the phrasal level. Phrasal implicature is a notion which is developed by adapting Gricean notion of implicature to the linguistic units that are smaller than a clause. In order to show that this adaptation is possible, I will demonstrate how the Gricean principles and maxims work at the subsentential level. (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)

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct (...) semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

This paper leads us in reflections regarding the ontological status of a situation inspired by two main sources: the Zhuangzi--a multifarious compilation from Warring States China (ca. 4th c. BCE)--and José Ortega y Gasset's (1883-1955) Unas Lecciones de Metafísica (Some Lessons in Metaphysics)--the transcripts of a course on metaphysics by a Spanish philosopher of the early 20th century. Much as other ontologically subjective entities and events, situations do not preexist the intentional subject: instead, they are created alongside our act of (...) noticing. In Classical Chinese, shi , commonly rendered "propensity" and the closest the language comes to our concept of situation, denotes a dynamic process that incorporates the conscious subjective agent as well as other entities as constitutive elements. Here a situation is not reducible to the discrete phenomena and events that we can discern within a given space-time; rather, it necessitates our thinking about it to arise. These ontological reflections are important for a philosophy of action. They help us notice the role of attention in the creation of situations--as in the creation of worlds--hence the importance of understanding what the agent notices and fails to notice, what we privilege as worthy of our attention and what passes inadvertent among the world's plural affordances. The relational affordances that we actualize and reify as constituting a situation depend on what we are socialized and educated to see when looking at the world, thus situations and agents co-create one another over time. This acknowledgement is crucial to retrain our agency in order to illuminate our blind spots, overcome our uncritical certainties which generate absolutist tendencies, and move beyond fixed, reduced, and contingent corners from which to interpret the world. (shrink)

The subject matter of this work covers the issues or problems listed below: * The problem of the ontological status of language signs and a more general philosophical problem connected with it: * What is language as a system of signs, which – on the one hand – serves to: 1) represent our knowledge about the reality which is being recognized, and, on the other one to: 2) a. explore and better cognize or discover it, b. describe it in an (...) adequate manner, and c. enable users to make interpersonal communication? All the pragmatic functions of language require carrying out its logical-philosophical analysis, and this means both regarding its syntax and semantics. Such an analysis is not possible without determining the following: How are signs perceived and what is their ontological nature in the so-called functional approach towards logical semiotics of natural language, founded on two ways of their usage: either as signs which we use in concrete situational or situational-language contexts or as isolated signs detached from such contexts? In the first case, they are language tokens (concretes), existing material objects perceived through the senses, with a fixed temporal-spatial location, in the other one – they are non-concretes and as such (as the majority of researchers in the field of philosophy and linguistics accept) – abstract objects, language types. The type-token distinction (differentiation between abstract and concrete) has already acquired a certain status in contemporary philosophy and is of considerable importance to metaphysics and epistemology in particular. Indeed, it is most often illustrated with reference to language signs (words, expressions) as the distinction type/token of a sign, introduced into semiotics by Ch. S. Peirce. In the semiotic analysis, and also in the linguistic one, there are used both types and tokens of signs, however, often without paying due attention to when it is said about types and when about tokens. This is related to the problems which are still considered by the philosophy of language: What is the type? What is the token (specimen)? What are the mutual relations between the type and the token? Disputes concerning providing answers to these questions are related to existential issues dealing with the ontological status of these language signs and two currents within the ontology of language, remaining under the influence of two fundamental concepts formed in the debate: nominalism and realism. The author presents in brief different stances on the above-mentioned issues or problems, as well as argues that from the logical point of view: 1) working out any theoretical conception of language must take into account its bi-aspectual characteristics: as a language of expression-tokens and as a language of expression-types; 2) advocating either of the standpoints: (a) types exist independent of their tokens, or (b) it is not so, can be omitted in syntactic considerations on language; 3) mutual relations between sign-tokens differ from the mutual relations between sign-types, yet; 4) determination of the mutual relation between sign-types and sign-tokens depends on accepting either of the standpoints: (a) or (b); 5) semantic or semantic-pragmatic concepts of language, such as meaning, denotation, interpretation should be defined exclusively for types of tokens, but their definitions require certain reference to the functions which sign-tokens perform in the language (words, expressions), or to relations between them; 6) The concept of an act of language communication differs from general language communication: the first one is defined by means of sign-tokens, whereas the other one – with the use of sign-types. (shrink)