This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...

P.F. Strawson has been a major and influential spokesman for ordinary language philosophy throughout the late twentieth century, studying the relationship between common language and the language of formal logic. This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor corrections to the text, these classic essays remain original and intact. Logico-Linguistic Papers contains Strawson's major essay, 'On Referring', in which he disputed Bertrand Russell's theory of (...) definite descriptions, distinguishing between referring to an entity and asserting its existence. The book contains twelve essays in all, grouped by subject matter. The first five are concerned with the topic of singular reference and predication and the last three are all responses to J.L. Austin's treatment of the topic of truth. Strawson disputes the correspondence theory of truth, maintaining that facts are what statements state. The remaining papers deal with meaning, speech acts, logical truth and Chomsky's views on syntax. (shrink)

INTRODUCTION: TWO KINDS OF RLDUCTIONISM The man who laughs is the one who has not yet heard the terrible news. BERTHOLD BRECHT I propose, in this book, ...

One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...) the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)

Thinking about space is thinking about spatial things. The table is on the carpet; hence the carpet is under the table. The vase is in the box; hence the box is not in the vase. But what does it mean for an object to be somewhere? How are objects tied to the space they occupy? This book is concerned with these and other fundamental issues in the philosophy of spatial representation. Our starting point is an analysis of the interplay between (...) mereology (the study of part/whole relations), topology (the study of spatial continuity and compactness), and the theory of spatial location proper. This leads to a unified framework for spatial representation understood quite broadly as a theory of the representation of spatial entities. The framework is then tested against some classical metaphysical questions such as: Are parts essential to their wholes? Is spatial colocation a sufficient criterion of identity? What (if anything) distinguishes material objects from events and other spatial entities? The concluding chapters deal with applications to topics as diverse as the logical analysis of movement and the semantics of maps. (shrink)

. . . Unlike Dewey, he has provided detailed incisive argumentation, and has shown just where the dogmas and dualisms break down." -- Richard Rorty, The Yale Review.

In this paper I offer a theory about the nature of diagrammatic representation in geometry. On my view, diagrammatic representaiton differs from pictorial representation in that neither the resemblance between the diagram and its object nor the experience of such a resemblance plays an essential role. Instead, the diagrammatic representation is arises from the role the components of the diagram play in a diagramatic practice that allows us to draws inferences based on them about the ojbects they represent.

In this paper I offer a theory about the nature of diagrammatic representation in geometry. On my view, diagrammatic representaiton differs from pictorial representation in that neither the resemblance between the diagram and its object nor the experience of such a resemblance plays an essential role. Instead, the diagrammatic representation is arises from the role the components of the diagram play in a diagramatic practice that allows us to draws inferences based on them about the ojbects they represent.

According to the cliché a picture is worth a thousand words. But this is a canard, for it vastly underestimates the expressive power of many pictures and diagrams. In this note we show that even a simple map such as the outline of Manhattan Island, accompanied by a pointer marking North, implies a vast infinity of statements—including a vast infinity of true statements.

How the various things that are said to have meaning—purpose, natural signs, linguistic signs, perceptions, and thoughts—are related to one another.

The essay motivates and provides a semantics for pictorial representations. A taxonomy of pictorial denoting symbols is developed that determines a semantics which defines the following: S if true in picture Y, S is false in picture Y, S is neither true nor false in picture Y, Z is the content of Picture Y, Picture Y entails that S, Picture Y implies that S. The semantics is then applied to solve or resolve a number of puzzles concerning pictorial representation.

There is not one but many ways to picture the world--Australian "x-ray" pictures, cubish collages, Amerindian split-style figures, and pictures in two-point perspective each draw attention to different features of what they represent. Understanding Pictures argues that this diversity is the central fact with which a theory of figurative pictures must reckon. Lopes advances the theory that identifying pictures' subjects is akin to recognizing objects whose appearances have changed over time. He develops a schema for categorizing the different ways pictures (...) represent--the different kinds of meaning they have--and argues that that depiction's epistemic value lies in its representational diversity. He also offers a novel account of the phenomenology of pictorial experience, comparing pictures to visual prostheses like mirrors and binoculars. (shrink)

An account of depiction should explain its key features. I identify six: that depiction is from a point of view; that it represents its objects as having a visual appearance; that it depictive content is always reasonably detailed; that misrepresentation is possible, but only within limits; and that the ability to interpret depictions co-varies, given general competence with pictures, with knowledge of what the depicted objects look like. All this suggests that picturing works by capturing appearances, but how more precisely (...) does it operate? I show how to use the notion of experienced resemblance in outline shape to analyse depiction in such a way as to answer this question, and to explain the six key features above. (shrink)

The unifying theme of these thirteen essays is understanding.

Pictorial representation is one species of visual representation--but not the only one, I argue. There are three additional varieties or species of visual representation--namely 'structural', 'aspect' and 'integrative' representation--which together comprise a category of 'delineative' rather than depictive visual representation. I arrive at this result via consideration of previously neglected orientational factors that serve to distinguish the two categories. I conclude by arguing that pictures (unlike 'delineations') are not physical objects, and that their multiplicity and modal narrowness motivates a view (...) of them as instead being (one kind of) 'delineatively' represented content or subject matter, as represented by those objects that are (commonly but wrongly, in my view) assumed to be pictures. (shrink)

This book examines the logical foundations of visual information: information presented in the form of diagrams, graphs, charts, tables, and maps. The importance of visual information is clear from its frequent presence in everyday reasoning and communication, and also in compution. Chapters of the book develop the logics of familiar systems of diagrams such as Venn diagrams and Euler circles. Other chapters develop the logic of higraphs, Pierce diagrams, and a system having both diagrams and sentences among its well-formed representations. (...) Syntax, semantics, rules of inference and soundness and completeness results are provided for each of the systems. In addition to developing the logic of diagrams, key questions about the status of visual information Hammer discusses, such as the relationship between the language and visually-presented information. (shrink)

Current textbooks in formal semantics are all versions of, or introductions to, the same paradigm in semantic theory: Montague Grammar. Knowledge of Meaning is based on different assumptions and a different history. It provides the only introduction to truth- theoretic semantics for natural languages, fully integrating semantic theory into the modern Chomskyan program in linguistic theory and connecting linguistic semantics to research elsewhere in cognitive psychology and philosophy. As such, it better fits into a modern graduate or undergraduate program in (...) linguistics, cognitive science, or philosophy. Furthermore, since the technical tools it employs are much simpler to teach and to master, Knowledge of Meaning can be taught by someone who is not primarily a semanticist. Linguistic semantics cannot be studied as a stand-alone subject but only as part of cognitive psychology, the authors assert. It is the study of a particular human cognitive competence governing the meanings of words and phrases. Larson and Segal argue that speakers have unconscious knowledge of the semantic rules of their language, and they present concrete, empirically motivated proposals about a formal theory of this competence based on the work of Alfred Tarski and Donald Davidson. The theory is extended to a wide range of constructions occurring in natural language, including predicates, proper nouns, pronouns and demonstratives, quantifiers, definite descriptions, anaphoric expressions, clausal complements, and adverbs. Knowledge of Meaning gives equal weight to philosophical, empirical, and formal discussions. It addresses not only the empirical issues of linguistic semantics but also its fundamental conceptual questions, including the relation of truth to meaning and the methodology of semantic theorizing. Numerous exercises are included in the book. (shrink)

How do pictures represent? In this book Robert Hopkins casts new light on an ancient question by connecting it to issues in the philosophies of mind and perception. He starts by describing several striking features of picturing that demand explanation. These features strongly suggest that our experience of pictures is central to the way they represent, and Hopkins characterizes that experience as one of resemblance in a particular respect. He deals convincingly with the objections traditionally assumed to be fatal to (...) resemblance views, and shows how his own account is uniquely well placed to explain picturing's key features. His discussion engages in detail with issues concerning perception in general, including how to describe phenomena that have long puzzled philosophers and psychologists, and the book concludes with an attempt to see what a proper understanding of picturing can tell us about that deeply mysterious phenomenon, the visual imagination. (shrink)

Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...

Any creature that must move around in its environment to find nutrients and mates, in order to survive and reproduce, faces the problem of sensorimotor control. A solution to this problem requires an on-board control mechanism that can shape the creature’s behaviour so as to render it “appropriate” to the conditions that obtain. There are at least three ways in which such a control mechanism can work, and Nature has exploited them all. The first and most basic way is for (...) a creature to bump into the things in its environment, and then, depending on what has been encountered, seek to modify its behaviour accordingly. Such an approach is risky, however, since some things in the environment are distinctly unfriendly. A second and better way, therefore, is for a creature to exploit ambient forms of energy that carry information about the distal structure of the environment. This is an improvement on the first method since it enables the creature to respond to the surroundings without actually bumping into anything. Nonetheless, this second method also has its limitations, one of which is that the information conveyed by such ambient energy is often impoverished, ambiguous and intermittent. (shrink)

In this dissertation, we develop and study a novel logical system for representing a visual domain. This differs from previous formal endeavours in that the representations are concrete what they represent) and analogue . Such a system is exemplified by maps and similar systems. ;We begin by defining a formal language of maps, scMAPL. This introduces various notions on the structure of visual elements, investigates the distinction between a virtual map and its orthography, and looks at notions of abbreviation, continuity, (...) and compositionality. Formally, we define a well-formed map as the end-result of a construction sequence. This begins with an empty template upon which we instantiate and reify appropriate icons, the basic units of representation in our language. ;The semantics of scMAPL require both type and token referentiality, and incorporates open and closed world semantics in its definitions. This suggests a possible spectrum of "truth" conditions depending on the demarcation between open and closed semantics. Specifically, we replace the idea of truth with the twin ideas of accuracy and precision . ;We select three operations and argue that they suffice to implement all natural operations on maps, and use them as a basis for a derivation system, scMAPD, for scMAPL. With our twin concepts of truth, we also have corresponding ideas of soundness and completeness with respect to each of accuracy and precision. It turns out that scMAPD is sound with respect to accuracy but not precision, and is complete with respect to neither accuracy nor precision. We investigate why this is so, and provide an alternate view of the derivation system. ;Finally, we situated the formal map system in the pragmatic context of information retrieval systems. This formed the framework for our bottom-up intuitive justifications of the formal top-down scMAPL and scMAPD definitions. It also allows us the use of other formalisms developed for studying such systems. (shrink)