I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...

A word of warning concerning the aims of this volume is in order. Other wise some readers might be unpleasantly surprised by the fact that two of the chapters of an ostensibly historical book are largely topical rather than historical. They are Chapters 7 and 9, respectively entitled 'Are Logical Truths Analytic?' and 'A Priori Truths and Things-In-Them selves'. Moreover, the history dealt with in Chapter 11 is so recent as to have more critical than antiquarian interest. This mixture of (...) materials may seem all the more surprising as I shall myself criticize (in Chapter I) too facile assimilations of earlier thinkers' concepts and problems to later ones. There is no inconsistency here, it seems to me. The aims of the present volume are historical, and for that very purpose, for the purpose of understanding and evaluating earlier thinkers it is vital to know the conceptual landscape in which they were moving. A crude analogy may be helpful here. No military historian can afford to neglect the topo graphy of the battles he is studying. If he does not know in some detail what kind of pass Thermopylae is or on what sort of ridge the battle of Bussaco was fought, he has no business of discussing these battles, even if this topographical information alone does not yet amount to historical knowledge. (shrink)

By way of a reply to Charles Parsons's paper in the Nagel Festschrift, Kant's notion of intuition (Anschauung) is examined. It is argued that for Kant the immediate relation which an intuition has to its object is a mere corollary to its singularity. It does not presuppose (as Parsons suggests) any presence of the object to the mind. This is shown, e.g., by the Prolegomena § 8, where the objects of intuitions a priori are denied by Kant to be so (...) present. They yield knowledge, not in virtue of their immediacy but in virtue of their ideality. (shrink)

Contents: Preface VII; Introduction 1; 1. The General Framework 5; 2. Some Standard Systems 61; 3. Systems in General 147; 4. Non-Standard Systems 177; Bibliography 210; General Index 215; Index of Symbols 219-220.

This article is a clarification of different procedures in natural deduction: universal instantiation, Universal generalisation, Existential generalisation, And existential instantiation. The author discusses rules concerning universal generalisation from copi's "symbolic logic". (staff).