Modal Calculus of Illocutionary Logic

The aim of illocutionary logic is to explain how context can affect the meaning of certain special kinds of performative utterances. Recall that performative utterances are understood as follows: a speaker performs the illocutionary act (e.g. act of …

Authors: Andrew Schumann

1   Andrew Schumann Belarusian State University Andrew.Schumann@gmail.com Modal Calculus of Illocutionary Logic Abstract: The aim of illocutionary logic is to explai n how context can affe ct the meaning of certain special kinds of performative uttera nces. Recall that performative utterances are understood as follows: a speaker perf orms the illocutionary act (e.g. act of assertion, of conjecture, of promise) with the illocutiona ry force (resp. assertion, conjecture, promise) named by an approp riate performative verb in the way of representing himself as performing that ac t. In the paper I proposed ma ny-valued interpretation of illocutionary forces understo od as modal operators. As a result, I built up a non-Archimedean valued logic for formalizing illocu tionary acts. A formal many- valued approach to illocutionary l ogic was offered for the first time. 1. A non-Fregean formal analysis of illocutionary acts Conventional logics including the mo st non-classical logics like fuzzy logics, paraconsistent logics, etc. satisfy the so-called Fregean approach according to that the meaning of a well-formed expression (for instance, the meaning of a propositional formula) should depend on meanings of its components (respectively, on meanings of propositional variables), i.e. the meaning of a composite expression should be a function defined inductively on meanings of atoms. This feature distinguishes the most formal languages from the natural on e. In the speech living practice we could exemplify a lot that the meaning of a composite speech act may be not a function defined inductively on mean ings of elementary speech acts included in that composite expression. This means that a logic of speech acts cannot satisfy the Fregean approach in general. Now let us consider the structure of speech acts and their compositions. We are trying to show how compositions in natural language (i.e. in speech acts) differ from compositions define d inductively within the conventional formal logic. Speech acts from the logi cal point of view are said to be illocutionary acts . We know that whenever a speaker utters a sentence in an appropriate context with certain in tentions, he performs one or more illocutionary acts. We will denote the simple illocu tionary act by F( Φ ). 2   This denoting means that each simple i llocutionary act can be regarded as one consisting of an illocutionary force F and a propositional content Φ . For example, the utterance “I promise you (F) to come ( Φ )” has such a structure. Usually, the illocutionary force is expressed by performative sentences which consist of a performative verb used in the first or third person present tense of the indicative mood with an appropriate complement clause. In our case we used the example of illocutionary act with the performative verb “promise. ” However, the illocutionary force is not totally reduced to an appropriate performative verb. It also indicates moods of performance (e.g., moods of order are distinguished in the following two sentences: “Will you leave the room?”, “If only you would leave the room”). Notice that an illo cutionary force of performative verb can be expressed nonverbally too, e.g. by means of intonations or gestures. Traditionally, the illocutionary force is classified into five groups that are called illocutionary points: assertives, commissives, directives, declaratives, expressives. 1 The illocutionary points are used in the setting of simp le illocutionary acts. When a simple illocutionary act is successfully and non-defectively performed there will always be effects produced in the hearer, the effect of understanding the utterance and an appropriate perlocutionary effect (for instance, the further effect on the feeling, attitude, and subsequent behavior of the hearer). Thus, an illocutionary act must be both successful and non- defective. Recall that in classical logic a well-formed proposition is evaluated as either true or false and in conventional logics as a degree of truth (the latter could be however ve ry different, e.g. it could run the unit interval [0, 1] as in fuzzy logics, trees of some data as in spatial logics and behavior logics, sets of truth values as in higher-order fuzzy logics and some paraconsistent logics, etc.). But as we see, a non-defective simple illocutionary act is evaluated as either successful or unsuccessful in th e given context of utterance (notice that within the more detailed consideration in the same way as in non-classical logics, the meaning of non-defective simple illocutionary act could be evaluated as a degree of successfulness).    1  In short, they are distingu ished as follows: “One can say how things are (assertives),  one can try to get other people to do things (directives), one can commit oneself to doing  things (comm issives), one can bring about changes i n the world through one’s utterances  (declarations), and one can express one’s feelings and attitudes (expressives)” (Searle and Vanderveken 1984: 52).  3   Regarding compositions in speech es, i.e. appropriate composite illocutionary acts built up from simple ones, we could disting uish two cases: first, the case of compositions th at satisfy the Fregean approach and, second, the case of compositions that break the latter. The criterion will be as follows. If a logical superposition of simple illocutionary acts may be also evaluated as either successful or unsuccessful, it is said to be a complex illocutionary act . In this case we have no composition defined inductively. If it may be examined as either true or false, then this logical superposition is said to be an illocutionary sentence . In this case we can follow the Fregean approach. Logical connectives ( ∨ , ∧ , ⇒ , ¬ ) which we use in the building o f complex acts or sentences we will call illocutionary connectives. They differ from usual ones. As an example, the illocutionary disjunction in the uttera nce “I order to leave the room or I order to not leave the room” differs from the usual propositional disjunction, because it doesn’t express here the law of excluded middle and a hearer can reject it as an unsuccessful illocutionary act. Sometimes a logical superposition of simple illocutionary acts with propositions also sets a complex illo cutionary act. Some examples are as follows: “If it rains, I promise you I’ll ta ke my umbrella” (the illocutionary implication of the form Ψ ⇒ F( Φ )), “It rains and I assert that I’ll take my umbrella” (the illocutionary conjunction of the form Ψ ∧ F( Φ )). But we can consider cases when a logical superposition of simple illocutionary acts with propositions doesn’t get a complex illocutionary act. As an example, “If I think so, then really it is so” (the illocuti onary implication of the form F( Φ ) ⇒ Φ ). Indeed, it is a true illocutionary sentence. Thus, I distinguish illocutionary sente nces from illocutionary acts. Just as illocutionary acts express appropriate performances, so illocutionary sentences say about logical properties of illocutionary acts. Existence of illocutionary sentences (i.e. some inductive compositions in composite speeches) allows us to set a special logic that is called illocutionary logic . It studies logical and semantic properties of illoc utionary acts and illocutionary sentences. Therefore “ju st as propositional logic studies the properties of all truth functions …, so illocutionary logic studies the properties of illocutionary forces without worrying about the various ways 4   that these are realized in the syntax of English” (Searle and Vanderveken 1984). Illocutionary logic plays an important role in modern analytical philosophy of language and in logical m odels of speech acts: its aim is to explain how context can affect the m eaning of certain special kinds of illocutionary acts. The first formalizati on of illocutionary logic was created by J.R. Searle and D. Vanderveken (1984). In that work, a semantic- phenomenological approach was proposed and in the framework of this approach all the conditions of success and non-defection of illocutionary acts were precisely investigated. In this paper I propose a logical-syntactic approach to illocutionary logic, according to that I consider illocutiona ry forces as modal operators which have a many-valued interpretation. This approach can supplement the approach of J.R. Searle and D. Vanderveken. 2. A many-valued illocutionary logic with the only performative verb “think” In order to show how we could set up compositions in illocutionary logic and combine Fregean and non-Fregean compositions within a logical system in general, we first try to de fine a propositional logic with the only performative verb “think.” Let us consider a propositional language L that is built in the standard way with the ad ditional unary operator F. It is called the illocutionary force of the perform ative verb “think.” We will say that the illocutionary act F( Φ ) is a performance of a proposition Φ . From the point of view of social constructivis m (Berger 1971), the content of social acts and the content of performances of any propositions are not physical facts. Therefore performances cannot be evaluated as either true or false. The performance of Φ that we obtain by using the performative verb “think” can be either successful or unsuccessful. It is successful if F( Φ ) represents a true propositional content of Φ (i.e., if Φ is true) and it is not successful if F( Φ ) represents a false propositional content of Φ (i.e., if Φ is false). The success and unsuccess of performance will be denoted by 1/2 and − 1/2 respectively. Further, let us suppose that atom ic propositions, i.e. propositional variables, (they belong to the set Var L := {p, p 1 , p 2 , …}) can have only one of the following two truth values: 1 (“true”) and 0 (“false”). Let our 5   language L be associated with the following matrix M = <{1, 1/2 , 0, − 1/2}, {1}, ¬ , F, ⇒ , ∨ , ∧ >, where • {1, 1/2 , 0, − 1/2} is the set of truth values • {1} is the singleton of designated truth values, • ¬ , F are unary operations for negation and illocutionary forc e respectively, both are defined as follows: ¬ x = 󰇫 1     󰇝 1, 0 󰇞 ,     󰇥   ,   󰇦 ; F( x )= 󰇱       󰇝 1, 0 󰇞 ,      󰇥   ,   󰇦 . • ⇒ , ∨ , ∧ are binary operations for disjunction, conjunction, and implication respectively, their definitions: x ⇒ y = 1 – sup( x , y ) + y =      1     ,         1,          0    0, 0  ; x ∨ y = 󰇫 inf 󰇛 ,  󰇜   ,   󰇥   ,   󰇦 , sup 󰇛 ,  󰇜  ; x ∧ y = 󰇫 sup 󰇛 ,  󰇜   ,   󰇥   ,   󰇦 , inf 󰇛 ,  󰇜  . Then it could easily be proved that the unary operator F satisfies the following conditions: ∀ a ∈ M. a ≥ F ( a ) , ( 1 ) 6   ∀ a ∈ M. ¬ a ≥ ¬ F ( a ) , ( 2 ) ∀ a, b ∈ M. (F(a) ∧ F(b)) ≥ F(a ∧ b), (3) ∀ a, b ∈ M. (F(a) ∨ F(b)) ≤ F(a ∨ b), (4) ∀ a, b ∈ M. (F(a) ⇒ F(b)) ≥ F(a ⇒ b), (5) ∀ a ∈ M. F(F(a)) = F(a), (6) ∀ a ∈ M. ¬ F(a) = F( ¬ a). (7) Let e be a valuation of atomic propositions, i.e. e : Var L → {0, 1}. We can extend e to the case of the following valuation V e : L → {1, 0, 1/2, − 1/2} by using the operations of M which ar e assigned to appropriate logical connectives. The valuation Ve is called an illocutionary valuation . Let Φ ∈ L . The performanc e of Φ , i.e. F( Φ ), is called an unsuccessful for e if Ve(F( Φ )) = − 1/2 , i.e. Ve( Φ ) ∈ {0, − 1/2}. The formula F( Φ ) is called a successful performance for e if Ve(F( Φ )) = 1/2 , i.e. Ve( Φ ) ∈ {1, 1/2}. Further, the formula Φ is called a true sentence for e if Ve( Φ ) = 1 and a false sentence for e if Ve( Φ ) = 0. Notice that the element a ∧ ¬ a is not a minimal in M, because a ∧ ¬ a ≥ F(a ∧ ¬ a) and (F(a) ∧ ¬ F(a)) ≥ F(a ∧ ¬ a). Consequently, the minimal element of M (that is called ‘illocutionary contradiction’ or ‘unsuccess of performance’) is assigned to a sentence of the form F( Φ ∧ ¬Φ ) when somebody thinks a propositional contradiction. Let us show that the illocutionary valuation d efined above satisfies the informal understanding of the concept ‘illocutionary act.’ First of all, we should notice that the illocutionary for ce of “think” sets up a warp of the logical space of propositional relations (by analogy with the gravitational force which warps the physical space). For instance, suppose that there are two successful illocutionary acts: “I think that if it is harmful for my health, then I will not do it” and “I think that smoking is harmful for my health.” Both don’t imply that the illocutionary act “I think that I will not smoke” is successful. However, we could entail according to modus 7   ponens if the illocutionary force of the verb “think” was removed in both expressions. So, we can claim that the illocutionary force may be considered in terms of the warpage of logical space in the same way as the gravitational force has been regarded recently in terms of the warpage of Euclidean space. This feature is illustrated by inequalities (1) – (7) that could be converted to equalities if we removed the illocutionary force F. Namely, inequality (1) means that the implication F( Φ ) ⇒ Φ is a true sentence of illocutionary logic. For example, “If I think that he is God, then he is God” (but not vice versa) is an example of illocutionary tautology. Formula (2) means that the implication ¬ F( Φ ) ⇒ ¬Φ is also a true illocutionary se ntence. Indeed, something exists if I think so and something doesn’t exist if I don’t think so. Inequality (3) means that the implication F( Φ ∧ Ψ ) ⇒ (F( Φ ) ∧ F( Ψ )) is a tautology of illocutionary logic. For instance, the following illoc utionary sentence is true: “If she thinks that the weather is good and the world is fine, then she thinks that the weathe r is good and she thinks that the world is fine” (but not vice versa). Continuing in the same way, we can see that formulas (4) – (6) satisfy an intuitive meaning, too. Notice that the verb “think” readily differ from others with in formu la (7). The illocutionary act “I think that it is not white” is equivale nt to “I don’t think that it is white.” In the meantime, an illocutionary act w ith the negation of an illocutionary force that we obtain using other performative verbs can differ from the same illocutionary act with a positive illocutionary force, but with the negative propositional content. An exampl e of illocutionary negation: “I do not promise to come”, an example of an illocutionary act with a negative propositional content: “I pr omise not to come.” As we see, these acts are different. I have just exemplified how we can combine Fregean and non-Fregean compositions of simple illocutionary acts within a log ical system. I have done this by distinguishing composite expressions evaluated as 0 and 1 from composite expressions evaluated as 1/2 and –1/2. The first expressions correspond to the Fregean approach (when the meaning of the whole is reduced to its component s), the second ones evidently do not (because they assume to be ordered by the dual relation, where conjunction is understood as supremum and disjunction as infimum; as a result, the meaning of composite expression changes meanings of components: 8   conjunction of components starts to be interpreted as disjunction on the level of the whole expression and vice versa). Taking into account that we had postulated the existence of the only performative verb, we defined illocutionary logical operations by inducti on. In this meaning, we built up a many-valued illocutionary logic of Frege’s style and did our best to present both Fregean and non-Fregean compositions within conventional logic. However, it was just an illustration in the simplest case of using the only performative verb. This exemplificat ion allowed us to clarify that non- Fregean compositions in speech acts can be regarded logically too, by a kind of dualization, when meanings start to be ordered by the dual relation. 3. An ordering relation on the set of all illocutionary forces Now set up the more complicated pr oblem to construct a many-valued illocutionary logic closed under the cla ss of all performative verbs. We can be sure that in this case our logic w ill not be of Frege’s style. In the beginning, we should define a partial ordering relation ≤ on an infinite class of all illocutionary forces (expr essed by all performative verbs). This allows us to define the basic logical connectives ( ∨ , ∧ , ⇒ , ¬ ) on the set of simple illocutionary acts. Intuitively, the relation Ve(F 1 ( Φ )) ≤ Ve(F 2 ( Ψ )), where Ve is supposed to be an ev aluation function run over well-formed formulas (however, it is not define d yet), holds if and only if an illocutionary act F 1 ( Φ ) logically entails an illocutionary act F 2 ( Ψ ). In the latter case it is not possible to perf orm the first act without thereby performing the second (i.e. for all contexts of utterances i ∈ I , if F 1 ( Φ ) is performed at i , then F 2 ( Ψ ) is performed at i , too). A new ordering relation also provides us with a possibility to consider so- called disjoint or opposite illocutionary acts F 1 ( Φ ), F 2 ( Φ ). Both are disjoint/opposite when F 1 ( Φ ) ∧ F 2 ( Φ ) is not simultaneously performable, more precisely when the successful performance of F 1 ( Φ ) is relatively inconsistent (1) with the achievement of the illocutionary point of F 2 on Φ , or (2) with the degrees of strength of illocutionary point of F 2 , or (3) with the satisfaction by Φ of the propositional content conditions of F 2 , or (4) with the presupposition of the preparatory conditions of F 2 ( Φ ), or finally (5) with a commitment to the psychological state of F 2 ( Φ ). 9   In the next section, we are trying to examine general properties of opposite illocutionary acts. 4. A square of opposition for illocutionary acts First, assume that two illocutionary forces F 1 and F 2 are stand in the semantical opposition. This means that they cannot at the same time both be successful, however both may be unsuccessful. In other words, an illocutionary act F 1 ( Φ ) is semantically equivalent to an illocutio nary act F 2 ( ¬Φ ) (clearly, in this case F 2 ( Φ ) is semantically equivalent to F 1 ( ¬Φ )), i.e. Ve(F 1 ( Φ )) = Ve(F 2 ( ¬Φ )) and Ve(F 1 ( ¬Φ )) = Ve(F 2 ( Φ )). For example, the performative verbs “order” and “forbid” have such opposition. The square of opposition or logical square for illocutionary acts is a natural way of classifying illocutionary forc es which are relevant to a given opposition. Starting from tw o illocutionary forces F 1 and F 2 that are contraries, the square of opposition entails the existence of two other illocutionary forces, namely ¬ F 1 and ¬ F 2 . As a result, we obtain the following four distinct kinds of oppos ition between pairs of illocutionary acts: F 1 ( Φ ) F 2 ( Φ ) ¬ F 2 ( Φ ) ¬ F 1 ( Φ ) Figure 1 . The square of oppositions for illocutionary forces F 1 , F 2 . For instance , F 1 is “bless” and F 2 is “damn.” There can be an infinite number of such squares for different illocutionary forces. At least, there exists an appropriate square of opposition for each illocutionary force. In the latter case F 1 is “bless to do” and F 2 is “bless not to do.” 10   • Firstly, illocutionary forces F 1 and F 2 are contrary . This means that they cannot be successful together in corresponding illocutionary acts F 1 ( Φ ) and F 2 ( Φ ) with the same propositional content, but as we see both may be unsuccessful: “I insist that he takes part” and “I insist that he doesn’t take pa rt.” A speaker cannot successfully simultaneously say: “I order you to leave the room” and “I forbid you to leave the room.” • Secondly, illocutionary forces F 1 and ¬ F 1 (resp. F 2 and ¬ F 2 ) are contradictory , i.e. the success of one implies the unsuccess of the other, and conversely. For instance, the success of the illocutionary act “I order you to do this” implies the unsuccess of the corresponding act “I request that you do not do it,” and conversely. • Next, illocutionary forces ¬ F1 and ¬ F2 are subcontrary , i.e. it is impossible for both to be unsuccessful in corresponding illocutionary acts ¬ F 1 ( Φ ) and ¬ F 2 ( Φ ) with the same propositional content, however it is possible both to be successful. • Lastly, illocutionary forces F 1 and ¬ F 2 (resp. F 2 and ¬ F 1 ) are said to stand in the subalternatio n , i.e. the success of the first (“the superaltern”) implies the success of the second (“the subaltern”), but not conversely. As an example, the success of the illocutionary act “he orders” implies the success of th e illocutionary act “he requests”, but not vice versa. Consequently, the success of an illocutionary act F 1 ( Φ ) or F 2 ( Φ ) implies the success of the corresponding illocutionary act ¬ F 2 ( Φ ) or ¬ F 2 ( Φ ), respectively. Consequently, the unsuccess of an illocutionary act ¬ F 2 ( Φ ) or ¬ F 2 ( Φ ) implies the unsuc cess of the corresponding illocutionary act F 1 ( Φ ) or F 2 ( Φ ), respectively. Thus, pairs of illocutionary acts are called contradictories (contradictoriae) when they cannot at the same time both be successful or both be unsuccessful, contraries (contrariae) when both cannot at the same time be successful, subcontraries (subcontrari ae) when both cannot at the same time be unsuccessful, and subalternates (subalternae) when the success of the one act implies the success of the other, but not conversely. There is a very easy way to detect whether the square of opposition for the given illocutionary acts holds. The exp ected criterion is as follows: if 11   F( ¬Φ ) ⇒ ¬ F( Φ ) is a true illocutionary sentence, i.e. Ve(F( ¬Φ )) ≤ Ve( ¬ F( Φ )), then the square of opposition for illocutionary acts holds. As a corollary, the following expressions are to be regarded as true illocutionary sentences: ¬ F( ¬Φ ) ∨ ¬ F( Φ ) – tertium non datur, (8) ¬ (F( ¬Φ ) ∧ F( Φ )) – the law of contrary. (9) 5. A non-Archimedean interpretation of illocutionary forces Now we are trying to develop a formal approach to evaluations of illocutionary forces due to non-Ar chimedean semantics proposed by Schumann (2008) and Schumann (2009). Suppose B is a complete Boolean algebra with the bootom element 0 and the top element 1 such that the cardinality of its domain |B| is an infinite number. Build up the set B B of all functions f : B → B. The set of all complements for finite subsets of B is a filter and it is called a Frechet filter, it is denoted by U. Further, define a new relation ≈ on the set B B by f ≈ g = {a ∈ B : f(a) = g(a)} ∈ U. It is easily be proved that the relation ≈ is an equivalence. For each f ∈ B B let [f] denote the equivalence class of f under ≈ . The ultrapower B B /U is then defined to be the set of all equivalence classes [f] as f ranges over B B . This ultrapower is called a nonstandard (or non-Archimedean ) extension of B, for more details see Robinson (1966) and Schumann (2008). It is denoted by *B. There exist two groups of members of *B: (1) functions that are constant, e.g. f(a) = m ∈ B on the set U, a constant function [f = m] is denoted by *m, (2) functions that aren’t constant. The set of all constant functions of *B is called standard set and it is denoted by ° B. The members of ° B are called standard. It is readily seen that B and ° B are isomorphic. We can extend the usual partial order structure on B to a partial order structure on ° B: • for any members x, y ∈ B we have x ≤ y in B iff *x ≤ *y in ° B, • each member *x ∈ ° B (which possibly is a bottom element *0 of ° B) is greater than any number [f] ∈ *B\ ° B, i.e. *x > [f] for any x ∈ B, where [f] isn’t constant function. 12   Notice that under these conditions, there exist the top element *1 ∈ *B such that 1 ∈ B, but the element *0 ∈ *B such that 0 ∈ B is not bottom for *B. The ordering conditions mentioned above have the following informal sense: (1) the sets ° B and B have isomorphic order structure; (2) the set *B contains actual infinities that are less than any member of ° B. These members are called Boolean infinitesimals. Introduce three operations ‘sup’, ‘inf’, ‘ ¬ ’ in the partial or der structure of *B: inf([f], [g]) = [inf(f, g)]; sup([f], [g]) = [sup(f, g)]; ¬ [f] = [ ¬ f]. This means that a nonstandard extension *B of a Boolean algebra B preserves the least upper bound ‘sup’, the greatest lower bound ‘inf’, and the complement ‘ ¬ ’ of B. Consider the member [h] of *B such that {a ∈ B: h(a) = f( ¬ a)} ∈ U. Denote [h] by [f ¬ ]. Then we see that inf([f], [f ¬ ]) ≥ *0 and sup([f], [f ¬ ]) ≤ *1. Really, we have three cases. • Case 1 . The members ¬ [f] and [f ¬ ] are incompatible. Then inf([f], [f ¬ ]) ≥ *0 and sup([f], [f ¬ ]) ≤ *1, • Case 2 . Suppose ¬ [f] ≥ [f ¬ ]. In this case inf([f], [f ¬ ]) = *0 And sup([f], [f ¬ ]) ≤ *1. • Case 3 . Suppose ¬ [f] ≤ [f ¬ ]. In this case inf([f], [f ¬ ]) ≥ *0 And sup([f], [f ¬ ]) = *1. Now define hyperrational valued matrix logic M B as the ordered system <*B, {*1}, ¬ , ⇒ , ∨ , ∧ >, where • *B is the set of truth values, • {*1} is the set of designated truth values, • for all [x] ∈ *B, ¬ [x] = *1 – [x], • for all [x], [y] ∈ *B, [x] ⇒ [y] = *1 − sup([x], [y]) + [y], 13   • for all *x, *y ∈ ° B, *x ∨ *y = sup(*x, *y), • for all *x, *y ∈ ° B, x ∧ y = inf(*x, *y). • for all [x], [y] ∈ *B\ ° B, [x] ∨ [y] = inf([x], [y]), • for all [x], [y] ∈ *B\ ° B, [x] ∧ [y] = sup([x], [y]). [f] [f ¬ ] ¬ [f ¬ ] ¬ [f] Figure 2 . In case [f ¬ ] ≤ ¬ [f], the square of oppositions for any members [f], [f ¬ ], ¬ [f ¬ ], ¬ [f] of *B holds true , i.e. [f], [f ¬ ] are contrary, [f], ¬ [f] ( resp. ¬ [f ¬ ], ¬ [f]) are contradictory, ¬ [f ¬ ], ¬ [f] are subcontrary, [f], ¬ [f ¬ ] ( resp . [f ¬ ], ¬ [f]) are said to stand in the subalternation . Let us consider a propositional language L B that is built in the standard way with the additional set of unary operators F 1 , F 2 , F 3 , ... We suppose that for each performative verb, this set conta ins an appropriate sign. So, this set should be uncountable infinite. We associate the language L B with the matrix M B in accordance with the illocutionary evaluation Ve satisfying the following properties: • Ve(F( Ψ )) = [f] ∈ *B\ ° B if Ψ does not contain unary operators F 1 , F 2 , F 3 , ...; • Ve(F i (F j ( Ψ ))) = ([f] i ⇒ Ve(F j ( Ψ ))), where [f] i ∈ *B\ ° B and ⇒ is an operation of M B .; • Ve( Ψ ) = *x ∈ ° B if Ψ does not contain unary operators F 1 , F 2 , F 3 , ...; • Ve( Φ ∧ Ψ ) = (Ve( Φ ) ∧ Ve( Ψ )), where on the right-side ∧ is an operation of M B ; 14   • Ve( Φ ∨ Ψ ) = (Ve( Φ ) ∨ Ve( Ψ )), where on the right-side ∨ is an operation of M B ; • Ve( Φ ⇒ Ψ ) = (Ve( Φ ) ⇒ Ve( Ψ )), where on the right-side ⇒ is an operation of M B . It can easily be proved that the following formulas are illocu tionary tautologies according to the matrix M B in the same measure as they were in the matrix M (see section 2): F( Φ ) ⇒ Φ , (10) ¬ F( Φ ) ⇒ ¬Φ , (11) F( Φ ∧ Ψ ) ⇒ (F( Φ ) ∧ F( Ψ )), (12) (F( Φ ) ∨ F( Ψ )) ⇒ F( Φ ∨ Ψ ), (13) F( Φ ⇒ Ψ ) ⇒ (F( Φ ) ⇒ F( Ψ )), (14) Instead of formula (7), the matrix M B satisfies the relati ons of square of oppositions for illocutionary acts. Fo rmula (6) does not hold in general, too, because each illocutionary force effects in a unique way. For instance, a cyclic self-denying illocutionary ac t “I promise I will not ke ep this promise” F( ¬ F(F( ¬ F(…)))) is evaluated as follows: Ve(F( ¬ F(F( ¬ F(…))))) = ([f] ⇒ ( ¬ [f] ⇒ ([f] ⇒ ( ¬ [f] ⇒ (…))))). As we see, a cyclic self-denying illocutionary act does not correspond to any member of *B. The matter is that we have there an infinite sequence ([f] ⇒ ( ¬ [f] ⇒ ([f] ⇒ ( ¬ [f] ⇒ (…))))) whose whole truth-value depends on a truth-value of the most right ato mic formula, but the sequence is infinite and we have no end-right atomic formula. The novel logic is not Fregean, though it is evidently formal and furthermore it can be shown that some restrictions of this logic may be complete (Schumann 2008). The point is that we obtain an uncountable infinite set of well-formed formulas for that the re is no induction in general (it depends on the non-Archimedean structure of this set). 15   6. Conclusion In the paper I have proposed a many-valued calculus in that illocutionary forces and performances are considered as modal operators of a special kind. As a result, I have constr ucted an easier formalization of illocutionary act theory than usual ones. This forma lization could be applied in model-theoretic semantics of natural language and natural language programming. References: Berger, P. and Luckmann, Th. 1971. The social construction of reality . Garden City (N.Y.): Anchor Books. Robinson, A. 1966. Non-Standar d Analysis. Studies in Logic and the Foundations of Mathematics . North-Holland. Schumann, Andrew 2008. Non-Archim edean Fuzzy and Probability Logic, Jour nal of Applied Non-Classical Logics , 18/1, 29 - 48. Schumann, Andrew 2009. A Non-Archim edean Val ued Extension of Logic L Π∀ and a p-Adic Valued Extension of Logic B L ∀ , Journal of Uncertain Systems , (to appear). Searle, J.R. 1969. Speech acts; an essay in the philos ophy of language . Cambridge: Cambridge University Press. Searle, J.R. 1979. Expression and meaning: studies in the theory of speech acts . Cambridge: Cambridge Uni versity Press. Searle, J.R. and Va nderveken D. 1984. Foundations of Illocutionary Logic . Cambridge: Cambridge Uni versity Press. Key words : non-Fregean analysis, illocutionary force, square of opposition for illocutionary acts, non-Archimedean inte rpretation of illocutionary forces

Original Paper

Loading high-quality paper...

Comments & Academic Discussion

Loading comments...

Leave a Comment