The aim of this project is twofold: (i) designing logical systems for some central forms of ampliative reasoning and (ii) elaborating the implications of these systems for the philosophy of science. The project will be restricted to the role of ampliative reasoning in the sciences and will mainly concentrate on creative forms of this phenomenon. Attention will be paid to ampliative reasoning in solving theoretical problems (explanation, prediction, hypothesis formation, ...) as well as in solving action problems (design of a new instrument, performing a new kind of experiment, ...). Moreover, both verbal and non-verbal variants of ampliative reasoning will be studied.