Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Predicate_abstraction> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Predicate_abstraction abstract "In logic, predicate abstraction is the result of creating a predicate from a sentence. If Q is any formula then the predicate abstract formed from that sentence is (λy.Q), where λ is an abstraction operator and in which every occurrence of y occurs bound by λ in (λy.Q). The resultant predicate (λx.Q(x)) is a monadic predicate capable of taking a term t as argument as in (λx.Q(x))(t), which says that the object denoted by 't' has the property of being such that Q.The law of abstraction states ( λx.Q(x) )(t) ≡ Q(t/x) where Q(t/x) is the result of replacing all free occurrences of x in Q by t. This law is shown to fail in general in at least two cases: (i) when t is irreferential and (ii) when Q contains modal operators.In modal logic the "de re / de dicto distinction" is stated as1. (DE DICTO): 2. (DE RE): .In (1) the modal operator applies to the formula A(t) and the term t is within the scope of the modal operator. In (2) t is not within the scope of the modal operator.".
- Predicate_abstraction wikiPageID "3206883".
- Predicate_abstraction wikiPageRevisionID "572038918".
- Predicate_abstraction hasPhotoCollection Predicate_abstraction.
- Predicate_abstraction subject Category:Modal_logic.
- Predicate_abstraction subject Category:Philosophical_logic.
- Predicate_abstraction comment "In logic, predicate abstraction is the result of creating a predicate from a sentence. If Q is any formula then the predicate abstract formed from that sentence is (λy.Q), where λ is an abstraction operator and in which every occurrence of y occurs bound by λ in (λy.Q).".
- Predicate_abstraction label "Predicate abstraction".
- Predicate_abstraction sameAs m.08z9vn.
- Predicate_abstraction sameAs Q7239630.
- Predicate_abstraction sameAs Q7239630.
- Predicate_abstraction wasDerivedFrom Predicate_abstraction?oldid=572038918.
- Predicate_abstraction isPrimaryTopicOf Predicate_abstraction.