This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This paper is a defense of an internalist view of the perception of shapes. A basic assumption of the paper is that perceptual experiences have certain parts which account both for the phenomenal character associated with perceiving shapes—phenomenal shapes—and for the intentional content presenting shapes—intentional shapes. Internalism about perceptions of shapes is defined as the claim that phenomenal shapes determine the intentional shapes. Externalism is defined as the claim that perceptual experiences represent whatever shape the phenomenal shape reliably tracks. The (...) argument against externalism proceeds in three steps. First, it is argued that phenomenal shapes are modality specific, such that a phenomenal shape that features in a visual perceptual experience cannot feature in a haptic perceptual experience, and vice versa. Second, it is argued that intentional shapes are amodal. Third, it is argued that externalism is incompatible with the fact that phenomenal shapes are modality specific and intentional shapes amodal. (shrink)

We examine how Frege’s contrast between identity judgments of the forms “a=a” vs. “a=b” would fare in the special case where ‘a’ and ‘b’ are complex mental representations, and ‘a’ stands for an introspected ‘I’-thought. We first argue that the Fregean treatment of I-thoughts entails that they are what we call “one-shot thoughts”: they can only be thought once. This has the surprising consequence that no instance of the “a=a” form of judgment in this specific case comes out true, let (...) alone a priori true. This further reinforces Glezakos’s objections against the set-up of Frege’s puzzle, while also raising what we think is an acute problem for Fregeans, insofar as I-thought (and indexical thinking more generally), understood in their way, turns out to be incompatible with some basic features of rationality. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

George H. Mead and Alfred Schutz proposed foundations for an interpretative sociology from opposite standpoints. Mead accepted the objective meaning structure a priori. His problem became therefore the explanation of the individuality and creativity of human actors in his social behavioristic approach. In contrast, Schutz started from the subjective consciousness of an isolated actor as a result of a phenomenological reduction. He was concerned with the problem of explaining the possibility of this isolated actor’s perceiving other actors in their existence, (...) their concreteness, and the motives for their behavior. I treat these two approaches and their associated problems as equally relevant. My evaluation is based on their success in solving their specific problems. The aim is to decide which of the two approaches provides the more adequate foundation for an interpretative sociology. (shrink)

This article explores two consequences of intentionalism. My first line of argument focuses on the impact of intentionalism on the 'hard problem' of phenomenal character. If intentionalism is true, the phenomenal supervenes on the intentional. Furthermore, if physicalism about the intentional is also true, the intentional supervenes on the physical. Therefore, if intentionalism and physicalism are both true, then, by transitivity of supervenience, physicalism about the phenomenal is true. I argue that this transitivity argument is not persuasive, because on any (...) interpretation of its central terms, at least one of its premises is as controversial as its conclusion already is. My second line of argument is about the consequences of intentionalism for the error theory of color perception. I suggest that if intentionalism is true, projectivism must be true also, because under this condition there is no single concept of color that can be used for the qualification of objects as well as for the characterization of experiences. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

Evolutionary Debunking Arguments are defined as arguments that appeal to the evolutionary genealogy of our beliefs to undermine their justification. Recently, Helen De Cruz and her co-authors supported the view that EDAs are self-defeating: if EDAs claim that human arguments are not justified, because the evolutionary origin of the beliefs which figure in such arguments undermines those beliefs, and EDAs themselves are human arguments, then EDAs are not justified, and we should not accept their conclusions about the fact that human (...) arguments are unjustified. De Cruz's objection to EDAs is similar to the objection raised by Reuben Hersh against the claim that, since by Gödel's second incompleteness theorem the purpose of mathematical logic to give a secure foundation for mathematics cannot be achieved, mathematics cannot be said to be absolutely certain. The response given by Carlo Cellucci to Hersh's objection shows that the claim that by Gödel's results mathematics cannot be said to be absolutely certain is not self-defeating, and can be adopted to show that EDAs are not self-defeating as well in a twofold sense: an argument analogous to Cellucci's one may be developed to face De Cruz's objection, and such argument may be further refined incorporating Cellucci's response itself in it, to make it stronger. This paper aims at showing that the accusation of being self-defeating moved against EDAs is inadequate by elaborating an argument which can be considered an EDA and which can also be shown not to be self-defeating. (shrink)

After the 1930s, the research into the foundations of mathematics changed.None of its main directions (logicism, formalism and intuitionism) had any longer the pretension to be the only true mathematics.Usually, the determining factor in the change is considered to be Gödel?s work, while Heyting?s role is neglected.In contrast, in this paper I first describe how Heyting directly suggested the abandonment of the big foundational questions and the putting forward of a new kind of foundational research consisting in the isolation of (...) formal, intuitive, logical and platonistic elements within classical mathematics.Furthermore, I describe how Heyting indirectly influenced the abandon?ment of the old directions of foundational research by making out some lists of degrees of evidence that exist within intuitionism. (shrink)

At the most general level, the concept of finitism is typically characterized by saying that finitistic mathematics is that part of mathematics which does not appeal to completed infinite totalities and is endowed with some epistemological property that makes it secure or privileged. This paper argues that this characterization can in fact be sharpened in various ways, giving rise to different conceptions of finitism. The paper investigates these conceptions and shows that they sanction different portions of mathematics as finitistic.

This paper is about the Descriptivism/Singularism debate, which has loomed large in 20-century philosophy of language and mind. My aim is to defend Singularism by showing, first, that it is a better and more promising view than even the most sophisticated versions of Descriptivism, and second, that the recent objections to Singularism (based on a dismissal of the acquaintance constraint on singular thought) miss their target.

This paper examines research on three hypnotic phenomena: suggested amnesia, suggested analgesia, and “trance logic.” For each case a social-psychological interpretation of hypnotic behavior as a voluntary response strategy is compared with the traditional special-process view that “good” hypnotic subjects have lost conscious control over suggestion-induced behavior. I conclude that it is inaccurate to describe hypnotically amnesic subjects as unable to recall the material they have been instructed to forget. Although amnesics present themselves as unable to remember, they in fact (...) retain control over retrieval processes and accommodate their recall (or lack of it) to the social demands of the test situation. Hypnotic suggestions of analgesia do not produce a dissociation of pain from phenomenal awareness. Nonhypnotic suggestions of analgesia and distractor tasks that deflect attention from the'noxious stimuli are as effective as hypnotic suggestions in producing reductions in reported pain. Moreover, when appropriately motivated, subjects low in hypnotic suggestibility report pain reductions as large as those reported by highly suggestible hypnotically analgesic subjects. Finally, the data fail to support the view that a tolerance for logical incongruity (i.e., trance logic) uniquely characterizes hypnotic responding. So-called trance-logic-governed responding appears to reflect the attempts of “good” subjects to meet implicit demands to report accurately what they experience. (shrink)

In the static field configuration, a spatially-Variable Speed of Light (VSL) scalar gravity model with Lorentz-Poincaré interpretation was shown to reproduce the phenomenology implied by the Schwarzschild metric. In the present development, we effectively cover configurations with source kinematics due to an induced sweep velocity field w. The scalar-vector model now provides a Hamiltonian description for particles and photons in full accordance with the first Post-Newtonian (1-PN) approximation of General Relativity Theory (GRT). This result requires the validity of Poincaré’s Principle (...) of Relativity, i.e. the unobservability of ‘preferred’ frame movement. Poincaré’s principle fixes the amplitude of the sweep velocity field of the moving source, or equivalently the ‘vector potential’ ξ of GRT (e.g.; S. Weinberg, Gravitation and cosmology, [1972]), and provides the correct 1-PN limit of GRT. The implementation of this principle requires acceleration transformations derived from gravitationally modified Lorentz transformations. A comparison with the acceleration transformation in GRT is done. The present scope of the model is limited to weak-field gravitation without retardation and with gravitating test particles. In conclusion the model’s merits in terms of a simpler space, time and gravitation ontology—in terms of a Lorentz-Poincaré-type interpretation—are explained (e.g. for ‘frame dragging’, ‘harmonic coordinate condition’). (shrink)

Some of the most significant religious appeals can be taken as reasons of a distinctively religious kind. But many popular ways of interpreting religious reasoning pose obstacles to appreciating religious reasons as such. To avoid binding the concept of religious reason to an intellectual programme that requires a disjunction between the religious and the rational or that dissolves all tension between religious claims and general rational standards of validity and normativity, religious reasons can be defined for purposes of liberal study (...) by their challenging yet rationally appreciable transvalid claims and transnormative implications. Examples from the book of Amos and the Chandogya Upanishad are discussed. (shrink)

According to one tradition in the philosophy of language and mind, the content of a psychological attitude can be characterized by a set of possibilities. On the classic version of this account, advocated by Hintikka (1962) and Stalnaker (1984) among others, the possibilities in question are possible worlds, ways the universe might be. Lewis (1979, 1983a) proposed an alternative to this account, according to which the possibilities in question are possible individuals or centered worlds, ways an individual might be. The (...) motivation for the centered worlds theory has primarily to do with self-locating – or de se – attitudes. The focus of this paper is on the less-discussed question of how other-locating – or de re – attitudes ought to be treated within this framework. Most advocates of what we might call the modal approach to attitudes, Stalnaker and Lewis included, offer some kind of descriptivist solution to the well-known problems that other-locating attitudes raise. There are intramural differences between Stalnaker, Lewis, and other modal theorists (e.g. two-dimensionalists) on a number of issues: on the precise nature of the descriptivism involved, how attitude content relates to the asserted content of the sentences we utter, and on the proper semantic treatment of attitude reports. I pass over these differences to focus on a problem common to these various approaches: all face a problem when it comes to characterizing the contents of counterfactual attitudes like imagining, dreaming, and wishing. (shrink)

It's often hypothesized that the structure of mental representation is map-like rather than language-like. The possibility arises as a counterexample to the argument from the best explanation of productivity and systematicity to the language of thought hypothesis—the hypothesis that mental structure is compositional and recursive. In this paper, I argue that the analogy with maps does not undermine the argument, because maps and language have the same kind of compositional and recursive structure.

I lay out the framework for my theory of sensory imagination in “Imagining as a guide to possibility.” Sensory imagining involves mental imagery , and crucially, in describing the content of imagining, I distinguish between qualitative content and assigned content. Qualitative content derives from the mental image itself; for visual imaginings, it is what is “pictured.” For example, visually imagine the Philadelphia Eagles defeating the Pittsburgh Steelers to win their first Super Bowl. You picture the greenness of the field and (...) the football’s brown oblong shape. Some of what you imagine isn’t explicitly pictured, however. That it is Sunday, that it is the Super Bowl: these facts are assigned. (shrink)

Research Articles Michael S. Moore, Social Philosophy and Policy, FirstView Article.

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

A traditional association of judgment with "reason" has drawn upon and reinforced an opposition between reason and emotion. This, in turn, has led to a restricted view of the nature of moral judgment and of the subject as moral agent. The alternative, I suggest, is to abandon the traditional categories and to develop a new theory of judgment. I argue that the theory of judgment developed by Justus Buchler constitutes a robust alternative which does not prejudice the case against emotion. (...) Drawing on this theory I then develop how to conceptualize the ways in which feeling and emotion can be (or be components of) moral judgments. (shrink)

We need not accommodate facts about meaning if Quine is right about the indeterminacy of subsentential expressions; there can be no such facts to accommodate. Evans argued that Quine's approach overlooks the ways speakers use predication to endow their use of subsentential expressions with the necessary determinacy. This paper offers a critical assessment of the debate in relation to current arguments about naturalism and shows how Evans's response depends on a basic claim that turns out to be false.

I discuss the conjecture that understanding what is said in an utterance is to be modelled as knowing what is said in that utterance. My main aim is to present a number of alter- native models, as a prophylactic against premature acceptance of the conjecture as the only game in town. I also offer preliminary assessments of each of the models, including the propositional knowledge model, in part by considering their respective capacities to sub-serve the transmission of knowledge through testimony. (...) In each case, the preliminary assessment is unfavourable. I end by very briefly sketching an additional model as an object for future consideration. (shrink)

I argue that a certain initially appealing Fregean conception of our shared semantic competence in our shared language cannot be made good. In particular, I show that we must reject two fundamental Fregean principles‐what I call Frege's Adequacy Condition and what I call Frege's Cognitive Constraint on Reference Determination. Frege's adequacy condition says that in an adequate semantic theory, sentence meanings must have the same fineness of grain as attitude contents. The Cognitive Constraint on Reference Determination says that in an (...) adequate semantic theory mechanisms of reference determination will fix routes of epistemic access to referents and will mediate one‐sided recognition judgments about referents. I argue against Frege's adequacy condition that if meanings are sliced as finely as it requires there will be too many meanings to go around. I argue against the cognitive constraint on reference determination that even in an adequate theory of reference, mechanisms of reference determination must be sharply distinguished from routes of epistemic access. If so, we have little reason to expect an adequate theory of reference determination to directly illuminate Frege's cognitive puzzles or be sufficient to explain the basis of our one‐sided recognition judgments. (shrink)

According to the B-theory, the passage of time is an illusion. The B-theory therefore requires an explanation of this illusion before it can be regarded as fullysatisfactory; yet very few B-theorists have taken up the challenge of trying to provide one. In this paper I take some first steps toward such an explanation by first making a methodological proposal, then a hypothesis about a key element in the phenomenology of temporal passage. The methodological proposal focuses onthe representational content of the (...) element of experience by virtue of which time seems to pass. The hypothesis involves the claim that the experience of changeinvolves the representation of something enduring, rather than perduring, through any change. (shrink)

Take a strip of paper with 'once upon a time there'‚ written on one side and 'was a story that began'‚ on the other. Twisting the paper and joining the ends produces John Barth’s story Frame-Tale, which prefixes 'once upon a time there was a story that began'‚ to itself. I argue that the ability to understand this sentence cannot be explained by tacit knowledge of a recursive theory of truth in English.

The purpose of this study is to show that the distinctions made by Wilhelm Dilthey and Max Weber between the natural sciences and the 'Geisteswissen-schaften' are sound in principle, pace the arguments to the contrary within classical logical empiricism. It is held that intentional contexts are characteristic of social science. Intentional contexts are held to be more important in psychology than mental states, like toothache. If logical behaviourism is to have any plausibility, it has to be shown how intentional contexts (...) can be dealt with. Carnap's programme was to reconstruct scientific discourse within a truth-functional language. It is argued that his reduction of belief-sentences was not successful. It is further argued that in the logical empiricist's discussions of the problem of Verstehen, only motivational understanding is taken account of, what Max Weber calls observational understanding is overlooked as we try to show through a discussion of Theodore Abel's well-known explication of 'the operation called Verstehen'. From this it is concluded that the founda-tional problems of social science are different from those of natural science, and this conclusion is further elaborated through an exposition of views held by authors in the German tradition, which, in the fifties, many philosophers held to be obsolete. (shrink)

We think about and refer to things that we’ve never perceived or experienced. This paper bears on how this could be. Someone is testimonially acquainted with something just in case the explanation of one’s ability to think de re thoughts about it essentially appeals to communication with others who already have that ability. The main motivation for the claim that testimonial acquaintance is possible is that it best explains how we can think de re about and refer to things we’ve (...) never perceived or experienced: we gain these abilities in part by communicating with those who already have them. The main point of this paper is negative: to argue that testimonial acquaintance, as we currently understand it, is impossible. Although one might take this to show that we cannot be acquainted with things we haven’t perceived or experienced, I prefer to think of it as motivation for rethinking the nature of acquaintance. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

Frege is celebrated as an arch-Platonist and arch-realist. He is renowned for claiming that truths of arithmetic are eternally true and independent of us, our judgments and our thoughts; that there is a third realm containing nonphysical objects that are not ideas. Until recently, there were few attempts to explicate these renowned claims, for most philosophers thought the clarity of Frege's prose rendered explication unnecessary. But the last ten years have seen the publication of several revisionist interpretations of Frege's writings (...) — interpretations on which these claims receive a very different reading. In Frege on Knowing the Third Realm, Tyler Burge attempts to undermine this trend. Burge argues that Frege is the very Platonist most have thought him — that revisionist interpretations of Frege's Platonism, mine among them, run afoul of the words on Frege's pages. This paper is a response to Burge's criticisms. I argue that my interpretation is more faithful than Burge's to Frege's texts. (shrink)

Gareth Evans proposes that there are semantic natural kinds of words. In his development of this theory,he argues for two constraints on the identification of these kinds. I argue that neither of these constraints are justified. Furthermore,my argument against Evans' second constraint constitutes a direct argument for the existence of semantic natural kinds,something Evans himself never offers. I conclude by sketching some positive details of a more plausible theory of semantic natural kinds.