Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Gödel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Gödel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Gödel's texts on foundations with materials from Gödel's Nachlass and from Hao Wang's discussions with Gödel. He provides discussions of Gödel's views, and develops a new (...) type of platonic rationalism that requires rational intuition, called 'constituted platonism'. (shrink)

"Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanation for the source of a given belief or opinion. According to some sceptics, it is understood only in terms of what it is not, and it is not any of the better understood means for acquiring knowledge. In mathematics the term has also unfortunately been used in this way. Thus, intuition is sometimes portrayed as (...) if it were the Third Eye, something only mathematical "mystics", like Ramanujan, possess. In mathematics the notion has also been used in a host of other senses: by "intuitive" one might mean informal, or non-rigourous, or visual, or holistic, or incomplete, or perhaps even convincing in spite of lack of proof. My aim in this book is to sweep all of this aside, to argue that there is a perfectly coherent, philosophically respectable notion of mathematical intuition according to which intuition is a condition necessary for mathemati cal knowledge. I shall argue that mathematical intuition is not any special or mysterious kind of faculty, and that it is possible to make progress in the philosophical analysis of this notion. This kind of undertaking has a precedent in the philosophy of Kant. While I shall be mostly developing ideas about intuition due to Edmund Husser! there will be a kind of Kantian argument underlying the entire book. (shrink)

Gödel's relation to the work of Plato, Leibniz, Kant, and Husserl is examined, and a new type of platonic rationalism that requires rational intuition, called ...

The thesis is a study of the notion of intuition in the foundations of mathematics which focuses on the case of natural numbers and hereditarily finite sets. Phenomenological considerations are brought to bear on some of the main objections that have been raised to this notion. ;Suppose that a person P knows that S only if S is true, P believes that S, and P's belief that S is produced by a process that gives evidence for it. On a phenomenological (...) view the relevant evidence is provided by intuition , and this should be the case in either ordinary perceptual knowledge or in mathematical knowledge. Intuition is to be understood in terms of fulfillments of intentions. Knowledge is a product of intuition and intention. In the case of mathematical knowledge it is said that there is a construction for a mathematical statement S if and only if the intention expressed by S is fulfilled . Constructions are thus viewed as intuition processes that could actually or possibly be carried out. In elementary parts of mathematics they might be characterized in terms of certain classes of recursive functions. This view is discussed in the case where S is taken to be a singular statement about natural numbers or finite sets, and also where S is taken to be a general statement about such objects. The distinction between intuition of and intuition that is also investigated in this context. ;It is pointed out how on a phenomenological view a number of central problems about mathematical intuition can be avoided: problems about the analogousness of perceptual and mathematical intuition, about causal accounts of knowledge in mathematics, and about structuralism in mathematics. The bearing of the account on issues concerning constructivism and platonism is also discussed. (shrink)

Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding of one of philosophy's (...) thorniest set of topics. -/- Included are discussions of the correspondence, coherence, pragmatic, semantic, performative, redundancy, appraisal, and truth-as-justification theories. There are also chapters or sections of chapters on the liar paradox, three-valued logic, Field's critique of Tarski, Davidson's program, Dummett's theory of linguistic competence, satisfaction, recursion, the extension/intension distinction, and an explanation of how theories of justification, properly understood, differ from theories of truth. -/- A persistent theme is that philosophers have too often failed to recognize that not all theories of truth are intended to answer the same question. When the various questions are made distinct, it is apparent that many of the "debates" in this field are really cases of philosophers talking past one another. There is much less disagreement within the field than has commonly been thought. (shrink)

This book presents modern logic as the formalization of reasoning that needs and deserves a semantic foundation. Chapters on propositional logic; parsing propositions; and meaning, truth and reference give the reader a basis for establishing criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, and functions. The chapter on second-order logic shows how different conceptions of predicates (...) and propositions do not lead to a common basis for quantification over predicates, as they do for quantification over things. Notable for its clarity of presentation and supplemented by many exercises, this volume will be invaluable for philosophers, linguists, mathematicians, and computer scientists who wish to better understand the tools they use in formal reasoning. (shrink)

The claim that visually masked, unidentifiable words are analyzed at the level of whole word meaning has been challenged by recent findings indicating that instead, analysis occurs mainly at the subword level. The present experiments examined possible limits on subword analysis. Experiment 1 obtained semantic priming from pleasant- and unpleasant-meaning subliminal words in which no individual letter contained diagnostic information about a word’s evaluative valence; thus analysis must operate on information more complex than that contained in individual letters. Experiments 2 (...) and 3 showed that analysis must operate on information more complex than that represented by individual bigrams or trigrams . These findings suggest that while subliminal priming is driven by subword analysis, the effective units of analysis are distributed widely across at least short words. (shrink)

The mere exposure phenomenon (repeated exposure to a stimulus is sufficient to improve attitudes toward that stimulus) is one of the most inspiring phenomena associated with Robert Zajonc’s long and productive career in social psychology. In the first part of this article, Richard Moreland (who was trained by Zajonc in graduate school) describes his own work on exposure and learning, and on the relationships among familiarity, similarity, and attraction in person perception. In the second part, Sascha Topolinski (a recent (...) graduate who never met Zajonc, but found his ideas inspirational) describes his own work concerning embodiment and fluency in the mere exposure effect. Also, several avenues for future research on the mere exposure phenomenon are identified, further demonstrating its continuing relevance to the field. (shrink)

"The University of Missouri's rich record of accomplishment and service to Missouri, the nation, and the world is captured in this collection of photographs of campus landmarks, people, events, and Tiger spirit. Includes a history of the campus and timeli.

This book is dedicated to a classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal (...) logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics". (shrink)

For more than a decade, American lawyers have bewailed the ethical crisis in their profession, wringing their hands about its bad image. But their response has been limited to spending money on public relations, mandating education, and endlessly revising ethical rules. In this book, Richard Abel will argue that these measures will do little or nothing to solve the problems illustrated by the six disciplinary case studies featured in this book unless the legal monopoly enjoyed by attorneys in the (...) U.S. is drastically contracted. Richard Abel examines some of the most common ethical complaints made about lawyers in Lawyers in the Dock. Using detailed records of disciplinary proceedings, he describes the actions surrounding certain cases based on three of the most common complaints: neglecting the client by failing to pursue cases diligently; overcharging of clients by mystifying billing practices; and betraying adversaries and courts out of excessive loyalty to clients or causes. In this book, Richard Abel will argue that these measures will do little or nothing to solve the problems exposed by his six disciplinary case studies unless structural changes are made to the legal monopoly in order to restore the public trust in lawyers. Lawyers in the Dock is essential reading for lawyers, law students, and potential clients who wish to restore trust and professional responsibility in the legal profession. (shrink)

Comparative case studies of lawyer deviance and discipline offer a unique perspective on how and why lawyers misbehave, how regulatory bodies respond, and the efficacy of those responses. Such studies also provide valuable pedagogic tools, opening the eyes of law students to the ways in which they, too, could transgress ethical rules. This special issue builds on my two books on misbehaving lawyers in New York and California by presenting vivid accounts of such lawyers in the UK, Canada, Australia, New (...) Zealand, and the Netherlands. (shrink)

We propose a framework for including information‐processing bounds in rational analyses. It is an application of bounded optimality (Russell & Subramanian, 1995) to the challenges of developing theories of mechanism and behavior. The framework is based on the idea that behaviors are generated by cognitive mechanisms that are adapted to the structure of not only the environment but also the mind and brain itself. We call the framework computational rationality to emphasize the incorporation of computational mechanism into the definition of (...) rational action. Theories are specified as optimal program problems, defined by an adaptation environment, a bounded machine, and a utility function. Such theories yield different classes of explanation, depending on the extent to which they emphasize adaptation to bounds, and adaptation to some ecology that differs from the immediate local environment. We illustrate this variation with examples from three domains: visual attention in a linguistic task, manual response ordering, and reasoning. We explore the relation of this framework to existing “levels” approaches to explanation, and to other optimality‐based modeling approaches. (shrink)

In _Freedom and the End of Reason_, Richard L. Velkley offers an influential interpretation of the central issue of Kant’s philosophy and an evaluation of its position within modern philosophy’s larger history. He persuasively argues that the whole of Kantianism—not merely the Second Critique—focuses on a “critique of practical reason” and is a response to a problem that Kant saw as intrinsic to reason itself: the teleological problem of its goodness. Reconstructing the influence of Rousseau on Kant’s thought, Velkley (...) demonstrates that the relationship between speculative philosophy and practical philosophy in Kant is far more intimate than generally has been perceived. By stressing a Rousseau-inspired notion of reason as a provider of practical ends, he is able to offer an unusually complete account of Kant’s idea of moral culture. (shrink)

The purpose of this paper is to examine the distinction between "negative" and "positive" duties. Special attention will be given to certain criticism raised against this distinction by Michael Tooley.

This analysis of Frege's views on language and metaphysics in On Sense and Reference, arguably one of the most important philosophical essays of the past hundred years, provides a thorough introduction to the function/argument analysis and applies Frege's technique to the central notions of predication, identity, existence and truth. Of particular interest is the analysis of the Paradox of Identity and a discussion of three solutions: the little-known Begriffsschrift solution, the sense/reference solution, and Russell's 'On Denoting' solution. Russell's views wend (...) their way through the work, serving as a foil to Frege. Appendices give the proofs of the first 68 propositions of Begriffsschrift in modern notation. This book will be of interest to students and professionals in philosophy and linguistics. (shrink)

I defend mereological nihilism, the view that there are no composite objects, against a challenge from ontological emergence, the view that some things have properties that are ‘something over and above’ the properties of their parts. As the nihilist does not believe in composite wholes, there is nothing in the nihilist's ontology to instantiate emergent properties – or so the challenge goes. However, I argue that some simples can collectively instantiate an emergent property, so the nihilist's ontology can in fact (...) accommodate emergent properties. Furthermore, I show that employing plural instantiation does not bloat the nihilist's ontology or ideology. (shrink)

In _Freedom and the End of Reason_, Richard L. Velkley offers an influential interpretation of the central issue of Kant’s philosophy and an evaluation of its position within modern philosophy’s larger history. He persuasively argues that the whole of Kantianism—not merely the Second Critique—focuses on a “critique of practical reason” and is a response to a problem that Kant saw as intrinsic to reason itself: the teleological problem of its goodness. Reconstructing the influence of Rousseau on Kant’s thought, Velkley (...) demonstrates that the relationship between speculative philosophy and practical philosophy in Kant is far more intimate than generally has been perceived. By stressing a Rousseau-inspired notion of reason as a provider of practical ends, he is able to offer an unusually complete account of Kant’s idea of moral culture. (shrink)

This book draws upon philosophical arguments, criminological evidence, and legal literature on prisoners' rights and sentencing to explore the restrictions and deprivations that can be legitimately imposed on serious offenders in the name of punishment.

The contributions in the book examine the historical and contemporary manifestations of organized crime, the symbiotic relationship between legitimate and ...

In a number of essays published over the last decade or so, W. V. Quine has made some interesting suggestions concerning the ontology of theories. If I understand him correctly, one of his principal objects has been to formulate a criterion by means of which one can correctly decide what are the ontological commitments of any given theory. My aim in this paper is to reveal what I think are inadequacies in Quine's criterion and to indicate the direction in which (...) a proper formulation lies. (shrink)

Several theoretical perspectives have generated research on grandparental investment, notably socialization and evolutionary psychological perspectives. Using data collected from more than 200 older adults (mean age 67 years), we test three hypotheses derived from socialization and evolutionary perspectives about grandparents’ relationships with and investment in grandchildren. Results indicate that (1) emotional closeness with both children and children-in-law is positively related to reports of emotional closeness with grandchildren; (2) maternal grandmothers invest more in grandchildren than do other grandparents; and (3) grandparents (...) invest more in daughters’ children than in sons’ children. Discussion addresses limitations of self-report methodology in this context and situates the current findings within the body of research indicating the existence of psychological mechanisms designed to guide differential nepotism. (shrink)

It is well documented that the effects of legal punishment tend to drift to the family members, friends, and larger communities of convicted offenders. Instead of conceiving of punishment drift as incidental to legal punishment, or as merely foreseen but not intended by state authorities and thus permissible, I argue that efforts ought to be undertaken to limit or ameliorate it. Failure to confine punishment drift comes perilously close to punishment of the innocent and is at odds with other legal (...) doctrines and broader penal practices that hold offenders, and offenders alone, responsible for their crimes. Numerous arguments urging tolerance of punishment drift, or more assertively defending it, are examined and found wanting. (shrink)

The most popular method of incorporating time into a formal logic is based on the work of Arthur Prior. It treats tenses as operators on sentences. In this essay I show a serious problem with that approach, a confusion of scheme versus proposition, which makes any system built in that way incoherent. I will compare how other formal logics deal with the scheme versus proposition distinction and find that only for formal modal logics does the same problem arise. I then (...) compare Prior’s approach to other ways of taking time into account in formal logics. (shrink)

This work presents the first systemic account of the author's innovative theory of semiotic phenomenology and its place in the philosophy of communication and language. The creative and compelling project presented here spans more than fifteen years of systematic eidetic and empirical research into questions of human communication. Using the thematics of Merleau-Ponty's existential phenomenology, the author explores the concepts and practices of the human sciences that are grounded in communication theory, information theory, language, logic, linguistics, and semiotics. The hermeneutic (...) discussion ranges over contemporary theories that include Roman Jakobson's phenomenological structuralism, the semiotics of Umberto Eco, Charles Pierce, and Alfred Schutz, the theory of speech acts offered by Jurgen Habermas and John Searle, and Michel Foucault's phenomenological rhetoric of discourse. In general, this highly developed study offers the reader a fresh account of the problematic issues in the philosophy of communication. It is a work that any scholar in communication, philosophy, linguistics, or social theory would welcome for its scope and sustained research. (shrink)