Correction to FOIL axiomatized studia logica , 84:1–22, 2006

Studia Logica 85 (2):275 - (2007)
Abstract
There is an error in the completeness proof for the {λ, =} part of FOIL-K. The error occurs in Section 4, in the text following the proof of Corollary 4.7, and concerns the definition of the interpretation I on relation symbols. Before this point in the paper, for each object variable v an equivalence class v has been defined, and for each intension variable f a function f has been defined. Then the following definition is given for a relation symbol P : v1, v2, . . . , f1, f2, . . . ∈ I(P )(Γ) just in case there are w1, w2, . . . in d(Γ) with wi ∈ vi such that P (w1, w2, . . . , f1, f2, . . .) ∈ Γ. It was pointed out by Torben Brauner that we could have f1 and g1 being the same function, but also have P (w1, w2, . . . , f1, f2, . . .) ∈ Γ without having P (w1, w2, . . . , g1, f2, . . .) ∈ Γ. Our solution is to modify the definition of the model, rather artificially, so that if f and g are the same function, then f and g are syntactically the same intension variable. This is done as follows. First, arbitrarily choose some object variable w, and its corresponding equivalence class w. For each intension variable f we define a disambiguation world ˆ
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 11,826
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

Similar books and articles
Analytics

Monthly downloads

Added to index

2009-01-28

Total downloads

7 ( #192,777 of 1,100,123 )

Recent downloads (6 months)

5 ( #66,996 of 1,100,123 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.