met*: A Method for Discriminating Metonymy and Metaphor by
... of properties. Properties are either "attributes," one-place predicates like LARGE(x), or "relations," two-place predicates such as COLLIDE(x,y). The four kinds of comparison are distinguished b y the relative proportions of attributes and relations that are matched, and the forms of mappings establ ...
... of properties. Properties are either "attributes," one-place predicates like LARGE(x), or "relations," two-place predicates such as COLLIDE(x,y). The four kinds of comparison are distinguished b y the relative proportions of attributes and relations that are matched, and the forms of mappings establ ...
Modal Logic for Artificial Intelligence
... only if’, they are the logical constants of propositional logic (see section 1). A formal logic is a definition of valid argument forms, such as the one above. There are different methods for doing so. Here we are concerned with two of them: the model-theoretic approach and the proof-theoretic appro ...
... only if’, they are the logical constants of propositional logic (see section 1). A formal logic is a definition of valid argument forms, such as the one above. There are different methods for doing so. Here we are concerned with two of them: the model-theoretic approach and the proof-theoretic appro ...
Full Text - Rutgers University
... While in the midst of writing this dissertation, I imagined it would be great fun to finally get to the stage of writing the acknowledgments because not only would it mean that I was near the end, it would mean the chance to write about my mentors and friends and how much they mean to me. Now that I ...
... While in the midst of writing this dissertation, I imagined it would be great fun to finally get to the stage of writing the acknowledgments because not only would it mean that I was near the end, it would mean the chance to write about my mentors and friends and how much they mean to me. Now that I ...
Modular Construction of Complete Coalgebraic Logics
... In the coalgebraic approach, a system consists of a state space C and a function γ : C → T C, which maps every state c ∈ C to the observations γ(c) that can be made of c after one transition step. Different types of systems can then be represented by varying the type T of observations. A closer loo ...
... In the coalgebraic approach, a system consists of a state space C and a function γ : C → T C, which maps every state c ∈ C to the observations γ(c) that can be made of c after one transition step. Different types of systems can then be represented by varying the type T of observations. A closer loo ...
A Judgmental Reconstruction of Modal Logic
... An alternative way to understand local completeness is to reconsider our meaning explanation of conjunction. We have said that a verification of A ∧ B consists of a verification of A and a verification of B. Local completeness entails that it is always possible to bring the verification of A ∧ B int ...
... An alternative way to understand local completeness is to reconsider our meaning explanation of conjunction. We have said that a verification of A ∧ B consists of a verification of A and a verification of B. Local completeness entails that it is always possible to bring the verification of A ∧ B int ...
CS389L: Automated Logical Reasoning Lecture 1
... iff I 6|= F iff I |= F1 and I |= F2 iff I |= F1 or I |= F2 iff, I 6|= F1 or I |= F2 iff, I |= F1 and I |= F2 or I 6|= F1 and I 6|= F2 ...
... iff I 6|= F iff I |= F1 and I |= F2 iff I |= F1 or I |= F2 iff, I 6|= F1 or I |= F2 iff, I |= F1 and I |= F2 or I 6|= F1 and I 6|= F2 ...
Microsyntax
... For a word to have a certain valence it is necessary, though insufficient, that a situation denoted by this word should contain a corresponding participant in the intuitively obvious way. From this point of view, not nearly all generalized quantifiers are eligible for having a valence filled by a ve ...
... For a word to have a certain valence it is necessary, though insufficient, that a situation denoted by this word should contain a corresponding participant in the intuitively obvious way. From this point of view, not nearly all generalized quantifiers are eligible for having a valence filled by a ve ...
SITUATIONS, TRUTH AND KNOWABILITY — A
... version or another of the Knowability Principle ("Any true proposition is knowable"). There is, however, a wellknown argument, first published by Frederic Fitch (1963), which seems to threaten the anti-realist position. Starting out from seemingly innocuous assumptions, Fitch claims to prove: if the ...
... version or another of the Knowability Principle ("Any true proposition is knowable"). There is, however, a wellknown argument, first published by Frederic Fitch (1963), which seems to threaten the anti-realist position. Starting out from seemingly innocuous assumptions, Fitch claims to prove: if the ...
propositional logic
... (1.3). We will consider the question, what the logical form means and how the validity of an argument depends on it. The king of arguments considered above are called deductions. In a deduction the conclusion follows necessarily from the premises. An argument where the conclusion does not necessaril ...
... (1.3). We will consider the question, what the logical form means and how the validity of an argument depends on it. The king of arguments considered above are called deductions. In a deduction the conclusion follows necessarily from the premises. An argument where the conclusion does not necessaril ...
Die Grundlagen der Arithmetik §§82–83
... proof we discuss conforms to the outline Frege gives in §§82–83 more closely than does the first. But if it had been the one he had in mind, the proof-sketch in these two sections would have contained a remarkably large gap that was never filled by any argument found in Grundgesetze. In any case, it ...
... proof we discuss conforms to the outline Frege gives in §§82–83 more closely than does the first. But if it had been the one he had in mind, the proof-sketch in these two sections would have contained a remarkably large gap that was never filled by any argument found in Grundgesetze. In any case, it ...
Knowledge Representation and Reasoning
... In propositional logic the smallest meaningful expression that can be represented is the proposition. However, even atomic propositions (those not involving any propositional connectives) have internal logical structure. ...
... In propositional logic the smallest meaningful expression that can be represented is the proposition. However, even atomic propositions (those not involving any propositional connectives) have internal logical structure. ...
The Foundations
... sentence referred to. =>Example: Since it is not raining now(the current situation), the statement It_is_raining is false (in the current situation). But if it were raining now, then I would say that It_is_raining is true. Factors affecting the truth value of a proposition: the situation in whic ...
... sentence referred to. =>Example: Since it is not raining now(the current situation), the statement It_is_raining is false (in the current situation). But if it were raining now, then I would say that It_is_raining is true. Factors affecting the truth value of a proposition: the situation in whic ...
Collocation
... functional words, they are essentially analogous to separate functional words and are used as connectors and specifies of notional elements of various status. Cf.: from out of, up to, so that, such as must be able, don`t let`s. Functional phrases of such and like character constitute limited groups ...
... functional words, they are essentially analogous to separate functional words and are used as connectors and specifies of notional elements of various status. Cf.: from out of, up to, so that, such as must be able, don`t let`s. Functional phrases of such and like character constitute limited groups ...
The Foundations
... (or fact) that the proposition is intended to represent occurs (happens, exists) in the situation which the proposition is intended to describe. =>Example: Since it is not raining now (the current situation), the statement “It_is_raining” is false (in the current situation). But if it were raining n ...
... (or fact) that the proposition is intended to represent occurs (happens, exists) in the situation which the proposition is intended to describe. =>Example: Since it is not raining now (the current situation), the statement “It_is_raining” is false (in the current situation). But if it were raining n ...