Hans Lycke

  • Citations Per Year
Learn More
Most logic–based approaches characterize abduction as a kind of backwards deduction plus additional conditions, which means that a number of conditions is specified that enable one to decide whether or not a particular abductive inference is sound (one of those conditions may for example be that abductive consequences have to be compatible with the(More)
Communication is a goal–directed activity. In general, it can serve multiple purposes, e.g. information transfer, expression of emotions, making promises,... According to H.P. Grice (1989), if communication is to be successful, the specific purpose of the communicative act has to be known and accepted by all participants. Hence, for a participant to be(More)
If the classical inference relation is considered, AC is clearly not deductively valid. Moreover, adding AC to Classical Logic (CL) as an extra inference rule would result in the trivial logic. This is called the /irrelevance problem/ towards abduction. In order to provide a nice formal account of abduction processes, this problem has to be faced. In this(More)
Hearers get at the intended meaning of uncooperative utterances (i.e. utterances that conflict with the prescriptions laid down by the Gricean maxims) by pragmatically deriving sentences that reconcile these utterances with the maxims. Such pragmatic derivations are made according to pragmatic rules called implicatures. As they are pragmatic in nature, the(More)
In Gricean pragmatics, generalized conversational implicatures (GCI) are the pragmatic rules that allow the hearer to derive the intended meaning of the sentences uttered by the speaker. Moreover, in contradistinction to particularized conversational implicatures, GCI only depend on what is said, and not on the linguistic context. One of the main(More)
In this paper, I will present a Fitch–style natural deduction proof theory for modal paralogics (modal logics with gaps and/or gluts for negation). Besides the standard classical subproofs, the presented proof theory also contains modal subproofs, which express what would follow from a hypothesis, in case it would be true in some arbitrary world.