The key to the measurement problem is the entity at the heart of Everett's formulation, the state of the memory, defined as the record of observations. In humans, the integrated synthesis defines the perceptual reality, a projective, three-dimensional representation of the world. This 'world hologram' is the conscious point of view, the mind in Lockwood's interpretation, the 'phenomenal perspective'. As Everett demonstrates, the collapse dynamics operates only judged by the state of the memory; the physical observer remains in a (...) superposed state. An operational mind-body property dualism is defined. This field of information is multiply instantiated in the many worlds of the unitary wave function. As these are superposed and coincident, the net result is a single world hologram. The physical frame of reference on this view is the superposition of the class of instantiating worlds, a second-logical-type phenomenon. By definition determinate only where defined by observations, this is the physical ontology of Everett's relative state. Collapse on observation is inherent. The evidence is the retrodiction of the holographic universe. This is the cosmology of the relative state. As it is determinate solely where defined by the world hologram that delineates the outer boundary, entropy is defined solely by this surface. The quasi-classical world is the cosmology in the absolute state. The incompatible dynamics of quantum mechanics operate in these two different types of physical frames of reference. The linear dynamics is the time evolution of the quasi-classical worlds. On observation, judged by the state of the world hologram, the class of instantiating worlds is redefined, becoming the class of worlds in which the observed outcome occurred. Collapse effectively operates. The holographic universe of the mind updates. The dynamics operate at different levels of logical type. The measurement problem is a category error. (shrink)

In this thesis, I give a metascientific account of causality in medicine. I begin with two historical cases of causal discovery. These are the discovery of the causation of Burkitt’s lymphoma by the Epstein-Barr virus, and of the various viral causes suggested for cervical cancer. These historical cases then support a philosophical discussion of causality in medicine. This begins with an introduction to the Russo- Williamson thesis (RWT), and discussion of a range of counter-arguments against it. Despite these, I argue (...) that the RWT is historically workable, given a small number of modifications. I then expand Russo and Williamson’s account. I first develop their suggestion that causal relationships in medicine require some kind of evidence of mechanism. I begin with a number of accounts of mechanisms and produce a range of consensus features of them. I then develop this consensus position by reference to the two historical case studies with an eye to their operational competence. In particular, I suggest that it is mechanistic models and their representations which we are concerned with in medicine, rather than the mechanism as it exists in the world. -/- I then employ these mechanistic models to give an account of the sorts of evidence used in formulating and evaluating causal claims. Again, I use the two human viral oncogenesis cases to give this account. I characterise and distinguish evidence of mechanism from evidence of difference-making, and relate this to mechanistic models. I then suggest the relationship between types of evidence presents us with a means of tackling the reference-class problem. This sets the scene for the final chapter. Here, I suggest the manner in which these two different classes of evidence become integrated is also reflected in the way that developing research programmes change as their associated causal claims develop. (shrink)

Le cercle herméneutique a été utilisé par tous ceux qui ont défendu la thèse de l’autonomie méthodologique des sciences humaines par rapport aux sciences naturelles. Il est généralement perçu comme un problème ontologique ou logique par les Herméneutistes. Le but de cet article est de montrer que le cercle herméneutique n’est ni l’un ni l’autre. Tout indique, plutôt, qu’il fait référence à un phénomène empirique, qui peut être étudié dans le cadre de la psycholinguistique et d’autres disciplines empiriques. Il ne (...) peut pas, par conséquent, être utilisé comme argument pour légitimer la séparation entre les sciences naturelles et les sciences humaines, et ne peut donc pas contribuer à soutenir la thèse de l’autonomie des sciences humaines. (shrink)

This paper argues that a certain type of self-referential sentence falsifies the widespread assumption that a declarative sentence's meaning is identical to its truth condition. It then argues that this problem cannot be assimilated to certain other problems that the assumption in question is independently known to face.

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, (...) NY 14260-4150 E-mail: [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The (...) construction of the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

The aim of this paper is to analyze, from a philosophical perspective, the scientific robustness of the construct of psychopathy as measured by the Psychopathy Checklist Revised that was developed by Robert Hare (1991; 2003). The scientific robustness and validity of classifications are topics of many debates in philosophy of science and philosophy of psychiatry more specifically. The main problem consists in establishing whether scientific classifications reflect natural kinds where the concept of a natural kind refers to the existence (...) of some objective divisions in nature that do not depend exclusively on subjective judgments of the classifier. The construct of psychopathy is especially interesting since the diagnosis of psychopathy has substantial social consequences. In the light of the recent debates regarding the problem of natural kinds in philosophy of psychiatry, we advocate the following distinction between two types of scientific classifications: natural and practical kinds. Natural kinds refer to those categories that are united by common causal mechanisms or properties. Practical kinds refer to categories that fulfill some practical classificatory goals such as prediction. We argue that the construct of psychopathy can fulfill the role of a practical kind. In addition, we contend that our current scientific knowledge about psychopathy does not allow us to conclude that this category is a natural kind. (shrink)

This book addresses the problem of self-knowledge in Kant’s philosophy. As Kant writes in his major works of the critical period, it is due to the simple and empty representation ‘I think’ that the subject’s capacity for self-consciousness enables the subject to represent its own mental dimension. This book articulates Kant’s theory of self-knowledge on the basis of the following three philosophical problems: 1) a semantic problem regarding the type of reference of the representation ‘I’; 2) (...) an epistemic problem regarding the type of knowledge relative to the thinking subject produced by the representation ‘I think’; and 3) a strictly metaphysical problem regarding the features assigned to the thinking subject’s nature. The author connects the relevant scholarly literature on Kant with contemporary debates on the huge philosophical field of self-knowledge. He develops a formal reading according to which the unity of self-consciousness does not presuppose the identity of a real subject, but a formal identity based on the representation ‘I think’. (shrink)

This book is about whether reference to an individual is the essential feature of a proper name -- a widely held view -- or whether referring to an individual is simply a contingent feature. Three questions need resolving, then. First, whether all names in particular contexts are themselves referring devices. Second, whether recognizing names types and the consequent issue of their ambiguity can be resolved simply by distinguishing between name types and tokens thereof. Last, whether names are ever referential (...) in the way Kripke and others have convincingly argued. The answer to first two questions is negative. The answer to third is a qualified "yes." I explain the theory that allows for these answers in the manuscript, as well as addressing other issues such as: the problem of fictional names; descriptive names; empty names; what an act of naming consists of; an account of ontological commitment; and the data that suggests that names are predicates. (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)

In the 1970’s Bernard Williams and Thomas Nagel formally introduced the problem of moral luck. Moral luck can be understood as the seeming paradox between the control principle and the moral judgements we confer on others. The control principle states that an agent can only be held morally responsible for an action if, and only if, said agent had control over it. Contrary to this, we often do judge people for many things out of their control. The consequences of (...) our actions, the circumstances we find ourselves in, and our own characters are all things we either wholly or partially lack control over, yet, we hold people responsible for these things. This lack of control and accompanying moral judgements are what is referred to as “moral luck”, and we must therefore either conclude that agents cannot be held responsible for their actions, or that we can hold people responsible for things out of their control, both being framed as problems. Here, I will attempt to give a solution to the problem of moral luck. I will do this by discussing some of the most influential writings on the problem, each section of the thesis focusing on a separate type of luck, addressing the mistakes philosophers have made while inferring that moral luck is real. I will argue that each type of moral luck only exists because we have misunderstood important concepts, and once we revise our conception of control, agency, and responsibility the problem of moral luck disappears. In particular, I will argue that 1) Resultant luck is only a problem because we are focusing on the consequences of actions rather than the intentions of the agent, 2) Circumstantial luck is only a problem because we fallaciously transfer the luck of the world onto moral considerations, and 3) Constitutive luck is only a problem because we are misapplying the concept of control onto character. The thesis will also include a section on relevant implication if I am successful in solving the paradox, including theoretical and practical implications. My conclusion will thus be, contrary to the thesis of moral luck, that we can still hold agents morally responsible without having to reject the control principle, however, this is only possible if we accept revisions to important moral concepts. (shrink)

Adam Gibbons (2022) holds, in response to my recent paper on epistocracy (Méndez 2022), that the severity of what I identify as a very relevant epistemic problem for epistocracy is overstated. What I call the Information Gap Problem refers to the gap of information that an elite electorate of well-informed citizens would experience, with regards to what epistocrats call ‘ill-informed’ lay citizens’ preferences. In that paper, I claimed that a group of highly qualified people could be better at (...) determining the content of policies to foster general goals, but that this does not mean they could also be able to identify the best forms for those policies to be implemented. The form is what I connect to the lived experiences of lay citizens, and an epistocratic arrangement— which equals to distribute political power in accordance with political competence—would exclude the preferred forms of implementation of the ill-informed citizens. That information would thus be out of reach for an elite electorate, and persisting socio economic differences would reduce the overlap between the preferences of the elite and the preferences of illinformed citizens. According to Gibbons, it is not clear why such information is so important. Additionally, Gibbons states that the Information Gap Problem would be less of a threat, and even no threat at all, to some types of epistocracy. Finally, from Gibbons’s perspective, there are other more pressing issues for epistocracies that are not properly addressed in my paper, such as the difficulties of assessing political competence, and the risks of abuse in epistocratic arrangements. Here I will argue that the importance of including preferences from lay citizens comes back to the goal of the epistocratic project, namely, to improve the outcomes of our democracies for everyone. As I state in the paper, lay citizen’s lived experiences are crucial to do so. Relatedly, I will show that all forms of epistocracy are in some way exclusionary, since they do involve restricting the electorate, be it directly or indirectly, which means that no matter the type, they would all be susceptible to the Information Gap Problem. As well, I will briefly address the final objection regarding competence by showing that Gibbons’s worries regarding competence are present and developed in my paper. (shrink)

A survey of the connection between grounding and modality, in particular supervenience. The survey explores three possible connections between grounding and supervenience: (1) supervenience can be analyzed in terms of grounding, (2) grounded facts supervene on their grounds, and (3) grounding and supervenience overlap in their theoretical roles.

Our goal in this paper is to articulate a precise concept of at least a certain kind of disease-mongering, showing how pharmaceutical marketing can commercially exploit certain diseases when their best definition is given through the success of a treatment in a clinical trial. We distinguish two types of disease-mongering according to the way they exploit the definition of the trial population for marketing purposes. We argue that behind these two forms of disease-mongering there are two well-known problems in the (...) statistical methodology of clinical trials (the reference class problem and the distinction between statistical and clinical significance). Overcoming them is far from simple. (shrink)

We argue that there are neither scientific nor social reasons to require gathering ethno-racial data, as defined in the US legal regulations if researchers have no prior hypotheses as to how to connect this type of categorisation of human participants of clinical trials with any mechanisms that could explain alleged interracial health differences and guide treatment choice. Although we agree with the normative perspective embedded in the calls for the fair selection of participants for biomedical research, we demonstrate that (...) current attempts to provide and elucidate the criteria for the fair selection of participants, in particular, taking into account ethno-racial categories, overlook important epistemic and normative challenges to implement the results of such race-sorting requirements. We discuss existing arguments for and against gathering ethno-racial statistics for biomedical research and present a new one that refers to the assumption that prediction is epistemically superior to accommodation. We also underline the importance of closer interaction between research ethics and the methodology of biomedicine in the case of population stratifications for medical research, which requires weighing non-epistemic values with methodological constraints. (shrink)

Scanlonian contractualism has difficulties to account for our moral obligations to future generations due to the nonidentity problem. A prominent solution is to refer to the more general standpoints or types of future persons in moral deliberation. This paper critically examines the “types-of-persons approach” and identifies two alternative versions that have been conflated so far. The types-of-persons approach could claim that the relevant reasons for objection are either (a) the reasons of types of persons, or (b) type-based reasons (...) of token persons. I explore these two options in more detail and argue that both are, in their own ways, incompatible with central features of Scanlonian contractualism. Consequently, the types-of-persons approach fails to offer a satisfactory solution to the nonidentity problem for Scanlonian contractualists. (shrink)

The objective Bayesian view of proof (or logical probability, or evidential support) is explained and defended: that the relation of evidence to hypothesis (in legal trials, science etc) is a strictly logical one, comparable to deductive logic. This view is distinguished from the thesis, which had some popularity in law in the 1980s, that legal evidence ought to be evaluated using numerical probabilities and formulas. While numbers are not always useful, a central role is played in uncertain reasoning by the (...) ‘proportional syllogism’, or argument from frequencies, such as ‘nearly all aeroplane flights arrive safely, so my flight is very likely to arrive safely’. Such arguments raise the ‘problem of the reference class’, arising from the fact that an individual case may be a member of many different classes in which frequencies differ. For example, if 15 per cent of swans are black and 60 per cent of fauna in the zoo is black, what should I think about the likelihood of a swan in the zoo being black? The nature of the problem is explained, and legal cases where it arises are given. It is explained how recent work in data mining on the relevance of features for prediction provides a solution to the reference class problem. (shrink)

In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in real interactivity systems. Due to the epistemic character of the considerations, the (...) problem undertaken in the paper concerns working out fundamental assumptions that refer to building of epistemic logics. They allow establishing the correctness of the discourse defined by rational postulates of protocols of real communication. In the context of the presented problem there are the following two research questions distinguished: 1) How do we determine the rule of building of real dynamic epistemic logics? and 2) How should we define semantics for these logics? Within the framework of considerations relating to the research questions asked, certain epistemic operators, relativized to types of communicating, are introduced. Basic logical relations between using these operators are established for these operators. The relations are presented by a diagram called the square of epis temic operators. On the basis of these logical relations some axioms for real dynamic epistemic logics are presented. The semantics of real dynamic epistem ic logics is extended by the methods of lower and upper approximation of formula evaluating. This allows defining ‘approximation Kripke models’. The results of conceptualization of knowledge on real premises of epistemic argum entation presented in this paper can be applied to rhetoric in real systems of interaction. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. (...) The purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

Vague names, like “Everest” and “Belle Epoque” seem to refer to objects without clear boundaries. Supervaluationism claims that this vagueness is a feature of language, not of the objects referred to; vagueness in names is just ambiguity between many possible referents. This general idea admits of two more specific versions. Both give similar treatments of standard uses of vague names, but have very different results for other cases, such as reference achieved by descriptions including mentioned names. Considering two examples, (...) I show neither variant of supervaluationism can account for the truth of all types of sentences about those names themselves. If I am right that these types exhaust supervaluationism, the theory is shown to be false. This problem closely resembles others in the super-valuationist literature about disquotation failure for truth. Treatments of vague truth and vague reference come apart though, and I show that the two problems are different enough that none of the popular solutions will succeed for reference. I consider—and reject—several specific objections, and two more general ways to recover supervaluationism following my arguments. I conclude that supervaluationism is at best a useful formalism for some kinds of vagueness reference, but fails as a general account. (shrink)

Probabilistic inference from frequencies, such as "Most Quakers are pacifists; Nixon is a Quaker, so probably Nixon is a pacifist" suffer from the problem that an individual is typically a member of many "reference classes" (such as Quakers, Republicans, Californians, etc) in which the frequency of the target attribute varies. How to choose the best class or combine the information? The article argues that the problem can be solved by the feature selection methods used in contemporary Big (...) Data science: the correct reference class is that determined by the features relevant to the target, and relevance is measured by correlation (that is, a feature is relevant if it makes a difference to the frequency of the target). (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)

It is only by fixing on agreed meanings of terms in biomedical terminologies that we will be in a position to achieve that accumulation and integration of knowledge that is indispensable to progress at the frontiers of biomedicine. Standardly, the goal of fixing meanings is seen as being realized through the alignment of terms on what are called ‘concepts’. Part I addresses three versions of the concept-based approach – by Cimino, by Wüster, and by Campbell and associates – and surveys (...) some of the problems to which they give rise, all of which have to do with a failure to anchor the terms in terminologies to corresponding referents in reality. Part II outlines a new, realist solution to this anchorage problem, which sees terminology construction as being motivated by the goal of alignment not on concepts but on the universals (kinds, types) in reality and thereby also on the corresponding instances (individuals, tokens). We outline the realist approach, and show how on its basis we can provide a benchmark of correctness for terminologies which will at the same time allow a new type of integration of terminologies and electronic health records. We conclude by outlining ways in which the framework thus defined might be exploited for purposes of diagnostic decision-support. (shrink)

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters that do not occur in our alphabet. That's why Tarski, Quine, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. (Section I). The problem is to construct a Tarskian theory of truth for an object language that contains (...) quotation marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with one axiom that determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since admitting such contexts does not lead to any difficulties in the recursive truth characterization, we may indeed dispense with extensionalism. (Section II). Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities. Both tokens and types of written signs can be easily incorporated into the naturalist's worldview. (Section III). (shrink)

In current discussions on the problem of the metaphysical nature of the word, four factions – eliminativism, nominalism, originalism, and the type-token theory – take an active part. For eliminativism, words as separate entities do not exist; they are only a useful cognitive illusion. In the process of communication, competent speakers make sounds and inscriptions through which they are able to infer certain intentional contents of each other’s cognitive states. However, these sounds and inscriptions cannot be regarded as (...) instances of words since they do not possess the phonological and orthographic properties constitutive of words. For nominalism, by contrast, the streams of sounds and ink patterns produced by competent speakers serve as relevant instances of a particular word, or its tokens. What we usually call “words” are collections of such tokens, composed on the basis of similarity relations (phono- logical, orthographic or semantic). For originalism, the streams of sounds and ink patterns created by competent speakers are stages of words, understood as continuants, concrete ob- jects preserving identity over time, individualized by the causal history of their origin. Words are created by competent speakers through the practice of naming and spread through chains of interpersonal contact. The phonological, orthographic and semantic properties possessed by different stages of the same word are generally useless for a proper description of objects such as words. At different times of their existence, words can change any of their properties (pronunciation, spelling, and even reference) while preserving their identity in time. For the type-token theory, words are types, or abstract objects encoding a particular phonographic pattern, which in the process of communication must be instantiated by a competent native speaker by uttering or writing the appropriate token. The type-token theory has several ad- vantages over the views of eliminativism, nominalism and originalism. Firstly, it offers a unified ontology of linguistic structures (since the division into tokens and types extends here to the whole range of linguistic units, including sentences and letters). Secondly, unlike most of its competitors, it is able to present a clear operational criterion for word identity, while being consistent with most of our intuitive notions of intra- and cross-linguistic phenomena (homonymy, synonymy, etc.). (shrink)

A full account of purposive action must appeal not only to propositional attitude states like beliefs, desires, and intentions, but also to motor representations, i.e., non-propositional states that are thought to represent, among other things, action outcomes as well as detailed kinematic features of bodily movements. This raises the puzzle of how it is that these two distinct types of state successfully coordinate. We examine this so-called “Interface Problem”. First, we clarify and expand on the nature and role of (...) motor representations in explaining intentional action. Next, we characterize the respective functions of intentions and motor representations, the differences in representational format and content that these imply, and the interface challenge these differences in turn raise. We then evaluate Butterfill and Sinigaglia’s recent answer to this interface challenge, according to which intentions refer to action outcomes by way of demonstrative deference to motor representations. We present some worries for this proposal, arguing that, among other things, it implicitly presupposes a solution to the problem, and so cannot help to resolve it. Finally, we suggest that we may make some progress on this puzzle by positing a “content-preserving causal process” taking place between intentions and motor representations, and we offer a proposal for how this might work. (shrink)

Consciousness has an important role in ethics: when a being consciously experiences the frustration or satisfaction of its interests, those interests deserve higher moral priority than those of a behaviourally similar but non-conscious being. I consider the relationship between this ethical role and an a posteriori (or “type-B”) materialist solution to the mind-body problem. It is hard to avoid the conclusion that, if type-B materialism is correct, then the reference of the concept of phenomenal consciousness is (...) radically indeterminate between a neuronal-level property that is distinctive to mammals and a high-level functional property that is much more widely shared. This would leave many non-mammalian animals (such as birds, fish, insects and octopuses) with indeterminate moral status. There are ways to manage this radical moral indeterminacy, but all of these ways lead to profoundly troubling consequences. (shrink)

Two lines of evidence indicate that there exists a reciprocal inhibitory relationship between opposed brain networks. First, most attention-demanding cognitive tasks activate a stereotypical set of brain areas, known as the task-positive network and simultaneously deactivate a different set of brain regions, commonly referred to as the task negative or defaultmode network. Second, functional connectivity analyses show that these same opposed networks are anti-correlated in the resting state. Wehypothesize that these reciprocally inhibitory effects reflect two incompatible cognitive modes, each of (...) which may be directed towards understanding the external world. Thus, engaging onemode activates one set of regions and suppresses activity in the other.Wetest this hypothesis by identifying two types of problem-solving task which, on the basis of prior work, have been consistently associated with the task positive and task negative regions: tasks requiring social cognition, i.e., reasoning about the mental states of other persons, and tasks requiring physical cognition, i.e., reasoning about the causal/mechanical properties of inanimate objects. Social and mechanical reasoning tasks were presented to neurologically normal participants during fMRI. Each task type was presented using both text and video clips. Regardless of presentation modality, we observed clear evidence of reciprocal suppression: social tasks deactivated regions associated with mechanical reasoning and mechanical tasks deactivated regions associated with social reasoning. These findings are not explained by self-referential processes, task engagement, mental simulation,mental time travel or external vs. internal attention, all factors previously hypothesized to explain default mode network activity. Analyses of resting state data revealed a close match between the regions our tasks identified as reciprocally inhibitory and regions of maximal anti-correlation in the resting state. These results indicate the reciprocal inhibition is not attributable to constraints inherent in the tasks, but is neural in origin. Hence, there is a physiological constraint on our ability to simultaneously engage two distinct cognitive modes. Furtherwork is needed tomore precisely characterize these opposing cognitive domains. (shrink)

In this paper, I raise a problem for standard precisifications of the Relational Analysis of attitude reports. The problem I raise involves counterfactual attitude verbs. such as ‘wish’. In short, the trouble is this: there are true attitude reports ‘ S wishes that P ’ but there is no suitable referent for the term ‘that P ’. The problematic reports illustrate that the content of a subject’s wish is intimately related to the content of their beliefs. I capture (...) this fact by moving to a framework in which ‘wish’ relates subjects to sets of pairs of worlds, or paired propositions, rather than—as is standardly assumed—sets of worlds. Although other types of counterfactual attitude reports, for example those involving ‘imagine’, may be similarly problematic, at this stage it is unclear whether they can be handled the same way. (shrink)

‘What is characteristic of every mental activity’, according to Brentano, is ‘the reference to something as an object. In this respect every mental activity seems to be something relational.’ But what sort of a relation, if any, is our cognitive access to the world? This question – which we shall call Brentano’s question – throws a new light on many of the traditional problems of epistemology. The paper defends a view of perceptual acts as real relations of a subject (...) to an object. To make this view coherent, a theory of different types of relations is developed, resting on ideas on formal ontology put forward by Husserl in his Logical Investigations and on the theory of relations sketched in Smith's "Acta cum fundamentis in re". The theory is applied to the notion of a Cambridge change, which proves to have an unforeseen relevance to our understanding of perception. (shrink)

Research on epistemic circularity has focused more on the problem of whether circular arguments are able to justify their conclusions rather than on the nature of circularity itself, and has kept a sharp delimitation from other types of circularities (logical, linguistic, and of definition). In this paper, I aim to move the focus toward the general concept of circularity, which I relate to the concept of ‘epistemic worry’. Through a brief overview on the known types of circularities, I show (...) that circularity has multiple natures (not only that associated with its type), and the linguistic aspect is essential in qualifying a construct as circular, which in turn raises the problem of genuineness of a circularity. Within an extensional approach, I suggest generalizing the meaning of the key epistemological terms referred to in the classical definition of epistemic circularity to also cover additional associated concepts specific to other theoretical disciplines beyond epistemology. The proposed concepts and ideas are reflected in a structural unificatory account of circularity in terms of epistemic determination, which raises a challenge to the relational accounts of determination in regard to the transitivity of the determination relation. (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)

Peter Godfrey-Smith writes in the section 3.3 “The Ravens Problem” of his book “Theory and Reality” [chapter “Induction and Confirmation”]: “First, the logical empiricists were concerned to deal with the case where generalizations cover an infinite number of instances. In that case, as we see each raven we are not reducing the number of ways in which the hypothesis might fail”. Infinite sets and finite sets have different properties and follow different rules. For example: let’s call “bag X” a (...) specific bag that contains 90 marbles; the generalization A “All marbles in bag X are red” covers a finite number of instances. By contrast, the generalization AE “All things that are not red are not marbles in bag X” covers an infinite number of instances. The propositions A and AE are logically equivalent, but there is an asymmetry due to the fact that A can only have a finite number of instances (since the set of the marbles contained in bag X is a finite set). Because of the aforementioned asymmetry, even though A and AE are logically equivalent propositions, it is wrong to equate an instance of A with an instance of AE. Another example involving a finite set: let’s call “barrique X” a certain 205-liter (54.1553 US gal) barrique. In the following generalization, the expression "all minerals" should not be understood as "all types of minerals", but should be understood literally as "all minerals". B “All minerals are in barrique X”. BE “All objects that are not in barrique X are not minerals”. Of course, a 205-litre barrique cannot contain an infinite number of minerals; the set of objects contained in barrique X is a finite set: therefore in the generalization B we refer to a set that is assumed to be an infinite set (the set of minerals) and to a set (the finite set of minerals contained in barrique X) that is not assumed to be an infinite set. By contrast, in the generalization BE we refer to two sets that are assumed to be infinite sets (the set of all objects that are not contained in barrique X and the set of all objects that are not minerals). Therefore, although B and BE are logically equivalent propositions, an instance of BE cannot be equivalent to an instance of B. Now, let’s analyze the following generalizations. C “All the elements of the set of ravens are elements of the set of black ravens”. CE “All the things that are not elements of the set of black ravens are not elements of the set of ravens”. It is assumed that the number of ravens is infinite, but it is not assumed that the number of black ravens is infinite: that the number of black ravens is infinite is only a hypothesis (for which confirmation is sought), it cannot be assumed as true that the number of black ravens is infinite. Therefore, in the generalization C we refer to a set that is assumed to be an infinite set (the set of ravens) and to a set (the set of black ravens) that is not assumed to be an infinite set. By contrast, in the generalization CE we refer to two sets that are assumed to be infinite sets (the set of all objects that are not elements of the set of black ravens and the set of all objects that are not elements of the set of ravens). Someone could argue that in the generalizations C “All the elements of the set of ravens are elements of the set of black ravens” and CE “All the things that are not elements of the set of black ravens are not elements of the set of ravens” only the set of ravens is assumed to be infinite: but even in this case an asymmetry would remain because C “ All the elements of the set of ravens are elements of the set of black ravens” refers to a set (the set of ravens) that is assumed to be an infinite set and to a set (the set of black ravens) that is not assumed to be infinite; by contrast, CE “All the things that are not elements of the set of black ravens are not elements of the set of ravens” in this case would refer to two sets that are not assumed to be infinite sets. Because of the aforementioned asymmetries, an instance of C cannot be equivalent to an instance of CE. -/- -/- . (shrink)

This study examines problems related to the representation of music. It constructs the sender/message/perceiver/result model, a prototype broad enough to incorporate a large variety of music and other notation systems, including those having to do with computers. The work defines music notation itself, describes various models for studying the subject--including the binary types prescriptive/descriptive, and symbolic/iconic--and assesses music notation as a contemporary practice. It encompasses a review of the actions and intentions of composers, performers, and audiences, and a consideration of (...) the message and how it is affected by media , reference systems , and meanings. Finally, through an examination of the possibilities of the self acting as a notation system within models posited by feminist and queer theory, I attempt to demonstrate the power of notation to affect other systems and worlds, including the worlds of music, art, and politics. ;The consideration of these topics draws on theories from linguistics, semiotics, structuralism, post-structuralism, cybernetics, and music, as well as the philosophies of John Cage, Jean-Jacques Nattiez, Nelson Goodman, and others. The work examines various languages and applications used to program computers for musical purposes, though this examination does not incorporate programs dedicated exclusively to printing music. Nor does the study focus on non-Western notations, suggestions for reforms of notation, or encyclopedic lists of notation devices. ;The expository writing is augmented by excerpts from material I gathered in numerous interviews. There are separate sections containing interviews of Leonard Meyer, Allan Kaprow, John Cage, Earle Brown, Roger Reynolds, and Heidi von Gunden. There is also a large, partially-annotated bibliography. ;My hope is that an inclusive, interdisciplinary exploration of music notation will be useful in broadening the theoretical and creative boundaries of the field, as well as bridging gaps among musicians using various music technologies, and artists and theorists from diverse fields and perspectives. (shrink)

How, if at all, consciousness can be part of the physical universe remains a baffling problem. This article outlines a new, developing philosophical theory of how it could do so, and offers a preliminary mathematical formulation of a physical grounding for key aspects of the theory. Because the philosophical side has radical elements, so does the physical-theory side. The philosophical side is radical, first, in proposing that the productivity or dynamism in the universe that many believe to be responsible (...) for its systematic regularities is actually itself a physical constituent of the universe, along with more familiar entities. Indeed, it proposes that instances of dynamism can themselves take part in physical interactions with other entities, this interaction then being “meta-dynamism” (a type of meta-causation). Secondly, the theory is radical, and unique, in arguing that consciousness is necessarily partly constituted of meta-dynamic auto-sensitivity, in other words it must react via meta-dynamism to its own dynamism, and also in conjecturing that some specific form of this sensitivity is sufficient for and indeed constitutive of consciousness. The article proposes a way for physical laws to be modified to accommodate meta-dynamism, via the radical step of including elements that explicitly refer to dynamism itself. Additionally, laws become, explicitly, temporally non-local in referring directly to quantity values holding at times prior to a given instant of application of the law. The approach therefore implicitly brings in considerations about what information determines states. Because of the temporal non-locality, and also because of the deep connections between dynamism and time-flow, the approach also implicitly connects to the topic of entropy insofar as this is related to time. (shrink)

“Proof of concept” is a phrase frequently used in descriptions of research sought in program announcements, in experimental studies, and in the marketing of new technologies. It is often coupled with either a short definition or none at all, its meaning assumed to be fully understood. This is problematic. As a phrase with potential implications for research and technology, its assumed meaning requires some analysis to avoid it becoming a descriptive category that refers to all things scientifically exciting. I provide (...) a short analysis of proof of concept research and offer an example of it within synthetic biology. I suggest that not only are there activities that circumscribe new epistemological categories but there are also associated normative ethical categories or principles linked to the research. I examine these and provide an outline for an alternative ethical account to describe these activities that I refer to as “extended agency ethics”. This view is used to explain how the type of research described as proof of concept also provides an attendant proof of principle that is the result of decision-making that extends across practitioners, their tools, techniques, and the problem solving activities of other research groups. (shrink)

My paper builds on the conceptual tools from three interrelated philosophical debates that—as I believe—may help structure important if chaotic discussions about surrogates for living human brains and resolve some practical issues related to regulatory matters. In particular, I refer to the discussions about the “moral precautionary principle” in research ethics (Koplin and Wilkinson 2019); about normative uncertainty in ethics (MacAskill, Bykvist, and Ord 2020), and about the inductive risk problem for animal welfare scientists (Birch 2018). I elucidate upon (...) the possible meanings of the phrase “a too good human brain surrogate” used by Henry T. Greely (2021), and I demonstrate that the evaluation of the practical and regulatory implications of the “goodness” of such surrogates created for research purposes should be sensitive to the possible consequences of two types of errors: the under-attribution and over-attribution of moral status to such beings. Many authors writing about this topic (including Greely 2021, but see also, e.g., Koplin and Savulescu 2019) concentrate only on the first type of error, neglecting the negative consequences of the second type, i.e., over-attribution. (shrink)

It is only by fixing on agreed meanings of terms in biomedical terminologies that we will be in a position to achieve that accumulation and integration of knowledge that is indispensable to progress at the frontiers of biomedicine. Standardly, the goal of fixing meanings is seen as being realized through the alignment of terms on what are called ‘concepts’. Part I addresses three versions of the concept-based approach – by Cimino, by Wüster, and by Campbell and associates – and surveys (...) some of the problems to which they give rise, all of which have to do with a failure to anchor the terms in terminologies to corresponding referents in reality. Part II outlines a new, realist solution to this anchorage problem, which sees terminology construction as being motivated by the goal of alignment not on concepts but on the universals (kinds, types) in reality and thereby also on the corresponding instances (individuals, tokens). We outline the realist approach, and show how on its basis we can provide a benchmark of correctness for terminologies which will at the same time allow a new type of integration of terminologies and electronic health records. We conclude by outlining ways in which the framework thus defined might be exploited for purposes of diagnostic decision-support. (shrink)

The natural name theory, recently discussed by Johnson (2018), is proposed as an explanation of pure quotation where the quoted term(s) refers to a linguistic object such as in the sentence ‘In the above, ‘bank’ is ambiguous’. After outlining the theory, I raise a problem for the natural name theory. I argue that positing a resemblance relation between the name and the linguistic object it names does not allow us to rule out cases where the natural name fails to (...) resemble the linguistic object it names. I argue that to avoid this problem, we can combine the natural name theory with a type-realist metaphysics of language, and hold that the name is natural because the name is an instance of the kind that it names. I conclude by reflecting on the importance of the metaphysics of language for questions in the philosophy of language. (shrink)

1. EXPLICATING THE CONCEPT OF REFLECTION (under review) -/- To understand how ‘reflection’ is used, I consider ordinary, philosophical, and scientific discourse. I find that ‘reflection’ seems to refer to reasoning that is deliberate and conscious, but not necessarily self-conscious. Then I offer an empirical explication of reflection’s conscious and deliberate features. These explications not only help explain how reflection can be detected; they also distinguish reflection from nearby concepts such as ruminative and reformative reasoning. After this, I find that (...) reflection is not obviously limited to only practical or only theoretical reasoning. The chapter ends with reasons to prefer ‘unreflective’ and ‘reflective’ to dual process theorists’ labels about systems or types. -/- 2. BOUNDED REFLECTIVISM & EPISTEMIC IDENTITY (in Metaphilosophy) -/- Reflection features centrally in philosophy (e.g., Korsgaard, 1996; Rawls, 1971; Sosa, 1991) and psychology (e.g., Pennycook, 2018). Bounded reflectivism is an empirically adequate model of reflection that explains reflection’s capacity to either help or hinder reasoning—e.g., reflective equilibrium vs. reflective polarization (e.g., Kahan et al., 2017). One innovation of the model is epistemic identity: an identity that involves particular beliefs—e.g., religious and political identities. When we feel that our epistemic identity is threatened, we can reflectively defend its beliefs rather than update our beliefs according to the best arguments and evidence. The solution, I argue, is not to suppress epistemic identity but embrace it by appealing to shared, superordinate epistemic identities. -/- 3. ALL MEASURES ARE NOT CREATED EQUAL (under review) -/- A bat and a ball cost $1.10 in total. The bat costs $1.00 more than the ball. How much does the ball cost? “10 cents” comes to most people’s minds immediately. However, upon reflection, we can realize that “5 cents” is the correct answer. There are many reflection tests. Each has its limitations. Some reflection tests are mathematical—like the bat-and-ball problem (e.g., Frederick, 2005) and others are logical (e.g., Janis & Frick, 1943). So there are concerns that reflection tests track logical and mathematical competence rather than reflection per se. Also, some psychologists assume a priori that correct answers are reflective and lured answers are unreflective. New evidence raises additional concerns about the plausibility of these assumptions. I argue that think aloud protocols (Ericsson & Simon, 1998) and process dissociation (Jacoby, 1991) can assuage some of these concerns. -/- 4. GREAT MINDS DO NOT THINK ALIKE (in Review of Philosophy and Psychology) -/- Two large studies (N = 1299), one pre-registered, found that many correlations between reflection and philosophical beliefs among non-philosophers replicated among philosophers. For example, less reflective philosophers preferred theism to atheism and utilitarian rather than deontological responses to the trolley problem (Hannikainen & Cova, in prep.; Pennycook et al., 2016; Reynolds, Byrd, & Conway, forthcoming). However, philosophical judgments were sometimes better predicted by factors like education, gender, and personality than by reflection test performance. So although some relationships between reflection and philosophy were robust, there is more to the link between reflection and philosophy. Normative implications are also discussed—e.g., how we can infer the quality of philosophical views from their correlations with reflective or unreflective reasoning. -/- 5. WHAT WE CAN (AND CAN’T) INFER ABOUT IMPLICIT BIAS (in Synthese) -/- Contrary to some philosophers and psychologists, I argue that implicit bias is probably associative. However, I also argue that debiasing is not thereby entirely unconscious and involuntary. Indeed, strong evidence suggests that reflection can change implicitly biased behavior—e.g., conscious and deliberate counterconditioning. This has implications for the science and morality of implicit bias—e.g., evidence suggests that we can reform biases; so. intuitively, we can be responsible for biases. (shrink)

Human rights theory and practice have long been stuck in a rut. Although disagreement is the norm in philosophy and social-political practice, the sheer depth and breadth of disagreement about human rights is truly unusual. Human rights theorists and practitioners disagree – wildly in many cases – over just about every issue: what human rights are, what they are for, how many of them there are, how they are justified, what human interests or capacities they are supposed to protect, what (...) they require of persons and institutions, etc. Disagreement about human rights is so profound, in fact, that several prominent theorists have remarked that the very concept of a “human right” appears nearly criterionless. In my 2012 article, “Reconceptualizing Human Rights”, I diagnosed the root cause of these problems. Theorists and practitioners have falsely supposed that the concept of “human right” picks out a single, unified class of moral entitlements. However, the concept actually refers to two fundamentally different types of moral entitlements: (A) international human rights, which are universal human moral entitlements to coercive international protections, and (B) domestic human rights, which are universal human moral entitlements to coercive domestic protections. Accordingly, I argue, an adequate “theory of human rights” must be a dual theory. The present paper provides the first such theory. First, I show that almost every justificatory ground given for “human rights” in the literature – such as the notion of a “minimally decent human life”, “urgent human interests”, and “human needs” – faces at least one of two fatal problems. Second, I show that after some revisions, James Griffin’s conception of “personhood” provides a compelling justificatory ground for international human rights. Third, I show that the account entails that there are very few international human rights – far fewer than existing human rights theories and practices suggest. Fourth, I show that there are reasons to find my very short list of international human rights compelling: “human rights justifications” for coercive international and foreign policy actions over the past several decades have consistently overstepped what can be morally justified, and my account reveals precisely how existing human rights theories and practices have failed to adequately grapple with these moral hazards. Finally, I outline an account of domestic human rights which fits well with many existing human rights beliefs and practices, vindicating those beliefs and practices, but only at a domestic level. (shrink)

This essay offers an account of Kierkegaard’s view of the limits of thought and of what makes this view distinctive. With primary reference to Philosophical Fragments, and its putative representation of Christianity as unthinkable, I situate Kierkegaard’s engagement with the problem of the limits of thought, especially with respect to the views of Kant and Hegel. I argue that Kierkegaard builds in this regard on Hegel’s critique of Kant but that, against Hegel, he develops a radical distinction between (...) two types of thinking and inquiry: the ‘aesthetic-intellectual’ and the ‘ethico-religious’. I clarify this distinction and show how it guides Kierkegaard’s conception of a form of philosophical practice that involves drawing limits to the proper sphere of disinterested contemplation. With reference to two rival interpretations of Kierkegaard’s approach to the limits of thought—which I call ‘bullet-biting’ and ‘relativizing’—I further show how my ‘disambiguating’ account can better explain how, and why, his work courts a form of self-referential incoherence, in which it appears that certain limits of thought are at once affirmed and violated. (shrink)

I defend a Deferred Ostension view of quotation, on which quotation-marks are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. On this view, the quoted material works like Nunberg’s indexes in his account of deferred ostensión in general. The referent is obtained through some contextually suggested relation; in the default case the relation will be … instantiates the linguistic type __, but there are other possibilities. In this (...) way, the deferred ostension view deals with a problem I pointed out for the identity proposal in my earlier work, that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens (see the examples on p. 261 of García-Carpintero 1994). (shrink)

The ways in which we exercise intentional agency are varied. I take the domain of intentional agency to include all that we intentionally do versus what merely happens to us. So the scope of our intentional agency is not limited to intentional action. One can also exercise some intentional agency in omitting to act and, importantly, in producing the intentional outcome of an intentional action. So, for instance, when an agent is dieting, there is an exercise of agency both with (...) respect to the agent’s actions and omissions that constitute her dieting behavior and in achieving the intended outcome of losing weight. In our mental lives we exercise intentional agency both in performing mental actions and when we intentionally produce certain outcomes at which our mental actions are aimed. The nature and scope of our intentional agency in our mental lives with respect to controlling the acquisition of mental states such as belief, desire, and intention is a topic that is of interest in its own right. In this essay, I will focus solely on our control over coming to believe. Understanding what sort of control we have our beliefs has far-reaching implications. For instance, theorizing about self-deception and wishful thinking is aided by theorizing about what if any intentional agency we can exercise with respect to acquiring beliefs. Another often mentioned concern that motivates thinking about doxastic agency comes from religion (when conversion requires a change of belief). We also hold persons morally and epistemically responsible for beliefs they have or fail to have. Finally, some deontological theories of epistemic justification require that agents be able to exercise a robust form of doxastic control. Fruitful work on any of these problems requires that we have an account of our intentional agency in acquiring beliefs. There are at least three loci of doxastic control. The first is over acquiring beliefs. The second is over maintaining beliefs. The third is over how we use our beliefs. I am chiefly concerned with the first locus of doxastic control in this essay, but I will say something about the second locus along the way. Also, I will only consider one way we might exercise control over acquiring beliefs. Specifically, I will present an argument against direct doxastic voluntarism (DDV). By “DDV” I mean to refer to the thesis that it is conceptually possible for agents to consciously exercise the same sort of direct voluntary control over coming to acquire a doxastic attitude—such as belief, suspension of belief, and disbelief—that they exercise over uncontroversial basic actions. If DDV is correct, then coming to believe can be a basic action-type. DDV, or something very close to it, was Bernard Williams’ target in his 1973 paper, “Deciding to Believe.” Williams’s argument is widely regarded as having been a failure. But I think that Williams was on to something in his paper. Hence, in this paper, while I do not attempt to resurrect Williams’s argument, I develop and defend a revised argument for a thesis that is quite close to Williams’s. I will proceed as follows. First, I will discuss Bernard Williams’ (1973) failed attempt at showing that DDV is conceptually impossible. This will be followed by a discussion of some constraints on our belief-forming activities. I will then clarify my target a bit more than Williams does in his original paper. Finally, I will present my own argument against the conceptual possibility of DDV. (shrink)

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)

The purpose of this article is to present Lisa Shabel's interpretive proposal that relates algebra to symbolic constructions. This briefly covers the problem of the status of algebra and how some of the interpretations given relate it to the numerical calculation. Subsequently, by the hand of Shabel and with an eye on the mathematical practice of Cristian Wolff, the ways of proceeding algebraically in the eighteenth century will be identified and then analyze the two meanings of the term “magnitude”. (...) Finally, algebra is related to a construction in accordance with the a priori concepts, certain rules and which it has its referent. Such a type of construction defines what Kant understands by symbolic construction. (shrink)

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)

This paper defends several highly revisionary theses about human rights. Section 1 shows that the phrase 'human rights' refers to two distinct types of moral claims. Sections 2 and 3 argue that several longstanding problems in human rights theory and practice can be solved if, and only if, the concept of a human right is replaced by two more exact concepts: (A) International human rights, which are moral claims sufficient to warrant coercive domestic and international social protection; and (B) Domestic (...) human rights, which are moral claims sufficient to warrant coercive domestic social protection but only non-coercive international action. Section 3 then argues that because coercion is central to both types of human rights, and coercion is a matter of justice, the traditional view of human rights -- that they are normative entitlements prior to and independent of substantive theories of justice -- is incorrect. Human rights must instead be seen as emerging from substantive theories of domestic and international justice. Finally, Section 4 uses this reconceptualization to show that only a few very minimal claims about international human rights are presently warranted. Because international human rights are rights of international justice, but theorists of international justice disagree widely about the demands of international justice, much more research on international justice is needed -- and much greater agreement about international justice should be reached -- before anything more than a very minimal list of international human rights can be justified. (shrink)

During multiple testing, researchers often adjust their alpha level to control the familywise error rate for a statistical inference about a joint union alternative hypothesis (e.g., “H1,1 or H1,2”). However, in some cases, they do not make this inference. Instead, they make separate inferences about each of the individual hypotheses that comprise the joint hypothesis (e.g., H1,1 and H1,2). For example, a researcher might use a Bonferroni correction to adjust their alpha level from the conventional level of 0.050 to 0.025 (...) when testing H1,1 and H1,2, find a significant result for H1,1 (p < 0.025) and not for H1,2 (p > .0.025), and so claim support for H1,1 and not for H1,2. However, these separate individual inferences do not require an alpha adjustment. Only a statistical inference about the union alternative hypothesis “H1,1 or H1,2” requires an alpha adjustment because it is based on “at least one” significant result among the two tests, and so it refers to the familywise error rate. Hence, an inconsistent correction occurs when a researcher corrects their alpha level during multiple testing but does not make an inference about a union alternative hypothesis. In the present article, I discuss this inconsistent correction problem, including its reduction in statistical power for tests of individual hypotheses and its potential causes vis-à-vis error rate confusions and the alpha adjustment ritual. I also provide three illustrations of inconsistent corrections from recent psychology studies. I conclude that inconsistent corrections represent a symptom of statisticism, and I call for a more nuanced inference-based approach to multiple testing corrections. (shrink)