About this Journal Submit a Manuscript Table of Contents
Advances in Artificial Intelligence
Volume 2013 (2013), Article ID 920157, 10 pages
http://dx.doi.org/10.1155/2013/920157
Research Article

Conservative Intensional Extension of Tarski's Semantics

International Society for Research in Science and Technology, P.O. Box 2464, Tallahassee, FL 32316-2464, USA

Received 30 May 2012; Revised 12 October 2012; Accepted 23 October 2012

Academic Editor: Konstantinos Lefkimmiatis

Copyright © 2013 Zoran Majkić. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We considered an 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 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 standard FOL, we obtain a commutative homomorphic diagram, which is valid in each given possible world of an intensional FOL: from a free algebra of the FOL syntax, into its intensional algebra of concepts, and, successively, into an extensional relational algebra (different from Cylindric algebras). Then we show that this composition corresponds to the Tarski's interpretation of the standard extensional FOL in this possible world.