Olası kast ile bilinçli taksir arasındaki ayrımda kullanılan 'Frank Formülü' nedir ve bu formül Yargıtay kararlarında nasıl bir karşılık bulmaktadır?

Frank Formülü, Alman hukukçu Reinhard Frank tarafından geliştirilmiş, olası kast ile bilinçli taksir ayrımında kullanılan pratik bir düşünsel testtir. Formül şu soruyu sorar: 'Eğer fail, neticenin kesin olarak gerçekleşeceğini bilseydi, yine de hareket eder miydi?' Eğer bu soruya 'evet' cevabı veriliyorsa, failin neticeye kayıtsız kaldığı ve onu kabullendiği, dolayısıyla olası kastın var olduğu kabul edilir. Eğer cevap 'hayır, o zaman hareket etmekten vazgeçerdi' ise, failin neticeyi istemediği, sadece risk aldığı ve neticenin gerçekleşmeyeceğine güvendiği, dolayısıyla bilinçli taksirin var olduğu sonucuna varılır. Bu formül, Türk hukukunda kanun metninde yer almasa da, Yargıtay kararlarının gerekçelerinde ve doktrinde, failin iç dünyasını ve neticeye karşı tutumunu anlamak için bir yorum aracı olarak sıkça kullanılır. Yargıtay'ın 'kabullenme', 'göze alma', 'kayıtsız kalma' ve 'olursa olsun deme' gibi kriterleri, esasen Frank Formülü'nün yansımalarıdır.