This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is dynamic if a formula derived at some stage need not be derived at a later stage.) The paper illustrates three interesting points. (i) A set of properties that characterizes an inference relation on the (very natural) dynamic proof interpretation, need not characterize the same inference relation (or even any inference relation) on the usual settheoretical interpretation. (ii) A proof format may display an (...) internal dynamics (defeasible conclusions) in the absence of an external dynamics (non-monotonicity). (iii) A monotonic logic may have a non-monotonic characterization. (shrink)

Three semantic relations are analyzed: the relation of implication of a question by a question and a set of declarative sentences, the relation of implication of a question by a question, and the relation of strong implication of a question by a question and a set of declarative sentences. The connections between these concepts and the concepts of relative soundness, partial answerhood and presupposition are examined. The principal results are theorems about, to speak generally, epistemic reducibility of well-posed questions to (...) sequences of implied yes-no questions. (shrink)

In this paper, I present two ampliative adaptive logics: LA and LAk. LA is an adaptive logic for abduction that enables one to generate explanatory hypotheses from a set of observational statements and a set of background assumptions. LAk is based on LA and has the peculiar property that it selects those explanatory hypotheses that are empirically most successful. The aim of LAk is to capture the notion of empirical progress as studied by Theo Kuipers.

In this paper I present a simple and straightforward logic of induction: a consequence relation characterized by a proof theory and a semantics. This system will be called LI. The premises will be restricted to, on the one hand, a set of empirical data and, on the other hand, a set of background generalizations. Among the consequences will be generalizations as well as singular statements, some of which may serve as predictions and explanations.