Roman Suszko introduced a broad class of languages into the litera- ture of logic. In honour of L. Wittgenstein Suszko named these languages W-languages. Syntax, semantics and consequence operations in these lan- guages are based on the famous ontological principle: whatever exists is either a situation, or an object, or a function. The distinguishing property of W-languages is that they contain: sentential and nominal variables, an identity connective and an identity predicate. The intended interpretation of W-languages is such that: sentential (...) variables range over universum of situations, nominal variables range over universum of objects. All other symbols in these languages, except sentential and nominal variables, are interpreted as symbols of some functions dened in both universum of sit- uations and universum of objects. The identity connective corresponds to the identity relation between situations, and the identity predicate corre- sponds to the identity relation between objects. (shrink)

In this paper we give the gist of our reconstructed notion of (limiting case) correspondence. Our notion is very general, so that it should be applicable to all the cases in which a correspondence has been said to exist in actual science.

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the function (...) and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

The title of this monograph needs explanation. It certainly sounds too promising. A more adequate, though more cumbersome one, would read: the logical syntax and semantics of the language of empirical theories. The treatment of this subject in the present monograph needs further qualifications. It focusses on what is characteristic of empirical theories as opposed to others, viz. mathematical ones. Now the difference between these two kinds of theories lies evidently, not in their syntax, but semantics. This is why our (...) main concern here is going to be with the problem of interpretation of empirical theories. The fundamental problem here concerns the distinction between the empirical and the a priori elements inherent in any such theory. Accordingly, our final task must include an explication of concepts such as: meaning postulate, analytic, synthetic, empirically meaningful sentence, and others related to them. (shrink)

The relation between logic and philosophy of science, often taken for granted, is in fact problematic. Although current fashionable criticisms of the usefulness of logic are usually mistaken, there are indeed difficulties which should be taken seriously -- having to do, amongst other things, with different "scientific mentalities" in the two disciplines. Nevertheless, logic is, or should be, a vital part of the theory of science. To make this clear, the bulk of this paper is devoted to the key notion (...) of a "scientific theory" in a logical perspective. First, various formal explications of this notion are reviewed, then their further logical theory is discussed. In the absence of grand inspiring programs like those of Klein in mathematics or Hilbert in metamathematics, this preparatory ground-work is the best one can do here. The paper ends on a philosophical note, discussing applicability and merits of the formal approach to the study of science. (shrink)

The relation between logic and philosophy of science, often taken for granted, is in fact problematic. Although current fashionable criticisms of the usefulness of logic are usually mistaken, there are indeed difficulties which should be taken seriously — having to do, amongst other things, with different scientific mentalities in the two disciplines (section 1). Nevertheless, logic is, or should be, a vital part of the theory of science. To make this clear, the bulk of this paper is devoted to the (...) key notion of a scientific theory in a logical perspective. First, various formal explications of this notion are reviewed (section 2), then their further logical theory is discussed (section 3). In the absence of grand inspiring programs like those of Klein in mathematics or Hilbert in metamathematics, this preparatory ground-work is the best one can do here. The paper ends on a philosophical note, discussing applicability and merits of the formal approach to the study of science (section 4). (shrink)

ZusammenfassungUnter den nichtlogischen Konstanten der Wissenschaftssprache werden zwei Arten unterschieden, die Beobachtungsterme und die theoretischen Terme . Die letzteren werden nicht durch Definitionen eingeführt, sondern durch Postulate zweier Arten, nämlich theoretische Postulate, zum Beispiel Grundgesetze der Physik, und Korrespondenzpostulate, die die theoretischen Terme mit Beobachtungstermen verbinden. Wie schon Hilbert gezeigt hat, können in dieser Weise sowohl die Mathematik als auch die theoretische Physik als ungedeutete Kalküle aufgestellt werden. Es wird hier kurz erklärt, dass durch diesen Aufbau auch den mathematischen Termen (...) eine Bedeutung beigelegt wird. Die theoretischen Terme erhalten durch die Korrespondenzpostulate wenigstens eine unvollständige Deutung. Es wird gezeigt, wie die Unterscheidung von analytischen und synthetischen Sätzen auch für die theoretische Sprache definiert werden kann.Among the non‐logical constants of the language of science two kinds are distinguished, the observation terms and the theoretical terms . The latter terms are introduced, not by definitions, but by postulates of two kinds, theoretical postulates, e.g., basic laws of physics, and correspondence postulates which connect the theoretical terms with observation terms. As Hilbert has explained, both mathematics and theoretical physics can in this way be constructed in the form of uninterpreted calculi. It is here briefly indicated that by this method of construction also the mathematical terms have meanings assigned to them. The theoretical terms obtain at least an incomplete interpretation by means of the correspondence postulates. It is shown how the distinction between analytic and synthetic sentences can be defined also for the theoretical language. (shrink)