The Third Trichotomy. Thought of the Day 121.0


The decisive logical role is played by continuity in the third trichotomy which is Peirce’s generalization of the old distinction between term, proposition and argument in logic. In him, the technical notions are rhema, dicent and argument, and all of them may be represented by symbols. A crucial step in Peirce’s logic of relations (parallel to Frege) is the extension of the predicate from having only one possible subject in a proposition – to the possibility for a predicate to take potentially infinitely many subjects. Predicates so complicated may be reduced, however, to combination of (at most) three-subject predicates, according to Peirce’s reduction hypothesis. Let us consider the definitions from ‘Syllabus (The Essential Peirce Selected Philosophical Writings, Volume 2)’ in continuation of the earlier trichotomies:

According to the third trichotomy, a Sign may be termed a Rheme, a Dicisign or Dicent Sign (that is, a proposition or quasi-proposition), or an Argument.

A Rheme is a Sign which, for its Interpretant, is a Sign of qualitative possibility, that is, is understood as representing such and such a kind of possible Object. Any Rheme, perhaps, will afford some information; but it is not interpreted as doing so.

A Dicent Sign is a Sign, which, for its Interpretant, is a Sign of actual existence. It cannot, therefore, be an Icon, which affords no ground for an interpretation of it as referring to actual existence. A Dicisign necessarily involves, as a part of it, a Rheme, to describe the fact which it is interpreted as indicating. But this is a peculiar kind of Rheme; and while it is essential to the Dicisign, it by no means constitutes it.

An Argument is a Sign which, for its Interpretant, is a Sign of a law. Or we may say that a Rheme is a sign which is understood to represent its object in its characters merely; that a Dicisign is a sign which is understood to represent its object in respect to actual existence; and that an Argument is a Sign which is understood to represent its Object in its character as Sign. ( ) The proposition need not be asserted or judged. It may be contemplated as a sign capable of being asserted or denied. This sign itself retains its full meaning whether it be actually asserted or not. ( ) The proposition professes to be really affected by the actual existent or real law to which it refers. The argument makes the same pretension, but that is not the principal pretension of the argument. The rheme makes no such pretension.

The interpretant of the Argument represents it as an instance of a general class of Arguments, which class on the whole will always tend to the truth. It is this law, in some shape, which the argument urges; and this ‘urging’ is the mode of representation proper to Arguments.

Predicates being general is of course a standard logical notion; in Peirce’s version this generality is further emphasized by the fact that the simple predicate is seen as relational and containing up to three subject slots to be filled in; each of them may be occupied by a continuum of possible subjects. The predicate itself refers to a possible property, a possible relation between subjects; the empty – or partly satiated – predicate does not in itself constitute any claim that this relation does in fact hold. The information it contains is potential, because no single or general indication has yet been chosen to indicate which subjects among the continuum of possible subjects it refers to. The proposition, on the contrary, the dicisign, is a predicate where some of the empty slots have been filled in with indices (proper names, demonstrative pronomina, deixis, gesture, etc.), and is, in fact, asserted. It thus consists of an indexical part and an iconical part, corresponding to the usual distinction between subject and predicate, with its indexical part connecting it to some level of reference reality. This reality needs not, of course, be actual reality; the subject slots may be filled in with general subjects thus importing pieces of continuity into it – but the reality status of such subjects may vary, so it may equally be filled in with fictitious references of all sorts. Even if the dicisign, the proposition, is not an icon, it contains, via its rhematic core, iconical properties. Elsewhere, Peirce simply defines the dicisign as a sign making explicit its reference. Thus a portrait equipped with a sign indicating the portraitee will be a dicisign, just like a charicature draft with a pointing gesture towards the person it depicts will be a dicisign. Even such dicisigns may be general; the pointing gesture could single out a group or a representative for a whole class of objects. While the dicisign specifies its object, the argument is a sign specifying its interpretant – which is what is normally called the conclusion. The argument thus consists of two dicisigns, a premiss (which may be, in turn, composed of several dicisigns and is traditionally seen as consisting of two dicisigns) and a conclusion – a dicisign represented as ensuing from the premiss due to the power of some law. The argument is thus – just like the other thirdness signs in the trichotomies – in itself general. It is a legisign and a symbol – but adds to them the explicit specification of a general, lawlike interpretant. In the full-blown sign, the argument, the more primitive degenerate sign types are orchestrated together in a threefold generality where no less than three continua are evoked: first, the argument itself is a legisign with a halo of possible instantions of itself as a sign; second, it is a symbol referring to a general object, in turn with a halo of possible instantiations around it; third, the argument implies a general law which is represented by one instantiation (the premiss and the rule of inference) but which has a halo of other, related inferences as possible instantiations. As Peirce says, the argument persuades us that this lawlike connection holds for all other cases being of the same type.

The Second Trichotomy. Thought of the Day 120.0


The second trichotomy (here is the first) is probably the most well-known piece of Peirce’s semiotics: it distinguishes three possible relations between the sign and its (dynamical) object. This relation may be motivated by similarity, by actual connection, or by general habit – giving rise to the sign classes icon, index, and symbol, respectively.

According to the second trichotomy, a Sign may be termed an Icon, an Index, or a Symbol.

An Icon is a sign which refers to the Object that it denotes merely by virtue of characters of its own, and which it possesses, just the same, whether any such Object actually exists or not. It is true that unless there really is such an Object, the Icon does not act as a sign; but this has nothing to do with its character as a sign. Anything whatever, be it quality, existent individual, or law, is an Icon of anything, in so far as it is like that thing and used as a sign of it.

An Index is a sign which refers to the Object that it denotes by virtue of being really affected by that Object. It cannot, therefore, be a Qualisign, because qualities are whatever they are independently of anything else. In so far as the Index is affected by the Object, it necessarily has some Quality in common with the Object, and it is in respect to these that it refers to the Object. It does, therefore, involve a sort of Icon, although an Icon of a peculiar kind; and it is not the mere resemblance of its Object, even in these respects which makes it a sign, but it is the actual modification of it by the Object. 

A Symbol is a sign which refers to the Object that it denotes by virtue of a law, usually an association of general ideas, which operates to cause the Symbol to be interpreted as referring to that Object. It is thus itself a general type or law, that is, a Legisign. As such it acts through a Replica. Not only is it general in itself, but the Object to which it refers is of general nature. Now that which is general has its being in the instances it will determine. There must, therefore, be existent instances of what the Symbol denotes, although we must here understand by ‘existent’, existent in the possibly imaginary universe to which the Symbol refers. The Symbol will indirectly, through the association or other law, be affected by those instances; and thus the Symbol will involve a sort of Index, although an Index of a peculiar kind. It will not, however, be by any means true that the slight effect upon the Symbol of those instances accounts for the significant character of the Symbol.

The icon refers to its object solely by means of its own properties. This implies that an icon potentially refers to an indefinite class of objects, namely all those objects which have, in some respect, a relation of similarity to it. In recent semiotics, it has often been remarked by someone like Nelson Goodman that any phenomenon can be said to be like any other phenomenon in some respect, if the criterion of similarity is chosen sufficiently general, just like the establishment of any convention immediately implies a similarity relation. If Nelson Goodman picks out two otherwise very different objects, then they are immediately similar to the extent that they now have the same relation to Nelson Goodman. Goodman and others have for this reason deemed the similarity relation insignificant – and consequently put the whole burden of semiotics on the shoulders of conventional signs only. But the counterargument against this rejection of the relevance of the icon lies close at hand. Given a tertium comparationis, a measuring stick, it is no longer possible to make anything be like anything else. This lies in Peirce’s observation that ‘It is true that unless there really is such an Object, the Icon does not act as a sign ’ The icon only functions as a sign to the extent that it is, in fact, used to refer to some object – and when it does that, some criterion for similarity, a measuring stick (or, at least, a delimited bundle of possible measuring sticks) are given in and with the comparison. In the quote just given, it is of course the immediate object Peirce refers to – it is no claim that there should in fact exist such an object as the icon refers to. Goodman and others are of course right in claiming that as ‘Anything whatever ( ) is an Icon of anything ’, then the universe is pervaded by a continuum of possible similarity relations back and forth, but as soon as some phenomenon is in fact used as an icon for an object, then a specific bundle of similarity relations are picked out: ‘ in so far as it is like that thing.’

Just like the qualisign, the icon is a limit category. ‘A possibility alone is an Icon purely by virtue of its quality; and its object can only be a Firstness.’ (Charles S. PeirceThe Essential Peirce_ Selected Philosophical Writings). Strictly speaking, a pure icon may only refer one possible Firstness to another. The pure icon would be an identity relation between possibilities. Consequently, the icon must, as soon as it functions as a sign, be more than iconic. The icon is typically an aspect of a more complicated sign, even if very often a most important aspect, because providing the predicative aspect of that sign. This Peirce records by his notion of ‘hypoicon’: ‘But a sign may be iconic, that is, may represent its object mainly by its similarity, no matter what its mode of being. If a substantive is wanted, an iconic representamen may be termed a hypoicon’. Hypoicons are signs which to a large extent makes use of iconical means as meaning-givers: images, paintings, photos, diagrams, etc. But the iconic meaning realized in hypoicons have an immensely fundamental role in Peirce’s semiotics. As icons are the only signs that look-like, then they are at the same time the only signs realizing meaning. Thus any higher sign, index and symbol alike, must contain, or, by association or inference terminate in, an icon. If a symbol can not give an iconic interpretant as a result, it is empty. In that respect, Peirce’s doctrine parallels that of Husserl where merely signitive acts require fulfillment by intuitive (‘anschauliche’) acts. This is actually Peirce’s continuation of Kant’s famous claim that intuitions without concepts are blind, while concepts without intuitions are empty. When Peirce observes that ‘With the exception of knowledge, in the present instant, of the contents of consciousness in that instant (the existence of which knowledge is open to doubt) all our thought and knowledge is by signs’ (Letters to Lady Welby), then these signs necessarily involve iconic components. Peirce has often been attacked for his tendency towards a pan-semiotism which lets all mental and physical processes take place via signs – in the quote just given, he, analogous to Husserl, claims there must be a basic evidence anterior to the sign – just like Husserl this evidence before the sign must be based on a ‘metaphysics of presence’ – the ‘present instant’ provides what is not yet mediated by signs. But icons provide the connection of signs, logic and science to this foundation for Peirce’s phenomenology: the icon is the only sign providing evidence (Charles S. Peirce The New Elements of Mathematics Vol. 4). The icon is, through its timeless similarity, apt to communicate aspects of an experience ‘in the present instant’. Thus, the typical index contains an icon (more or less elaborated, it is true): any symbol intends an iconic interpretant. Continuity is at stake in relation to the icon to the extent that the icon, while not in itself general, is the bearer of a potential generality. The infinitesimal generality is decisive for the higher sign types’ possibility to give rise to thought: the symbol thus contains a bundle of general icons defining its meaning. A special icon providing the condition of possibility for general and rigorous thought is, of course, the diagram.

The index connects the sign directly with its object via connection in space and time; as an actual sign connected to its object, the index is turned towards the past: the action which has left the index as a mark must be located in time earlier than the sign, so that the index presupposes, at least, the continuity of time and space without which an index might occur spontaneously and without any connection to a preceding action. Maybe surprisingly, in the Peircean doctrine, the index falls in two subtypes: designators vs. reagents. Reagents are the simplest – here the sign is caused by its object in one way or another. Designators, on the other hand, are more complex: the index finger as pointing to an object or the demonstrative pronoun as the subject of a proposition are prototypical examples. Here, the index presupposes an intention – the will to point out the object for some receiver. Designators, it must be argued, presuppose reagents: it is only possible to designate an object if you have already been in reagent contact (simulated or not) with it (this forming the rational kernel of causal reference theories of meaning). The closer determination of the object of an index, however, invariably involves selection on the background of continuities.

On the level of the symbol, continuity and generality play a main role – as always when approaching issues defined by Thirdness. The symbol is, in itself a legisign, that is, it is a general object which exists only due to its actual instantiations. The symbol itself is a real and general recipe for the production of similar instantiations in the future. But apart from thus being a legisign, it is connected to its object thanks to a habit, or regularity. Sometimes, this is taken to mean ‘due to a convention’ – in an attempt to distinguish conventional as opposed to motivated sign types. This, however, rests on a misunderstanding of Peirce’s doctrine in which the trichotomies record aspects of sign, not mutually exclusive, independent classes of signs: symbols and icons do not form opposed, autonomous sign classes; rather, the content of the symbol is constructed from indices and general icons. The habit realized by a symbol connects it, as a legisign, to an object which is also general – an object which just like the symbol itself exists in instantiations, be they real or imagined. The symbol is thus a connection between two general objects, each of them being actualized through replicas, tokens – a connection between two continua, that is:

Definition 1. Any Blank is a symbol which could not be vaguer than it is (although it may be so connected with a definite symbol as to form with it, a part of another partially definite symbol), yet which has a purpose.

Axiom 1. It is the nature of every symbol to blank in part. [ ]

Definition 2. Any Sheet would be that element of an entire symbol which is the subject of whatever definiteness it may have, and any such element of an entire symbol would be a Sheet. (‘Sketch of Dichotomic Mathematics’ (The New Elements of Mathematics Vol. 4 Mathematical Philosophy)

The symbol’s generality can be described as it having always blanks having the character of being indefinite parts of its continuous sheet. Thus, the continuity of its blank parts is what grants its generality. The symbol determines its object according to some rule, granting the object satisfies that rule – but leaving the object indeterminate in all other respects. It is tempting to take the typical symbol to be a word, but it should rather be taken as the argument – the predicate and the proposition being degenerate versions of arguments with further continuous blanks inserted by erasure, so to speak, forming the third trichotomy of term, proposition, argument.

The First Trichotomy. Thought of the Day 119.0


As the sign consists of three components it comes hardly as a surprise that it may be analyzed in nine aspects – every one of the sign’s three components may be viewed under each of the three fundamental phenomenological categories. The least discussed of these so-called trichotomies is probably the first, concerning which property in the sign it is that functions, in fact, to make it a sign. It gives rise to the trichotomy qualisign, sinsign, legisign, or, in a little more sexy terminology, tone, token, type.

The oftenmost quoted definition is from ‘Syllabus’ (Charles S. Peirce, The Essential Peirce Selected Philosophical Writings, Volume 2):

According to the first division, a Sign may be termed a Qualisign, a Sinsign, or a Legisign.

A Qualisign is a quality which is a Sign. It cannot actually act as a sign until it is embodied; but the embodiment has nothing to do with its character as a sign.

A Sinsign (where the syllable sin is taken as meaning ‘being only once’, as in single, simple, Latin semel, etc.) is an actual existent thing or event which is a sign. It can only be so through its qualities; so that it involves a qualisign, or rather, several qualisigns. But these qualisigns are of a peculiar kind and only form a sign through being actually embodied.

A Legisign is a law that is a Sign. This law is usually [sic] established by men. Every conventional sign is a legisign. It is not a single object, but a general type which, it has been agreed, shall be significant. Every legisign signifies through an instance of its application, which may be termed a Replica of it. Thus, the word ‘the’ will usually occur from fifteen to twenty-five times on a page. It is in all these occurrences one and the same word, the same legisign. Each single instance of it is a Replica. The Replica is a Sinsign. Thus, every Legisign requires Sinsigns. But these are not ordinary Sinsigns, such as are peculiar occurrences that are regarded as significant. Nor would the Replica be significant if it were not for the law which renders it so.

In some sense, it is a strange fact that this first and basic trichotomy has not been widely discussed in relation to the continuity concept in Peirce, because it is crucial. It is evident from the second noticeable locus where this trichotomy is discussed, the letters to Lady Welby – here Peirce continues (after an introduction which brings less news):

The difference between a legisign and a qualisign, neither of which is an individual thing, is that a legisign has a definite identity, though usually admitting a great variety of appearances. Thus, &, and, and the sound are all one word. The qualisign, on the other hand, has no identity. It is the mere quality of an appearance and is not exactly the same throughout a second. Instead of identity, it has great similarity, and cannot differ much without being called quite another qualisign.

The legisign or type is distinguished as being general which is, in turn, defined by continuity: the type has a ‘great variety of appearances’; as a matter of fact, a continuous variation of appearances. In many cases even several continua of appearances (as &, and, and the spoken sound of ‘and’). Each continuity of appearances is gathered into one identity thanks to the type, making possible the repetition of identical signs. Reference is not yet discussed (it concerns the sign’s relation to its object), nor is meaning (referring to its relation to its interpretant) – what is at stake is merely the possibility for a type to incarnate a continuum of possible actualizations, however this be possible, and so repeatedly appear as one and the same sign despite other differences. Thus the reality of the type is the very foundation for Peirce’s ‘extreme realism’, and this for two reasons. First, seen from the side of the sign, the type provides the possibility of stable, repeatable signs: the type may – opposed to qualisigns and those sinsigns not being replicas of a type – be repeated as a self-identical occurrence, and this is what in the first place provides the stability which renders repeated sign use possible. Second, seen from the side of reality: because types, legisigns, are realized without reference to human subjectivity, the existence of types is the condition of possibility for a sign, in turn, to stably refer to stably occurring entities and objects. Here, the importance of the irreducible continuity in philosophy of mathematics appears for semiotics: it is that which grants the possibility of collecting a continuum in one identity, the special characteristic of the type concept. The opposition to the type is the qualisign or tone lacking the stability of the type – they are not self-identical even through a second, as Peirce says – they have, of course, the character of being infinitesimal entities, about which the principle of contradiction does not hold. The transformation from tone to type is thus the transformation from unstable pre-logic to stable logic – it covers, to phrase it in a Husserlian way, the phenomenology of logic. The legisign thus exerts its law over specific qualisigns and sinsigns – like in all Peirce’s trichotomies the higher sign types contain and govern specific instances of the lower types. The legisign is incarnated in singular, actual sinsigns representing the type – they are tokens of the type – and what they have in common are certain sets of qualities or qualisigns – tones – selected from continua delimited by the legisign. The amount of possible sinsigns, tokens, are summed up by a type, a stable and self-identical sign. Peirce’s despised nominalists would to some degree agree here: the universal as a type is indeed a ‘mere word’ – but the strong counterargument which Peirce’s position makes possible says that if ‘mere words’ may possess universality, then the world must contain it as well, because words are worldly phenomena like everything else. Here, nominalists will typically exclude words from the world and make them privileges of the subject, but for Peirce’s welding of idealism and naturalism nothing can be truly separated from the world – all what basically is in the mind must also exist in the world. Thus the synthetical continuum, which may, in some respects, be treated as one entity, becomes the very condition of possibility for the existence of types.

Whether some types or legisigns now refer to existing general objects or not is not a matter for the first trichotomy to decide; legisigns may be part of any number of false or nonsensical propositions, and not all legisigns are symbols, just like arguments, in turn, are only a subset of symbols – but all of them are legisigns because they must in themselves be general in order to provide the condition of possibility of identical repetition, of reference to general objects and of signifying general interpretants.

|, ||, |||, ||||| . The Non-Metaphysics of Unprediction. Thought of the day 67.1


The cornerstone of Hilbert’s philosophy of mathematics was the so-called finitary standpoint. This methodological standpoint consists in a restriction of mathematical thought to objects which are “intuitively present as immediate experience prior to all thought,” and to those operations on and methods of reasoning about such objects which do not require the introduction of abstract concepts, in particular, require no appeal to completed infinite totalities.

Hilbert characterized the domain of finitary reasoning in a well-known paragraph:

[A]s a condition for the use of logical inferences and the performance of logical operations, something must already be given to our faculty of representation, certain extra-logical concrete objects that are intuitively present as immediate experience prior to all thought. If logical inference is to be reliable, it must be possible to survey these objects completely in all their parts, and the fact that they occur, that they differ from one another, and that they follow each other, or are concatenated, is immediately given intuitively, together with the objects, as something that can neither be reduced to anything else nor requires reduction. This is the basic philosophical position that I consider requisite for mathematics and, in general, for all scientific thinking, understanding, and communication. [Hilbert in German + DJVU link here in English]

These objects are, for Hilbert, the signs. For the domain of contentual number theory, the signs in question are sequences of strokes (“numerals”) such as

|, ||, |||, ||||| .

The question of how exactly Hilbert understood the numerals is difficult to answer. What is clear in any case is that they are logically primitive, i.e., they are neither concepts (as Frege’s numbers are) nor sets. For Hilbert, the important issue is not primarily their metaphysical status (abstract versus concrete in the current sense of these terms), but that they do not enter into logical relations, e.g., they cannot be predicated of anything.

Sometimes Hilbert’s view is presented as if Hilbert claimed that the numbers are signs on paper. It is important to stress that this is a misrepresentation, that the numerals are not physical objects in the sense that truths of elementary number theory are dependent only on external physical facts or even physical possibilities. Hilbert made too much of the fact that for all we know, neither the infinitely small nor the infinitely large are actualized in physical space and time, yet he certainly held that the number of strokes in a numeral is at least potentially infinite. It is also essential to the conception that the numerals are sequences of one kind of sign, and that they are somehow dependent on being grasped as such a sequence, that they do not exist independently of our intuition of them. Only our seeing or using “||||” as a sequence of 4 strokes as opposed to a sequence of 2 symbols of the form “||” makes “||||” into the numeral that it is. This raises the question of individuation of stroke symbols. An alternative account would have numerals be mental constructions. According to Hilber, the numerals are given in our representation, but they are not merely subjective “mental cartoons”.

One version of this view would be to hold that the numerals are types of stroke-symbols as represented in intuition. At first glance, this seems to be a viable reading of Hilbert. It takes care of the difficulties that the reading of numerals-as-tokens (both physical and mental) faces, and it gives an account of how numerals can be dependent on their intuitive construction while at the same time not being created by thought.

Types are ordinarily considered to be abstract objects and not located in space or time. Taking the numerals as intuitive representations of sign types might commit us to taking these abstract objects as existing independently of their intuitive representation. That numerals are “space- and timeless” is a consequence that already thought could be drawn from Hilbert’s statements. The reason is that a view on which numerals are space- and timeless objects existing independently of us would be committed to them existing simultaneously as a completed totality, and this is exactly what Hilbert is objecting to.

It is by no means compatible, however, with Hilbert’s basic thoughts to introduce the numbers as ideal objects “with quite different determinations from those of sensible objects,” “which exist entirely independent of us.” By this we would go beyond the domain of the immediately certain. In particular, this would be evident in the fact that we would consequently have to assume the numbers as all existing simultaneously. But this would mean to assume at the outset that which Hilbert considers to be problematic.  Another open question in this regard is exactly what Hilbert meant by “concrete.” He very likely did not use it in the same sense as it is used today, i.e., as characteristic of spatio-temporal physical objects in contrast to “abstract” objects. However, sign types certainly are different from full-fledged abstracta like pure sets in that all their tokens are concrete.

Now what is the epistemological status of the finitary objects? In order to carry out the task of providing a secure foundation for infinitary mathematics, access to finitary objects must be immediate and certain. Hilbert’s philosophical background was broadly Kantian. Hilbert’s characterization of finitism often refers to Kantian intuition, and the objects of finitism as objects given intuitively. Indeed, in Kant’s epistemology, immediacy is a defining characteristic of intuitive knowledge. The question is, what kind of intuition is at play? Whereas the intuition involved in Hilbert’s early papers was a kind of perceptual intuition, in later writings it is identified as a form of pure intuition in the Kantian sense. Hilbert later sees the finite mode of thought as a separate source of a priori knowledge in addition to pure intuition (e.g., of space) and reason, claiming that he has “recognized and characterized the third source of knowledge that accompanies experience and logic.” Hilbert justifies finitary knowledge in broadly Kantian terms (without however going so far as to provide a transcendental deduction), characterizing finitary reasoning as the kind of reasoning that underlies all mathematical, and indeed, scientific, thinking, and without which such thought would be impossible.

The simplest finitary propositions are those about equality and inequality of numerals. The finite standpoint moreover allows operations on finitary objects. Here the most basic is that of concatenation. The concatenation of the numerals || and ||| is communicated as “2 + 3,” and the statement that || concatenated with ||| results in the same numeral as ||| concatenated with || by “2 + 3 = 3 + 2.” In actual proof-theoretic practice, as well as explicitly, these basic operations are generalized to operations defined by recursion, paradigmatically, primitive recursion, e.g., multiplication and exponentiation. Roughly, a primitive recursive definition of a numerical operation is one in which the function to be defined, f , is given by two equations

f(0, m) = g(m)

f(n′, m) = h(n, m, f(n, m)),

where g and h are functions already defined, and n′ is the successor numeral to n. For instance, if we accept the function g(m) = m (the constant function) and h(n, m, k) = m + k as finitary, then the equations above define a finitary function, in this case, multiplication f (n, m) = n × m. Similarly, finitary judgments may involve not just equality or inequality but also basic decidable properties, such as “is a prime.” This is finitarily acceptable as long as the characteristic function of such a property is itself finitary: For instance, the operation which transforms a numeral to | if it is prime and to || otherwise can be defined by primitive recursion and is hence finitary. Such finitary propositions may be combined by the usual logical operations of conjunction, disjunction, negation, but also bounded quantification. The problematic finitary propositions are those that express general facts about numerals such as that 1 + n = n + 1 for any given numeral n. It is problematic because, for Hilbert it is from the finitist point of view incapable of being negated. By this he means that the contradictory proposition that there is a numeral n for which 1 + n ≠ n + 1 is not finitarily meaningful. A finitary general proposition is not to be understood as an infinite conjunction but only as a hypothetical judgment that comes to assert something when a numeral is given. Even though they are problematic in this sense, general finitary statements are of particular importance to Hilbert’s proof theory, since the statement of consistency of a formal system T is of such a general form: for any given sequence p of formulas, p is not a derivation of a contradiction in T. Even though in general existential statements are not finitarily meaningful, they may be given finitary meaning if the witness is given by a finitary function. For instance, the finitary content of Euclid’s theorem that for every prime p there is a prime > p, is that given a specific prime p one can produce, by a finitary operation, another prime > p (viz., by testing all numbers between p and p! + 1.).

Gnostic Semiotics. Thought of the Day 63.0


The question here is what is being composed? For the deferment and difference that is always already of the Sign, suggests that perhaps the composition is one that lies not within but without, a creation that lies on the outside but which then determines – perhaps through the reader more than anything else, for after all the meaning of a particular sign, be it a word or anything else, requires a form of impregnation by the receiver – a particular meaning.

Is there any choice but to assume a meaning in a sign? Only through the simulation, or ‘belief’ if you prefer (there is really no difference in the two concepts), of an inherent meaning in the sign can any transference continue. For even if we acknowledge that all communication is merely the circulation of empty signifiers, the impregnation of the signified (no matter how unconnected it may be to the other person’s signified) still ensures that the sign carries with it a meaning. Only through this simulation of a meaning is circulation possible – even if one posits that the sign circulates itself, this would not be possible if it were completely empty.

Since it is from without (even if meaning is from the reader, (s)he is external to the signification), this suggests that the meaning is a result, a consequence of forces – its signification is a result of the significance of various forces (convention, context, etc) which then means that inherently, the sign remains empty; a pure signifier leading to yet another signifier.

The interesting element though lies in the fact that the empty signifier then sucks the Other (in the form of the signified, which takes the form of the Absolute Other here) into it, in order to define an existence, but essentially remains an empty signifier, awaiting impregnation with meaning from the reader. A void: always full and empty or perhaps (n)either full (n)or empty. For true potentiality must always already contain the possibility of non-potentiality. Otherwise there would be absolutely no difference between potentiality and actualization – they would merely be different ends of the same spectrum.