Predicate abstraction

Predicate abstraction

In logic, predicate abstraction is the result of creating a predicate from an open sentence. If Q(x) is any formula with x free then the predicate formed from that sentence is (λx.Q(x)), where λ is an abstraction operator. 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 ( λy.Q(x) )(t) ≡ Q(t/x) where Q(t/x) is the result of replacing all free occurrences of t in Q by x. 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 as

1. (DE DICTO): Box A(t)

2. (DE RE): (lambda x.Box A(x))(t).

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.

References

For the semantics and further philosophical developments of predicate abstraction see Fitting and Mendelsohn, "First-order Modal Logic", Springer, 1999.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Abstraction — This article is about the concept of abstraction in general. For other uses, see abstraction (disambiguation). Abstraction is a process by which higher concepts are derived from the usage and classification of literal ( real or concrete )… …   Wikipedia

  • Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… …   Wikipedia

  • Hypostatic abstraction — Hypostatic abstraction, also known as hypostasis or subjectal abstraction, is a formal operation that takes an element of information, such as might be expressed in a proposition of the form X is Y , and conceives its information to consist in… …   Wikipedia

  • Continuous predicate — is a term coined by Charles Sanders Peirce (1839–1914) to describe a special type of relational predicate that results as the limit of a recursive process of hypostatic abstraction. Here is one of Peirce s definitive discussions of the concept:… …   Wikipedia

  • Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… …   Wikipedia

  • Hegelians (The Young), Feuerbach, and Marx — The Young Hegelians, Feuerbach, and Marx Robert Nola Largely through lectures delivered at the University of Berlin, Hegel built up a circle of followers, mainly contemporaries or pupils, who were intent on working out aspects of the… …   History of philosophy

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

  • HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… …   Encyclopedia of Judaism

  • Bradley, F.H. — Bradley T.L.S.Sprigge INTRODUCTORY F.H.Bradley (1846–1924) was a fellow of Merton College, Oxford, for all his adult life. Though his personality and life are interesting, information about them is not required for an understanding of his… …   History of philosophy

  • Semiotic elements and classes of signs — C. S. Peirce articles  General:    Charles Sanders Peirce Charles Sanders Peirce bibliography Philosophical:    Categories (Peirce) Semiotic elements and   classes of signs (Peirce) Pragmatic maxim • Pragmaticism… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”