Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds on Hintikka’s modal (...) approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

: This essay reconstructs and evaluates Aristotle’s argument in Nicomachean Ethics IX.9 that the happy person needs friends, in which Aristotle combines his well-known claim that friends are other selves with the claim that human perception is meta-perceptual: the perceiving subject perceives its own existence. After exploring some issues in the logic of perception, the essay argues that Aristotle’s argument for the necessity of friends is invalid since perception-verbs create referentially opaque contexts in which the substitution of co-referential terms fails.

In this paper I present an empirical solution to the puzzle of Macbeth's dagger. The puzzle of Macbeth's dagger is the question of whether, in having his fatal vision of a dagger, Macbeth sees a dagger. I answer this question by addressing a more general one: the question of whether perceptual verbs are intensional transitive verbs (ITVs). I present seven experiments, each of which tests a collection of perceptual verbs for one of the three features characteristic of ITVs. One of (...) these features is Nonexistence: the failure of sentences involving transitive verbs to entail the existence of their direct objects. The experiments reveal that with respect to all three of these features, "see" behaves much more like a paradigmatically extensional verb than an intensional one. But surprisingly, unlike "see", "perceive" behaves much more like a paradigmatically intensional verb. This shows that the category of perceptual verbs is not uniform with respect to the features of intensionality; while Macbeth does not see a dagger, he may still perceive one. (shrink)

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a (...) theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor. (shrink)

Keskityn siihen miten Leibnizilla yksittäiset mielihyvän tai mielipahan tiedostamattomat havainnot voivat kasautua tai tiivistyä ja muodostaa vähitellen tunteita, joista tulemme tietoisiksi.

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.

Siegel and Byrne debate whether perceptual experiences present rich properties or exclusively thin properties.

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis (...) 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

The semantics of a sentence containing a perception verb such as see or hear depends to a high degree on the exact syntactic form of the perception verb’s complement. Let us compare sentence (1), where the complement is tenseless, with (2), where the complement is a tensed clause.

A satisfactory solution to the problem of consciousness would take the form of a simple yet fully general model that specifies the precise conditions under which any given state of consciousness occurs. Science has uncovered numerous correlations between consciousness and neural activity, but it has not yet come anywhere close to this. We are still looking for the Newtonian laws of consciousness. -/- One of the main difficulties with consciousness is that we lack a language in which to formulate illuminating (...) generalizations about it. Philosophers and scientists talk about "what it’s like", sensations, feelings, and perceptual states such as seeing and hearing. This language does not allow a precise articulation of the internal structures of conscious states and their inter-relations. It is inadequate to capture relations of the kind we are looking for between conscious states and physical states. -/- In this thesis I refine and defend a theory of consciousness which promises to solve this regimentation problem: the representational theory of consciousness. I argue that the representational theory can solve the regimentation problem and smooth out other important obstacles to a fruitful study of consciousness. I also make a case for the theory independently of its payoffs, and I discuss the leading opposing theories at some length. (shrink)

The paper is in two parts. In Part I, a semantics for embedded and query uses of interrogatives is put forward, couched within a situation semantics framework. Unlike many previous analyses,questions are not reductively analysed in terms of their answers. This enables us to provide a notion of ananswer that resolves a question which varies across contexts relative to parameters such as goals and inferential capabilities. In Part II of the paper, extensive motivation is provided for an ontology that distinguishes (...) propositions, questions, and facts, while at the same time the semantics provided captures an important commonality between questions and propositions: factsprove propositions andresolve questions. This commonality is exploited to provide an explanation for why predicates such as know carry presuppositions such as factivity and for a novel account of the behaviour of adverbially modified predicates with interrogative, declarative and fact-nominal arguments. (shrink)

Knowledge representation is one way to exploit expertise in a given domain by logical means. But, what kind of knowledge does one acquire from an inference (or inference on a query result over a knowledge base)? Such a question may appear awkward since the answer seems so obvious: from an inference, one simply acquires knowledge. This is undoubtedly the case when only one type of knowledge (for instance, expert knowledge) is involved in an inference. What if several types of knowledge (...) are involved? What type of knowledge can one deduce from a plurality of knowledge types? I claim that reasoning with different knowledge concepts requires a fine-grained representation of knowledge in which every knowledge type finds a singular expression in order to avoid some epistemic equivocity associated with a coarse-grained representation of knowledge. In the first part of the paper, I revisit the Muddy Children Puzzle, which usually serves to illustrate common knowledge in dynamic epistemic logic. I try to show that this problem also shows some sort of epistemic equivocity between concepts of knowledge and, consequently, that the problem calls for some epistemological refinements concerning the representation of the types of knowledge at play in an inference. In the second part, I address this issue from a semantic point of view, and I develop a fragment of epistemic logic capable of providing a solution to the problem of epistemic equivocity. (shrink)

Le projet philosophique puise ses sources dans la volonté de proposer une explication rationnelle des phénomènes naturels et culturels qui constituent le monde dans lequel l’être humain prend place. Il a servi de trame culturelle à l’Occident et amené le déploiement d’appareils conceptuels où l’on distingue théorie et pratique. On doit toutefois reconnaître qu’une philosophie théorique peut avoir une portée pratique et l’inverse, puisque toute pratique suppose un ancrage théorique pour légitimer la connaissance et les systèmes normatifs à partir desquels (...) les explications sont avancées. Cela fait dire à certains que la distinction est désormais surannée et qu’une théorie philosophique réunifiée s’impose. Que l’on soit tenant de la tradition ou des nouvelles approches, la philosophie pratique s’impose désormais comme un passage obligé pour réfléchir les problèmes et articuler de nouvelles théories faisant écho à l’état actuel de notre monde. Le présent ouvrage revient sur la notion de philosophie pratique afin d’en faire voir les différentes acceptions et manières de la mobiliser pour réfléchir à des problèmes actuels. (shrink)

Pictorial free perception reports are sequences in comics or film of one unit that depicts an agent who is looking, and a following unit that depicts what they see. This paper proposes an analysis in possible worlds semantics and event semantics of such sequences. Free perception sequences are implicitly anaphoric, since the interpretation of the second unit refers to the agent depicted in the first. They are argued to be possibly non-extensional, because they can depict hallucination or mis-perception. The semantics (...) proposed here employs an account of anaphora using discourse referents, a formalized possible worlds semantics for pictorial narratives, and, to model the epistemic consequences of perceptual events, the event alternative construction from dynamic epistemic logic. In intensional examples, the second unit depicting what is seen is analyzed as embedded. It is argued that a semantics for embedding where the attitudinal state of the depicted agent is required to entail the semantic content of the picture attributes too much information to the agent. This is addressed with a model of normal looking, and a semantics for the embedding construction that uses existential quantification over alternatives, rather than universal quantification. (shrink)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

Situation semantics was developed as an alternative to possible worlds semantics. In situation semantics, linguistic expressions are evaluated with respect to partial, rather than complete, worlds. There is no consensus about what situations are, just as there is no consensus about what possible worlds or events are. According to some, situations are structured entities consisting of relations and individuals standing in those relations. According to others, situations are particulars. In spite of unresolved foundational issues, the partiality provided by situation semantics (...) has led to some genuinely new approaches to a variety of phenomena in natural language semantics. In the way of illustration, this article includes relatively detailed overviews of a few selected areas where situation semantics has been successful: implicit quantifier domain restrictions, donkey pronouns, and exhaustive interpretations. It moreover addresses the question of how Davidsonian event semantics can be embedded in a semantics based on situations. Other areas where a situation semantics perspective has led to progress include attitude ascriptions, questions, tense, aspect, nominalizations, implicit arguments, point of view, counterfactual conditionals, and discourse relations. (shrink)

This paper deals with a series of semantic contrasts between the copula be and the preposition as, two functional elements that both head elementary predication structures. It will be argued that the meaning of as is a type lowering device shifting the meaning of its complement NP from the type of generalized quantifiers to the type of properties (where properties are conceived as relations between individuals and situations), while the copula be induces a type coercion from (partial) situations to (total) (...) possible worlds. Paired with van der Sandt's (1992) theory of presupposition accommodation, these assumptions will account for the observed contrasts between as and be. (shrink)

Cognitive science has been beset for thirty years by foundational disputes about the nature and extension of cognition—e.g. whether cognition is necessarily representational, whether cognitive processes extend outside the brain or body, and whether plants or microbes have them. Whereas previous philosophical work aimed to settle these disputes, I aim to understand what conception of cognition scientists could share given that they disagree so fundamentally. To this end, I develop a number of variations on traditional conceptual explication, and defend a (...) novel explication of cognition called the sensitive management hypothesis. -/- Since expert judgments about the extension of “cognition” vary so much, I argue that there is value in explication that accurately models the variance in judgments rather than taking sides or treating that variance as noise. I say of explications that accomplish this that they are ecumenically extensionally adequate. Thus, rather than adjudicating whether, say, plants can have cognitive processes like humans, an ecumenically adequate explication should classify these cases differently: human cognitive processes as paradigmatically cognitive, and plant processes as controversially cognitive. -/- I achieve ecumenical adequacy by articulating conceptual explications with parameters, or terms that can be assigned a number of distinct interpretations based on the background commitments of participants in a discourse. For example, an explication might require that cognition cause “behavior,” and imply that plant processes are cognitive or not depending on whether anything plants do can be considered “behavior.” Parameterization provides a unified treatment of embattled concepts by isolating topics of disagreement in a small number of parameters. -/- I incorporate these innovations into an account on which cognition is the “sensitive management of organismal behavior.” The sensitive management hypothesis is ecumenically extensionally adequate, accurately classifying a broad variety of cases as paradigmatically or controversially cognitive phenomena. I also describe an extremely permissive version of the sensitive management hypothesis, arguing that it has the potential to explain several features of cognitive scientific discourse, including various facts about the way cognitive scientists ascribe representations to cognitive systems. (shrink)

Brentano held that every mental phenomenon has an object and is conscious (the dual relation thesis). The dual relation thesis faces a number of well-known problems. The paper explores how Brentano tried to overcome these problems. In considering Brentano's responses, the paper sheds light on Brentano's theory of judgement that underpins his philosophy of mind.

In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state of information. Such informative announcements can have the curious property that they become false because they are announced. The most typical example of that is 'fact p is true and you don't know that', after which you know that p, which entails the negation of the announcement formula. The announcement of such a formula in a given (...) information state is called an unsuccessful update. A successful formula is a formula that always becomes common knowledge after being announced. Analysis of information systems and 'philosophical puzzles' reveals a growing number of dynamic phenomena that can be described or explained by unsuccessful updates. This increases our understanding of such philosophical problems. We also investigate the syntactic characterization of the successful formulas. (shrink)

I argue that sich vorstellen (‘imagine’) in German, similar to English imagine, has a use as a fiction verb and a use as a verb of thinking. I follow Vendler (Rev Métaphys Morale 84(2):161–173, 1979) in assuming that the fiction verbs like vorstellen can be used to report acts of subjective imagination (imagined inner experiences) and acts of objective imagination (imagined outer experiences). For sich vorstellen as a verb of thinking we have to distinguish between a use on which it (...) introduces an activity and takes interrogative complements and DPs on a concealed question interpretation as arguments and a use on which it introduces an attitudinal state that can be characterized as betting on the truth of a proposition in a given subject matter. Given the differences in grammar and interpretation I argue that we have to distinguish four lexical entries for German sich vorstellen: imagine$$_{{\textsc {exp}}-{\textsc {sbj}}}$$ E X P - S B J, imagine$$_{{\textsc {exp}}{-}{\textsc {obj}}}$$ E X P - O B J, imagine$$_{\textsc {prop-act}}$$ P R O P - A C T, imagine$$_{\textsc {prop-state}}$$ P R O P - S T A T E. Having laid out all the necessary distinctions to account for the data, I discuss the prospects of reducing the number of lexical entries. I propose that imagine$$_{{\textsc {exp}}-{\textsc {sbj}}}$$ E X P - S B J and imagine$$_{{\textsc {exp}}{-}{\textsc {obj}}}$$ E X P - O B J could be reduced to imagine$$_{\textsc {prop-act}}$$ P R O P - A C T if we assume that all reports of experiential imagining can be reduced to reports of propositional imagining that combine the predicate imagine$$_{\textsc {prop-act}}$$ P R O P - A C T with a question of the kind ‘what would it be like?’, following an idea in D’Ambrosio and Stoljar (Synthese 199:12923–12944, 2021). Under this assumption only two lexical entries are needed: an entry for imagine$$_{\textsc {prop-act}}$$ P R O P - A C T, a rogative predicate that introduces activities, and imagine$$_{\textsc {prop-state}}$$ P R O P - S T A T E an attitude predicate that takes propositions as arguments and introduces an attitudinal state. The overall result is that the grammar and interpretation of the fiction verb sich vorstellen is much closer to verbs of thinking than one might imagine. (shrink)

Much work in philosophy, psychology, and neuroscience has argued for continuism about remembering and imagining (see, e.g., Addis J R Soc N Z 48(2–3):64–88, 2018). This view claims that episodic remembering is just a form of imagining, such that memory does not have a privileged status over other forms of episodic simulation (esp. imagination). Large parts of contemporary philosophy of memory support continuism. This even holds for work in semantics and the philosophy of language, which has pointed out substantial similarities (...) in the distribution of the verbs remember and imagine. Our paper argues against the continuist claim, by focusing on a previously neglected source of evidence for discontinuism: the semantics of episodic memory and imagination reports. We argue that, in contrast to imagination reports, episodic memory reports are essentially diachronic, in the sense that their truth requires a foregoing reference-fixing experience. In this respect, they differ from reports of experiential imagination, which is paradigmatically synchronic. To defend our claim about this difference in diachronicity, we study the truth-conditions of episodic memory and imagination reports. We develop a semantics for episodic uses of remember and imagine that captures this difference. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

In this paper we introduce Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system. Theinformation structures we use are based on non-well-founded sets, and canbe conceived as bisimulation classes of Kripke models. On these structures,we define a notion of information change that is inspired by UpdateSemantics (Veltman, 1996). We give a sound and complete axiomatization ofthe resulting logic, and we discuss applications to the puzzle of the dirtychildren, and to knowledge programs.

The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through, the recent development of the original concepts and ideas.

This thesis develops methods for representing how the contents of theories of meaning become conceived by their users. These contents are treated as the range of systematically elicited conceptions afforded by a designated corpus of key texts. The approach being taken involves first detailing a formal scheme for the components of situations attributed to various entities. This scheme is then applied as a framing device to form a template which accounts for the shared structure between the mental spaces which embody (...) how people conceive different theories of meaning. For the purposes of this task, cognition is treated as embodied in the sense that both the form and content of personal conceptualisations are largely dependent on what both bodily and ecological factors afford. The purpose of this approach is to help understand how theories operate when viewed as worldly entities within a materialist framework. The significance of such understanding lies in enabling analyses and comparisons which account for the effects of material restrictions such as how a theory’s presentation must necessarily be selective and how human cognition operates on models set by precedent. The framework being provided here allows the conceptions each individual theory of meaning elicits to be reduced to formal, commensurate models which account for differences between typical influences on the conceptions characteristic of different demographics such as experts of related fields. Approaching theories of meaning from this angle also reveals new avenues of comparison concerning otherwise implicit details. One involves theory-internal conditions on the full material identity of meaning-instantiating entities. The other concerns the extent of the domains for aggregating applicable influences for which a theory accounts and the range of those it may accommodate. (shrink)

The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a language of thought analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.

The paper applies the theory presented in A Formal Ontology of Situations (this journal, vol. 41 (1982), no. 4) to obtain a typology of metaphysical systems by interpreting them as different ontologies of situations. Four are treated in some detail: Hume's diachronic atomism, Laplacean determinism, Hume's synchronic atomism, and Wittgenstein's logical atomism. Moreover, the relation of that theory to the situation semantics of Perry and Barwise is discussed.

This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language.

The formal semantics that we have proposed for definite and indefinite descriptions analyzes them both as variable-binding operators and as referring terms. It is the referential analysis which makes it possible to account for the facts outlined in Section 2, e.g. for the purely ‘instrumental’ role of the descriptive content; for the appearance of unusually wide scope readings relative to other quantifiers, higher predicates, and island boundaries; for the fact that the island-escaping readings are always equivalent to maximally wide scope (...) quantifiers; and for the appearance of violations of the identity conditions on variables in deleted constituents. We would emphasize that this is not a random collection of observations. They cohere naturally with each other, and with facts about other phrases that are unambigously referential.We conceded at the outset of this paper that the referential use of an indefinite noun phrase does not, by itself, motivate the postulation of a referential interpretation. Our argument has been that the behavior of indefinites in complex sentences cannot be economically described, and certainly cannot be explained, unless a referential interpretation is assumed. It could be accounted for in pragmatic terms only if the whole theory of scope relations and of conditions on deletion could be eliminated from the semantics and incorporated into a purely pragmatic theory. But this seems unlikely. (shrink)

This essay attempts to develop a psychologically informed semantics of perception reports, whose predictions match with the linguistic data. As suggested by the quotation from Miller and Johnson-Laird, we take a hallmark of perception to be its fallible nature; the resulting semantics thus necessarily differs from situation semantics. On the psychological side, our main inspiration is Marr's (1982) theory of vision, which can easily accomodate fallible perception. In Marr's theory, vision is a multi-layered process. The different layers have filters of (...) different gradation, which makes vision at each of them approximate. On the logical side, our task is therefore twofold - to formalise the layers and the ways in which they may refine each other, and. (shrink)