Presupposition

Presupposition is first assumption that appears in speaker's mind in conversation that the hearer can understand what the speaker is talking about.  Presupposition is assumption that the addressee is able to understand what the speaker means because the speaker's utterance has certain sign, context, and reference that is understood by interlocutor.

In addition, Palmer (1989: 181) tries to explain this by giving an example "the king of France is bald", Palmer tries to compare the notion of Russell (1905) and Strawson in which according to Russell, considered by Palmer as the first notion appeared, the sentence "the king of France is bald" indicates two things, first, the existence of king of France and the king is bald. If essentially the king of France does not exist, the sentence is judged as fake or false sentence, and conversely. The second notion comes from Strawson, he states that in sentence "the king of France is bald", the speaker supposes that the hearer is able to recognize exactly the man or thing in the sentence uttered by him exists. So that the speaker is not necessary to confirm whether the man or thing is really exist, however the speaker only makes presupposition about the existence of it. If the man or thing does not exist, so it will appear what is called 'the failure of presupposition', and the sentence is not true or false. Simpler we can say that, if sentence (a) presuppose sentence (b), the truth of the sentence (b) must follow from the truth of sentence (a), but if sentence (b) is false, then the sentence (a) will has no truth value. 

In addition presupposition is divided into two categories, they are: logic presupposition and pragmatic presupposition. Logic presupposition is presupposition which deals with the arrangement and understanding of message in which as the part of semantics has logic relationship with form of expression, both in coding and structuring of relationship. In addition, pragmatic presupposition is presupposition which deals with context, both in the relation between the users and social-situational surrounded it.

In the study of logic of language, we know about the term propositional calculus. This term basically involve two concepts, they are: calculus and proposition. Calculus is 'taking conclusion determining truth' and proposition is 'statement which suitable with abstraction in the consciousness of the user'. So that, propositional calculus deals with characteristics abstraction of reference when it is in the conceptualization of expression, taking conclusion of the characteristic of relationship of abstraction result is signed by connective sign, such as: which, that, to be, and, not, or. For instance, '"Malang is beautiful city", when the speaker abstracts Malang city for instance, he has known well about Malang city so that he is able to give earmark' beautiful'.  
.................................................................................................................
See also:

Entailment


Entailment is a relationship that applies between two sentences, where the truth of one implies the truth of the other because the meanings of the words involved. It is relation between sentences such that the truth of the second sentence necessarily follows from the truth of the first. The test of entailment can be done as follows: sentence (a) entails sentence (b) if the truth of sentence (a) insures the truth of sentence (b) and if the falsity of sentence (b) insures the falsity of sentence (a). For instance, (a) Adi is a bachelor (b) Adi has been unmarried. In this case, sentence (a) entails sentence (b) because the truth of sentence (a) insures the truth sentence (b) (if Adi is a bachelor, he is automatically unmarried), and the falsity of sentence (b) insures the falsity of sentence (a) (if Adi is married, he is not bachelor). However, the relation of entailment is unidirectional, it means the position between sentence (a) and (b) are irreplaceable. For instance, let us take the previous example and try to replace them, (b) Adi has been unmarried (a) Adi is a bachelor. In this case, sentence (b) does not entail sentence (a¬) because if Adi has been unmarried, it does not mean that he a bachelor, it is very possible that he is a widower or etc. (Kempson, 1977: 142).

.................................................................................................................
See also:

Synthetic Sentence


Sentence which might be true or false depend on the world which they refer. In contrast to analytic sentences, synthetic sentences are not true or false because of the words which comprise them; they, however, do or do not accurately describe some state of affairs in the world. For instance, the sentence, 'Adi's home is burning.' is a synthetic sentence. We cannot judge its truth or falsity by examining the words in the sentence. We must investigate the truth or falsity of this sentence empirically. 

In addition, there are certain sentences which make us confuse to determine whether it is included in analytic or synthetic sentence. For instance the sentence ' oxygen is not blue', the problem appears concerning the color of the oxygen, because we do not know the color of oxygen since we can not see it just feel it, in this case the sentence tend to be included into synthetic sentence since the definition of the two categories them selves, analytic is true by definition and synthetic is true as the result of investigating, verifying, and falsifying empirically. 

.................................................................................................................
See also:

Analytic Sentence

An analytic sentence is one that is necessarily true as a result of the words in it. For instance "bachelor is unmarried man” is true not because the world is the way it is, but because of the English is the way it is. Based on our English knowledge, the word 'bachelor' means 'unmarried man'. It is not necessary for us to check on the outside world to prove the truth of this sentence. In the other word, the sentence is obligatory true, it is not bounded the condition that follows, based on the relationships between words formed the sentence (Kempson, 1977: 26). In addition, it can be defined that analytic sentence are "true by definition". Analytic truth may be considered as linguistic truth since they are true in virtue of the language itself. Parker in Ahmadin (1998: 17).
.................................................................................................................
See also:

Formal semantics

Although the term of 'formal semantic' might be used in a very general sense to refer to a whole set of different approaches to the study of meaning, it is usually employed nowadays with particular reference to a certain version of truth conditional semantics which originated in the investigation of specially constructed formal languages by logicians and has recently been applied to the investigation of natural languages.

According to Tarski to know the meaning of certain sentence, it means to understand in what condition the sentence is true. For instance, the sentence 'snow is white', to know the meaning of that sentence we have to understand what condition existed that supports that sentence is true. There is a formula concerning this discussion:

S is true if and if only P

S refers to the sentence, and P refers to the condition which supports the S. from the preceding example we can say that snow is white is true and if only snow is white.

In addition, the study of truth condition falls into two basic categories: the study of different types included in individual sentences: analytic and syntactic; and the study of different types of truth connections that hold between sentences; entailment and presupposition. 
.................................................................................................................
See also:
Like us on Facebook
Follow us on Twitter
Recommend us on Google Plus