Analytic–synthetic distinction in the context of "Willard Van Orman Quine"

Logical truth is one of the most fundamental concepts in logic. Broadly speaking, a logical truth is a statement which is true regardless of the truth or falsity of its constituent propositions. In other words, a logical truth is a statement which is not only true, but one which is true under all interpretations of its logical components (other than its logical constants). Thus, logical truths such as "if p, then p" can be considered tautologies. Logical truths are thought to be the simplest case of statements which are analytically true (or in other words, true by definition). All of philosophical logic can be thought of as providing accounts of the nature of logical truth, as well as logical consequence.

Logical truths are generally considered to be necessarily true. This is to say that they are such that no situation could arise in which they could fail to be true. The view that logical statements are necessarily true is sometimes treated as equivalent to saying that logical truths are true in all possible worlds. However, the question of which statements are necessarily true remains the subject of continued debate.

Typology in Christian theology and biblical exegesis is a doctrine or theory concerning the relationship of the Old Testament to the New Testament. Events, persons or statements in the Old Testament are seen as types prefiguring or superseded by antitypes, events or aspects of Christ or his revelation described in the New Testament. For example, Jonah may be seen as the type of Christ in that he emerged from the fish's belly and thus appeared to rise from death.

In the fullest version of the theory of typology, the whole purpose of the Old Testament is viewed as merely the provision of types for Christ, the antitype or fulfillment. The theory began in the Early Church, was at its most influential in the High Middle Ages and continued to be popular, especially in Calvinism, after the Protestant Reformation, but in subsequent periods, it has been given less emphasis. In 19th-century German Protestantism, typological interpretation was distinguished from rectilinear interpretation of prophecy. The former was associated with Hegelian theologians and the latter with Kantian analyticity. Several groups favoring typology today include the Christian Brethren beginning in the 19th century (for which typology was much favoured and the subject of numerous books) and the Wisconsin Evangelical Lutheran Synod.