Much of Grünbaum's work may be regarded as a careful development and systematic elaboration of the Riemann-Poincaré thesis of the conventionality of congruence, the thesis that the continuous manifolds of space, time, and space-time are intrinsically metrically amorphous, i.e. are devoid of intrinsic metrics. Therefore, to appreciate Grünbaum's philosophical contributions, one must have a clear understanding of what he means by an intrinsic metric. The second and fourth sections of this paper are exegetical; in them we try to piece together, (...) from his sundry remarks about intrinsic metrics, what Grünbaum means by the term 'intrinsic metric.' We shall argue that, the customary carefulness and precision of Grünbaum's writings notwithstanding, there are residual unclarities and difficulties which beset his conception of an intrinsic metric. In the fifth section we shall propose an explication of Grünbaum's notion of an intrinsic metric which seems on the whole faithful to Grünbaum's intuitions and insights and which also seems capable of performing the philosophical services which his work demands of that notion. The third section is a digression on Zeno's metrical paradox of extension. (shrink)

Despite their centrality and importance to both science and philosophy, relatively little has been written about thought experiments. This volume brings together a series of extremely interesting studies of the history, mechanics, and applications of this important intellectual resource. A distinguished list of philosophers and scientists consider the role of thought experiments in their various disciplines, and argue that an examination of thought experimentation goes to the heart of both science and philosophy.

When they abandoned the analytic-synthetic distinction, analytic philosophers substituted for it uncritical appeals to thought experiments or conceivability arguments. Although the history of philosophy is replete with thought experiments, medieval and early modern philosophers developed sophisticated theories concerning what governs what happens in thought experiments. By contrast, contemporary philosophers subscribe to the thesis of facile conception according to which casual allegations of conceivability or inconceivability are taken as good evidence of possibility or impossibility. Philosophers need to adopt standards of thought (...) experimentation like those found in science and to ground them in a general theory of conceivability. (shrink)

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

Four progressively ambitious systems of modal propositional logic are set forth, together with decision procedures. The simultaneous employment of parenthesis notation and parenthesis-free notation, the dual use of symbols as primitive and defined, and the introduction of a new modal operator (the truth operator) are the principal devices used to effect the development of these logics. The first two logics turn out to be "the same" as two of von Wright's systems.

Semantic Holism is the claim that any semantic path from inferential semantics (the indeterminate semantics forced by the classical inference rules of PC) reaches all the way to classical semantics if it is even one step long. In our joint paper Semantic Holism, Belnap and I showed that some such semantic paths are two steps long, but we left open a number of questions about the lengths of semantic paths. Here I answer the most important of these questions by showing (...) that there are infinitely long semantic paths that begin at inferential semantics but that do not even reach classical semantics. I do this by showing how to construct such an infinite semantic path from the members of the family of (n–1)-out-of-n-disjunction connectives. (shrink)