There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; for instance, linguistics, the (...) philosophy of science, and the theory of knowledge. The importance of the Tarskian investigations derives, among other things, from the fact that they constitute a mathematical, formal mark to serve as a reference for the philosophical (informal) conceptions of truth. Today the philosopher knows that the classical conception can be developed and that it is free from paradoxes and other difficulties, if certain precautions are taken. We believe that is not an exaggeration if we assert that Tarski's theory should be considered as one of the greatest accomplishments of logic and mathematics of our time, an accomplishment which is also of extraordinary relevance to philosophy, as we have already remarked. In this paper we show that the pragmatic conception of truth, at least in one of its possible interpretations, has also a mathematical formulation, similar in spirit to that given by Tarski to the classical correspondence conception. (shrink)

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be (...) accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

2014 Reprint of 1954 American Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. This two volume classic comprises two titles: "Patterns of Plausible Inference" and "Induction and Analogy in Mathematics." This is a guide to the practical art of plausible reasoning, particularly in mathematics, but also in every field of human activity. Using mathematics as the example par excellence, Polya shows how even the most rigorous deductive discipline is heavily dependent on techniques of guessing, inductive (...) reasoning, and reasoning by analogy. In solving a problem, the answer must be guessed at before a proof can be given, and guesses are usually made from a knowledge of facts, experience, and hunches. The truly creative mathematician must be a good guesser first and a good prover afterward; many important theorems have been guessed but no proved until much later. In the same way, solutions to problems can be guessed, and a god guesser is much more likely to find a correct solution. This work might have been called "How to Become a Good Guesser."-From the Dust Jacket. (shrink)

The no-miracles argument for realism and the pessimistic meta-induction for anti-realism pull in opposite directions. Structural Realism---the position that the mathematical structure of mature science reflects reality---relieves this tension.

Thomas S. Kuhn's classic book is now available with a new index.

2 Popper's Logical Definition of Verisimilitude. 3 Popper's Probabilistic Definition of Verisimilitude. 4 Conclusion.

In this paper a constructive empiricist account of scientific change is put forward. Based on da Costa's and French's partial structures approach, two notions of empirical adequacy are initially advanced (with particular emphasis on the introduction of degrees of empirical adequacy). Using these notions, it is shown how both the informativeness and the empirical adequacy requirements of an empiricist theory of scientific change can then be met. Finally, some philosophical consequences with regard to the role of structures in this context (...) are drawn.Now, we daily see what science is doing for us. This could not be unless it taught us something about reality; the aim of science is not things themselves, as the dogmatists in their simplicity imagine, but the relations between things; outside those relations there is no reality knowable. (shrink)

This essay contains a partial exploration of some key concepts associated with the epistemology of realist philosophies of science. It shows that neither reference nor approximate truth will do the explanatory jobs that realists expect of them. Equally, several widely-held realist theses about the nature of inter-theoretic relations and scientific progress are scrutinized and found wanting. Finally, it is argued that the history of science, far from confirming scientific realism, decisively confutes several extant versions of avowedly 'naturalistic' forms of scientific (...) realism. (shrink)

Set theory, it has been contended, developed from its beginnings through a progression ofmathematicalmoves, despite being intertwined with pronounced metaphysical attitudes and exaggerated foundational claims that have been held on its behalf. In this paper, the seminal results of set theory are woven together in terms of a unifying mathematical motif, one whose transmutations serve to illuminate the historical development of the subject. The motif is foreshadowed in Cantor's diagonal proof, and emerges in the interstices of the inclusion vs. membership (...) distinction, a distinction only clarified at the turn of this century, remarkable though this may seem. Russell runs with this distinction, but is quickly caught on the horns of his well-known paradox, an early expression of our motif. The motif becomes fully manifest through the study of functionsof the power set of a set into the set in the fundamental work of Zermelo on set theory. His first proof in 1904 of his Well-Ordering Theoremis a central articulation containing much of what would become familiar in the subsequent development of set theory. Afterwards, the motif is cast by Kuratowski as a fixed point theorem, one subsequently abstracted to partial orders by Bourbaki in connection with Zorn's Lemma. Migrating beyond set theory, that generalization becomes cited as the strongest of fixed point theorems useful in computer science.Section 1 describes the emergence of our guiding motif as a line of development from Cantor's diagonal proof to Russell's Paradox, fueled by the clarification of the inclusion vs. membership distinction. Section 2 engages the motif as fully participating in Zermelo's work on the Well-Ordering Theorem and as newly informing on Cantor's basic result that there is no bijection. Then Section 3 describes in connection with Zorn's Lemma the transformation of the motif into an abstract fixed point theorem, one accorded significance in computer science. (shrink)

We apply the recently elaborated notions of ‘pragmatic truth’ and ‘pragmatic probability’ to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...) set theory has proceeded in the opposite direction, from a web of intensions to a theory of extensionpar excellence, and like other fields of mathematics its vitality and progress have depended on a steadily growing core of mathematical structures and methods, problems and results. There is also the stronger contention that from the beginning set theory actually developed through a progression ofmathematicalmoves, whatever and sometimes in spite of what has been claimed on its behalf.What follows is an account of the development of set theory from its beginnings through the creation of forcing based on these contentions, with an avowedly Whiggish emphasis on the heritage that has been retained and developed by current set theory. The whole transfinite landscape can be viewed as the result of Cantor's attempt to articulate and solve the Continuum Problem. (shrink)

This thesis looks at Duhem's work from the perspective of his commitment to making scientific growth rational and continuous and to applying the principle of logical unity, intra- as well as inter-theoretically in physical theory, toward accomplishing this goal. This commitment splits in two parts: the scientific and the metascientific. Scientifically, Duhem seeks to develop an adequate representation for axiomatizing thermodynamics according to potential theory and to use thermodynamics as the new unifying framework for all of physics. His metascientific program (...) seeks to develop the philosophical and methodological requirements for constructing and critically evaluating epistemological conceptions of physical theory which are suitable for implementing his view of scientific growth. ;This thesis proposes an idealized and conjectural framework for articulating his system of philosophical assumptions, goals, values and methods. I call this framework Theory of Science and interpret it as a model of a synthesis of formal and historical approaches to scientific enterprise. ;Having reconstructed and presented an account of the general features and components of Duhem's Theory of Science, this thesis employs it to analyze and clarify several issues of his metascientific program: scientific rationality, scientific change, and the theory of progress. In this context, it is found that Duhem's Theory of Science develops from the assumption of the insufficiency of logical criticism and experimental method, and therefore from the need to appeal to transcendental assumptions and historical critique in order to adequately appraise the problem of scientific rationality. This thesis argues that Duhem's Theory of Science develops a middle ground epistemological conception of physical theory between the foundationalist and the relativist views, a middle ground conception of logical unification/reduction of physical theories between the monistic and the relativist/pluralist views of unification, and a convergence theory of truth as central for his view of scientific growth. In this task, this thesis seeks to clarify some of the philosophical misunderstanding committed--because Duhem's Theory of Science has been grossly neglected by his commentators--against his conception of theoretical physics and the history of science, such as the interpretation of them conventionalistically/pragmatistically and the interpretation of his theory of concept-formation operationalistically. (shrink)

The semantic, or model-theoretic, approach to theories has recently come under criticism on two fronts: (i) it is claimed that it cannot account for the wide diversity of models employed in scientific practice—a claim which has led some to propose a “deflationary” account of models; (ii) it is further contended that the sense of “model” used by the approach differs from that given in model theory. Our aim in the present work is to articulate a possible response to these claims, (...) drawing on recent developments within the semantic approach itself. Thus, the first is answered by utilizing the notion of a “partial structure”, first introduced in this context by da Costa and French in 1990. The second claim is undermined by consideration of van Fraassen's understanding of “model” which corresponds well with that evinced by modem mathematicians. This latter discussion, in particular, has an impact on the continuing debate regarding the relative merits of the semantic and syntactic views and the developments presented here can be taken to provide further support to the former. (shrink)

Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.

Based on da Costa's and French's notions of partial structures and pragmatic truth, this paper examines two possible characterizations of the concept of empirical adequacy, one depending on the notion of partial isomorphism, the other on the hierarchy of partial models of phenomena, and both compatible with an empiricist view. These formulations can then be employed to illuminate certain aspects of scientific practice.An empirical theory must single out a specific part of the world, establish reference to that part, and say—by (...) way of contingent, substantial claim about the world—that its models fit that. Now, how exactly can this be done? Bas C. van Fraassen. (shrink)

We apply the recently elaborated notions of 'pragmatic truth' and 'pragmatic probability' to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

SummaryenThe main argument for scientific realism is that our present theories in science are so successful empirically that they can't have got that way by chance - instead they must somehow have latched onto the blueprint of the universe. The main argument against scientific realism is that there have been enormously successful theories which were once accepted but are now regarded as false. The central question addressed in this paper is whether there is some reasonable way to have the best (...) of both worlds: to give the argument from scientific revolutions its full weight and yet still adopt some sort of realist attitude towards presently accepted theories in physics and elsewhere. I argue that there is such a way - through structural realism, a position adopted by Poincare, and here elaborated and defended. (shrink)

Understanding the Infinite is a loosely connected series of essays on the nature of the infinite in mathematics. The chapters contain much detail, most of which is interesting, but the reader is not given many clues concerning what concepts and ideas are relevant for later developments in the book. There are, however, many technical cross-references, so the reader can expect to spend much time flipping backward and forward.