6,137 research outputs found
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
We present a Kleene realizability semantics for the intensional level of the
Minimalist Foundation, for short mtt, extended with inductively generated
formal topologies, Church's thesis and axiom of choice. This semantics is an
extension of the one used to show consistency of the intensional level of the
Minimalist Foundation with the axiom of choice and formal Church's thesis in
previous work. A main novelty here is that such a semantics is formalized in a
constructive theory represented by Aczel's constructive set theory CZF extended
with the regular extension axiom
Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic
This paper sets out a predicative response to the Russell-Myhill paradox of
propositions within the framework of Church's intensional logic. A predicative
response places restrictions on the full comprehension schema, which asserts
that every formula determines a higher-order entity. In addition to motivating
the restriction on the comprehension schema from intuitions about the stability
of reference, this paper contains a consistency proof for the predicative
response to the Russell-Myhill paradox. The models used to establish this
consistency also model other axioms of Church's intensional logic that have
been criticized by Parsons and Klement: this, it turns out, is due to resources
which also permit an interpretation of a fragment of Gallin's intensional
logic. Finally, the relation between the predicative response to the
Russell-Myhill paradox of propositions and the Russell paradox of sets is
discussed, and it is shown that the predicative conception of set induced by
this predicative intensional logic allows one to respond to the Wehmeier
problem of many non-extensions.Comment: Forthcoming in The Journal of Philosophical Logi
Induction of First-Order Decision Lists: Results on Learning the Past Tense of English Verbs
This paper presents a method for inducing logic programs from examples that
learns a new class of concepts called first-order decision lists, defined as
ordered lists of clauses each ending in a cut. The method, called FOIDL, is
based on FOIL (Quinlan, 1990) but employs intensional background knowledge and
avoids the need for explicit negative examples. It is particularly useful for
problems that involve rules with specific exceptions, such as learning the
past-tense of English verbs, a task widely studied in the context of the
symbolic/connectionist debate. FOIDL is able to learn concise, accurate
programs for this problem from significantly fewer examples than previous
methods (both connectionist and symbolic).Comment: See http://www.jair.org/ for any accompanying file
- …