We observe that the assumption of set-valued F-contractions (Sgroi and Vetro [13]) is actually very strong for the existence of fixed point and can be weakened. In this connection, we introduce the notion of set-valued α-F-contractions and prove a corresponding fixed point theorem in complete metric spaces. Consequently, we derive several fixed point theorems in metric spaces. Some examples are given to illustrate the new theory. Then we apply our results to establishing the existence and uniqueness of solutions for a certain type of non-linear integral equations.