Showing posts with label logic. Show all posts
Showing posts with label logic. Show all posts

Sunday, October 26, 2008

Towards a Lutheran Theological Semantics III

Imagine two theories T1 and T2 indiscernible with respect to their syntax. To give an interpretation to this syntax is to define an ordered pair <I, n> such that I specifies a domain D of entities named by the individual constants of the theory, some Fx specifies a subset of D, and Fx . . . k specifies a k-ary Cartesian product in D. Let n now designate a naming function from names in the language to D, monadic predicates to subsets of D, and k-ary predicates to k-tuples in D. The function thus assigns for each and every nonlogical symbol an extension in D. What we are doing here is assigning a semantics to our language. Obviously, if both T1 and Ts use the same >, they will mean the same thing. Two theories indiscernible with respect to syntax and having the same interpretation have the same model. We say that M models a theory T if and only if all the sentences of the theory are true given the projection of the language onto the model. Obviously, if M models T1, and T1 and T2 have the same interpretation and mapping function n, then M shall model T2 as well.

Within the practice of science, the syntax of theories change as a function of new empircal data and concomittant theory adjustment. In science generally, the method of projection of the syntax of the theory upon a model is for the most part invariant, and it is this invariancy that makes possible scientific progress generally. Words like 'electron', 'boson', and 'p orbital' retain their interpretation (reference) across different theories generally. (We might say that in a situation of revolutionary change in paradigm, new interpretations and naming functions might arise.)

However, within the practice of theology, things are far different. Scripture and theological tradition has worked to produce a rather loose 'theological theory' whose syntax does not in general change. But as times change, the syntax of this theological theory takes on a new interpretation. Imagine T1 being classical christological formutions at the Council of Chalcedon in 451, and T2 be the same classical christological formulations said by Paul Tillich in 1957. Here it is obvious that while the syntax of T1 and T2 remains the same, there is a change of the mode of projection of the syntax upon its model. Because T1 and T2 are both regarded as true, there are distinct models M1 and M2 that model the same syntax. The same syntax is modeled both by M1 and M2, or alternatively, M1 and M2 both model the same theory T1. (Remember that T1 = T2 syntactically.) The situation now is that we have two distinct models for the same syntax, two distinct ways that the world might be ordered that would make possible the truth of T1 = T2.

The question is this: What is the theological theory T1 and is it different then from T2 after all? The answer is, of course, that we do not regard scientific theory as mere syntax, but as syntax + an interpretation. Similarly, I aver, we ought not to regard theological theory as mere syntax but syntax + an interpretation. How can it be then that many today in theology, particularly in ecumenical theology, think that syntax alone does a theology make? How can it be that the Joint Declaration on the Doctrine of Justification can claim agreement on 'justification' because the syntax of the language is similar between Lutherans and Rome?

We should remember that Luther said he was not interested in agreement in words (verbis) but in things (in rebus). Although Luther was not using the language, he was, of course, interested in the disparate models the same theological syntax could sustain. When one thinks about it, this is how it has always been in theology. Was this not precisely what happened after Ephesus (431) that two sides used the same words while allowing different interpretations of the same language?

A theology that has lost interest in its interpretation and naming function, is a theology that has lost interest in truth, because only with the assignment of models is truth put in play. While sytax deals with form and structure, semantics deals with truth and meaning. Theology has always been about the latter. It is a mark of the recent theological poverty of our time that we could have been so bewitched for so long, and have not even noticed.




Thursday, September 25, 2008

Logic and Semantics in Theology

In the medieval university the study of logic and semantics was part of an education eventuating in the Master of Arts degree. Students studying for their Doctor of Theology learned their craft after having already mastered these important fields. In medieval disputations participants knew the rules of inference and could easily spot logical infractions. Moreover, they knew that words had both a signifcatio (signification) and a suppositio (reference), and they could unpack the meaning of theological sentences on the basis of this distinction. The educational horizon of the budding medieval theologian included profound training in the art of inference and the nature of meaning.

At the dawn of the Reformation, theologians like Luther who would become important purveyors of the new theology at Wittenberg, could also claim a deep education in logic and semantics. Luther participated in faculty disputations throughout his life and he clearly knew how to chop logic with the best of his peers. His training at Erfurt with the nominalists Trutvetter and Unsinn prepared him to understand deeply the truth-conditions of theological language, an understanding thought necessary for theological precision. Disputants were concerned with the question of which theological statements were true and which false. In a time in which it was salvifically important what one believed to be true theologically, sustained effort was made to give students the requisite tools to grasp the truth value of theological statements.

We Lutherans living almost 500 years after the Reformation find ourselves in a context quite unlike that of the Reformers. While for them the critical questions concerned the truth value of particular theological statements, for us the crucial theological questions don't seem any longer to be about truth. It is as if many Lutheran theologians and pastors have outgrown a robust sense of truth. Of course, they might say, theological statements are in some sense true, but this does not mean that there is some theological states of affairs existing independently from consciousness making those statements true. Such statements are true for other reasons, it seems. Theological statements may express or address the human existential situation such that their meaning and truth are thus connectable to human experience in a very profound sense. Or perhaps such statements are best understood as linguistic customs of a Lutheran community, meta-rules regulating how that community employs other theological statements.

In an age where one cannot claim another's religion false without thereby somehow denigrating the other person or his/her culture, it is difficult to claim that the truth of one's statements have any ontological backing. The reason is obvious: If one's theological statements are true because of some objective feature of the divine and its relationship to the world, then the statements of other religions not referring to these objective features must be false. But these statements cannot be false without denigrating the other person's cutlure and since to denigrate another's culture is wrong, then these statements cannot be false, and if they cannot be false, then one's own theological statements cannot be true. This is how it works logically.

So theology today passes without robust truth conditions. Theology becomes a discourse about the self, about the self within a communal context, about power relationships and marginalization, about racial or patriarchal oppression, about the individual's will-to-power, about almost anything but a divine being existing over and apart from human beings, a divine being who acts on behalf of human beings. Moreover, the purveyors of contemporary theology seem not even to know how differently from previous generations they understand theological terms. In addition, they do not know how deeply problematic contemporary theological semantics has become, a semantics that seems not cable of allowing for standard logical derivations at all.

In this time when theological language seems to have adopted multiple semantic structures, and theological argument has been debased to mere assertion, perhaps it is time again to return to a former time, a time when agreement on semantics and logic allowed for reasoned theological argument and objective truth and meaning. Perhaps if theologians and pastors could again agree on the rules of thought and the nature of meaning, discourse about God could become again a deeply pertinent discourse seeking to discern truth - - a truth that we have not constructed, but rather found, a truth not of our making, but God's.