Intensionality and Two-steps Interpretations

Details Intensionality and Two-steps Interpretations Intensionality and Two-steps Interpretations

2011-03-04

arxiv.org/abs/1103.0967v1

Computer Science

Logic in Computer Science

15 pages

Scientific paper

In this paper we considered the extension of the First-order Logic (FOL) by Bealer's intensional abstraction operator. Contemporary use of the term 'intension' derives from the traditional logical Frege-Russell's doctrine that an idea (logic formula) has both an extension and an intension. Although there is divergence in formulation, it is accepted that the extension of an idea consists of the subjects to which the idea applies, and the intension consists of the attributes implied by the idea. From the Montague's point of view, the meaning of an idea can be considered as particular extensions in different possible worlds. In the case of the pure FOL we obtain commutative homomorphic diagram that holds in each given possible world of the intensional FOL, from the free algebra of the FOL syntax, toward its intensional algebra of concepts, and, successively, to the new extensional relational algebra (different from Cylindric algebras). Then we show that it corresponds to the Tarski's interpretation of the standard extensional FOL in this possible world.

Affiliated with

Also associated with

No associations

Rating

Intensionality and Two-steps Interpretations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Intensionality and Two-steps Interpretations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Intensionality and Two-steps Interpretations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-321703