Kureduki_Maari https://blog.hatena.ne.jp/Kureduki_Maari/ c4se記：さっちゃんですよ☆ https://c4se.hatenablog.com/ 考察 數學 scrapbox.io C. S. Peirce の論理學を深くは調べてゐなかったところ、nLab をふらついてゐたら奇妙な論文を見附け、讀んだ。著者は、Peirce の言ふ推論の三種の形式である演繹 (deduction)・歸納 (induction)・因明 (abduction) が、圈に於ける射の合成系の操作に對應すると云ふ單純な發想を紹介してゐる。單純であるが故に關聯する業績が多いから、それらを辿って勉強になった。擴張 (extension) と持ち上げ (lift) が非對稱になる事象を調べないとこの先には進めないと思ふ。 abduction (假說形成) を「因明 (हेतुविद… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fc4se.hatenablog.com%2Fentry%2F2025%2F08%2F05%2F021514" title="David Corfield &quot;Charles Peirce, inference, and category theory&quot; 2025/2/20 - c4se記：さっちゃんですよ☆" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-08-05 02:15:14 rich https://c4se.hatenablog.com/entry/2025/08/05/021514 1.0 100%