The present essay is a critical study of Barwise and Perry’s book, emphasizing the logical and model-theoretical aspects of their work. I begin by presenting the authors’ criticism of the classical view of logic and semantics within the tradition of Frege, Russell and Tarski. In this connection, I discuss the so-called Frege argument (“the slingshot”). I try to show that the argument appears inconclusive, not only from a situation-theoretic perspective, but also from such alternative perspectives as orthodox Fregean semantics or (...) Russellian semantics. I then discuss the ontology of situation semantics and the way it is modeled within set theory. In particular, I compare the notion of an abstract situation with that of a possible world. The last two sections concern the model-theoretic aspects of the authors’ theory. In Section 7, I discuss how the “partial” perspective of situation semantics differs from that of classical model theory. Finally, in Section 8, different model-theoretic accounts of attitude reports within situation semantics are discussed, in particular the “relations to situations”-approach presented by the authors in Chapter 9 of S & A. The usual problems of “logical omniscience” that appear in standard Hintikka-style epistemic logic are avoided in situation semantics. I argue, however, that situation semantics is faced with analogous counter-intuitive results, unless the expressive power of the language under study is suitably restricted. (shrink)

When discussing knowledge, two relations are of interest: justified doxastic accessibility \ , she is in \ ) and justification equivalence \ exactly the same justified beliefs that she has in \ ). Speaking of compatibility with the agent’s justified beliefs is potentially ambiguous: either of the two relations \ or \ can be meant. I discuss the possibility of identifying the relation of epistemic accessibility \ , she is in \ ) with the union of \ and \ . (...) Neither Gettier’s examples nor the ‘fake barn’ cases contradict this identification. However, the proposal leads to justification equivalent scenarios being symmetric with respect to knowledge: we cannot know a true proposition in a scenario if it is false in a justification equivalent scenario. This analysis may appear to render non-trivial knowledge impossible. This conclusion follows if the extra premise is granted that for all relevant true propositions there is a justification equivalent scenario in which the proposition is false. I provide a meaning-theoretic argument against this premise. I conclude by pointing out problems that would ensue from giving up the proposed connection between \ , \ and \ and allowing asymmetry of justification equivalent scenarios relative to knowledge. (shrink)

Several authors maintain that we are capable of having inconsistent intentional states, either in cases of illusion, in certain cases of imagination, or because the observable world is (partly) inconsistent and we perceive it as such. These views are all premised on the assumption that inconsistent intentional states—even if acknowledged—are peculiar and have nothing essential to do with our perceptual capacities. In the present article, I would like to present, and argue for, a much stronger thesis: that inconsistent intentional states (...) underlie the possibility of having intentional content in mind. I argue for this thesis based on a Husserlian phenomenological analysis of our grasp of objects, which I formulate in terms of incompatibility semantics. (shrink)

There is a pervasive view that inference—as opposed, notably, to a grasp of objects—is an intralinguistic process that does not draw on extralinguistic resources. The present paper aims to show that this dichotomy between inferring and grasping objects can be resisted. Specifically, I offer an alternative view: a phenomenological account according to which our most basic inferences draw on our grasp of objects. I motivate this account on the grounds that, although it is restricted to such basic inferences, it has (...) significant implications for the general question of whether inference involves taking one's premises to support one's conclusion. The proposed account implies that basic inferences need not involve corresponding “takings,” (even though such inferences involve conceptual content), but it leaves open the possibility that non-basic inferences do involve corresponding “takings,” while relying on basic inferences. It will turn out that such a disjunctive view, according to which non-basic reasoning is somewhat parasitic on basic reasoning, manages to avoid many of the problems with which the literature on the “taking condition” deals. (shrink)

This dissertation explores and argues for the import of the imagination (Phantasie) in Edmund Husserl's phenomenological method of inquiry. It contends that Husserl's extensive analyses of the imagination influenced how he came to conceive the phenomenological method throughout the main stages of his philosophical career. The work clarifies Husserl's complex method of investigation by considering the role of the imagination in his main methodological apparatuses: the phenomenological, eidetic, and transcendental reductions, and eidetic variation - all of which remained ambiguous despite (...) his extensive programmatic discussions. The work illuminates and clarifies aspects of the Husserlian phenomenological method never before explored. -/- In order to clarify Husserl's eidetic method of inquiry, I propose a new way of thinking about the imagination - as direct intuitive presentation (eigentliche anschauliche Vorstellung) and as horizonal-nexic level of consciousness exhibiting the neutrality, freedom, and possibility as its essential features. Following Husserl's studies of the imagination, I propose a three-level model of consciousness (realizing, imagining, and eidetic) and explore the dynamic flexibility of each level (as horizon within which acts such as judgments or memories can unfold). This model of consciousness allows for a rethinking of the sources and conditions for the possibility of eidetic phenomenological inquiry - topics Husserl was mostly silent about. -/- Through a rethinking of the model of consciousness, I propose a tight and substantial relationship between the natural (everyday) and artificial (methodological, theoretical) attitudes. I argue that the structure and systems of possibilities pertaining to the artificial attitude - i.e., our actual as well as possible methodological tools - are structurally and well as informationally bound to the structure and system of possibilities pertaining to the natural attitude. In order to explore the nature of the relationship between these two attitudes I argue that we must take a closer look at the structure and abilities of imagining consciousness - the sole nexic-horizonal level that can function both naturally and artificially. This insight regarding the nature of consciousness clarifies Husserl's transcendental idealism in its intimate connection to the everyday. Understanding Husserl's philosophical stance is thus purged of all possibility of mistakenly labeling it as entailing immanent detachment, solipsism, or Platonic idealism. (shrink)

For sentences such as (1), "Columbus knows that the sea is unpredictable", there is a face-value theory, according to which ‘that’-clauses are singular terms denoting propositions. Famously, Prior raised an objection to the theory, but defenders of the face-value theory such as Forbes, King, Künne, Pietroski and Stanley urged that the objection could be met by maintaining that in (1) ‘to know’ designates a complex relation along the lines of being in a state of knowledge having as content. Is the (...) theory safe, then? The aim of this paper is to show that a new problem for the theory arises if we consider attributions of skills, knacks, propensities and abilities. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

Probably the most distinctive feature of synthetic biology is its being “synthetic” in some sense or another. For some, synthesis plays a unique role in the production of knowledge that is most distinct from that played by analysis: it is claimed to deliver knowledge that would otherwise not be attained. In this contribution, my aim is to explore how synthetic biology delivers knowledge via synthesis, and to assess the extent to which this knowledge is distinctly synthetic. On the basis of (...) distinctions between knowledge-how and knowledge-why, and between syntheses that succeed and syntheses that fail, I argue that the contribution of synthesis to knowledge is best understood when syntheses are construed as experimental interventions that aim at probing causal relationships between properties of the entities that are combined through these syntheses and properties of their target products. The distinctiveness of synthetic biology in its quest for knowledge through synthesis stems from its ability to sample at will a space of empirical possibilities that is not only huge but also that has been so scarcely sampled by nature. (shrink)

This is a study of the epistemology of indexical reference, Or its foundation in the intentionality of the speaker's awareness of the referent. Where the referent is the object of the speaker's acquaintance on that occasion, The sense expressed is the generic content of that awareness. This, Indexical sense determines indexical reference, But indexical sense works by appeal to the context of the speaker's awareness of the referent. It is discussed how, By virtue of indexical sense, Indexical reference is rigid, (...) I.E. Picks out the same referent in any possible world. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:James J. Gibson's Ecological Approach:Perceiving What ExistsWilliam M. Mace (bio)Environmental Philosophy and EpistemologyThe purpose of this paper is to help an audience attracted to environmental philosophy get to the core of Gibson's system in a compact form and to appreciate the necessity for an account of the environment in epistemology. I hope to show that Gibson's is a consistent and scientifically progressive account of knowing that gives the environment (...) its due and that this is not a simple matter of fiat but a call to extended scientific investigation. I want to stress that Gibson's work is scientifically progressive in the sense that it has consistently opened new avenues for research. If one could be assured tomorrow that Gibson was correct and his critics wrong, the ecological psychology enterprise would not have to be shut down with nothing left to do. The goal of the enterprise, certainly for Gibson, was not to be declared a winner but to open doors for discovery. Because Gibson has developed a theory of perceiving the environment, it would be worth exploring as an important topic for environmental philosophers covering a wide range of issues. It offers an intriguing, environmentally based, grounding for epistemology; it offers ways to deal [End Page 195] with practical issues within "pure science"; and it is open to reorganizing ways to conceptualize problems beyond epistemology.Gibson developed a richly articulated system that grew steadily over a period of 50 years, 1929 to 1979, which he devoted to "puzzling over" the "perplexities" of vision (1979, xiii). From Gibson's standpoint, knowledge begins with perception, and perception is perceiving the environment. The environment, for Gibson, is at least as essential as the brain to the existence and exercise of "the mind."As an empiricist, knowledge is based on perception for Gibson. But perception, at root, turns out to be perception of the environment. Entities like sense data and representations become "after the fact" curiosities for Gibson, and have no role to play in the foundations of perceptual experience and, a fortiori, knowledge. If Gibson is correct, then scientific accounts of perception must converge on environmental perception. A philosopher whose primary focus is epistemology, and who works within Gibson's system, would perforce be an environmental philosopher—not (first) because of a special concern for the environment, but because an adequate appreciation of relevant facts requires it. Of great importance to environmental philosophers is that Gibson not only provides an account of perceiving grounded in access to environmental properties, but he establishes a basis for perceiving this particular world as a specific arrangement of surfaces. The world we perceive, according to Gibson, is a connected, public world that we share. It is, again, the world, the logical individual world and not an abstraction. This is not an account of the experience of abstract shapes, distances, and motions. It is a system in which travelers can visit the pyramids and in which I can trip over your garbage.Is there a symmetric direction of influence? Just as a commitment to understanding knowledge scientifically and philosophically can lead one to focal considerations of the environment, could a deep concern for the environment as a value lead to the serious study of perception and, more broadly, epistemology? It seems entirely plausible. Gibson's is a "yin and yang" system of scientific complementarities beginning with animal and environment and extending to knowledge and value (in his concept of affordance). In each complementarity, the terms are differentiable but not entirely independent. Animals and their environments are different entities and should not be confused with one another, but they also are so [End Page 196] mutually dependent that one should not imagine a thorough account of one without the other. In like manner, objects and value (first through use) are not independently comprehensible in Gibson's system. This is a theme worthy of careful examination of detailed examples. I am not doing that in this paper, but hope that enough of the flavor of Gibson's work will come through to allow a reader to understand how one might be steered to epistemology from an initial concern with environment and values and... (shrink)

This introductory chapter provides a summary of the contributions to the volume, as well as some critical remarks.

This article attempts to develop further the conception of dynamics in Object-Oriented Ontology (OOO): its model of how objects develop and change. Objects are affected by relations between them, and have the potential both to produce and undergo effects, as realised in interaction with other objects. To elaborate on the change of objects in OOO, an idea is adopted from transcendental ontology. A key Hegelian question in this article is how the realisation of existing potential can produce new potential (Schelling: (...) potentialisation, going from the actual to the possible). Stated differently: how can objects change to the point of breaking their identity and generating a new object? One needs to consider that objects are nested at different levels, and that the degree of how radical change may be depends on the perspective of any given level. To address this issue, the article employs the notion of a script: a structure of nodes, each with its own subscripts. The analysis is applied and developed further through a comparative analysis of change in evolution, economics, a theory of discovery, and linguistics. The dual intention of this is to see if OOO can help us understand those phenomena, and to see in turn if those phenomena can inform the further development of OOO. (shrink)

As the label suggests, according to _propositionalism_, each intentional mental state, attitude or event is or involves a relation to a proposition. In this paper, I will discuss a case that seems prima facie not to be accountable for by propositionalism. After having presented the case, I will show why it is different from others that have been discussed in the literature as able to show that propositionalism cannot be correct. I will then consider what the propositionalist can say to (...) fix the problem and I will show that no strategy that is genuinely propositionalist seems promising. I will not conclude that propositionalism is doomed. But I will show that if propositionalism can account for our case at all, it can only do so by losing its main appeal, i.e. its elegance and simplicity. But then propositionalism seems to have lost its advantage with respect to its obvious alternative, i.e. a pluralist account according to which mental states, attitudes and events are not all homogeneously relations to propositions, but rather our mental life should be accounted for in terms of a plurality of kinds of relata. (shrink)

A thought that we all entertain at some time or other is that the course of our lives might have been very different from the way they in fact have been, with the consequence that we might have been rather different sorts of persons than we actually are. A less common, but prima facie intelligible thought is that we might never have existed at all, though someone rather like us did. Arguably, any plausible theory of personal identity should be able (...) to accommodate both possibilities. Certain currently popular Reductionist theories of personal identity, however, seem to be deficient in precisely this respect. This paper explores some Reductionist responses to that challenge. (shrink)

Evidence is drawn together to connect sources of inconsistency that Frege discerned in his foundations for arithmetic with the origins of the paradox derived by Russell in "Basic Laws" I and then with antinomies, paradoxes, contradictions, riddles associated with modal and intensional logics. Examined are: Frege's efforts to grasp logical objects; the philosophical arguments that compelled Russell to adopt a description theory of names and a eliminative theory of descriptions; the resurfacing of issues surrounding reference, descriptions, identity, substitutivity, paradox in (...) the debates concerning modal and intensional logics; the development of the New Theory of Reference. I consider this to be the philosophical ground upon which the debates regarding that theory should take place. (shrink)

An aim of science is to find truths about reality. These truths are collected together to form systematic knowledge structures called theories. Theories are intended to create a truthful picture of the reality behind the study. Together with all the other fields of science we get a scientific picture or a world view. This scientific world view is open in the sense that not all truths are known by scientists and not all present day theories are true. So, there is (...) no reason to assume that any field of science has been or will be completed; science is essentially progressive, or an open ended approach. Science is not the only method of picturing, but the view that science is the best human method for knowledge acquisition is well justified. Knowledge is not all we humans are looking for; we need to make our lives meaningful. The meaningfulness may be achieved through science, art, or practical activity. It is interesting to compare literature and science. Both are expressed linguistically, but the aims of literature and science seem to be very different. We are looking for the theoretical interconnection between science and literature, but the proper dialogue can be found not through science, literature or philosophy, but through pedagogy. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

One way to obtain a comprehensive semantics for various systems of modal logic is to use a general notion of non-normal world. In the present article, a general notion of modal system is considered together with a semantic framework provided by such a general notion of non-normal world. Methodologically, the main purpose of this paper is to provide a logical framework for the study of various modalities, notably prepositional attitudes. Some specific systems are studied together with semantics using non-normal worlds (...) of different kinds. (shrink)

In Quantifiers and Propositional Attitudes, Quine held (a) that the rule of exportation is always admissible, and (b) that there is a significant distinction between a believes-true (Ex)Fx and (Ex) a believes-true F of x. An argument of Hintikka's, also urged by Sleigh, persuaded him that these two intuitions are incompatible; and he consequently repudiated the rule of exportation. Hintikka and Kaplan propose to restrict exportation and quantifying in to favoured contexts — Hintikka to contexts where the believer knows who (...) or what the person or thing in question is; Kaplan to contexts where the believer possesses a vivid name of the person or thing in question. The bulk of this paper is taken up with criticisms of these proposals. Its ultimate purpose, however, is to motivate an alternative approach, which imposes no restrictions on exportation or quantifying in, but repudiates Quine's other intuition: this is the approach taken in my A Logical Form for the Propositional Attitudes. (shrink)