a semantic perspective - Institute for Logic, Language and
... information temporally is to use tenses, and tenses locate information relative to the point of speech. For example, if at some time t I say “Clarence will fly”, then this will be true if at some future time t0 Clarence does in fact fly. Prior viewed tensed talk as fundamental: we exist in time, and ...
... information temporally is to use tenses, and tenses locate information relative to the point of speech. For example, if at some time t I say “Clarence will fly”, then this will be true if at some future time t0 Clarence does in fact fly. Prior viewed tensed talk as fundamental: we exist in time, and ...
ANALYZING AND UTILIZING RECEPTOR LANGUAGE
... in addition to some features that may be unique. The two major categories of techniques used in forming proverbs are those that rely on sound and those that rely on structure. Of course, many proverbs will utilize more than one technique, and often from both of these two major categories. In some la ...
... in addition to some features that may be unique. The two major categories of techniques used in forming proverbs are those that rely on sound and those that rely on structure. Of course, many proverbs will utilize more than one technique, and often from both of these two major categories. In some la ...
AN EARLY HISTORY OF MATHEMATICAL LOGIC AND
... figures were disseminated effectively through the literature of the time. The only mathematician who did sink into obscurity for a time was Bolzano, but he was rediscovered in time for the later figures I cover to know of his work. The concept of cross-pollination is central to this discussion. Sinc ...
... figures were disseminated effectively through the literature of the time. The only mathematician who did sink into obscurity for a time was Bolzano, but he was rediscovered in time for the later figures I cover to know of his work. The concept of cross-pollination is central to this discussion. Sinc ...
The Liar Paradox: A Consistent and Semantically Closed Solution
... This thesis develops a new approach to the formal de nition of a truth predicate that allows a consistent, semantically closed de nition within classical logic. The approach is built on an analysis of structural properties of languages that make Liar Sentences and the paradoxical argument possible. ...
... This thesis develops a new approach to the formal de nition of a truth predicate that allows a consistent, semantically closed de nition within classical logic. The approach is built on an analysis of structural properties of languages that make Liar Sentences and the paradoxical argument possible. ...
X - NUS School of Computing
... the resulting statement is either true or false. The set of all such elements that make the predicate true is called the truth set of the predicate. Definition 3.1.2 (Truth set) If P(x) is a predicate and x has domain D, the truth set is the set of all elements of D that make P(x) true when they are ...
... the resulting statement is either true or false. The set of all such elements that make the predicate true is called the truth set of the predicate. Definition 3.1.2 (Truth set) If P(x) is a predicate and x has domain D, the truth set is the set of all elements of D that make P(x) true when they are ...
X - NUS School of Computing
... the resulting statement is either true or false. The set of all such elements that make the predicate true is called the truth set of the predicate. Definition 3.1.2 (Truth set) If P(x) is a predicate and x has domain D, the truth set is the set of all elements of D that make P(x) true when they are ...
... the resulting statement is either true or false. The set of all such elements that make the predicate true is called the truth set of the predicate. Definition 3.1.2 (Truth set) If P(x) is a predicate and x has domain D, the truth set is the set of all elements of D that make P(x) true when they are ...
Logic in Nonmonotonic Reasoning
... knowledge bases, when such hierarchies have been allowed to have exceptions. The theory of reasoning in such taxonomies has been called nonmonotonic inheritance (see [Horty, 1994] for an overview). The guiding principle in resolving potential conflicts in such hierarchies was a specificity principl ...
... knowledge bases, when such hierarchies have been allowed to have exceptions. The theory of reasoning in such taxonomies has been called nonmonotonic inheritance (see [Horty, 1994] for an overview). The guiding principle in resolving potential conflicts in such hierarchies was a specificity principl ...
The Verb live in Dictionaries: A - TamPub
... define what constitutes as a word in a dictionary, a matter which is crucial for both dictionary compiling and this study, but is more complex than one might initially assume. The verb live has been chosen as a case study because it is a good example of a word that has multiple meanings, and similar ...
... define what constitutes as a word in a dictionary, a matter which is crucial for both dictionary compiling and this study, but is more complex than one might initially assume. The verb live has been chosen as a case study because it is a good example of a word that has multiple meanings, and similar ...
Programming in Logic Without Logic Programming
... Because of the restrictions on quantifiers, and because of the logical equivalence Y [p q] Y p Z q, we can omit the quantifiers X and Y, and simply write antecedent consequent or antecedent consequent1 ... consequentn. Variables that are unbound in an FOL condition become bound eith ...
... Because of the restrictions on quantifiers, and because of the logical equivalence Y [p q] Y p Z q, we can omit the quantifiers X and Y, and simply write antecedent consequent or antecedent consequent1 ... consequentn. Variables that are unbound in an FOL condition become bound eith ...
Savchenko-master - DUO
... This research originated from the observation that cognates of even closely related languages such as Norwegian and English are far from stable in translation across the languages. The existence of close formal and semantic correspondences, such as from and fra, might give one the feeling that these ...
... This research originated from the observation that cognates of even closely related languages such as Norwegian and English are far from stable in translation across the languages. The existence of close formal and semantic correspondences, such as from and fra, might give one the feeling that these ...
grammaticalization and the semantic
... which lexical items lose their semantic features and/or formal markings to serve grammatical functions. The beginnings of this process are found in Proto-Germanic, where fully lexical, stative verbs become partially grammaticalized (yet still lexical) deontic modals in Old English and Old High Germa ...
... which lexical items lose their semantic features and/or formal markings to serve grammatical functions. The beginnings of this process are found in Proto-Germanic, where fully lexical, stative verbs become partially grammaticalized (yet still lexical) deontic modals in Old English and Old High Germa ...
Modes of Scalar Reversal in Japanese
... First, I argue that the implicatures induced by kaette and yoppodo are conventional and have a generic meaning (Carlson 1982; Krifka et al. 1995, among many others). That is, the ‘at issue’ proposition in (1) is true only in a specific (context-dependent) situation. Second, I argue that there are tw ...
... First, I argue that the implicatures induced by kaette and yoppodo are conventional and have a generic meaning (Carlson 1982; Krifka et al. 1995, among many others). That is, the ‘at issue’ proposition in (1) is true only in a specific (context-dependent) situation. Second, I argue that there are tw ...
A causal approach to nonmonotonic reasoning
... practical applications of nonmonotonic reasoning in AI. Still, the explanatory approach remains largely syntactic in nature, and does not give us a transparent and systematic way of representing empirical data. More precisely, due to the fact that default rules do not have a direct semantic interpre ...
... practical applications of nonmonotonic reasoning in AI. Still, the explanatory approach remains largely syntactic in nature, and does not give us a transparent and systematic way of representing empirical data. More precisely, due to the fact that default rules do not have a direct semantic interpre ...
Structuring information in discourse: the explicit/implicit
... Levinson (2000) explicates this view in saying that the “said” can be taken to be truth-conditional content, the output of semantic interpretation (the proposition expressed), while the “implicated” can be taken to include all the processes of pragmatic inference. If this is the distinction to be dr ...
... Levinson (2000) explicates this view in saying that the “said” can be taken to be truth-conditional content, the output of semantic interpretation (the proposition expressed), while the “implicated” can be taken to include all the processes of pragmatic inference. If this is the distinction to be dr ...