There has been extensive discussion of testimonial epistemic injustice, the phenomenon whereby a speaker’s testimony is rejected due to prejudice regarding who they are. But people also have their testimony rejected or preempted due to prejudice regarding what they communicate. Here, the injustice is content focused. We describe several cases of content focused injustice, and we theoretically interrogate those cases by building up a general framework through which to understand them as a genuine form of epistemic injustice that (...) stands in intertwined relationships to other forms of epistemic injustice. (shrink)

Skyrms, building on the work of Dretske, has recently developed a novel information-theoretic account of propositional content in simple signalling systems. Information-theoretic accounts of content traditionally struggle to accommodate the possibility of misrepresentation, and I show that Skyrms’s account is no exception. I proceed to argue, however, that a modified version of Skyrms’s account can overcome this problem. On my proposed account, the propositional content of a signal is determined not by the information that it actually carries, (...) but by the information that it would carry at the nearest separating equilibrium of the underlying evolutionary dynamics. I show that this amended account yields reasonable ascriptions of false propositional content in a well-known formal model of the evolution of communication , and close with a discussion of the serious but perhaps not insuperable difficulties we face in applying the account to examples of signalling in the real world. (shrink)

The author argues that there is no such thing as a unique and general taxonomy of non-at-issue contents. Accordingly, we ought to shun large categories such as “conventional implicature”, “F-implicature”, “CI”, “Class B” or the like. As an alternative, we may, first, describe the “semantic profile” of linguistic devices as accurately as possible. Second, we may explicitly tailor our categories to particular theoretical purposes.

The predictive processing account of action, cognition, and perception is one of the most influential approaches to unifying research in cognitive science. However, its promises of grand unification will remain unfulfilled unless the account becomes theoretically robust. In this paper, we focus on empirical commitments of PP, since they are necessary both for its theoretical status to be established and for explanations of individual phenomena to be falsifiable. First, we argue that PP is a varied research tradition, which may (...) employ various kinds of scientific representations, differing in the scope of empirical commitments they entail. Two major perspectives on PP qua cognitive theory may then be distinguished: generalized vs. hierarchical. The first one fails to provide empirical detail, and the latter constrains possible physical implementations. However, we show that even hierarchical PP is insufficiently restrictive to disallow incorrect models and may be adjusted to explain any neurocognitive phenomenon–including non-existent or impossible ones–through flexible adjustments. This renders PP a universal modeling tool with an unrestricted number of degrees of freedom. Therefore, in contrast with declarations of its proponents, it should not be understood as a unifying theoretical perspective, but as a computational framework, possibly informing further theory development in cognitive science. (shrink)

In this paper I propose three steps to overcome the force-content dichotomy and dispel the Frege point. First, we should ascribe content to force indicators. Through basic assertoric and directive force indicators such as intonation, word order and mood, a subject presents its position of theoretical or practical knowledge of a state of affairs as a fact, as something that is the case, or as a goal, as something to do. Force indicators do not operate on truth- (...) or satisfaction evaluable entities as on the traditional view, but complete and unify them. Second, higher-level acts such as interrogative, logical and fictional acts create higher-level unities that may suspend commitment to the assertions and directions they operate on. But they do not cancel their force, but transfer the meaning of force indicators into the new unities they create. For example, in the context of asking a theoretical or practical question, the assertoric or directive force indicator now presents the kind of knowledge the subject is seeking. Third, the Frege point conflates different varieties of force. We neither need Frege’s assertion sign, nor Hare’s neustic, nor Hanks’s cancellation sign, but only ordinary force indicators and interrogative, logical and fictional markers. Propositions are not forceless contents to which a subject commits by forceful acts, but forceful acts put forward by higher-level acts which may suspend commitment to them. (shrink)

In the contemporary discussions concerning unconscious perception it is not uncommon to postulate that content and phenomenal character are ‘orthogonal’, i.e., there is no type of content which is essentially conscious, but instead, every representational content can be either conscious or not. Furthermore, this is not merely treated as a thesis justified by theoretical investigations, but as supported by empirical considerations concerning the actual functioning of the human cognition. In this paper, I address unconscious color perception (...) and argue for a negative thesis—that the main experimental paradigms used in studying unconscious color perception do not provide support for the position that conscious and unconscious color representations have the same type of content. More specifically, I claim that there is no significant support for the claim that unconscious vision categorically represents surface colors. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves (...) and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

This paper argues that to account for group speech acts, we should adopt a representationalist account of mode / force. Individual and collective subjects do not only represent what they e.g. assert or order. By asserting or ordering they also indicate their theoretical or practical positions towards what they assert or order. The ‘Frege point’ cannot establish the received dichotomy of force and propositional content. On the contrary, only the representationalist account allows a satisfactory response to it. It (...) also allows us to give a more satisfactory analysis of the speech act of inviting a joint commitment and to answer two important questions Bernhard Schmid has raised about group speech acts, namely whether there are 1st person plural forms of Moore’s paradox and of 1st person authority. (shrink)

Following insights from the New Theory of Reference, it has become widely accepted that theoretical identities like ‘water = H2O' are necessary. However, some have challenged this claim. I propose yet another challenge in the form of a sceptical argument. The argument is based on the contention that the necessity of theoretical identities is dependent upon criteria of identity. Thus, a theoretical identity is necessary given one criterion of identity but contingent given another. Since we do not (...) know which criteria of identity in fact obtain, it follows that, for all we know, theoretical identities may not be necessary. (shrink)

The Frege point to the effect that e.g. the clauses of conditionals are not asserted and therefore cannot be assertions is often taken to establish a dichotomy between the content of a speech act, which is propositional and belongs to logic and semantics, and its force, which belongs to pragmatics. Recently this dichotomy has been questioned by philosophers such as Peter Hanks and Francois Recanati, who propose act-theoretic accounts of propositions, argue that we can’t account for propositional unity independently (...) of the forceful acts of speakers, and respond to the Frege point by appealing to a notion of force cancellation. I argue that the notion of force cancellation is faced with a dilemma and offer an alternative response to the Frege point, which extends the act-theoretic account to logical acts such as conditionalizing or disjoining. Such higher-level acts allow us to present forceful acts while suspending commitment to them. In connecting them, a subject rather commits to an affirmation function of such acts. In contrast, the Frege point confuses a lack of commitment to what is put forward with a lack of commitment or force in what is put forward. (shrink)

In addition to the Frege point, Frege also argued for the force-content distinction from the fact that an affirmative answer to a yes-no question constitutes an assertion. I argue that this fact more readily supports the view that questions operate on and present assertions and other forceful acts themselves. Force is neither added to propositions as on the traditional view, nor is it cancelled as has recently been proposed. Rather higher level acts such as questioning, but also e.g. conditionalizing, (...) embed assertive or directive acts that are forceful and committal, while suspending commitment to them. The Frege point confounds different varieties of force and the question whether something is merely presented for consideration with the question what is so presented. Force is representational: through assertoric and directive force indicators subjects non-conceptually present positions of theoretical or practical knowledge, while interrogative acts indicate positions of wondering which strive for such knowledge. (shrink)

ABSTRACT: In a previous article (O’Shea 2006) I provided a concise overview of the reception of Kant’s philosophy among analytic philosophers during the periods from the ‘early analytic’ reactions to Kant in Frege, Russell, Carnap and others, to the systematic Kant-inspired works in epistemology and metaphysics of C. I. Lewis and P. F. Strawson, in particular. In this chapter I use the recently reinvigorated work of Wilfrid Sellars (1912–1989) in the second half of the twentieth century as the basis for (...) presenting some of the most familiar ‘analytic Kantian’ themes that continue to animate current debates. I also argue that the complex relationships between Sellars’ philosophy and Kant’s thought are often misunderstood. Overall the chapter examines Sellars’ analytic appropriations of Kant in three topic-areas of significant current philosophical debate: (1) conceptual analysis and the structure of human knowledge; (2) laws of nature, the causal modalities, and the pragmatic or relative a priori; and (3) the disputes concerning Kant and nonconceptual content. (shrink)

To date, both the United States federal government and twenty-one individual states have passed Religious Freedom Restoration Acts that aim to protect religious persons from having their sincere beliefs substantially burdened by governmental interests. RFRAs accomplish this by offering a three-pronged exemption test for religious objectors that is satisfied only when (1) an objector has a sincere belief that is being substantially burdened; (2) the government has a very good reason (e.g., health or safety) to interfere; and (3) there is (...) a reasonable alternative to serve the compelling interest. Legal balancing tests like those found in RFRA are content neutral insofar as they sideline the belief-content of conscientious objections as irrelevant when determining the permissibility of granting legal accommodations. However, some theorists worry that this legal picture may be backward: perhaps balancing tests should be content non-neutral given the usual features of conscientious objections. For example, Yossi Nehushtan contends that, contrary to their typical codification, religious conscience beliefs seem undeserving of special legal accommodations because they possess uniquely strong empirical and theoretical ties to intolerance. Thus, the illiberally intolerant content of these conscientious objections might actually give the state a reason to refuse to grant legal exemptions. In this paper, I offer a cursory defense of content neutrality with respect to balancing tests like those found in RFRA. To begin, I outline Nehushtan’s argument for content non-neutrality. The cornerstone of his argument is that illiberal intolerance is intolerable such that conscientious objections that are based upon illiberally intolerant values provide the state with strong, normally prevailing reason not to grant an exemption. I argue that, even when the illiberally intolerant content of one’s conscience constitutes a weighty and relevant factor in determining the permissibility of granting a legal exemption, there remain significant problems. It is difficult, for example, to determine which views are illiberally intolerant and difficult to say whether illiberally intolerant views can effectively serve as the principled demarcating line in balancing tests. To conclude, I offer several cursory arguments in favor of adopting content-neutral approaches without necessarily making a comprehensive case. By drawing on the work of Amy Sepinwall, Nadia Sawicki, and Nathan Chapman, I show that content-neutral approaches can help to safeguard robust protections for conscience by permitting atypical exercises of conscience, protect minority thoughts and practices from being coercively supplanted by majoritarian understandings of morality, appropriately maintain the skepticism and humility that we owe each other as compatriots in a pluralistic society, and allow the kind of justifiable civil disobedience that has an important place in political history among other things. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. (...) This paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Grounding-theoretic reformulation of Fodor's theory of content that addresses recalcitrant Quinean concerns.

With the rapidly growing amounts of information, visualization is becoming increasingly important, as it allows users to easily explore and understand large amounts of information. However the field of information visualiza- tion currently lacks sufficient theoretical foundations. This article addresses foundational questions connecting information visualization with computing and philosophy studies. The idea of multiscale information granula- tion is described based on two fundamental concepts: information (structure) and computation (process). A new information processing paradigm of Granular Computing enables stepwise increase (...) of granulation/aggregation of information on different levels of resolution, which makes possible dynamical viewing of data. Information produced by Google Earth is an illustration of visualization based on clustering (granulation) of information on a succession of layers. Depending on level, specific emergent properties become visible as a result of different ways of aggregation of data/information. As information visualization ultimately aims at amplifying cognition, we discuss the process of simulation and emulation in relation to cognition, and in particular visual cognition. (shrink)

The present paper was written as a contribution to ongoing methodological debates within the NCC project. We focus on the neural correlates of conscious perceptual episodes. Our claim is that the NCC notion, as applied to conscious perceptual episodes, needs to be reconceptualized. It mixes together the processing related to the perceived contents and the neural substrate of consciousness proper, i.e. mechanisms making the perceptual contents conscious. We thus propose that the perceptual NCC be divided into two constitutive subnotions. The (...) main theoretical idea that emerges as a consequence of this reconceptualization is that the neural correlate of a perceptual episode is formed in the neural interaction between content-processing and consciousness-conferring mechanisms. The paper elaborates this distinction, marshals some initial arguments in its favour, and tests it against some of the most debated theories of consciousness. (shrink)

Content nonconceptualism and State conceptualism are motivated by different readings of what I want to call here Bermúdez’s conditions on content-attribution (2007). In one read- ing, what is required is a neo-Fregean content to solve problems of cognitive significance at the nonconceptual level (Toribio, 2008; Duhau, 2011). In the other reading, what is required is a neo-Russellian or possible-world content to account for how conspecifics join attention and cooperate, contemplating the same things from different perspectives in (...) the same perceptual field. The solution to this apparent contradiction is the rejection of the real content view and the adherence to what I call here Content-pragmatism: there is no such thing as the content of experience. According to content pragmatism, “proposition” is not as real as a mental state, but rather, it is a term of art that semanticists use, as a matter of theoretical convenience, to classify mental states. What follows from Content-pragmatism is Content- pluralism: there are so many contents that are required to meet Bermúdez’s condition on content attribution. Because both criticism and the defense of State conceptualism overlook the real scope of Bermúdez’s condition on content attribution, they are ineffective. In this paper, I will argue that the opposition between State and Content nonconceptualism is a real one, but only a relative one, that is, relative to the opposite constraints to be met. If we want to solve the problems of cognitive significance, the best we can do is to let the content of experience be modeled as neo-Fregean content, namely, a compound of nonconceptual modes of presentation of objects and properties. In this case, Content-nonconceptualism prevails. In contrast, if we want to account for how conspecifics join attention to the same entities in the same perceptual field from different perspectives, the best we can do is let the content of experience be modeled either as a structured Russellian proposition or as a function from possible worlds to truth-values. In this case, State-nonconceptualism prevails. (shrink)

In their book, Narrow Content, Juhani Yli-Vakkuri and John Hawthorne attempt to argue against the claim that there is a kind of thought content which is both narrow and theoretically significant. However, their failure to distinguish indexical from non-indexical thought renders their arguments ineffective; a large class of the arguments they present are in fact irrelevant to the question of whether thought content is narrow. The unified treatment of thought content they advocate fails to capture the (...) distinctively mental aspects of indexical thought, and the kinds of indexical examples to which they appeal can tell us nothing very interesting about mental states. (shrink)

Kaplan (1989) famously claimed that monsters--operators that shift the context--do not exist in English and "could not be added to it". Several recent theorists have pointed out a range of data that seem to refute Kaplan's claim, but others (most explicitly Stalnaker 2014) have offered a principled argument that monsters are impossible. This paper interprets and resolves the dispute. Contra appearances, this is no dry, technical matter: it cuts to the heart of a deep disagreement about the fundamental structure of (...) a semantic theory. We argue that: (i) the interesting notion of a monster is not an operator that shifts some formal parameter, but rather an operator that shifts parameters that play a certain theoretical role; (ii) one cannot determine whether a given semantic theory allows monsters simply by looking at the formal semantics; (iii) theories which forbid shifting the formal "context" parameter are perfectly compatible with the existence of monsters (in the interesting sense). We explain and defend these claims by contrasting two kinds of semantic theory--Kaplan's (1989) and Lewis's (1980). (shrink)

This research article was championed as a way of providing discourses pertaining to the concept of "Critical Realism (CR)" approach, which is amongst many othe forms of competing postmodern philosophical concepts for the engagement of dialogical discourses in the area of established econonetric methodologies for effective policy prescription in the economic science discipline. On the the whole, there is no doubt surrounding the value of empirical endeavours in econometrics to address real world economic problems, but equally so, the heavy weighted (...) use and reliance on mathematical contents as a way of justifying its scientific base seemed to be loosing traction of the intended focus of economics when it comes to confronting real world problems in the domain of social interaction. In this vein, the construction of mixed methods discourse(s), which favour that of CR philosophy is hereby suggested in this article as a way forward in confronting with issues raised by critics of mainstream economics and other professionals in the postmodern era. (shrink)

It is traditionally thought that metaphorical utterances constitute a special— nonliteral—kind of departure from lexical constraints on meaning. Dan Sperber and Deirdre Wilson have been forcefully arguing against this: according to them, relevance theory’s comprehension/interpretation procedure for metaphorical utterances does not require details specifi c to metaphor (or nonliteral discourse); instead, the same type of comprehension procedure as that in place for literal utterances covers metaphors as well. One of Sperber and Wilson’s central reasons for holding this is that metaphorical (...) utterances occupy one end of a continuum that includes literal, loose and hyperbolic utterances with no sharp boundaries in between them. Call this the continuum argument about interpreting metaphors. My aim is to show that this continuum argument doesn’t work. For if it were to work, it would have an unwanted consequence: it could be converted into a continuum argument about interpreting linguistic errors, including slips of the tongue, of which malaprops are a special case. In particular, based on the premise that the literal–loose–metaphorical continuum extends to malaprops also, we could conclude that the relevance-theoretic comprehension procedure for malaprops does not require details specifi c to linguistic errors, that is, details beyond those already in place for interpreting literal utterances. Given that we have good reason to reject this conclusion, we also have good reason to rethink the conclusion of the continuum argument about interpreting metaphors and consider what additional (metaphor-specifi c) details—about the role of constraints due to what is lexically encoded by the words used—might be added to relevance-theoretic comprehension procedures. (shrink)

The theoretical underpinnings and practical worth of content-based, intentional, or "folk" psychology have been challenged by three distinct groups of philosophical critics in the past 15 years or so. The first group, comprised by Hilary Putnam, Tyler Burge, and other advocates of "wide" or "externalist" theories of meaning, claims that traditional psychologists have been mistaken in assuming that our beliefs, desires, and other content-laden states supervene on or inhere in our individual minds or brains. The other two (...) groups are both "eliminative materialists," who charge that the intentional approach is inadequate and that it can or will be replaced by a completely non-interpretive discipline: either neuropsychology, in the view of Patricia and Paul Churchland, or a strictly syntactic computational psychology, according to Stephen Stich. ;This dissertation defends "notional world" or narrow intentional psychology against these charges, primarily on the strength of its practical merits, in contrast to the limitations and adverse effects of the proposed alternatives. Psychology is at least partly an applied science with a mandate to help understand and treat concrete psychological problems such as Post Traumatic Stress Disorder and depression, I argue, so any theorist who proposes to reconfigure or phase out existing approaches must be prepared to take over these duties with at least equal facility. However, whereas various "narrow" schools of psychotherapy such as Cognitive Therapy are fairly successful in this regard and show every indication of continuing to be needed for the foreseeable future, the Syntactic Theory seems to show very poor promise of being able to help relieve the distress of people with psychological disturbances, while a purely neurobiological approach is inappropriate in many cases, and tends to cause a variety of untoward and dangerous side-effects. As for the "wide" theorists with their emphasis upon the social and environmental contributions to meaning: they must acknowledge that a good deal of content is in the head; and, more importantly, by focusing on the role of the "experts" in a society's language-game, they miss the whole point of a psychological attribution, which is to understand an individual's reasons--however idiosyncratic--for acting as he or she does. (shrink)

In this work we study dimensional theoretical properties of some a±ne dynamical systems. By dimensional theoretical properties we mean Hausdor® dimension and box- counting dimension of invariant sets and ergodic measures on theses sets. Especially we are interested in two problems. First we ask whether the Hausdor® and box- counting dimension of invariant sets coincide. Second we ask whether there exists an ergodic measure of full Hausdor® dimension on these invariant sets. If this is not the case we (...) ask the question, whether at least the variational principle for Haus- dor® dimension holds, which means that there is a sequence of ergodic measures such that their Hausdor® dimension approximates the Hausdor® dimension of the invariant set. It seems to be well accepted by experts that these questions are of great importance in developing a dimension theory of dynamical systems (see the book of Pesin about dimension theory of dynamical systems [PE2]). Dimensional theoretical properties of conformal dynamical systems are fairly well understood today. For example there are general theorems about conformal repellers and hyperbolic sets for conformal di®eomorphisms (see chapter 7 of [PE2]). On the other hand the existence of two di®erent rates of expansion or contraction forces problems that are not captured by a general theory this days. At this stage of de- velopment of the dimension theory of dynamical systems it seems natural to study non conformal examples. This is the ¯rst step to understand the mechanisms that determine dimensional theoretical properties of non conformal dynamical systems. A±ne dynamical systems represent simple examples of non conformal systems. They are easy to de¯ne, but studying their dimensional theoretical properties does never- theless provide challenging mathematical problems and exemplify interesting phe- nomena. We consider here a special class of self-a±ne repellers in dimension two, depending on four parameters (see 2.1.). Furthermore we study a class of attractors of piecewise a±ne maps in dimension three depending on four parameters as well. The last object of our work are projections of these maps that are known as gener- alized Baker's transformations (see 2.2.). The contents of our work is the following: In chapter two we give an overview about some main results in the area of di- mension theory of a±ne dynamical systems and de¯ne the systems we study in this work. We will explain, what is known about the dimensional theoretical properties of these systems and describe what our new results are. In chapter three we then apply symbolic dynamics to our systems. We will introduce explicit shift codings 4 and ¯nd representations of all ergodic measures for our systems using these codings. From chapter four to chapter eight we study dimensional theoretical properties, which our systems generally or generically have. In chapter four we will prove a formula for the box-counting dimension of the repellers and the attractors (see the- orem 4.1.). Then in chapter ¯ve we apply general dimensional theoretical results for ergodic measures found by Ledrappier and Young [LY] and Barreira, Schmeling and Pesin [BPS] to our systems. These results relate the dimension of ergodic measures to metric entropy and Lyapunov exponents. Using this approach we will be able to reduce questions about the dimension of ergodic measures in our context to ques- tions about certain overlapping and especially overlapping self-similar measures on the line. These overlapping self-similar measures are studied in chapter six. Our main theorem extends a result of Peres and Solomyak [PS2] concerning the absolute continuity resp. singularity of symmetric self-similar measures to asymmetric ones (see theorem 6.1.3.). In chapter seven we bring our results together. We prove that we generically (in the sense of Lebesgue measure on a part of the parameter space) have the iden- tity of box-counting and Hausdor® dimension for the repellers and the attractors. (see theorem 7.1.1. and corollary 7.1.2.). This result suggest that one can expect that the identity of box-counting dimension and Hausdor® dimension holds at least generically in some natural classes of non conformal dynamical systems. Furthermore we will see in chapter seven that there generically exists an ergodic measure of full Hausdor® dimension for the repellers. On the other hand the vari- ational principle for Hausdor® dimension is not generic for the attractors. It holds only if we assume a certain symmetry (see theorem 7.1.1.). For generalized Baker's transformations we will ¯nd a part of the parameter space where there generically is an ergodic measure of full dimension and a part where the variational principle for Hausdor® dimension does not hold (see theorem 7.1.3.). Roughly speaking the reason why the variational principle does not hold here is, that if there exists both a stable and an unstable direction one can not generically maximize the dimension in the stable and in the unstable direction at the same time. In an other setting this phenomenon was observed before by Manning and McCluskey [MM]. In chapter eight we extend some results of the last section to invariant sets that correspond to special Markov chains instead of full shifts (see theorem 8.1.1.). In the last two chapters of our work we are interested in number theoretical excep- tions to our generic results. The starting point of our considerations in section nine are results of ErdÄos [ER1] and Alexander and Yorke [AY] that establish singularity and a decrease of dimension for in¯nite convolved Bernoulli measures under special conditions. Using a generalized notion of the Garsia entropy ([GA1/2]) we are able 5 to understand the consequences of number theoretical peculiarities in broader class of overlapping measures (see theorem 9.1.1.). In chapter ten we then analyze number theoretical peculiarities in the context of our dynamical systems. We restrict our attention to a symmetric situation where we generically have the existence of a Bernoulli measure of full dimension and the identity of Hausdor® and box-counting dimension for all of our systems. In the ¯rst section of chapter ten we ¯nd parameter values such that the variational principle for Hausdor® dimension does not hold for the attractors and for the Fat Baker's transformations (see theorem 10.1.1.). These are the ¯rst known examples of dynamical systems for which the variational principle for Hausdor® dimension does not hold because of number theoretical peculiarities of parameter values. For the repellers we have been able to show that under certain number theoretical conditions there is at least no Bernoulli measure of full Hausdor® dimension; the question if the variational principle for Hausdor® dimension holds remains open in this situation. In the second section of chapter ten we will show that the identity for Hausdor® and box-counting dimension can drops because there are number theoretical pecu- liarities. In the context of Weierstrass-like functions this phenomenon was observed by Przytycki and Urbanski [PU]. Our theorem extends this result to a larger class of sets, invariant under dynamical systems (see theorem 10.2.1). At the end of this work the reader will ¯nd two appendices, a list of notations and the list of references. In appendix A we introduce the notions of dimension we use in this work and collect some general facts in dimension theory. In appendix B we state the facts about Pisot-Vijayarghavan number, we need in our analysis of number theoretical peculiarities. The list of notations contains general notations and a table with a summary of notations we use to describe the dynamical systems that we study. Acknowledgments I wish to thank my supervisor JÄorg Schmeling for a lot of valuable discussion and all his help. Also thanks to Luis Barreira for his great hospitality in Lisboa and many interesting comments. This work was done while I was supported by "Promotionstipendium gem. NaFÄoG der Freien UniversitÄat Berlin". (shrink)

To account for the explanatory role representations play in cognitive science, Egan’s deflationary account introduces a distinction between cognitive and mathematical contents. According to that account, only the latter are genuine explanatory posits of cognitive-scientific theories, as they represent the arguments and values cognitive devices need to represent to compute. Here, I argue that the deflationary account suffers from two important problems, whose roots trace back to the introduction of mathematical contents. First, I will argue that mathematical contents do not (...) satisfy important and widely accepted desiderata all theories of content are called to satisfy, such as content determinacy and naturalism. Secondly, I will claim that there are cases in which mathematical contents cannot play the explanatory role the deflationary account claims they play, proposing an empirical counterexample. Lastly, I will conclude the paper highlighting two important implications of my arguments, concerning recent theoretical proposals to naturalize representations via physical computation, and the popular predictive processing theory of cognition. (shrink)

This paper assesses branching spacetime theories in light of metaphysical considerations concerning time. I present the A, B, and C series in terms of the temporal structure they impose on sets of events, and raise problems for two elements of extant branching spacetime theories—McCall’s ‘branch attrition’, and the ‘no backward branching’ feature of Belnap’s ‘branching space-time’—in terms of their respective A- and B-theoretic nature. I argue that McCall’s presentation of branch attrition can only be coherently formulated on a model with (...) at least two temporal dimensions, and that this results in severing the link between branch attrition and the flow of time. I argue that ‘no backward branching’ prohibits Belnap’s theory from capturing the modal content of indeterministic physical theories, and results in it ascribing to the world a time-asymmetric modal structure that lacks physical justification. (shrink)

(First paragraphs.) The idea that our language somehow influences our thought can be found in philosophical and scientific traditions of different continents and with different roots and objectives. Yet, beyond the mere theoretical, explorations of the idea are relatively scarce, and are mostly limited to relations between very concrete conceptual categories and subjective experiencing and remembering – to some kind of ‘psychologies of folk-ontology’. Thought as process, reasoning or ‘thinking’, and the role of more complex or abstract concepts in (...) (such) thought tend to be mostly ignored in psychology and philosophy. Conceptual and intellectual history, on the other hand, cannot be accused of such neglect, but the common lack of a comparative perspective in those fields precludes any generalized inference. Furthermore, while a comparative study on the role of complex or abstract concepts in thought as process and its products (the aggregate ‘thought’ of schools, ages, and regions) could result in a considerable enrichment of our understanding of the relationships between language and thought, it would not necessarily be recognized as such because of a fundamental difference in the nature of the concepts involved, affecting the boundary of ‘language’ in the pair ‘language and thought’. More concretely, while the concepts of the ‘psychologies of folk-ontology’ are rather concrete categories of ‘things’ or aspects of experienced reality (hence, ‘folk-ontology’), the abstract concepts of (comparative) conceptual history, such as ‘society’ or ‘reason’, are categories of ideas. Consequently, conceptual history is inseparably tied to the history of ideas, and there is no strict boundary line between concepts, theories, ideas, and aggregate thought in general. It could, therefore, be argued that a comparative conceptual history would be a study of the influence of ideas on thought, rather than of language on thought. That argument, however, would either void language of content, or make the dubious claim that folk-ontology is a fundamentally different type of content than theoretical content. The ‘psychologies of folk-ontology’ study the influence of folk-ontological categories on folk-ontological thought (experiencing and remembering), and a comparative conceptual history would study the influence of theoretical categories (or conceptualized ideas) on theoretical thought (thinking, reasoning, etc.), and there does not seem to be a good reason to exclude either type of categories from ‘language’. Perhaps it should be argued instead that the ambiguous term ‘language’ in the pair ‘language and thought’ would better be replaced with ‘concepts’ or ‘categories’. (shrink)

A content theory of art would identify an artwork with the meaningful or representational content of some concrete artistic vehicle, such as the intentional, expressive, stylistic, and subject matter-related content embodied in, or resulting from, acts of intentional artistic expression by artists. Perhaps surprisingly, the resultant view that an artwork is nothing but content seems to have been without theoretical defenders until very recently, leaving a significant theoretical gap in the literature. I present some (...) basic arguments in defence of such a view, including the following. Content views of linguistic communication are ubiquitous, so why should they not be applicable in artistic cases as well? Also, propositional accounts of language involve two kinds of content (the proposition expressed by a sentence, plus the worldly state of affairs it represents), both of which kinds can be used in explaining artworks. In addition, the differing modal properties of artworks and concrete artefacts can be used to show that artworks could not be, or include, such physical artefacts. (shrink)

Moore’s paradox, the infamous felt bizarreness of sincerely uttering something of the form “I believe grass is green, but it ain’t”—has attracted a lot of attention since its original discovery (Moore 1942). It is often taken to be a paradox of belief—in the sense that the locus of the inconsistency is the beliefs of someone who so sincerely utters. This claim has been labeled as the priority thesis: If you have an explanation of why a putative content could not (...) be coherently believed, you thereby have an explanation of why it cannot be coherently asserted. (Shoemaker 1995). The priority thesis, however, is insufficient to give a general explanation of Moore-paradoxical phenomena and, moreover, it’s false. I demonstrate this, then show how to give a commitment-theoretic account of Moore Paradoxicality, drawing on work by Bach and Harnish. The resulting account has the virtue of explaining not only cases of pragmatic incoherence involving assertions, but also cases of cognate incoherence arising for other speech acts, such as promising, guaranteeing, ordering, and the like. (shrink)

Aesthetic statements of the form ‘X is beautiful’ are evaluative; they indicate the speaker’s positive affective attitude regarding X. Why is this so? Is the evaluative content part of the truth conditions, or is it a pragmatic phenomenon (i.e. presupposition, implicature)? First, I argue that semantic approaches as well as these pragmatic ones cannot satisfactorily explain the evaluativity of aesthetic statements. Second, I offer a positive proposal based on a speech-act theoretical version of hybrid expressivism, which states that, (...) with the literal utterance of ‘X is beautiful’, we perform two illocutionary acts simultaneously, an assertive and an expressive one. I will specify this theory in detail and argue that it can satisfactorily account for the evaluative content of aesthetic statements. I will also discuss the advantages of the theory over other variants of expressivism in meta-aesthetics. (shrink)

Slurs’ meaning is highly unstable. A slurring utterance like ‘Hey, F, where have you been?’ (where F is a slur) may receive a wide array of interpretations depending on various contextual factors such as the speaker’s social identity, their relationship to the target group, tone of voice, and more. Standard semantic, pragmatic, and non-content theories of slurs have proposed different mechanisms to account for some or all types of variability observed, but without providing a unified framework that allows us (...) to understand how different contextual factors simultaneously influence slurs’ interpretation. To address this issue, I argue that slurs convey dimensional qualities such as, e.g., ‘negative valence, neutral arousal, high dominance’ instead of discrete emotional categories such as ‘contempt’. Then, I translate this hypothesis into a game-theoretic model of slurs’ interpretation inspired by Heather Burnett’s pioneering work on identity construction. This new model, called ‘Affective Meaning Games’ (AMG), captures the variability of slurs and integrates pragmatic reasoning within an independently motivated psychological understanding of emotional states. (shrink)

How can it be true that one sees a lake when looking at a picture of a lake, since one's gaze is directed upon a flat dry surface covered in paint? An adequate contemporary explanation cannot avoid taking a theoretical stand on some fundamental cognitive science issues concerning the nature of perception, of pictorial content, and of perceptual reference to items that, strictly speaking, have no physical existence. A solution is proposed that invokes a broadly functionalist, naturalistic theory (...) of perception, plus a double content analysis of perceptual interpretation, which permits non-supervenient, culturally autonomous modes of reference to be generated and artistically exploited even in a purely physical world. In addition, a functionalist concept of broad or 'spread' reference replaces the traditional precise intentional concept of reference, which previously made reference to non-existent items theoretically intractable. (shrink)

What makes it the case that an utterance constitutes an illocutionary act of a given kind? This is the central question of speech-act theory. Answers to it—i.e., theories of speech acts—have proliferated. Our main goal in this chapter is to clarify the logical space into which these different theories fit. -/- We begin, in Section 1, by dividing theories of speech acts into five families, each distinguished from the others by its account of the key ingredients in illocutionary acts. Are (...) speech acts fundamentally a matter of convention or intention? Or should we instead think of them in terms of the psychological states they express, in terms of the effects that it is their function to produce, or in terms of the norms that govern them? In Section 2, we take up the highly influential idea that speech acts can be understood in terms of their effects on a conversation’s context or “score”. Part of why this idea has been so useful is that it allows speech-act theorists from the five families to engage at a level of abstraction that elides their foundational disagreements. In Section 3, we investigate some of the motivations for the traditional distinction between propositional content and illocutionary force, and some of the ways in which this distinction has been undermined by recent work. In Section 4, we survey some of the ways in which speech-act theory has been applied to issues outside semantics and pragmatics, narrowly construed. (shrink)

There is an ongoing debate about the meaning of lexical words, i.e., words that contribute with content to the meaning of sentences. This debate has coincided with a renewal in the study of polysemy, which has taken place in the psycholinguistics camp mainly. There is already a fruitful interbreeding between two lines of research: the theoretical study of lexical word meaning, on the one hand, and the models of polysemy psycholinguists present, on the other. In this paper I (...) aim at deepening on this ongoing interbreeding, examine what is said about polysemy, particularly in the psycholinguistics literature, and then show how what we seem to know about the representation and storage of polysemous senses affects the models that we have about lexical word meaning. (shrink)

The verb 'knows' is often taken to be context-sensitive in an interesting way. What 'knows' means seems to be sensitive to the epistemic features of the context, e.g. the epistemic standard in play, the set of relevant alternatives, etc. There are standard model-theoretic semantic frameworks which deal with both intensional operators and context-sensitive expressions. In this chapter, we provide a brief overview of the various moving parts of these frameworks, the roles of context and index, the need for double indexing, (...) and the relationship between semantic value and content. With the best version of the standard framework explicated we then return at the end to the treatment of ‘know’ as a context-sensitive intensional operator (contrasting it with an invariantist treatment). (shrink)

Hutto and Myin claim that teleosemantics cannot account for mental content. In their view, teleosemantics accounts for a poorer kind of relation between cognitive states and the world but lacks the theoretical tools to account for a richer kind. We show that their objection imposes two criteria on theories of content: a truth-evaluable criterion and an intensionality criterion. For the objection to go through, teleosemantics must be subject to both these criteria and must fail to satisfy them. (...) We argue that teleosemantics meets the truth-evaluable criterion and is not required to meet the intensionality criterion. We conclude that Hutto and Myin’s objection fails. (shrink)

In this paper, we take up an old issue that of pragmemes, broached by Mey and further explored by Capone. It is not easy to define pragmemes and distinguish them sufficiently from speech acts (units of language use broached by Austin and Searle) or from Wittgensteinian language games or from macro speech acts (see van Dijk on macrostructures) or from Goffman’s scripts. The best idea we could develop about pragmemes is that they instantiate the triple articulation of language, proposed by (...) Jock Wong; being essentially composed of phonological-syntactic units, that have a certain content relative to a social situation and to a certain culture, pragmemes express a certain function (or illocutionary force), like, e.g., modifying society or some aspect of it. They are part of a chapter that can be called either “societal pragmatics” or “emancipatory pragmatics,” to use the words by Mey. In fact, knowledge of how language is used to diminish the rights of people and to propagate the “status quo” may be instrumental to give rights and power to ordinary human beings who are oppressed by political and economical structures. -/- . (shrink)

Mental content normativists hold that the mind’s conceptual contents are essentially normative. Many hold the view because they think that facts of the form “subject S possesses concept c” imply that S is enjoined by rules concerning the application of c in theoretical judgments. Some opponents independently raise an intuitive objection: even if there are such rules, S’s possession of the concept is not the source of the enjoinment. Hence, these rules do not support mental content normativism. (...) Call this the “Source Objection.” This paper refutes the Source Objection, outlining a key strand of the relationship between judgments and their contents in the process. Theoretical judgment and mental conceptual content are equally the source of enjoinment; norms for judging with contents do not derive from one at the expense of the other. (shrink)

Jalal al-Din Muhammad al-Balkhi Rumi (1207-1273), often referred to as Mawlana (lord/master) or Rumi, is one of the most important figures of Islamic Sufism. Rumi’s work, I shall argue, is particularly timely today. There are tendencies among contemporary Muslim intellectuals to accept the Sufi interpretation of Islam and to present a picture of Islam as tolerant and peaceful, not only to counteract Western Islamophobia but also to counteract extremism within Islamic societies. In this paper, then, I wish to introduce some (...) aspects of Rumi’s thought and, specifically, his ideas on tolerance. The present discussion will focus on: knowledge of God and tolerance; human identity and tolerance; and spiritual journey and tolerance. My contention is that Rumi’s concept of tolerance is not only of academic and historical interest, but of particular relevance to current discussions in Islamic intellectual life. (shrink)

Art-science, as its name suggests, combines art with science. The idea of combining art and science raises the question whether the outcome, art-scientific works, can succeed against a standard properly belonging to them. In other words: can there be such a thing as an art-scientific work, or do such works merely belong to either art or science while superficially seeming to belong to the other sphere as well? Surprisingly perhaps, these concerns overlap with a chief point of contention as regards (...) Adorno’s mature thinking, in particular his Aesthetic Theory ([1970] 2002): whether or not it is coherent to believe that knowledge can have an aesthetic form. This essay is motivated by the thought that Adorno’s reflections are useful for understanding contemporary art as well, and the burgeoning paradigm of art-science represents a welcome occasion to ask the reverse question: can art become theoretical? The first aim of this essay is, accordingly, to consider how Adorno’s negative dialectic of philosophy and art might illuminate the field of art-science, how its works might express sui generis truths. In turn, an examination of how the aestheticisation theme in Adorno might be appropriated for the business of art-science critique, might tell us something about the relationship between artistic content and philosophical interpretation, beauty and truth, in Adorno. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

In this work, it is shown that given a correct understanding of the nature of reference and of linguistic meaning generally, it is possible to produce non-revisionist analyses of the nature of -/- *Perceptual content, *Mental content generally, *Logical equivalence, *Logical dependence generally, *Counterfactual truth, *The causal efficacy of mental states, and *Our knowledge of ourselves and of the external world. -/- In addition, set-theoretic interpretations of several semantic concepts are put forth. These concepts include truth, falsehood, negation, (...) and conjunction. (shrink)

A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role (...) in the empirical equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, and by Knox (2011) that general relativity is equivalent to teleparallel gravity, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity. (shrink)

In the first half, I suggest that Kant’s conception of our moral life goes through a significant shift after 1793, with reverberations in his eschatology. The earlier account, based on the postulate of immortality, describes our moral life as an endless pursuit of the highest good, but all this changes in the later account, and I point out three possible reasons for this change of heart. In the second half, I explore how the considerations Kant brings up to argue for (...) his accounts can inform our process of formulating positions with respect to the afterlife. I argue that, in the absence of a convincing theoretical proof for or against the afterlife as well as apodictically certain knowledge of how demanding the moral law is, the Kantian strategy would be to ask which account of our moral life delivers the kind of contentment that can sustain our moral resolve. I also point out a way theists might be able to find contentment despite their moral failures by imagining God’s moral kenosis. (shrink)

We present a new “reason-based” approach to the formal representation of moral theories, drawing on recent decision-theoretic work. We show that any moral theory within a very large class can be represented in terms of two parameters: a specification of which properties of the objects of moral choice matter in any given context, and a specification of how these properties matter. Reason-based representations provide a very general taxonomy of moral theories, as differences among theories can be attributed to differences in (...) their two key parameters. We can thus formalize several distinctions, such as between consequentialist and non-consequentialist theories, between universalist and relativist theories, between agent-neutral and agent-relative theories, between monistic and pluralistic theories, between atomistic and holistic theories, and between theories with a teleological structure and those without. Reason-based representations also shed light on an important but under-appreciated phenomenon: the “underdetermination of moral theory by deontic content”. (shrink)

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

A common view relating compositional semantics and the objects of assertion holds the following: Sentences φ and ψ expresses the same proposition iff φ and ψ have the same modal profile. Following Dummett, Evans, and Lewis, Stanley argues that this view is fundamentally mistaken. According to Dummett, we must distinguish the semantic contribution a sentence makes to more complex expressions in which it occurs from its assertoric content. Stojnić insists that views which distinguish the roles of content and (...) semantic value must nevertheless ensure a tight connection between the two. But, she contends, there is a crucial disanalogy between the views that follow Lewis and the views that follow Dummett. Stanley’s Dummettian view is argued to contain a fatal flaw: On such views, there is no way to secure an appropriate connection between semantic value and a theoretically motivated notion of assertoric content. I will review the background issues from Dummett, Evans, Lewis, and Stanley, and provide a principled way of bridging the gap between semantic value and a theoretically motivated notion of assertoric content. (shrink)

This paper is about two requirements on wish reports whose interaction motivates a novel semantics for these ascriptions. The first requirement concerns the ambiguities that arise when determiner phrases, such as definite descriptions, interact with ‘wish’. More specifically, several theorists have recently argued that attitude ascriptions featuring counterfactual attitude verbs license interpretations on which the determiner phrase is interpreted relative to the subject’s beliefs. The second requirement involves the fact that desire reports in general require decision-theoretic notions for their analysis. (...) The current study is motivated by the fact that no existing account captures both of these aspects of wishing. I develop a semantics for wish reports that makes available belief-relative readings but also allows decision-theoretic notions to play a role in shaping the truth conditions of these ascriptions. The general idea is that we can analyze wishing in terms of a two-dimensional notion of expected utility. (shrink)

I am concerned with epistemic closure—the phenomenon in which some knowledge requires other knowledge. In particular, I defend a version of the closure principle in terms of analyticity; if an agent S knows that p is true, then S knows that all analytic parts of p are true as well. After targeting the relevant notion of analyticity, I argue that this principle accommodates intuitive cases and possesses the theoretical resources to avoid the preface paradox. I close by arguing that (...) contextualists who maintain that knowledge attributions are closed within—but not between—linguistic contexts are tacitly committed to this principle’s truth. (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)