Online research in philosophy

Formal pragmatics plays an important, though secondary, role in modern analytical philosophy of language: its aim is to explain how context can affect the meaning of certain special kinds of utterances. During recent years, the adequacy of formal tools has come under attack, often leading to one or another form of relativism or antirealism.1 Our aim will be to extend the critique to formal pragmatics while showing that sceptical conclusions can be avoided by developing a different approach to the issues. In particular, we will show that formal pragmatics cannot provide a complete account of how context affects the meaning of utterances, both on its own terms and when faced with evidence of important aspects of natural languages. The focal issue is the relevant kind of context in which pragmatics should examine utterances. Our contention will be that the relevant context of an utterance is determined by the function of that utterance, this function being dependent upon the primary function of language – to convey information. We will argue that the functions of utterances and of language are too broad to be caught by the tools of formal pragmatics of the sort advocated by Montague (1968, 1974), which are an extension the methods of traditional model-theoretic semantics.2 The particular formal approach we will use as the main example is David Kaplan’s position (1979, 1989),3 an extension of Montague’s program.

In this introduction to the special issue of Social Epistemology on epistemological contrastivism, I make some remarks on the history of contrastivism, describe three main versions of contrastivism, and offer a guide through the papers that compose this issue.

Epistemology is the study of knowledge and justified belief. Belief is thus central to epistemology. It comes in a qualitative form, as when Sophia believes that Vienna is the capital of Austria, and a quantitative form, as when Sophia's degree of belief that Vienna is the capital of Austria is at least twice her degree of belief that tomorrow it will be sunny in Vienna. Formal epistemology, as opposed to mainstream epistemology (Hendricks 2006), is epistemology done in a formal way, that is, by employing tools from logic and mathematics. The goal of this entry is to give the reader an overview of the formal tools available to epistemologists for the representation of belief. A particular focus will be the relation between formal representations of qualitative belief and formal representations of quantitative degrees of belief.

Mainstream and Formal Epistemology provides the first easily accessible yet erudite and original analysis of the meeting point between mainstream and formal theories of knowledge. These two strands of thinking have traditionally proceeded in isolation from one another but in this book Vincent F. Hendricks brings them together for a systematic comparative treatment. He demonstrates how mainstream and formal epistemology may significantly benefit from one another, paving the way for a new unifying program of 'plethoric' epistemology. His book will both define and further the debate between philosophers from two very different sides of the epistemological spectrum.

In this introduction we discuss the motivation behind the workshop “Towards a New Epistemology of Mathematics” of which this special issue constitutes the proceedings. We elaborate on historical and empirical aspects of the desired new epistemology, connect it to the public image of mathematics, and give a summary and an introduction to the contributions to this issue.

Formal epistemology is the study of crucial concepts in general or mainstream epistemology including knowledge, belief (-change), certainty, rationality, reasoning, decision, justi…cation, learning, agent interaction and information processing using a spread of di¤erent formal tools. The formal tools may be drawn from logic, probability theory, game theory, decision theory, formal learning theory, distributed computing and is thus not simply a purely philosophical province. Its practitioners include philosophers, computer scientists, social scientists, cognitive psychologists, theoretical economists, mathematicians, and theoretical linguists. Formal epistemology is a thoroughly interdisciplinary …eld with many agendas, actors and issues. What follows is a breezy overview of formal epistemology as organized around notions of agency and interaction.

Performance on the Wason selection task varies with content. This has been taken to demonstrate that there are different cognitive modules for dealing with different conceptual domains. This implication is only legitimate if our underlying cognitive architecture is formal. A non-formal system can explain content-sensitive inference without appeal to independent inferential modules.

The goal with these questions is to gain a sense of what contemporary epistemology is up to and its broader intellectual environment , with particular emphasis on the meeting point between mainstream and formal epistemology.

Yet, in broader terms, formal epistemology is not merely a methodological tool for epistemologists, but a discipline in its own right. On this programmatic view, formal epistemology is an interdisciplinary research program that covers work by philosophers, mathematicians, computer scientists, statisticians, psychologists, operations researchers, and economists who aim to give mathematical and sometimes computational representations of, along with sound strategies for reasoning about, knowledge, belief, judgment and decision making.