暑假，我的很多朋友外出旅行，踏足高山、雨林，拍下了大量神奇又漂亮的照片。其中，不少朋友拍到了美丽绽放的兰花，很是养眼。说到兰花与探险，不得不提起一个重量级的人物，那就是达尔文。

谁来给大彗星风兰传粉

1862年，达尔文收到一份来自马达加斯加岛的大彗星风兰标本，这种兰花有长达30厘米长的“尾巴”（花距），很像拖着长长尾巴的彗星，这正是大彗星风兰名字的由来。

不过，达尔文思考的问题是：究竟是什么样的虫子来给大彗星风兰传粉？它们如何够到30厘米长的花距底部的花蜜？基于多年来对自然选择进化理论的思考，达尔文作出了一个预测：马达加斯加岛上一定还有种嘴巴（喙）同样长的蛾子。

当时，学界对达尔文的预测意见不一。但41年后，这种神奇的蛾子真的在马达加斯加岛被发现了！为了纪念达尔文，这种蛾子被命名为“被预测的马岛长喙天蛾”，大彗星风兰也因此被后人称作“达尔文兰”。而“被预测的马岛长喙天蛾”的发现，也进一步佐证了达尔文的自然选择进化论学说。

达尔文的预测用到了三段论推理

在达尔文的这个著名预测中，用到了一系列的推理，这些推理可以用传统逻辑的方法整理成三段论推理，比如，兰花（M）都是依靠昆虫授粉的（P），大彗星风兰（S）是兰花，所以，大彗星风兰是依靠昆虫授粉的。

进一步，达尔文根据以往的经验认为这种昆虫通常就是蛾子，而兰花（M）都有与之匹配的蛾子为其授粉（P）；花距很长的大彗星风兰（S）是兰花；所以，花距很长的大彗星风兰也有与之相匹配的（长喙）蛾子为其授粉。

我们不妨借用三段论中的形式化方法，用S表示推理结论的主项、P表示推理结论的谓项、用M表示仅在推理前提中出现的、起到媒介作用的中项（以上两个推理中，中项刚好都是“兰花”）；再用字母A表示具有“所有的S都是P”模式的命题。我们会发现，上述两个推理其实拥有共同的推理形式：从MAP和SAM推出SAP。

对三段论的研究发端于古希腊的逻辑学家亚里士多德。一个三段论推理中总共会出现三个具有主谓结构的简单命题，两个是前提，一个是结论；一个三段论中总共会出现三个不同的词项，其中，两个前提和一个结论两两各有一个共同的词项。而三段论正是通过中项M的媒介作用，把前提中出现的其他两个词项（S和P）联结起来得到结论，这就是三段论的原理。

根据S、P、M的位置不同，以及命题的肯定否定、全称特称的变化，三段论可以有256种可能的格式，但并不是所有具有三段论格式的推理都具有正确的推理形式。以上达尔文所作的推理，是三段论推理中最常见的一个正确推理形式，通常被称作第一格的AAA式。

（作者系中国科学院哲学研究所教授）