[35] A propositional function is an expression containing a variable, or undetermined constituent, and becoming a proposition as soon as a definite value is assigned to the variable. Examples are: "A is A," "_x_ is a number." The variable is called the _argument_ of the function.

KNOWLEDGE BY ACQUAINTANCE AND KNOWLEDGE BY DESCRIPTION

Mysticism and Logic and Other Essays — Part 132

The object of the following paper is to consider what it is that we know in cases where we know propositions about "the so-and-so" without knowing who or what the so-and-so is. For example, I know that the candidate who gets most votes will be elected, though I do not know who is the candidate who will get most votes. The problem I wish to consider is: What do we know in these cases, where the subject is merely described? I have considered this problem elsewhere[40] from a purely logical point of view; but in what follows I wish to consider the question in relation to theory of knowledge as well as in relation to logic, and in view of the above-mentioned logical discussions, I shall in this paper make the logical portion as brief as possible.

Mysticism and Logic and Other Essays — Part 132

In order to make clear the antithesis between "acquaintance" and "description," I shall first of all try to explain what I mean by "acquaintance." I say that I am _acquainted_ with an object when I have a direct cognitive relation to that object, i.e. when I am directly aware of the object itself. When I speak of a cognitive relation here, I do not mean the sort of relation which constitutes judgment, but the sort which constitutes presentation. In fact, I think the relation of subject and object which I call acquaintance is simply the converse of the relation of object and subject which constitutes presentation. That is, to say that S has acquaintance with O is essentially the same thing as to say that O is presented to S. But the associations and natural extensions of the word _acquaintance_ are different from those of the word _presentation_. To begin with, as in most cognitive words, it is natural to say that I am acquainted with an object even at moments when it is not actually before my mind, provided it has been before my mind, and will be again whenever occasion arises. This is the same sense in which I am said to know that 2+2=4 even when I am thinking of something else. In the second place, the word _acquaintance_ is designed to emphasise, more than the word _presentation_, the relational character of the fact with which we are concerned. There is, to my mind, a danger that, in speaking of presentation, we may so emphasise the object as to lose sight of the subject. The result of this is either to lead to the view that there is no subject, whence we arrive at materialism; or to lead to the view that what is presented is part of the subject, whence we arrive at idealism, and should arrive at solipsism but for the most desperate contortions. Now I wish to preserve the dualism of subject and object in my terminology, because this dualism seems to me a fundamental fact concerning cognition. Hence I prefer the word _acquaintance_ because it emphasises the need of a subject which is acquainted.

Mysticism and Logic and Other Essays — Part 132