南宋的法医鼻祖宋慈(1186年-1249年)所写的《洗冤集录》,是世界上最早一部完整的法医学著作。
1241年左右,宋慈时任湖南地方官。某天一位男子于光天化日之下,被人用镰刀杀死在自己家中。经过仵作现场勘查之后,发现受害者身上有十多处刀伤,均是镰刀所致,而且死者家中没有任何财物丢失。很显然,这是一桩仇杀泄愤事件。经过多方调查,终于找到三位嫌疑人,但是这三位嫌疑人拒不认罪。宋慈也不慌不忙,他到受害者所在的村子当中,搜查出了整个村子所有的镰刀,并且将这几十把镰刀放在大太阳底下暴晒。时值盛夏,其中的一把镰刀上聚集了很多嗡嗡乱飞的苍蝇。看到这种情形,镰刀主人不得不跪地认罪,承认了杀害死者,两人都是同村的乡邻,因为某些鸡毛蒜皮的小事心生仇怨。他一时气愤,从家中拿镰刀杀害了死者。
因为死者身上中了十多处的刀伤,均是同一把镰刀所为,镰刀上面就会附着很多受害者的鲜血。而古时又没有像如今专业的清洗剂,所以即使嫌疑人看到镰刀上面,沾了很多鲜血,顶多也只是用清水冲洗。将表面的血污冲去就算完事儿。但这些血污已浸到镰刀内部,放在太阳底下暴晒之后,必将迎来苍蝇蚊虫的附着。这点就和肉铺老板使用杀猪刀一样,再怎么冲刷,总有血污之气,引来蚊虫的附着。
针对宋慈这个镰刀案子的故事,中国法官微信号说:这是一个实证推理破案的故事,但未点名这是一个什么样子的推理?
关敏以为:镰刀案的推理是充要条件的假言推理。充要条件假言推理是前提中有一个是充要条件假言判断的假言推理,有四个正确形式:肯定前件式:p当且仅当q,p,所以q。否定前件式:p当且仅当q,非p,所以非q。肯定后件式:p当且仅当q,q,所以p。否定后件式:p当且仅当q,非q,所以非p。
当且仅当镰刀杀了人,镰刀必然残留血腥招苍蝇。现在一把镰刀的血腥招来苍蝇,所以,这镰刀杀了人。为肯定后件式推理。
宋慈《洗冤集录》一经成书,就受到宋理宗的褒奖,下令颁行全国。历代法医都将它奉为金科玉律,由于作者本人缺乏逻辑学训练,产生了“滴血认亲”错误说法,对于今天的我们,更需要在逻辑学指引下更上一层楼。