Two challenges to the method of reflective equilibrium have been developed in a dispute between Michael D. Resnik and Stewart Shapiro: because the method itself involves logical notions, it can neither be specified in a logic-neutral way nor can it allow logical pluralism. To analyse and answer these claims, an explicit distinction is introduced between judgements held prior to the process of mutual adjustments and judgements in agreement with the systematic principles, which result from the process. It is then argued (...) that from the presystematic perspective, the method of reflective equilibrium permits developing and justifying rival logics, and hence it allows reasonable disagreement about logics; but such pluralism is no longer available from the perspective of fully developed logical systems. (shrink)

The book contains a unique epistemological position that deserves serious consideration by specialists in the subject."--Bruce Aune, University of Massachusetts.

APA PsycNET abstract: This is the first volume of a two-volume work on Probability and Induction. Because the writer holds that probability logic is identical with inductive logic, this work is devoted to philosophical problems concerning the nature of probability and inductive reasoning. The author rejects a statistical frequency basis for probability in favor of a logical relation between two statements or propositions. Probability "is the degree of confirmation of a hypothesis (or conclusion) on the basis of some given evidence (...) (or premises)." Furthermore, all principles and theorems of inductive logic are analytic, and the entire system is to be constructed by means of symbolic logic and semantic methods. This means that the author confines himself to the formalistic procedures of word and symbol systems. The resulting sentence or language structures are presumed to separate off logic from all subjectivist or psychological elements. Despite the abstractionism, the claim is made that if an inductive probability system of logic can be constructed it will have its practical application in mathematical statistics, and in various sciences. 16-page bibliography. (PsycINFO Database Record (c) 2016 APA, all rights reserved). (shrink)

This new work provides an approachable introduction to the complex system that Making It Explicit mapped out.

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics (...) is about things that really exist. (shrink)

By a logical theory I mean a formal system together with its semantics, meta-theory, and rules for translating ordinary language into its notation. Logical theories can be used descriptively (for example, to represent particular arguments or to depict the logical form of certain sentences). Here the logician uses the usual methods of empirical science to assess the correctness of his descriptions. However, the most important applications of logical theories are normative, and here, I argue, the epistemology is that of wide (...) reflective equilibrium. The result is that logic not only assesses our inferential practice but also changes it. I tie my discussion to Thagard's views concerning the relationship between psychology and logic, arguing against him that psychology has and should have only a peripheral role in normative (and most descriptive) applications of logic. (shrink)

What would something unlike us--a chimpanzee, say, or a computer--have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have looked to language as a key to this condition. Making It Explicit is an investigation into the nature of language--the social practices that distinguish us as rational, logical creatures--that revises the very terms of this inquiry. Where (...) accounts of the relation between language and mind have traditionally rested on the concept of representation, this book sets out an alternate approach based on inference, and on a conception of certain kinds of implicit assessment that become explicit in language. Making It Explicit is the first attempt to work out in detail a theory that renders linguistic meaning in terms of use--in short, to explain how semantic content can be conferred on expressions and attitudes that are suitably caught up in social practices. -/- At the center of this enterprise is a notion of discursive commitment. Being able to talk--and so in the fullest sense being able to think--is a matter of mastering the practices that govern such commitments, being able to keep track of one’s own commitments and those of others. Assessing the pragmatic significance of speech acts is a matter of explaining the explicit in terms of the implicit. As he traces the inferential structure of the social practices within which things can be made conceptually explicit, the author defines the distinctively expressive role of logical vocabulary. This expressive account of language, mind, and logic is, finally, an account of who we are. (shrink)

Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche (...) und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern. (shrink)

In this study two strands of inferentialism are brought together: the philosophical doctrine of Brandom, according to which meanings are generally inferential roles, and the logical doctrine prioritizing proof-theory over model theory and approaching meaning in logical, especially proof-theoretical terms.

Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. The (...) main results are: an adequate method of conceptual re-engineering must focus not on individual concepts but on systems of concepts and theories; the linear structure of Carnapian explication must be replaced by a process of mutual adjustments as described by Goodman; Carnap’s condition of similarity can be analysed into two components, one securing a relation to the specific extensions of the pre-existing concepts, one regulating the transition to the new system of concepts; these two criteria of adequacy can be built into Goodman’s account of reflective equilibrium to ensure that the resulting concepts promote theoretical virtues while being sufficiently similar to the concepts we started out with. (shrink)

In science and philosophy, a relatively demanding notion of understanding is of central interest: an epistemic subject understands a subject matter by means of a theory. This notion can be explicated in a way which resembles JTB analyses of knowledge. The explication requires that the theory answers to the facts, that the subject grasps the theory, that she is committed to the theory and that the theory is justified for her. In this paper, we focus on the justification condition and (...) argue that it can be analyzed with reference to the idea of a reflective equilibrium. (shrink)

This book offers a comprehensive account of logic that addresses fundamental issues concerning the nature and foundations of the discipline. The authors claim that these foundations can not only be established without the need for strong metaphysical assumptions, but also without hypostasizing logical forms as specific entities. They present a systematic argument that the primary subject matter of logic is our linguistic interaction rather than our private reasoning and it is thus misleading to see logic as revealing "the laws of (...) thought". In this sense, fundamental logical laws are implicit to our "language games" and are thus more similar to social norms than to the laws of nature. Peregrin and Svoboda also show that logical theories, despite the fact that they rely on rules implicit to our actual linguistic practice, firm up these rules and make them explicit. By carefully scrutinizing the project of logical analysis, the authors demonstrate that logical rules can be best seen as products of the so called reflective equilibrium. They suggest that we can profit from viewing languages as "inferential landscapes" and logicians as "geographers" who map them and try to pave safe routes through them. This book is an essential resource for scholars and researchers engaged with the foundations of logical theories and the philosophy of language. (shrink)

The topic of this paper is the question whether there is a logic which could be justly called the logic of inference. It may seem that at least since Prawitz, Dummett and others demonstrated the proof-theoretical prominency of intuitionistic logic, the forthcoming answer is that it is this logic that is the obvious choice for the accolade. Though there is little doubt that this choice is correct (provided that inference is construed as inherently single-conclusion and complying with the Gentzenian structural (...) rules), I do not think that the usual justification of it is satisfactory. Therefore, I will first try to clarify what exactly is meant by the question, and then sketch a conceptual framework in which it can be reasonably handled. I will introduce the concept of 'inferentially native' logical operators (those which explicate inferential properties) and I will show that the axiomatization of these operators leads to the axiomatic system of intuitionistic logic. Finally, I will discuss what modifications of this answer enter the picture when more general notions of inference are considered. (shrink)

Taking Carnap’s classic exposition as a starting point, this paper develops a pragmatic account of the method of explication, defends it against a range of challenges and proposes a detailed recipe for the practice of explicating. It is then argued that confusions are involved in characterizing explications as definitions, and in advocating precising definitions as an alternative to explications. Explication is better characterized as conceptual re-engineering for theoretical purposes, in contrast to conceptual re-engineering for other purposes and improving exactness for (...) purely practical reasons. Finally, three limitations which call for further development of the method of explication are discussed. (shrink)

Philosophy long sought to set knowledge on a firm foundation, through derivation of indubitable truths by infallible rules. For want of such truths and rules, the enterprise foundered. Nevertheless, foundationalism's heirs continue their forbears' quest, seeking security against epistemic misfortune, while their detractors typically espouse unbridled coherentism or facile relativism. Maintaining that neither stance is tenable, Catherine Elgin devises a via media between the absolute and the arbitrary, reconceiving the nature, goals, and methods of epistemology. In Considered Judgment, she argues (...) for a reconception that takes reflective equilibrium as the standard of rational acceptability. A system of thought is in reflective equilibrium when its components are reasonable in light of one another, and the account they comprise is reasonable in light of our antecedent convictions about the subject it concerns. Many epistemologists now concede that certainty is a chimerical goal. But they continue to accept the traditional conception of epistemology's problematic. Elgin suggests that in abandoning the quest for certainty we gain opportunities for a broader epistemological purview--one that comprehends the arts and does justice to the sciences. She contends that metaphor, fiction, emotion, and exemplification often advance understanding in science as well as in art. The range of epistemology is broader and more variegated than is usually recognized. Tenable systems of thought are neither absolute nor arbitrary. Although they afford no guarantees, they are good in the way of belief. (shrink)

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools (...) to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science. (shrink)

The advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy. The enigmatic style that is common in philosophical logic must give way to explicit discussions of the problematic relationship between formal models and the philosophical concepts and issues that motivated their development.

This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning.

Extending the project of analysis -- Elaborating abilities : the expressive role of logic -- Artificial intelligence and analytic pragmatism -- Modality and normativity : from Hume and Quine to Kant and Sellars -- Incompatibility, modal semantics, and intrinsic logic -- Intentionality as a pragmatically mediated semantic relation -- Afterword : philosophical analysis and analytic philosophy.

This is a book review of: Robert B. Brandom, Articulating Reasons: An Introduction to Inferentialism. Cambridge: Harvard University Press, 2000. Pp. 230.

Formal semantics is an enterprise which accounts for meaning in formal, mathematical terms, in the expectation of providing a helpful explication1 of the concept of the meaning of specific word kinds (such as logical ones), or of words and expressions generally. Its roots go back to Frege, who proposed exempting concepts, meanings of predicative expressions, from the legislation of psychology and relocating them under that of mathematics. This started a spectacular enterprise, fostered at first within formal logic and later moving (...) into the realm of natural languages, and featuring a series of eminent scholars, from Tarski and Carnap to Montague and David Lewis. Partly independently of this, Frege set the agenda for a long-term discussion of the question of what a natural language is, his own contribution being that language should be seen not as a matter of subjective psychology, but rather as a reality objective in the sense in which mathematics is objective. His formal semantics, then, was just an expression of this conception of language. And many theoreticians now take it for granted that formal semantics is inseparably connected with a Platonist conception of language. Moreover, the more recent champions of formal semantics, Montague and David Lewis, took for granted that natural language is nothing else than a structure of the very kind envisaged by the theories of formal logicians. While Montague claims quite plainly that there is no substantial difference between formal and natural languages ("I reject the contention," he says, 1974, p. 188, "that an important theoretical difference exists between formal and natural languages"), Lewis states that it is fully correct to say that a linguistic community entertains a language in the form of a mathematical structure ("we can say", states Lewis, 1975, p.. (shrink)

Robert Brandom's latest book, the product of his John Locke lectures in Oxford in 2006, is a return to the philosophy of language and is easily read as a continuation and development of the views defended in Making it Explicit. The text of the lectures is presented much as they were delivered, but it contains an ‘Afterword’ of more than 30 pages which responds to questions raised when he gave the lectures, and also when they were subsequently delivered in Prague (...) the following year. The published text also contains relatively technical appendices to two of the lectures.The individual lectures engage with some important and difficult issues, often ones that were explored in detail in the earlier book. However, these discussions are located within a broader meta-philosophical context, and it says something about the abstract and difficult character of these views that they provide the main subject matter of the Afterword. This framework affects how we should understand the relations between this book and Making It Explicit too. Although most of the detailed discussions happily belong within the general project of the earlier book, they are offered as illustrations of a framework that is independent of this project. Indeed, Brandom suggests that defenders of the semantic views of David Lewis, for example, could embrace his main message as well as those who favour Brandom's own form of pragmatism.Neo-pragmatist philosophers such as Brandom's teacher, Richard Rorty, often present themselves as rejecting the analytic tradition in philosophy. When Brandom describes the ‘pragmatist challenge’ to the ‘classical project of analysis’, he appeals to the criticisms found in the work of Wittgenstein and Sellars that are often appealed to by the critics of the analytic tradition. The message of the new book is that the views he has built on this …. (shrink)

Philosophy long sought to set knowledge on a firm foundation, through derivation of indubitable truths by infallible rules. For want of such truths and rules, the enterprise foundered. Nevertheless, foundationalism's heirs continue their forbears' quest, seeking security against epistemic misfortune, while their detractors typically espouse unbridled coherentism or facile relativism. Maintaining that neither stance is tenable, Catherine Elgin devises a via media between the absolute and the arbitrary, reconceiving the nature, goals, and methods of epistemology. In Considered Judgment, she argues (...) for a reconception that takes reflective equilibrium as the standard of rational acceptability. A system of thought is in reflective equilibrium when its components are reasonable in light of one another, and the account they comprise is reasonable in light of our antecedent convictions about the subject it concerns.Many epistemologists now concede that certainty is a chimerical goal. But they continue to accept the traditional conception of epistemology's problematic. Elgin suggests that in abandoning the quest for certainty we gain opportunities for a broader epistemological purview--one that comprehends the arts and does justice to the sciences. She contends that metaphor, fiction, emotion, and exemplification often advance understanding in science as well as in art. The range of epistemology is broader and more variegated than is usually recognized. Tenable systems of thought are neither absolute nor arbitrary. Although they afford no guarantees, they are good in the way of belief. (shrink)

By an argument form I shall mean a schema consisting of a string of symbols that are place-­‐holders for either logical terms or non-­‐logical (descriptive/content) terms: substituting terms of the appropriate kind for the symbols yields an argument. A substitution instance of an argument form is an argument that arises as a result of such a substitution. By a valid argument I shall mean an argument such that it is impossible for the premises to be true and the conclusion false. (...) Thus, an invalid argument is an argument such that it is possible for the premises to be true and the conclusion false. (shrink)

This is a lightly edited version of my comments on Brandom’s Lecture 2, as delivered in Prague at the “Prague Locke Lectures” in April, 2007. I try to say why Brandom’s proposed demarcation is significant, by placing it in a broader context of demarcation proposals from Kant to the twentieth century. I then raise some questions about the basic ingredients of Brandom’s demarcation—the notions of PP-sufficiency and VP-sufficiency—and question whether the vocabulary of conditionals, Brandom’s paradigm for logical vocabulary, can be (...) universal-LX. (shrink)

In moral epistemology, the method of reflective equilibrium is often characterized in terms of intuitions or understood as a method for justifying intuitions. An analysis of reflective equilibrium and current theories of moral intuitions reveals that this picture is problematic. Reflective equilibrium cannot be adequately characterized in terms of intuitions. Although the method presupposes that we have initially credible commitments, it does not presuppose that they are intuitions. Nonetheless, intuitions can enter the process of developing a reflective equilibrium and, if (...) the process is successful, be justified. Since the method of reflective equilibrium does not essentially involve intuitions, it does not constitute a form of intuitionism in any substantial sense. It may be classified as intuitionist only in the minimal sense of not reducing justification to a matter of inference relations alone. (shrink)

The article addresses two closely related questions: What are the criteria of adequacy of logical formalization of natural language arguments, and what gives logic the authority to decide which arguments are good and which are bad? Our point of departure is the criticism of the conception of logical formalization put forth, in a recent paper, by M. Baumgartner and T. Lampert. We argue that their account of formalization as a kind of semantic analysis brings about more problems than it solves. (...) We also argue that the criteria of adequate formalization need not be based on truth conditions associated with logical formulas; in our view, they are better based on structural (inferential) grounds. We then put forward our own version of the criteria. The upshot of the discussion that follows is that the quest for an adequate formalization in a suitable logical language is best conceived of as the search for a Goodmanian reflective equilibrium. (shrink)

Logical Forms explains both the detailed problems involved in finding logical forms and also the theoretical underpinnings of philosophical logic. In this revised edition, exercises are integrated throughout the book. The result is a genuinely interactive introduction which engages the reader in developing the argument. Each chapter concludes with updated notes to guide further reading.

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...) and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)