Originally published: London: Allen & Unwin, 1936.

PART ONE ELEMENTS OF SCHOLASTIC LOGIC I THE LEGACY OF SCHOLASTIC LOGIC "\ T 7E MAY safely describe the initial scholastic contri- VV bution to logical ...

Kant famously declares that “although all our cognition commences with experience, … it does not on that account all arise from experience”. This marks Kant’s disagreement with empiricism, and his contention that human knowledge and experience require both sensation and the use of certain a priori concepts, the Categories. However, this is only the surface of Kant’s much deeper, though neglected view about the nature of reason and judgment. Kant holds that even our a priori concepts are acquired, not from (...) sensation, but “originally,” because our mind has a fundamental capacity to judge that, upon sensory stimulation, generates the Categories through its basic logical functions of judgment. This “epigenesis” of reason and our fundamental capacity to judge that drives it is the topic of Longuenesse’s fascinating book, and the source of her title. (shrink)

Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. Kant's claim is not (...) a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence. (shrink)

Kant’s Critique of Pure Reason (KrV) presents a priori knowledge of synthetic truths as posing a philosophical problem of great import whose only possible solution vindicates the system of transcendental idealism. The work does not accord any such significance to a priori knowledge of analytic truths. The intelligibility of the contrast rests on the well-foundedness of Kant’s analytic–synthetic distinction and on his claim to objectively or correctly classify key judgments with respect to it. Though the correctness of Kant’s classification is (...) vital to his philosophical project, it has been vigorously challenged since he introduced his famous distinction of judgments. The aim of this essay is to explore several metaphysical motives contributing to Kant’s objective classification claim that have been underemphasized and in part overlooked in the large literature on the topic. (shrink)

Kant’s distinction between analytic and synthetic judgments is best known through his metaphoric definition of an analytic judgment as one in which “the predicate B belongs to the subject A, as something which is contained in this subject A”. Although this is the most famous formulation of Kant’s distinction, what strikes a student most forcefully about Kant’s discussion of analyticity is the variety of different ways in which he explains the idea. One can identify passages which seem to make analyticity (...) depend upon containment, identity, contradiction, our way of knowing the judgment in question, our way of thinking the judgment in question, the function or role of the judgment in question. In addition to these six prima facie different conceptions of analyticity, there is also a question whether Kant intends his distinction to range over all judgments or only over subject-predicate judgments; if we apply these two alternatives to the six conceptions of analyticity, we have a total of twelve theories of analyticity contained in or suggested by Kant’s discussion. This is a bewildering situation indeed, and it is no wonder that subsequent discussions of analyticity have often lacked the decisiveness that one might wish for in matters of logic. (shrink)

In the modern discussions about possibility of synthetic a priori propositions, the theory of definition has a fundamental importance, because the most definition’s theories hold that analytic judgments are involved by explicit definition . However, for Kant –first author who pointed out the distinction between analytic and synthetic propositions–many analytic judgments are made by analysis of concepts which need not first be established by definition. Moreover, for him not all a priori knowledge is analytic. The statement that not all analytic (...) judgment is derived from definition and possibility of synthetic a priori knowledge, indicates Kant didn’t believe, contrary to modern theories about analytic judgment, the definition is an essential ground of knowledge. (shrink)

HISTORICAL INTRODUCTION Although many of the details of the development of logic in the Middle Ages remain to be filled in, it is well known that between ...

One of the central and most distinctive theses of Kant’s philosophy of mathematics is that mathematical knowledge is synthetic. In this context, synthetic judgments are defined in opposition to analytic ones, whose predicate concept is “contained in” the subject. Kant’s thesis has often been attacked as indefensible, but just as frequently critics have complained that the thesis itself, and even the analytic/synthetic distinction on which it rests, are simply unintelligible. Thus, even prior to questions of its correctness, the Kantian doctrine (...) has been rejected as unclear, based on general skepticism that there is a real distinction of “containment”—or indeed any tolerably clear distinction at all—between analytic and synthetic judgments. (shrink)

An account of judgment ought to explain the fact that a judgment is, or may be, about some object. A judgment may be about some object if it contains some part, or term, which is related to the object, on the one hand, and related to- ‘combined with’ — the other parts of the judgment, on the other, in such a way that the whole judgment is consequently about that object. The relation of that term to the object may be (...) called ‘reference.’ It is the relation of ‘reference’ that might make a judgment ‘objective,’ and make it be about one or another particular object; and it is the relation combining the referring term with another term that makes the whole thing a judgment; that is, that makes the whole thing represent something as being true of the object referred to. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a priori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it mean, then, to say (...) that logic is distinctively formal? (shrink)

In Kant’s logical texts the reference of the form S is P to an “unknown = x” is well known, but its understanding still remains controversial. Due to the universality of all concepts, the subject as much as the predicate is regarded as predicate of the x, which, in turn, is regarded as the subject of the judgment. In the CPR, this Kantian interpretation of the S-P relationship leads to the question about the relations between intuition and concept in judgment. (...) In contrast to intuition, if no concept, due to its universality, refers immediately to an object, how should one understand the relations of S and P to one another, as well as their relations to intuition, which corresponds to the possible individuality of the object in general = x? To answer this question, it is necessary to understand Kant’s notion of extension, and to prove its irreducibility to the Port-Royal notion of extension as well as to the Fregean one. (shrink)