論理的推論は、紙の上に書かれたいくつかの線分を、あるルールに則って延長していくことに似ている。延長は証明のステップであり、線の交わりは帰結である。論理的プラトン主義者は言うだろう。はじめの線分と延長のルールが与えられれば、それ以降に描かれ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。