Zkoumání je založeno na reflexi sémantického pojetí vědec- kých teorií Ronalda Giera. Gierova východiska a závěry jsou podrobeny kritice, na jejímž základě autor buduje svou vlastní variantu modelově založeného pojetí teorií. Hlavním cílem příspěvku je konceptualizace vztahu mezi principy a modely s důrazem na to, že tento vztah může zakládat dynamiku teorie, respektive posloupnosti teorií. Souhrnně bude v příspěvku prověřována řada tezí: 1) Základními prvky teorie jsou modely, které slouží jako nosiče principů. 2) Modely hrají rozhodující roli při pojmové výstavbě (...) teorie. 3) Modely artikulací principů odhalují poznatky, které ze samotných principů neplynou. 4) Principy mohou být někdy souhrnně definovány až poté, co existuje odpovídající množina modelů. 5) Nová teorie nastoupí ve chvíli, kdy je cluster nových modelů dostatečně komplexní a když si vědecké společenství ujasní, že tento nový cluster je založen na určité množině nových principů. (shrink)

In this paper a unified theory of models and thought experiments is proposed by considering them as fictions, la Vaihinger. In order to reach this aim, the Hertzian and Botzmannian interpretation of theories as Bilder is reconsidered.

Diese Abhandlung diskutiert und kritisiert einige Aspekte der syntaktischen Auffassung der wissenschaftlichen Theorien und tritt dafür ein, daß die einzig mögliche Alternative eine modell-theoretische Annäherung ist.

A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's semantic analysis is provided by the theory of semi-interpreted languages, introduced in a previous paper. After developing Beth's analysis of nonrelativistic physical theories in a more general form, we turn to the notion of the 'logic' of a physical theory. Here we prove a result (...) concerning the conditions under which semantic entailment in such a theory is finitary. We argue, finally, that Beth's approach provides a characterization of physical theory which is more faithful to current practice in foundational research in the sciences than the familiar picture of a partly interpreted axiomatic theory. (shrink)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

I begin by distinguishing two notions of model, the notion of a truth-making structure and the notion of a mathematical model (in one specific sense). I then argue that although the models of the semantic view have often been taken to be both truth-making structures and mathematical models, this is in part due to a failure to distinguish between two ways of truth-making; in fact, the talk of truth-making is best excised from the view altogether. The result is a version (...) of the semantic view which is better supported by the direct evidence offered for it, better equipped to achieve its avowed aims, and, I think, closer to the intentions of the original proponents of the view in many ways, despite some of their own declarations to the contrary. (shrink)