This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

Speech acts are a staple of everyday communicative life, but only became a topic of sustained investigation, at least in the English-speaking world, in the middle of the Twentieth Century.[1] Since that time “speech act theory” has been influential not only within philosophy, but also in linguistics, psychology, legal theory, artificial intelligence, literary theory and many other scholarly disciplines.[2] Recognition of the importance of speech acts has illuminated the ability of language to do other things than describe reality. In the (...) process the boundaries among the philosophy of language, the philosophy of action, the philosophy of mind and even ethics have become less sharp. In addition, an appreciation of speech acts has helped lay bare an implicit normative structure within linguistic practice, including even that part of this practice concerned with describing reality. Much recent research aims at an accurate characterization of this normative structure underlying linguistic practice. (shrink)

Reference is a relation that obtains between a variety of representational tokens and objects or properties. For instance, when I assert that “Barack Obama is a Democrat,” I use a particular sort of representational token—i.e. the name ‘Barack Obama’—which refers to a particular individual—i.e. Barack Obama. While names and other referential terms are hardly the only type of representational token capable of referring (consider, for instance, concepts, mental maps, and pictures), linguistic tokens like these have long stood at the center (...) of philosophical inquiries into the nature of reference. Accordingly, and to keep things to a reasonable length, this entry will focus primarily on linguistic reference. Assuming that at least some token linguistic expressions really do refer, a number of interesting questions arise. How, for example, does linguistic reference relate to the act of referring—something that we as speakers do with referential terms? How exactly do referential terms come to refer? That is, in virtue of what do they refer to what they do? Is there a single answer to this question, a single mechanism of reference, or different answers depending on the sort of term in question—or even the circumstances in which a single term is used? And what exactly is the relationship between reference and meaning? Answers to these various questions will turn out to be closely related, and the task of this entry will be to trace out some of the main clusters of answers. (shrink)

Indexicals are linguistic expressions whose reference shifts from context to context: some paradigm examples are ‘I’, ‘here’, ‘now’, ‘today’,‘he’, ‘she’, and ‘that’. Two speakers who utter a single sentence that contains an indexical may say different things. For instance, Fred and Wilma say different things when they utter the sentence ‘I am female’. Many philosophers (following David Kaplan 1989a) hold that indexicals have two sorts of meaning. The first sort of meaning is often called ‘character’ or ‘linguistic meaning’; the second (...) sort is often called ‘content’. Using this terminology, we can say that the word ‘I’ has a single character (or linguistic meaning), but has different contents in different contexts. (shrink)

Minding Time: A Philosophical and Theoretical Approach to the Psychology of Time offers an innovative philosophical account of the most fundamental kinds of time representation.

The Berlin Group was an equal partner with the Vienna Circle as a school of scientific philosophy, albeit one that pursued an itinerary of its own. But while the latter presented its defining projects in readily discernible terms and became immediately popular, the Berlin Group, whose project was at least as sig-nificant as that of its Austrian counterpart, remained largely unrecognized. The task of this chapter is to distinguish the Berliners’ work from that of the Vienna Circle and to bring (...) to light its impact in the history of scientific philosophy. (shrink)

In the early 1920s, Hans Reichenbach and Kurt Lewin presented two topological accounts of time that appear to be interrelated in more than one respect. Despite their different approaches, their underlying idea is that time order is derived from specific structural properties of the world. In both works, moreover, the notion of genidentity--i.e., identity through or over time--plays a crucial role. Although it is well known that Reichenbach borrowed this notion from Kurt Lewin, not much has been written about their (...) relationship, nor about the way Lewin implemented this notion in his own work in order to ground his topology. This paper examines these two early versions of the topology of time, and follows the extent of Lewin’s influence on Reichenbach’s proposal. (shrink)

Starting with Frege, the semantics (and pragmatics) of quotation has received a steady flow of attention over the last one hundred years. It has not, however, been subject to the same kind of intense debate and scrutiny as, for example, both the semantics of definite descriptions and propositional attitude verbs. Many philosophers probably share Davidson's experience: ‘When I was initiated into the mysteries of logic and semantics, quotation was usually introduced as a somewhat shady device, and the introduction was accompanied (...) by a stern sermon on the sin of confusing the use and mention of expressions’ (Davidson 1979, p. 79). Those who leave it at that, however, miss out on one of the most difficult and interesting topics in the philosophy of language. (shrink)

These lines — also attributed to H. L. Mencken and Carl Jung — although perhaps politically incorrect, are surely correct in reminding us that more is involved in what one communicates than what one literally says; more is involved in what one means than the standard, conventional meaning of the words one uses. The words ‘yes,’ ‘perhaps,’ and ‘no’ each has a perfectly identifiable meaning, known by every speaker of English (including not very competent ones). However, as those lines illustrate, (...) it is possible for different speakers in different circumstances to mean different things using those words. How is this possible? What's the relationship among the meaning of words, what speakers mean when uttering those words, the particular circumstances of their utterance, their intentions, their actions, and what they manage to communicate? These are some of the questions that pragmatics tries to answer; the sort of questions that, roughly speaking, serve.. (shrink)

The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?

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)

Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...) on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim's context updates. (shrink)

Recently, Michael Friedman has claimed that virtually all the seeds of Hempel’s philosophical development trace back to his early encounter with the Vienna Circle (Friedman 2003, 94). As opposed, however, to Friedman’s view of the principal early influences on Hempel, we shall see that those formative influences originated rather with the Berlin Group. Hempel, it is true, spent the fall term of 1929 as a student at the University of Vienna, and, thanks to a letter of recommendation from Hans Reichenbach, (...) he even attended some sessions of the Vienna Circle. But he spent much less time in Vienna than in Berlin, where he studied under Reichenbach from 1926 till 1933 and wrote a dissertation on probability, Reichenbach’s specialty. Hempel also attended seminars conducted by Walter Dubislav, another member of the Berlin Group. (shrink)

Referential uses of quantified determiner phrases other than descriptions have not been extensively considered. In this paper they are considered in some detail, and related to referential uses of descriptions. The first aim is to develop the observation that, contrary to the currently received view that it is only for descriptions that referential uses are frequent and standard, arising in run-of-the-mill contextual scenarios, this is in fact the case for all usual kinds of quantifier phrases. A second aim is to (...) offer a preliminary discussion of how these data about quantifier phrases other than descriptions constrain the feasible extensions of theories of descriptions to cover the referential uses of quantifier phrases in general. I argue that the data don’t support a semantic explanation of referential uses of descriptions, and in fact suggest problems for several semantic theories of referential uses of quantifier phrases in general. I also argue that pragmatic theories of referential uses of quantifier phrases in general might plausibly explain standard referential uses as involving a genus of particularized conversational implicatures in which no conversational maxims are “flouted” or even violated, rather than generalized implicatures or particularized implicatures of Grice’s “exploitative” type. I nevertheless emphasize that I don’t take the dispute between semantic and pragmatic theories of referential use to have been satisfactorily resolved. (shrink)

Although sciences are often conceptualized in terms of theory confirmation and hypothesis testing, an equally important dimension of scientific reasoning is the structure of problems that guide inquiry. This problem structure is evident in several concepts central to evolutionary developmental biology (Evo-devo)—constraints, modularity, evolvability, and novelty. Because problems play an important role in biological practice, they should be included in biological pedagogy, especially when treating the issue of scientific controversy. A key feature of resolving controversy is synthesizing methodologies from different (...) biological disciplines to generate empirically adequate explanations. Concentrating on problem structure illuminates this interdisciplinarity in a way that is often ignored when science is taught only from the perspective of theory or hypothesis. These philosophical considerations can assist life science educators in their continuing quest to teach biology to the next generation. -/- . (shrink)

One of the central aims of science is explanation: scientists seek to uncover why things happen the way they do. This chapter addresses what kinds of explanations are formulated in biology, how explanatory aims influence other features of the field of biology, and the implications of all of this for biology education. Philosophical treatments of scientific explanation have been both complicated and enriched by attention to explanatory strategies in biology. Most basically, whereas traditional philosophy of science based explanation on derivation (...) from scientific laws, there are many biological explanations in which laws play little or no role. Instead, the field of biology is a natural place to turn for support for the idea that causal information is explanatory. Biology has also been used to motivate mechanistic accounts of explanation, as well as criticisms of that approach. Ultimately, the most pressing issue about explanation in biology may be how to account for the wide range of explanatory styles encountered in the field. This issue is crucial, for the aims of biological explanation influence a variety of other features of the field of biology. Explanatory aims account for the continued neglect of some central causal factors, a neglect that would otherwise be mysterious. This is linked to the persistent use of models like evolutionary game theory and population genetic models, models that are simplified to the point of unreality. These explanatory aims also offer a way to interpret many biologists’ total commitment to one or another methodological approach, and the intense disagreements that result. In my view, such debates are better understood as arising not from different theoretical commitments, but commitments to different explanatory projects. Biology education would thus be enriched by attending to approaches to biological explanation, as well as the unexpected ways that these explanatory aims influence other features of biology. I suggest five lessons for teaching about explanation in biology that follow from the considerations of this chapter. (shrink)

This volume covers a wide range of topics that fall under the 'philosophy of quantifiers', a philosophy that spans across multiple areas such as logic, metaphysics, epistemology, and even the history of philosophy. It discusses the import of quantifier variance in the model theory of mathematics. It advances an argument for the uniqueness of quantifier meaning in terms of Evert Beth’s notion of implicit definition, and clarifies the oldest explicit formulation of quantifier variance: the one proposed by Rudolf Carnap. -/- (...) The volume further examines what it means that a quantifier can have multiple meanings, and addresses how existential vagueness can induce vagueness in our modal notions. Finally, the book explores the role played by quantifiers with respect to various kinds of semantic paradoxes, the logicality issue, ontological commitment, and the behavior of quantifiers in intensional contexts. ​. (shrink)

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)

Mental time travel and language enable us to go back and forth in time and to organize and express our personal experiences through time reference. People with Alzheimer’s disease have both mental time travel and time reference impairments, which can greatly impact their daily communication. Currently, little is known about the potential relationship between time conceptualization (i.e., mental time travel) and time reference difficulties in this disease. A systematic review of the literature was performed to determine if this link had (...) already been investigated. Only three articles integrated both time conceptualization and time reference measures. However, the link between the two was not systematically analyzed and interpreted. This review highlights the lack of research addressing the question of the influence of time conceptualization impairments in Alzheimer’s disease on other cognitive domains, and especially language. (shrink)

In his ontological works Kurt Grelling tries to give a rigorous analysis of the foundations of the so-called Gestalt-psychology. Gestalten are peculiar emergent qualities, ontologically dependent on their foundations, but nonetheless non reducible to them. Grelling shows that this concept, as used in psychology and ontology, is often ambiguous. He distinguishes two important meanings in which the word “Gestalt” is used: Gestalten as structural aspects available to transposition and Gestalten as causally self-regulating wholes. Gestalten in the first meaning are, according (...) to Grelling, “equivalence classes of correspondences”, while Gestalten as self-regulating wholes have more to do with relations of ontological dependence. Grelling’s clarification of the concept of Gestalt is doubtless an excellent piece of philosophical analysis, but at the end of the day it turns out that his analysis captures at best only a part of intuitions traditionally connected with the notion of Gestalt. (shrink)

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

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the (...) field. Each chapter contains a bibliography, to assist the reader in making connections in the specific areas covered. Thus this work provides both a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. The chapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University Bochum, June 2012. (shrink)

Research spanning linguistics, psychology, and philosophy suggests that speakers and hearers are finely attuned to perspectives and viewpoints that are not their own, even though perspectival information is not encoded directly in the morphosyntax of languages like English. While some terms seem to require a perspective or a judge for interpretation (e.g., epithets, evaluative adjectives, locational PPs, etc.), perspective may also be determined on the basis of subtle information spanning multiple sentences, especially in vivid styles of narrative reporting. In this (...) paper, I develop an account of the cues that are involved in evaluating and maintaining non-speaker perspectives, and present an economy-based discourse processing model of perspective that embodies two core principles. First, perspectives are subject to a “speaker-default,” but may shift to a non-speaker perspective if sufficient contextual cues are provided. Second, the processor follows the path of least resistance to maintaining perspective, opting to maintain the current perspective across sentences as long as the shifted perspective continues to be coherent. The predictions of the model are tested in a series of offline and online studies, manipulating the form of an attitude report and the tense of the sentence that follows. Implications for processing perspective and viewpoint in speech and narrative forms are explored. (shrink)

A number of areas of biology raise questions about what is of value in the natural environment and how we ought to behave towards it: conservation biology, environmental science, and ecology, to name a few. Based on my experience teaching students from these and similar majors, I argue that the field of environmental ethics has much to teach these students. They come to me with pent-up questions and a feeling that more is needed to fully engage in their subjects, and (...) I believe some exposure to environmental ethics can help focus their interests and goals. I identify three primary areas in which environmental ethics can con- tribute to their education. The first is an examination of who (or what) should be considered to be part of our moral community (i.e., the community to whom we owe direct duties). Is it humans only? Or does it include all sentient life? Or all life? Or ecosystems considered holistically? Often, readings implicitly assume one or more of these answers; the goal is to make the student more sensitive to these implicit claims and to get them to think about the different reasons that support them. The second area, related to the first, is the application of the different answers concerning the extent of the ethical community to real environmental issues and problems. Students need to be aware of how the different answers concerning the moral community can imply conflicting answers for how we should act in certain cases and to think about ways to move toward conflict resolution. The third area in which environmental ethics can contribute is a more conceptual one, focusing on central concepts such as biodiversity, sustainability, species, and ecosystems. Exploring and evaluating various meanings of these terms will make students more reflective and thoughtful citizens and biologists, sensitive to the implications that different conceptual choices make. (shrink)

Jakob Friedrich Fries (1773–1843) was the most prolific German philosopher of science in the nineteenth century who strived to synthesize Kant’s philosophical foundation of science and mathematics and the needs or practised science and mathematics in order to gain more comprehensive conceptual frameworks and greater methodological flexibility for those two disciplines. His original contributions anticipated later developments, to some extent, though they received comparatively little notice in the later course of the nineteenth century—a fate which partly can be explained by (...) the unfortunate development of the so-called ‘First Friesian School,’ founded by E. F. Apelt, M. J. Schleiden and O. X. Schlömilch. This situation changed temporarily when Leonard Nelson (1882–1927) arrived on the philosophical stage and founded a second, so-called, ‘New Friesian School’ in 1903. In the following two decades, Fries’ specific transformation of Kantian philosophy gained influence within the vigorous discussions about ‘new’ foundations of mathematics and, thus, also played a role within the Berlin Group surrounding Hans Reichenbach, though his work had no direct impact on the philosophy of physics being expounded therein. -/- This essay will first outline some characteristics of Fries’ development of the Kantian approach. Then it will point out the limited impact of the ‘New Friesian School’ on the Berlin Group, while highlighting some missed chances for fruitful exchange. As the originality of this school and its importance for the development of logic and philosophy of mathematics—by and large merits of its early members Walter Dubislav and Kurt Grelling —is dealt with in separate chapters of this volume, and elsewhere, this article will focus on what Fries called the ‘mathematical philosophy of nature’ (i. e. the philosophical foundations of physics). More specifically, it will show how the New Friesian School reacted to Einstein’s theories of relativity, in a way that contrasts with the approach of the Berlin Group. This discussion about relativity will also be used to reveal different understandings of the nature of ‘scientific philosophy’ in general, as well as different models of how philosophy and the empirical sciences should interact. (shrink)

This paper argues that impure direct/mixed quotation – that is, translated (or repaired, improved) direct or mixed quotation – has something interesting to tell us about how quotations ordinarily function. It forces us to focus on two general quotational features. (i) Quotation is not a purely verbal phenomenon, its intuitive content exceeds the limits of what is linguistically articulated; (ii) it presupposes a cooperation between two human beings: the quoter, who performs a quotation, and the addressee of that quotation. In (...) the framework of an inscriptional analysis of direct and mixed quotation, inspired by Goodman’s approach to pure quotation, such a cooperation is described in terms of a pragmatic process of specification of the conventional meaning of a quotation, which consists of interpreting ostensively defined quotation predicates. (shrink)

This paper argues that the practice of employing bare pairs of quotation marks to represent the empty string in formal linguistics and computer science is well-founded in the implicit conventions governing the use of quotation marks in natural language. In the framework of the Inscriptional Theory of Quotation (ITQ), it is argued that sentences containing empty quotation (i.e., empty quotational sentences) are grammatical and meaningful. Furthermore, the notion of an empty string is employed in the analysis of reported speech to (...) provide a unified account that identifies mixed quotation as the primary form of reported speech. (shrink)