Possible world semantics for first order lp
| Abstract | First we have individual variables, as usual in first-order logics. (We do not have individual constants, but this is a minor point.) The propositional logic LP has justification constants, but in FOLP these are generalized to allow individual variables as arguments. Thus we have as justification constants c, c(x), c(x, y), . . . . Similarly LP has justification variables, but in FOLP these can be parametrized with individual variables p, p(x), p(x, y), . . . . To keep terminology in line with past papers, we will still refer to things as justification constants and justification variables, even though they have structure to them. As in LP, justification terms are built up from justification constants and justification variables using ·, +, ! as usual. In addition there is a new constructor, genx, introduced by Artemov, and there is one further new constructor, exsx, introduced in this paper. If t is a justification term and x is an individual variable, genxt and exsxt are justification terms. An individual variable x is free in a justification term unless it is bound by genx or exsx. More specifically, the free variables of p(x, y, . . .) and of c(x, y, . . .) are {x, y, . . .}, the free variables of s · t and of s + t are the free variables of s together with the free variables of t, the free variables of !s are the free variables of s, and the free variables of genxt and of exsxt are the free variables of t except for x. Formulas are built up from atomic formulas, including ⊥, in the way standard in first-order logic, together with the additional formation rule: t:X is a formula provided t is a justification term, X is a formula, and all free variables of X occur in t. We assume ⊃, ⊥, and ∀ are basic, with other connectives and quantifier defined. The axiomatization used here is a combination of an LP axiomatization and a standard axiomatization of first-order logic, together with a version of the Barcan formula, and one additional axiom that corresponds to the converse Barcan formula.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesC. F. M. Vermeulen (1995). Merging Without Mystery Or: Variables in Dynamics Semantics. Journal of Philosophical Logic 24 (4):405 - 450.
George Weaver (1988). Classifying ℵ0-Categorical Theories. Studia Logica 47 (4):327 - 345.
Natasha Alechina (2000). Functional Dependencies Between Variables. Studia Logica 66 (2):273-283.
Andrew M. Pitts (1992). On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. Journal of Symbolic Logic 57 (1):33-52.
Nino Cocchiarella (1976). On the Logic of Natural Kinds. Philosophy of Science 43 (2):202-222.
Hans Läuchli & Christian Savioz (1987). Monadic Second Order Definable Relations on the Binary Tree. Journal of Symbolic Logic 52 (1):219-226.
Dick Jongh & Franco Montagna (1991). Rosser Orderings and Free Variables. Studia Logica 50 (1):71 - 80.
Robin Hirsch, Ian Hodkinson & Roger D. Maddux (2002). Provability with Finitely Many Variables. Bulletin of Symbolic Logic 8 (3):348-379.
Analytics
Monthly downloads |
Added to index2009-06-23Total downloads26 ( #47,623 of 549,067 )Recent downloads (6 months)1 ( #63,185 of 549,067 )How can I increase my downloads? |
My notes
Discussion
