The basis of the paper is a logic of analytical consequential implication, CI.0, which is known to be equivalent to the well-known modal system KT thanks to the definition A → B = df A ⥽ B ∧ Ξ (Α, Β), Ξ (Α, Β) being a symbol for what is called here Equimodality Property: (□A ≡ □B) ∧ (◊A ≡ ◊B). Extending CI.0 (=KT) with axioms and rules for the so-called circumstantial operator symbolized by *, one obtains a system CI.0*Eq (...) in whose language one can define an operator ↠ suitable to formalize context-dependent conditionals (so to counterfactual conditionals) via the definition (Def ↠) A ↠ B = df *A ⥽ B ∧ Ξ (Α, Β).. The central problem of the paper is to identify inside CI.0*Eq + Def ↠ a set of axioms yielding the fragment consisting of all and only theorems in which only truth-functional operators and the two operators → and ↠ occur. This system, here called CI.0, is introduced in §3. In view of the intended purpose, it is introduced a complete and tableau-decidable system KTw, which is an extension of KT with axioms for the so-called quasi-variables w(A), w(B)… Three translation functions among the three languages used in the paper are then introduced. The first, Tr, maps every wff of form *A into wffs of form w(A) ∧ A and translates theorems of CI.0*Eq into theorems of KTw. The second, t°, translates theorems of CI.0 into theorems of CI.0*Eq by applying Def↠. A third one, t, translates theorems of CI.0 into theorems of KTw. As a consequence, it follows that t°A = TrtA. In §4 it is proved that CI.0 is complete w.r.t. the class of CI.0-models of form where f is a selection function and R an access relation. It is then proved (i) that CI.0 models may be converted into KTw-models; (ii) that the truth-value of a proposition in a world of a CI.0-model is preserved in the same world of the derived KTw-model; (iii) that A is a CI.0-thesis iff its translation tA is KTw-thesis. It follows that, if A is not a CI.0-thesis, tA is not a KTw-thesis, so also that TrtA is not a CI.0*Eq-thesis. Since t°A = TrtA and t°A is a function built on Def↠, this proves that every t°-translation of a CI.0-wff that is a CI.0*Eq-theorem is a CI.0-theorem. Since the converse proposition is proved in §2, their conjunction establishes the desired result. In the final section, it is proved that CI.0 is tableau-decidable, that ↠ is not a trivial operator and that ↠ enjoys the positive and negative properties required in §1 for context-dependent conditionals. Some final remarks suggest that studying the relations between CI.0 and systems of classical conditional logic may be a promising line of investigation. (shrink)

Prompted by the "Panel Discussion of Grünbaum's Philosophy of Science" (Philosophy of Science 36, December, 1969) and other recent literature, this essay ranges over major issues in the philosophy of space, time and space-time as well as over problems in the logic of ascertaining the falsity of a scientific hypothesis. The author's philosophy of geometry has recently been challenged along three main distinct lines as follows: (i) The Panel article by G. J. Massey calls for a more precise and more (...) coherent account of the Riemannian conception of an intrinsic as opposed to an extrinsic metric, which the author has invoked as his basis for the distinction between non-conventional and convention-laden ascriptions of metrical equality and inequality; (ii) the latter distinction has been claimed to suffer from the liabilities of the so-called "standard conception" of scientific theories [36]; and (iii) pursuant to H. Putnam's "An Examination of Grünbaum's Philosophy of Geometry" [56], J. Earman [16, 17] and R. Swinburne [65] have contended that the difference between intrinsic and extrinsic metrics is scientifically unilluminating, and that the associated distinction between non-conventional and convention-laden metrical comparisons does not have the kind of relevance to extant scientific theories that the author has claimed for it. The essay consists of two installments. The present installment, comprising the Introduction and Part A, is devoted to the clarification, correction and further development of the author's prior writings on the philosophy of geometry. Its main objective is constructive elaboration rather than offering polemics. But rebuttals to Earman, [16, 17], Swinburne [65] and Demopoulos [13] are included, because their inclusion conduced to clarity in giving the new exposition. Part B is to appear in a subsequent issue and will be devoted to replies to critiques contained in the Panel Discussion and in other recent literature. It will range over issues in the philosophy of geometry and in the logic of ascertaining the falsity of a scientific hypothesis. By way of merely elliptical anticipation of much more precise statements given in Part A, section 3(ii), the Introduction dissociates the notion of convention-ladenness developed in Part A from the quite different notion integral to the so-called "standard conception" of scientific theories. Thereby, the Introduction prepares the ground for seeing, as a corollary to Part A, section 3(ii), that the notion advocated in the present essay has nothing to fear from the following fact, noted by C. G. Hempel ([36]; cf. also his 1970 Carus Lectures): "even though a sentence may originally be introduced as true by stipulation, it soon joins the club of all other member-statements of the theory and becomes subject to revision in response to further empirical findings and theoretical developments." Part A, which begins with a fairly detailed table of contents, endeavors to meet the aforementioned three-fold challenge to the author's philosophy of geometry. Massey's call for the provision of clear and detailed characterizations of intrinsic and extrinsic metrics is answered with the invaluable aid rendered personally by Massey himself. These characterizations are shown to permit a precise explication of the portions of Riemann's Inaugural Dissertation relevant to (1) Riemann's brilliant anticipation of Einstein's dynamical conception of physical geometry, and (2) the author's philosophical characterization of the metrics and geometries of space, time, and space-time {section 2(c)}. A byproduct of the analysis is to raise two major philosophical doubts concerning Clifford's sketch of a so-called "space-theory of matter" as elaborated in J. A. Wheeler's relativistic geometrodynamics. That theory's vision of understanding matter as a manifestation of empty curved space is questioned in regard to (1) the existence of an intra-geometrodynamic basis for individuating the metrically homogeneous world points of its space-time manifold {section 1(a)}, and (2) the compatibility of the theory with the Riemannian metrical philosophy apparently espoused by its proponents {section 2(c)(i)}. (shrink)

This book is a thesis submitted to the Faculty of Arts of the University of Utrecht. It was prepared under the supervision of Prof. Dr. H. Schultink. I would like to express my gratitude to him for his criticisms of earlier versions which led to many improvements, in particular with respect to the exposition of the argument. To my co-referent Dirk van Dalen, reader in the Department of Philo sophy (,Centrale Interfaculteit') of the University of Utrecht, I am greatly indebted (...) for his valuable and fruitful suggestions about problems relevant to both linguistics and logic. Several ideas developed in this study owe their present concrete form to our many discussions. This thesis originates in syntactic research into the Aspects carried out in 1967 under the supervision of Albert Kraak, professor at the University of Nijmegen, who ever since gave much attention to my work in progress. I am very grateful to him for his careful and stimulating criticism as well as for the continuous support he gave me during these years. The present study closely relates to the work of my colleague Wim Klooster with regard to both its theoretical framework and its subject matter. Our joint work on the measurement of duration in Dutch is an integral part of the argument. I have greatly profited from the numerous discussions we have had. (shrink)