About: 論理的推論

論理的推論（ろんりてきすいろん、英: logical reasoning）は、論理学において演繹、帰納、アブダクション（仮説形成）の3種類に区別されうる。「前提条件」（precondition）、「結論」（conclusion）、そして「『前提条件』は『結論』を含意する」という「規則」（rule）があるとすると、それら3種の推論は次の仕方で説明されうる。 演繹演繹は「結論」を規定することを意味する。この推論は「規則」と「前提条件」を用いて「結論」を導くことである。例えば、「雨がふると芝生は湿る。雨がふっている。したがって、芝生は湿っている。」数学者は通常、この種の推論にかかわっている。帰納帰納は「規則」を規定することを意味する。この推論は「前提条件」の次に起こる「結論」の諸事例の一部から「規則」を学ぶことである。例えば、「これまで、雨がふるといつも芝生は湿ってきた。したがって、雨がふると芝生は湿る。」科学者は通常、この種の推論にかかわっている。アブダクション（仮説形成）アブダクション（仮説形成）は過去事象についての「前提条件」を推定することを意味する。この推論は現在確定される「結論」と「規則」を用いて「ある『前提条件』が『結論』を説明することができるだろう」ということを裏づけることである。例えば、「芝生が湿っている。雨がふると芝生が湿る。したがって、雨がふったに違いない。」歴史科学者や診断専門医、探偵は通常、この種の推論にかかわっている。