Summary The model underlying the hippocratic humoral theory, as well as the corresponding part of hippocratic aetiology is reconstructed in precise, structuralist terms. Stress is laid on the presentation of the model, historical and philological derivations are suppressed. The global net structure of humoral theory in which the different diseases are described as specializations of the basic model is worked out, and the particular metatheoretical features of ‘therapeutical’ theories, as contrasted to ‘descriptive’ theories, are exemplified and stated in general.

The observational-theoretical distinction has played a central role in the philosophy of science from logical empiricism onwards. Developments within the discipline have shown that such a distinction hides two non-identical distinctions: observational vs. non-observational and theoretical vs. non-theoretical. Likewise, metatheoretical structuralism proposed a more sophisticated treatment of theoricity in terms of the operational dependence or independence of concepts from the theories in which they appear. Despite this remarkable sophistication, it is still generally accepted that the distinction between theoretical and non-theoretical (...) concepts coincides with the explanatory vs. non-explanatory and testing vs. non-testing distinctions. Ginnobili and Carman argued for the independence between theoricity and explanation. In this paper we will focus on testing and argue for its independence from both theoricity and explanation. To do so, we propose an account of theory testing based on the framework of metatheoretical structuralism and apply it to natural selection theory and cladistics. (shrink)

The net structure of the spatial theory of elections is investigated and described in the format of structuralism. Three new kinds of intertheoretical relations typical for social theory are identified and defined. The historical development of spatial theory as expressed by specializations and other intertheoretic relations is found to be in a sense 'inverse' to that of theories in the natural sciences. The development begins with a 'most special' case.

The aim of this article is to contribute to the discussion about the so-called “empirical claim” and “empirical basis” of theory testing. First, the proposals of reconceptualization of the standard notions of partial potential model, intended application and empirical claim of a theory made by Balzer (1982, 1988, 1997a, 1997b, 2006, Balzer, Lauth & Zoubek 1993) and Gähde (1996, 2002, 2008) will be first discussed. Then, the distinction between “global” and “local empirical basis” will be introduced, linking it with that (...) of “global” and “local or particular empirical claim”. After that, following Balzer (1997a), along the lines of Suppes (1962), I will present a way in which what count as ‘data’ for a theory can be modeltheoretically represented and conceptualized. Finally, the proposed analysis will be exemplified with the case of classical genetics (reconstructed in Balzer & Lorenzano 2000, Lorenzano, 1995, 2000, 2002). (shrink)

In this paper I reconstruct and compare criteria of theoreticity that have been developed by Carnap, Sneed and proponents of the Munich school of structuralist philosophy of science. For this purpose I develop a unified framework in which one can transform model-theoretic theory representations into linguistic ones, and vice versa. This bridges the gap between statement and non-statement view and allows a precise comparison of linguistic and model-theoretic criteria of theoreticity. In the final part I suggest a system of improved (...) definitions of theoreticity and pre-theoreticity. (shrink)

It is shown that the criteria of T-theoreticity proposed by Balzer and Gähde lead to strongly counterintuitive and in this sense paradoxical results: most of the obviously empirical or at least nontheoretical terms come out as theoretical. This is demonstrated for a lot of theories in different areas. On the way, some improved and some new structuralist theory-reconstructions are given. The conclusion is drawn that the T-theoreticity of a term cannot possibly be proved on the basis of the mathematical structure (...) of theory T alone (as Gähde and Balzer suggest). Rather, an independent notion of pre-T-theoreticity and-more importantly-of empiricity is needed; i.e., not empirical and not pre-T-theoretical are independent, necessary but not sufficient conditions for T-theoretical (this is also a necessary complement of Sneed's original criterion). Finally it is asked whether the structuralist criterion of T-theoreticity complemented by such independent conditions would be a satisfactory answer to Putnam's challenge, and the answer again is negative: the criterion is not able to distinguish between empirically contentful and completely contentless (superfluous) theoretical terms. (shrink)

This article presents a reconstruction of the so-called classical, formal or Mendelian genetics, which is intended to be more complete and adequate than existing reconstructions. This reconstruction has been carried out with the instruments, duly modified and extended with respect to the case under consideration, of the structuralist conception of theories. The so-called Mendel’s Laws, as well as linkage genetics and gene mapping are formulated in a precise manner while the global structure of genetics is represented as a theory-net. These (...) results are of methodological, philosophical and didactical relevance. (shrink)

The connection between scientific knowledge and our empirical access to realityis not well explained within the structuralist approach to scientific theories. I arguethat this is due to the use of a semantics not rich enough from the philosophical pointof view. My proposal is to employ Sellars–Brandom's inferential semantics to understand how can scientific terms have empirical content, and Hintikka's game-theoretical semantics to analyse how can theories be empirically tested. The main conclusions are that scientific concepts gain their meaning through `basic (...) theories' grounded on `common sense’, and that scientific method usually allows the pragmatic verification and falsification of scientific theories. (shrink)

SummaryA simple and precise definition is offered of “term t of theory T being T‐theoretical” which can be applied to any formalized theory. The definition is in line with and emends traditional accounts of theoreticity. Its adequacy is demonstrated by application to three examples: exchange economics, classical mechanics and collision mechanics.

The connection between scientific knowledge and our empirical access to realityis not well explained within the structuralist approach to scientific theories. I arguethat this is due to the use of a semantics not rich enough from the philosophical pointof view. My proposal is to employ Sellars–Brandom's inferential semantics to understand how can scientific terms have empirical content, and Hintikka's game-theoretical semantics to analyse how can theories be empirically tested. The main conclusions are that scientific concepts gain their meaning through `basic (...) theories' grounded on `common sense, and that scientific method usually allows the pragmatic verification and falsification of scientific theories. (shrink)

This article mainly consists in a criticism towards the structuralistic reconstructions of exchange economies by Balzer and Stegmüller. It will be shown that Balzer's special law of market clearing is no specialization, that is, no additional axiom bu that it can rather be derived within his reconstruction, if we make one additional assumption, essential concerning exchange economies, and which is usually made in the economic literature. Moreover it will be argued from an economic point of view against separating a law (...) of market clearing from maximizing utilities and regarding market clearing as a special law. Finally we will propose an alternative view. (shrink)