In two experiments, we investigated how people interpret and reason with realistic conditionals in the form of inducements (i.e., promises and threats) and advice (i.e., tips and warnings). We found that inducements and advice differed with respect to the degree to which the speaker was perceived to have (a) control over the consequent, (b) a stake in the outcome, and (c) an obligation to ensure that the outcome occurs. Inducements and advice also differed with respect to perceived sufficiency and necessity, (...) as well as the degree to which these statements were perceived to be effective in changing the behaviour described in the antecedent of the conditional. Multiple regression analyses indicated that perceived control over the consequent, necessity, and sufficiency emerged as the best predictors of (a) the degree to which statements were perceived to be effective in changing the behaviour of the addressee, and (b) inference patterns on a conditional arguments task. (shrink)

Recent research (e.g., Evans & Over, 2004) has provided support for the hypothesis that people evaluate the probability of conditional statements of the form if p then q as the conditional probability of q given p , P( q / p ). The present paper extends this approach to pragmatic conditionals in the form of inducements (i.e., promises and threats) and advice (i.e., tips and warnings). In so doing, we demonstrate a distinction between the truth status of these conditionals and (...) their effectiveness as speech acts. Specifically, while probability judgements of the truth of conditional inducements and advice are highly correlated with estimates of P( q / p ), their perceived effectiveness in changing behaviour instead varies as a function of the conditional probability of q given not-p , P( q / ∼p ). Finally, we show that the conditional probability approach can be extended to predicting inference rates on a conditional reasoning task. (shrink)

In this paper we develop a method for finding, under general conditions, explicit and highly uniform rates of convergence for the Picard iteration sequences for selfmaps on bounded metric spaces from ineffective proofs of convergence to a unique fixed point. We are able to extract full rates of convergence by extending the use of a logical metatheorem recently proved by Kohlenbach. In recent case studies we were able to find such explicit rates of convergence in two concrete cases. Our novel (...) method now provides an explanation in logical terms for these findings. This amounts, loosely speaking, to general conditions under which we in this specific setting can transform a ∀∃∀-sentence into a ∀∃-sentence via an argument involving product spaces. This reduction in logical complexity allows us to use the existing machinery to extract quantitative bounds of the sort we need. (shrink)

We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...) paper, we will point out some open problems and directions for future research, including some initial results on saturation principles. (shrink)

In earlier work we introduced two systems for nonstandard analysis, one based on classical and one based on intuitionistic logic; these systems were conservative extensions of first-order Peano and Heyting arithmetic, respectively. In this paper we study how adding the principle of countable saturation to these systems affects their proof-theoretic strength. We will show that adding countable saturation to our intuitionistic system does not increase its proof-theoretic strength, while adding it to the classical system increases the strength from first- to (...) full second-order arithmetic. (shrink)