We put forward the hypothesis that there exist three basic attitudes towards inconsistencies within world views: (1) The inconsistency is tolerated temporarily and is viewed as an expression of a temporary lack of knowledge due to an incomplete or wrong theory. The resolution of the inconsistency is believed to be inherent to the improvement of the theory. This improvement ultimately resolves the contradiction and therefore we call this attitude the ‘regularising’ attitude; (2) The inconsistency is tolerated and both contradicting elements (...) in the theory are retained. This attitude integrates the inconsistency and leads to a paraconsistent calculus; therefore we will call it the paraconsistent attitude. (3) In the third attitude, both elements of inconsistency are considered to be false and the ‘real situation’ is considered something different that can not be described by the theory constructively. This indicates the incompleteness of the theory, and leads us to a paracomplete calculus; therefore we call it the paracomplete attitude. We illustrate these three attitudes by means of two ‘paradoxical’ situations in quantum mechanics, the wave-particle duality and the situation of non locality. (shrink)

Described by the philosopher A.J. Ayer as a work of 'great originality and power', this book revolutionized contemporary thinking on science and knowledge. Ideas such as the now legendary doctrine of 'falsificationism' electrified the scientific community, influencing even working scientists, as well as post-war philosophy. This astonishing work ranks alongside _The Open Society and Its Enemies_ as one of Popper's most enduring books and contains insights and arguments that demand to be read to this day.

Described by the philosopher A.J. Ayer as a work of 'great originality and power', this book revolutionized contemporary thinking on science and knowledge. Ideas such as the now legendary doctrine of 'falsificationism' electrified the scientific community, influencing even working scientists, as well as post-war philosophy. This astonishing work ranks alongside The Open Society and Its Enemies as one of Popper's most enduring books and contains insights and arguments that demand to be read to this day.

To explore the relation between mathematical models and reality, four different domains of reality are distinguished: observer-independent reality, personal reality, social reality and mathematical/formal reality. The concepts of personal and social reality are strongly inspired by constructivist ideas. Mathematical reality is social as well, but constructed as an autonomous system in order to make absolute agreement possible. The essential problem of mathematical modelling is that within mathematics there is agreement about ‘truth’, but the assignment of mathematics to informal reality is (...) not itself formally analysable, and it is dependent on social and personal construction processes. On these levels, absolute agreement cannot be expected. Starting from this point of view, repercussion of mathematical on social and personal reality, the historical development of mathematical modelling, and the role, use and interpretation of mathematical models in scientific practice are discussed. (shrink)

The technical results presented here on continuity and approximate implication are obviously incomplete. In particular, a syntactic characterization of approximate implication is highly desirable. Nevertheless, I believe the results above do show that the theory has considerable promise for application to the areas mentioned at the top of the paper.Formulation and defense of realist interpretations of science, for example, require approximate truth because we hardly ever have evidence that a particular scientific theory corresponds perfectly with a portion of the real (...) world. Realists need to assert, then, that evidence for a theory is evidence for its approximate truth, not its truth (see [3] and [18]). Approximate truth is, however, a vague notion, and specification of quantity terms and of a sense of approximation are needed to make precise applications of it. Suitability of both vocabulary and sense of approximation depend on the subject matter, and their selection is a partly empirical matter that raises complex issues. In light of the number of common inferences which are not continuous, realists also need to be concerned about indiscriminate use of deductive logic to derive consequences from approximately true theories. These issues will be considered further in a future paper.Approximate truth also has potential application in areas of artificial intelligence that require inference from inaccurate data. In the ‘qualitative’ physical theories of de Kleer and Brown [6], for example, ‘qualitative’ values are derived by partitioning the real numbers into regions. Inferences leading from inside to outside a region must be identified and avoided, and approximate implication and continuity may prove useful in doing this. More generally, growing use of predicate logic as a programming language invites application of the theory of approximate truth as a symbolic substitute for numerical evaluation of computation errors. This too will be the subject of a future paper. (shrink)

In this paper I argue against the traditional viewthat in discovery processes there is no place forrational decisions. First I argue that some historicalprocesses in which an empirical law was developed,were rational. Second, I identify some of themethodological rules that we can follow in order to berational when constructing an empirical law. Finally,I argue that people who deny that scientific discoverycan be rational do not understand the nature ofmethodological rules.

In recent years there have been an increasing number of contributions to economic methodology that develop or seek to reveal ontological positions. Despite this there is no agreement about either what ontology is or how it can contribute to economics. For some ontological theorising reveals the presuppositions of economists and its role is largely descriptive. Others see ontology as primarily engaged in setting out and defending a general account of some domain of reality and suggest that such a conception can (...) help us evaluate the appropriateness of the methods economists deploy. In this paper I clarify the scope and role of such theorising in economics by considering two projects with ontological orientations, namely critical realism in economics as developed by Tony Lawson and Nancy Cartwright’s work on the nature of economic theory. I argue that there are similarities between these two projects but also differences and show that these can be better understood once we recognise that each draws on a distinct conception of the legitimate scope of ontological theorising. I use Peirce’s writings on the nature of sustainable metaphysical analysis to clarify certain aspects of the approach to ontological theorising that Lawson favours. (shrink)

The problem of idealization in empirical sciences is very rarely taken up in works concerned with the methodology of those sciences. It seems to be common knowledge that in advanced natural sciences references are made to concepts such as “perfectly rigid body,” “material point,” “perfect gas,” etc., but it remains a fact that the most important methodological concepts, concepts which have determined the present-day form of the philosophy of science, have been advanced without regard to the peculiarities of the procedure (...) mentioned above. And yet a moment's consideration suffices to raise doubts as to Carnap's physicalism and/or Popper's falsificationism if we just realize the trivial and commonly known truth that empirical sciences resort to idealizationism. For how are we to imagine a reduction of idealizational concepts to observation terms? And how are we to imagine that theorems which include idealizational concepts imply observation statements which refute, or at least are at variance with, those theorems? But it is a fact that such doubts have neither been raised by the authors of the conceptions mentioned above, nor have they been raised against them. (shrink)

Approximations form an essential part of scientific activity and they come in different forms: conceptual approximations (simplifications in models), mathematical approximations of various types (e.g. linear equations instead of non-linear ones, computational approximations), experimental approximations due to limitations of the instruments and so on and so forth. In this paper, we will consider one type of approximation, namely numerical approximations involved in the comparison of two results, be they experimental or theoretical. Our goal is to lay down the conceptual and (...) formal foundations of a local theory of partial truth. This is done by introducing and exploring the concept of truth space. (shrink)

There has been little research into the weak kindsof negating hypotheses. Hypotheses may be unfalsifiable. In this case it is impossible tofind a contradiction in some area of the conceptualsystems in which they are incorporated.Notwithstanding this fact, it is sometimes necessaryto construct ways of rejecting the unfalsifiablehypothesis at hand by resorting to some external forms of negation, external because wewant to avoid any arbitrary and subjectiveelimination, which would be rationally orepistemologically unjustified. I will consider akind of ``weak'''' (unfalsifiable) hypotheses that (...) arehard to negate and the ways for making it easy. Inthese cases the subject can ``rationally'''' decide towithdraw his hypotheses even in contexts where it is``impossible'''' to find ``explicit'''' contradictions: theuse of negation as failure (an interestingtechnique for negating hypotheses and accessing newones suggested by artificial intelligence) isilluminating. I plan to explore whether this kind ofnegation can be employed to model hypothesiswithdrawal in Poincaré''s conventionalism of theprinciples of physics and in Freudian analyticreasoning. (shrink)

This paper argues that scientific studies distinguish themselves from other studies by a combination of their processes, their (knowledge) elements and the roles of these elements. This is supported by constructing a process model. An illustrative example based on Newtonian mechanics shows how scientific knowledge is structured according to the process model. To distinguish scientific studies from research and scientific research, two additional process models are built for such processes. We apply these process models: (1) to argue that scientific progress (...) should emphasize both the process of change and the content of change; (2) to chart the major stages of scientific study development; and (3) to define “science”. (shrink)

I first give a brief summary of a critique of the traditional theories of approximation and idealization; and after identifying one of the major roles of idealization as detaching component processes or systems from their joints, a detailed analysis is given of idealized laws – which are discoverable and/or applicable – in such processes and systems (i.e., idealized model systems). Then, I argue that dispositional properties should be regarded as admissible properties for laws and that such an inclusion supplies the (...) much needed connection between idealized models and the laws they `produce'' or `accommodate''. And I then argue that idealized law-statements so produced or accommodated in the models may be either true simpliciter or true approximately, but the latter is not because of the idealizations involved. I argue that the kind of limiting-case idealizations that produce approximate truth is best regarded as approximation; and finally I compare my theory with some existing theories of laws of nature.We seem to trace [in KingLear] ... the tendency of imagination toanalyse and abstract, to decomposehuman nature into its constituentfactors, and then to construct beings in whomone or more of these factors isabsent or atrophied or only incipient. (shrink)

Knowledge of many facts does not amount to understanding unless one also has a sense of how the facts fit together. This aspect of coherence among scientific observations and theories is usually overlooked in summaries of scientific method, since the emphasis is on justification and verification rather than on understanding. I argue that the inter-theoretic coherence, as the hallmark of understanding, is an essential and informative component of any accurate description of science.

I argue here for a number of ways that modern computational science requires a change in the way we represent the relationship between theory and applications. It requires a switch away from logical reconstruction of theories in order to take surface mathematical syntax seriously. In addition, syntactically different versions of the same theory have important differences for applications, and this shows that the semantic account of theories is inappropriate for some purposes. I also argue against formalist approaches in the philosophy (...) of science and for a greater role for perceptual knowledge rather than propositional knowledge in scientific empiricism. (shrink)

Error is protean, ubiquitous and crucial in scientific process. In this paper it is argued that understanding scientific process requires what is currently absent: an adaptable, context-sensitive functional role for error in science that naturally harnesses error identification and avoidance to positive, success-driven, science. This paper develops a new account of scientific process of this sort, error and success driving Self-Directed Anticipative Learning (SDAL) cycling, using a recent re-analysis of ape-language research as test example. The example shows the limitations of (...) other accounts of error, in particular Mayo’s (Error and the growth of experimental knowledge, 1996) error-statistical approach, and SDAL cycling shows how they can be fruitfully contextualised. (shrink)

Reductionism, in the sense of the doctrine that theories on different levels of reality should exhibit strict and general relations of deducibility, faces well-known difficulties. Nevertheless, the idea that deeper layers of reality are responsible for what happens at higher levels is well-entrenched in scientific practice. We argue that the intuition behind this idea is adequately captured by the notion of supervenience: the physical state of the fundamental physical layers fixes the states of the higher levels. Supervenience is weaker than (...) traditional reductionism, but it is not a metaphysical doctrine: one can empirically support the existence of a supervenience relation by exhibiting concrete relations between the levels. Much actual scientific research is directed towards finding such inter-level relations. It seems to be quite generally held that the importance of such relations between different levels is that they are explanatory and give understanding: deeper levels provide deeper understanding, and this justifies the search for ever deeper levels. We shall argue, however, that although achieving understanding is an important aim of science, its correct analysis is not in terms of relations between higher and lower levels. Connections with deeper layers of reality do not generally provide for deeper understanding. Accordingly, the motivation for seeking deeper levels of reality does not come from the desire to find deeper understanding of phenomena, but should be seen as a consequence of the goal to formulate ever better, in the sense of more accurate and more-encompassing, empirical theories. (shrink)

Imre Lakatos' philosophical and scientific papers are published here in two volumes. Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume II presents his work on the philosophy of mathematics (much of it unpublished), together with some critical essays on contemporary philosophers of science and some famous polemical writings on political and educational issues. Imre Lakatos had an influence (...) out of all proportion to the length of his philosophical career. This collection exhibits and confirms the originality, range and the essential unity of his work. It demonstrates too the force and spirit he brought to every issue with which he engaged, from his most abstract mathematical work to his passionate 'Letter to the director of the LSE'. Lakatos' ideas are now the focus of widespread and increasing interest, and these volumes should make possible for the first time their study as a whole and their proper assessment. (shrink)

In this book Bruno Latour brings together these different approaches to provide a lively and challenging analysis of science, demonstrating how social context..

Simulation techniques, especially those implemented on a computer, are frequently employed in natural as well as in social sciences with considerable success. There is mounting evidence that the "model-building era" (J. Niehans) that dominated the theoretical activities of the sciences for a long time is about to be succeeded or at least lastingly supplemented by the "simulation era". But what exactly are models? What is a simulation and what is the difference and the relation between a model and a simulation? (...) These are some of the questions addressed in this article. I maintain that the most significant feature of a simulation is that it allows scientists to imitate one process by another process. "Process" here refers solely to a temporal sequence of states of a system. Given the observation that processes are dealt with by all sorts of scientists, it is apparent that simulations prove to be a powerful interdisciplinarily acknowledged tool. Accordingly, simulations are best suited to investigate the various research strategies in different sciences more carefully. To this end, I focus on the function of simulations in the research process. Finally, a somewhat detailed case-study from nuclear physics is presented which, in my view, illustrates elements of a typical simulation in physics. (shrink)

Many scientists believe that there is a uniform, interdisciplinary method for the prac- tice of good science. The paradigmatic examples, however, are drawn from classical ex- perimental science. Insofar as historical hypotheses cannot be tested in controlled labo- ratory settings, historical research is sometimes said to be inferior to experimental research. Using examples from diverse historical disciplines, this paper demonstrates that such claims are misguided. First, the reputed superiority of experimental research is based upon accounts of scientific methodology (Baconian inductivism (...) or falsificationism) that are deeply flawed, both logically and as accounts of the actual practices of scientists. Second, although there are fundamental differences in methodology between experimental scien- tists and historical scientists, they are keyed to a pervasive feature of nature, a time asymmetry of causation. As a consequence, the claim that historical science is methodo- logically inferior to experimental science cannot be sustained. (shrink)

This paper argues that scientific studies distinguish themselves from other studies by a combination of their processes, their elements and the roles of these elements. This is supported by constructing a process model. An illustrative example based on Newtonian mechanics shows how scientific knowledge is structured according to the process model. To distinguish scientific studies from research and scientific research, two additional process models are built for such processes. We apply these process models: to argue that scientific progress should emphasize (...) both the process of change and the content of change; to chart the major stages of scientific study development; and to define "science". (shrink)