HOME





Entailment (linguistics)
Linguistic entailments are entailments which arise in natural language. If a sentence ''A'' entails a sentence ''B'', sentence ''A'' cannot be true without ''B'' being true as well. For instance, the English sentence "Pat is a fluffy cat" entails the sentence "Pat is a cat" since one cannot be a fluffy cat without being a cat. On the other hand, this sentence does not entail "Pat chases mice" since it is possible (if unlikely) for a cat to not chase mice. Entailments arise from the semantics of linguistic expressions. Entailment contrasts with the pragmatic notion of implicature. While implicatures are fallible inferences, entailments are enforced by lexical meanings plus the laws of logic. Entailments also differ from presuppositions, whose truth is taken for granted. The classic example of a presupposition is the existence presupposition which arises from definite descriptions. For example, the sentence "The king of France is bald" presupposes that there is a king of France ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Entailment
Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statements that hold true when one statement logically ''follows from'' one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises?Beall, JC and Restall, Greg, Logical Consequence' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth. Logical consequence is necessary and formal, by way of examples that explain with formal proof and models of interpretation. A sentence is said to b ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Natural Language
A natural language or ordinary language is a language that occurs naturally in a human community by a process of use, repetition, and change. It can take different forms, typically either a spoken language or a sign language. Natural languages are distinguished from constructed and formal languages such as those used to program computers or to study logic. Defining natural language Natural languages include ones that are associated with linguistic prescriptivism or language regulation. ( Nonstandard dialects can be viewed as a wild type in comparison with standard languages.) An official language with a regulating academy such as Standard French, overseen by the , is classified as a natural language (e.g. in the field of natural language processing), as its prescriptive aspects do not make it constructed enough to be a constructed language or controlled enough to be a controlled natural language. Natural language are different from: * artificial and constructed la ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

English Language
English is a West Germanic language that developed in early medieval England and has since become a English as a lingua franca, global lingua franca. The namesake of the language is the Angles (tribe), Angles, one of the Germanic peoples that Anglo-Saxon settlement of Britain, migrated to Britain after its End of Roman rule in Britain, Roman occupiers left. English is the list of languages by total number of speakers, most spoken language in the world, primarily due to the global influences of the former British Empire (succeeded by the Commonwealth of Nations) and the United States. English is the list of languages by number of native speakers, third-most spoken native language, after Mandarin Chinese and Spanish language, Spanish; it is also the most widely learned second language in the world, with more second-language speakers than native speakers. English is either the official language or one of the official languages in list of countries and territories where English ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Formal Semantics (linguistics)
Formal semantics is the scientific study of linguistic meaning through formal tools from logic and mathematics. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. Formal semanticists rely on diverse methods to analyze natural language. Many examine the meaning of a sentence by studying the Truth condition, circumstances in which it would be true. They describe these circumstances using Model theory, abstract mathematical models to represent entities and their features. The principle of compositionality helps them link the meaning of expressions to Mathematical object, abstract objects in these models. This principle asserts that the meaning of a compound expression is determined by the meanings of its parts. Propositional logic, Propositional and predicate logic are formal systems used to analyze the semantic structure of sentences. They introduce concepts like singular terms, Predicate (mathematical logic), predicates, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Pragmatics
In linguistics and the philosophy of language, pragmatics is the study of how Context (linguistics), context contributes to meaning. The field of study evaluates how human language is utilized in social interactions, as well as the relationship between the interpreter and the interpreted. Linguists who specialize in pragmatics are called pragmaticians. The field has been represented since 1986 by the International Pragmatics Association (IPrA). Pragmatics encompasses phenomena including implicature, speech acts, relevance theory, relevance and Conversation analysis, conversation,Mey, Jacob L. (1993) ''Pragmatics: An Introduction''. Oxford: Blackwell (2nd ed. 2001). as well as nonverbal communication. Theories of pragmatics go hand-in-hand with theories of semantics, which studies aspects of meaning, and syntax, which examines sentence structures, principles, and relationships. The ability to understand another speaker's intended meaning is called ''pragmatic competence''. In 1938 ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Implicature
In pragmatics, a subdiscipline of linguistics, an implicature is something the speaker suggests or implies with an utterance, even though it is not literally expressed. Implicatures can aid in communicating more efficiently than by explicitly saying everything we want to communicate. The philosopher H. P. Grice coined the term in 1975. Grice distinguished ''conversational'' implicatures, which arise because speakers are expected to respect general rules of conversation, and ''conventional'' ones, which are tied to certain words such as "but" or "therefore". Take for example the following exchange: : A (to passerby): I am out of gas. : B: There is a gas station 'round the corner. Here, B does not say, but ''conversationally implicates'', that the gas station is open, because otherwise his utterance would not be relevant in the context. Conversational implicatures are classically seen as contrasting with entailments: they are not necessary or logical consequences of what is said, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Presupposition
In linguistics and philosophy, a presupposition is an implicit assumption about the world or background belief relating to an utterance whose truth is taken for granted in discourse. Examples of presuppositions include: * ''Jane no longer writes fiction.'' ** Presupposition: Jane once wrote fiction. * ''Have you stopped eating meat?'' ** Presupposition: you had once eaten meat. * ''Have you talked to Hans?'' ** Presupposition: Hans exists. A presupposition is information that is linguistically presented as being mutually known or assumed by the speaker and addressee. This may be required for the utterance to be considered appropriate in context, but it is not uncommon for new information to be encoded in presuppositions without disrupting the flow of conversation (see accommodation below). A presupposition remains mutually known by the speaker and addressee whether the utterance is placed in the form of an assertion, denial, or question, and can be associated with a specific lexi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Definite Description
In formal semantics and philosophy of language, a definite description is a denoting phrase in the form of "the X" where X is a noun-phrase or a singular common noun. The definite description is ''proper'' if X applies to a unique individual or object. For example: " the first person in space" and " the 42nd President of the United States of America" are proper. The definite descriptions "the person in space" and "the Senator from Ohio" are ''improper'' because the noun phrase X applies to more than one thing, and the definite descriptions "the first man on Mars" and "the Senator from Washington D.C." are ''improper'' because X applies to nothing. Improper descriptions raise some difficult questions about the law of excluded middle, denotation, modality, and mental content. Russell's analysis As France is currently a republic, it has no king. Bertrand Russell pointed out that this raises a puzzle about the truth value of the sentence "The present King of France is bald." The ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Downward Entailing
In linguistics, linguistic semantics, a downward entailing (DE) propositional operator is one that constrains the meaning of an expression to a lower number or degree than would be possible without the expression. For example, "not," "nobody," "few people," "at most two boys." Conversely, an Upward entailing, upward-entailing operator constrains the meaning of an expression to a higher number or degree, for example "more than one." A context that is neither downward nor upward entailing is ''non-monotone'', such as "exactly five." A downward-entailing operator reverses the relation of ''semantic strength'' among expressions. An expression like "run fast" is semantically ''stronger'' than the expression "run" since "John ran fast" entailment (pragmatics), entails "John ran," but not conversely. But a downward-entailing context reverses this strength; for example, the proposition "At most two boys ran" entails that "At most two boys ran fast" but not the other way around. An upward-en ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Formal Semantics (linguistics)
Formal semantics is the scientific study of linguistic meaning through formal tools from logic and mathematics. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. Formal semanticists rely on diverse methods to analyze natural language. Many examine the meaning of a sentence by studying the Truth condition, circumstances in which it would be true. They describe these circumstances using Model theory, abstract mathematical models to represent entities and their features. The principle of compositionality helps them link the meaning of expressions to Mathematical object, abstract objects in these models. This principle asserts that the meaning of a compound expression is determined by the meanings of its parts. Propositional logic, Propositional and predicate logic are formal systems used to analyze the semantic structure of sentences. They introduce concepts like singular terms, Predicate (mathematical logic), predicates, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Implicature
In pragmatics, a subdiscipline of linguistics, an implicature is something the speaker suggests or implies with an utterance, even though it is not literally expressed. Implicatures can aid in communicating more efficiently than by explicitly saying everything we want to communicate. The philosopher H. P. Grice coined the term in 1975. Grice distinguished ''conversational'' implicatures, which arise because speakers are expected to respect general rules of conversation, and ''conventional'' ones, which are tied to certain words such as "but" or "therefore". Take for example the following exchange: : A (to passerby): I am out of gas. : B: There is a gas station 'round the corner. Here, B does not say, but ''conversationally implicates'', that the gas station is open, because otherwise his utterance would not be relevant in the context. Conversational implicatures are classically seen as contrasting with entailments: they are not necessary or logical consequences of what is said, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Loaded Question
A loaded question is a form of complex question that contains a controversial assumption (e.g., a presumption of guilt). Such questions may be used as a rhetorical tool: the question attempts to limit direct replies to be those that serve the questioner's agenda. The traditional example is the question "Have you stopped beating your wife?" Without further clarification, an answer of either yes or no suggests the respondent has beaten their wife at some time in the past. Thus, these facts are '' presupposed'' by the question, and in this case an entrapment, because it narrows the respondent to a single answer, and the fallacy of many questions has been committed. The fallacy relies upon context for its effect: the fact that a question presupposes something does not in itself make the question fallacious. Only when some of these presuppositions are not necessarily agreed to by the person who is asked the question does the argument containing them become fallacious. Hence, the same ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]