This paper takes part in the methodological debate concerning the nature and the justification of hypotheses about computational systems in software engineering by providing an epistemological analysis of Software Testing, the practice of observing the programs’ executions to examine whether they fulfil software requirements. Property specifications articulating such requirements are shown to involve falsifiable hypotheses about software systems that are evaluated by means of tests which are likely to falsify those hypotheses. Software Reliability metrics, used to measure the growth of (...) probability that given failures will occur at specified times as new executions are observed, is shown to involve a Bayesian confirmation of falsifiable hypotheses on programs. Coverage criteria, used to select those input values with which the system under test is to be launched, are understood as theory-laden principles guiding software tests, here compared to scientific experiments. Redundant computations, fault seeding models and formal methods used in software engineering to evaluate test results are taken to be instantiations of some epistemological strategies used in scientific experiments to distinguish between valid and non-valid experimental outcomes. The final part of the paper explores the problem, advanced in the context of the philosophy of technology, of defining the epistemological status of software engineering by conceiving it as a scientifically attested technology. (shrink)

Modern epistemology is in the peculiar position of retaining its trust in man’s ability to acquire knowledge without being capable of specifying the reasons for our gnosis success. Popper was the first to state that any conclusion concerning the possibility or impossibility of knowing is a transcendental statement and he states, also, that man reaches knowledge while trying to guess. In my opinion, we know things because we assume to have always been aware of them, in the sense that some (...) form of immediate awareness has promptly enabled us to perceive them, identify them, use them. But one needs to ascertain whether the reason is the most suitable faculty to ensure the positive development of knowledge. At last, Kuhn claims the impossibility of comparing different theories. But if we establish a comparison between theories in terms of their complexity, then we must admit that there occurs some progress. (shrink)

In this paper I ask how educational researchers can believe the subjective perceptions of qualitative participant-observers given the concern for objectivity and generalisability of experimental research in the behavioural and social sciences. I critique the most common answer to this question within the educational research community, which posits the existence of two (or more) equally legitimate epistemological paradigms—positivism and constructivism—and offer an alternative that places a priority in educational research on understanding the purposes and meanings humans attribute to educational practices. (...) Only within the context of what I call a transcendent view from somewhere—higher ideals that govern human activities—can we make sense of quantitative as well as qualitative research findings. (shrink)

Our aim is to point out some differences between verbal and visual arguments, promoting the rhetorical perspective of argumentation beyond the relevance of logic and pragmatics. In our view, if it is to be rational and successful, film as (visual) argumentation must be addressed to spectators who hold informed beliefs about the theme watched on the screen and the medium’s constraints and conventions. In our reflections to follow, we apply rhetorical analysis to film as a symbolic, human, and communicative act (...) that may sometimes be understood as a visually laid out argument. As a mixture of visual, auditory, and verbal stimuli, film demands active and complex interpretation and (re)construction. Our suggestion is to focus on five different but interrelated elements. The reconstruction and evaluation of the visual argument will be based on those elements, and the whole process will be one of visual argumentation. (shrink)

The purpose of this article is to critically assess the ‘three-world theory’ as it is presented—with some slight but decisive differences—by Jürgen Habermas and Karl Popper. This theory presents the philosophy of science with a conceptual and material problem, insofar as it claims that science has no single access to all aspects of the world. Although I will try to demonstrate advantages of Popper’s idea of ‘the third world’ of ideas, the shortcomings of his ontological stance become visible from the (...) pragmatic point of view in Habermas’s theory of communicative acts. With regard to the critique that the three-world theory has met in both its pragmatic and ontological versions, I will take a closer look at John Searle’s naturalistic counter-position. By teasing out some problematic implications in his theory of causation, I aim to show that Searle’s approach is, in fact, much closer to Popper’s than he might think. Finally, while condoning Habermas’s distinction between the natural world and the lifeworld, I will opt for a pragmatically differentiated view of ‘the real’, rather than speaking of different worlds. (shrink)

Stephen Turner defends the sociopolitical role that experts—mainly but not only of the scientific kind—play in modern democratic society and explores means for increasing the rationality of their employment. Laudable though this is, at times Turner goes into more detail than democratic principles require; in his enthusiasm for rationality, he aims at levels of adequacy that are not always within the grasp of democracy.

A methodology of science must satisfy two requirements: (i) It must be ampliative: the theories which it generates must make statements that go far beyond any data or observations that may have motivated those theories in the first place. (ii) It must be epistemically probative: it must somehow provide a warrant for believing that the theories so produced are correct, or at least partially correct, even if they can never be fully confirmed. These two requirements pull in opposite directions, and (...) attempts to specify the “scientific method” often focus on one to the exclusion of the other. On a few points there now exists something approaching a consensus. (i) Scientific hypotheses — including, particularly, statements about unobserved or unobservable entities or mechanisms — remain conjectural, no matter how frequently predictions based on those hypotheses are found to coincide with data. (ii) A good (best?) indicator of a theory’s verisimilitude is its ability to successfully predict phenomena which it was not specifically designed to predict. I discuss these ideas with particular reference to cosmological theories. (shrink)

In Logik der Forschung (1934) and later works, Karl Popper proposed a set of methodological rules for scientists. Among these were requirements that theories should evolve in the direction of increasing content, and that new theories should only be accepted if some of their novel predictions are experimentally confirmed. There are currently two, viable theories of cosmology: the standard cosmological model, and a theory due to Mordehai Milgrom called MOND. Both theories can point to successes and failures, but only MOND (...) has repeatedly made novel predictions that were subsequently found to be correct. Standard-model cosmologists, by contrast, have almost always responded to new observations in a post-hoc manner, adjusting or augmenting their theory as needed to obtain correspondence with the facts. I argue that these methodological differences render a comparison of the two theories in terms of their ‘truthlikeness’ or ‘verisimilitude’ essentially impossible since the two groups of scientists achieve correspondence with the facts in fundamentally different ways, and I suggest that a better guide to the theories’ progress toward the truth might be the methodologies themselves. (shrink)

We presuppose a position of scientific realism to the effect (i) that the world exists and (ii) that through the working out of ever more sophisticated theories our scientific picture of reality will approximate ever more closely to the world as it really is. Against this background consider, now, the following question: 1. Do the empirical theories with the help of which we seek to approximate a good or true picture of reality rest on any non-empirical presuppositions? One can answer (...) this question with either a 'yes' or a 'no'. 'No' is the preferred answer of most contemporary methodologists -- Murray Rothbard is one distinguished counterexample to this trend -- who maintain that empirical theories are completely free of non-empirical ('a priori') admixtures and who see science as a matter of the gathering of pure 'data' obtained through simple observation. From such data scientific propositions are then supposed to be somehow capable of being established. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

La filosofía de la ciencia se desarrolló durante la primera mitad del siglo xx bajo el supuesto de que la ciencia podía caracterizarse por la estructura lógica tanto del conocimiento articulado en las teorías más exitosas como de sus explicaciones. En la segunda mitad del siglo xx se cuestiona fuertemente esa idea, pero se sigue asumiendo que la filosofía de la ciencia debe hacerse siguiendo los cánones de una epistemología fundamentalista que considera que el avance de la ciencia pasa por (...) una ontología cada vez mas austera guiada por la idea de "mientras menos mejor". Desde esta perspectiva fundamentalista, el que las diferentes ciencias hablen de diferentes tipos de cosas es un obstáculo al entendimiento, producto de la imperfección del conocimiento actual. Este ideal nos invita a pensar que la epistemología debe hacerse reflexionando sobre el conocimiento articulado en nuestras teorías más austeras y nos compromete con propuestas reduccionistas problemáticas que no permiten explicar la diversidad de recursos epistémicos que de hecho utilizan los científicos. En este libro promovemos una epistemología que no sigue el lema de "mientras menos mejor", sino el de "organizar nuestros recursos epistémicos de manera que se genere entendimiento". Así, la misma estructura de las explicaciones y las prácticas (que incluye métodos y normas respecto de lo que se considera plausible y valioso) es lo que nos da la pauta para responder a la pregunta de qué es lo que hay. Esta estrategia epistémica nos obliga a hacer una filosofía de la ciencia muy cercana a la ciencia, reconociendo la pluralidad de sus métodos, objetivos y prácticas, sin reducir la filosofía de la ciencia a la sociología o a cualquier otra ciencia en particular. (shrink)

Alan Musgrave is one of the foremost contemporary defenders of scientific realism. He is also one of the leading exponents of Karl Popper’s critical rationalist philosophy. In this paper, my main focus will be on Musgrave’s realism. However, I will emphasize epistemological aspects of realism. This will lead me to address aspects of his critical rationalism as well.

Scientific realism is the position that the aim of science is to advance on truth and increase knowledge about observable and unobservable aspects of the mind-independent world which we inhabit. This book articulates and defends that position. In presenting a clear formulation and addressing the major arguments for scientific realism Sankey appeals to philosophers beyond the community of, typically Anglo-American, analytic philosophers of science to appreciate and understand the doctrine. The book emphasizes the epistemological aspects of scientific realism and contains (...) an original solution to the problem of induction that rests on an appeal to the principle of uniformity of nature. (shrink)

The thesis investigates how the notion of ‘ontology’ has been used in the field of medical informatics and knowledge representation. Partly to investigate what an ‘ontology’ can be said to represent and what requirements we can have on a good ‘ontology’. The author studies the already existing medical terminologies and ‘ontologies’ to elucidate what theories they are based on. The terminological theories of Eugen Wüster and his legacy in medical informatics are studied. It is noted that terminological theories handling linguistic (...) entities are not suited for describing and representing medical theories, since these are assumed to refer to the real world, which consists of more than linguistics entities. In order to find a metaphysical theory in accordance with the world view that medical theories describe, the author turn to the critical realism of Karl Popper, Roy Bhaskar and Ilkka Niiniluoto. These theories, taken together with the metaphysical theories regarding universals of David M Armstrong and Ingvar Johansson, are used as a basis to find out what an ‘ontology’ can be said to represent, and what criteria and requirements we can have on a good ‘ontology’. Among the requirements presented in the thesis are stability, interoperability and the requirement that a good ‘ontology’ must be in accordance with our best available theories. Finally, it is discussed how these requirements and criteria can come into conflict with one another, and how one should reason when handling these trade-offs. The author emphasises the importance of including the medical expertise in the process of creating ‘ontologies’, in order to produce as useful and relevant ‘ontologies’ as possible. (shrink)

Popper claims that error indicates what to avoid and there is no recipe for how to proceed. Most rationalist philosophers ignore his arguments and still try to justify their views instead of trying to improve upon them by criticizing them and conjecturing alternatives. In public discourse barren forms of justification are widespread. More and better critical institutions are required, and these require political compromise on shared aims.

Michael F. Duggan ABSTRACT: This article examines the basis for testing historical claims and proffers the observation that the historical method is akin to the scientific method in that it utilizes critical elimination rather than justification. Building on the critical rationalism of Karl Popper – and specifically the deductive component of the scientific method called ….

A common objection to a pragmatist perspective on scientific expertise is that, while there is a well-known pragmatist theory of inquiry, which was formulated first by Peirce, then refined by Dewey and others, this theory cannot provide a clear-cut account of scientific expertise. In this paper, after addressing this objection in the second section, I claim that, on the contrary, pragmatism offers robust tools to think scientific expertise. In Sections 3 to 7, I present five important insights that one can (...) derive from a pragmatist epistemology when responding to contemporary problems posed by expertise: about science and scientific expertise in a legal context (sections 3 and 4), about collective expertise (sections 5 and 6), and even about expertise on ignorance (section 7). (shrink)

The main thrust of the argument of this thesis is to show the possibility of articulating a method of construction or of synthesis--as against the most common method of analysis or division--which has always been (so we shall argue) a necessary component of scientific theorization. This method will be shown to be based on a fundamental synthetic logical relation of thought, that we shall call inversion--to be understood as a species of logical opposition, and as one of the basic monadic (...) logical operators. Thus the major objective of this thesis is to This thesis can be viewed as a response to Larry Laudan's challenge, which is based on the claim that ``the case has yet to be made that the rules governing the techniques whereby theories are invented (if any such rules there be) are the sorts of things that philosophers should claim any interest in or competence at.'' The challenge itself would be to show that the logic of discovery (if at all formulatable) performs the epistemological role of the justification of scientific theories. We propose to meet this challenge head on: a) by suggesting precisely how such a logic would be formulated; b) by demonstrating its epistemological relevance (in the context of justification) and c) by showing that a) and b) can be carried out without sacrificing the fallibilist view of scientific knowledge. OBJECTIVES: We have set three successive objectives: one general, one specific, and one sub-specific, each one related to the other in that very order. (A) The general objective is to indicate the clear possibility of renovating the traditional analytico-synthetic epistemology. By realizing this objective, we attempt to widen the scope of scientific reason or rationality, which for some time now has perniciously been dominated by pure analytic reason alone. In order to achieve this end we need to show specifically that there exists the possibility of articulating a synthetic (constructive) logic/reason, which has been considered by most mainstream thinkers either as not articulatable, or simply non-existent. (B) The second (specific) task is to respond to the challenge of Larry Laudan by demonstrating the possibility of an epistemologically significant generativism. In this context we will argue that this generativism, which is our suggested alternative, and the simplified structuralist and semantic view of scientific theories, mutually reinforce each other to form a single coherent foundation for the renovated analytico-synthetic methodological framework. (C) The third (sub-specific) objective, accordingly, is to show the possibility of articulating a synthetic logic that could guide us in understanding the process of theorization. This is realized by proposing the foundations for developing a logic of inversion, which represents the pattern of synthetic reason in the process of constructing scientific definitions. (shrink)

This paper (in Finnish) concerns the ontological status of categories of entities. I argue that categories are not be considered as further entities. Rather, it is suffcient for entities belonging to the same category that they are in exactly the same formal ontological relations and have the same general category features.