Coming up this afternoon, I’m giving the talk “Inferentialism for Everyone” for the local Arché Metaphysics and Logic crew here in St Andrews.

This talk attempts to distill material I’ve been thinking about for the last decade or so down to a concentrated but accessible form. I look forward to discovering how successful the distillation efforts are…

https://consequently.org/presentation/2025/whl-a/

#logic #prooftheory #inferentialism #semantics

Just published: “Ashvins’ Web: Language Representing Inference”

From Vedic myth to ChatGPT — is language a mirror of reality, or just a pattern we play? A dive into PIE, inferentialism, and the strange tangle of words, truth, and machines.

🔗 https://wittgensteinsmonster.substack.com/p/ashvins-web-language-representing

#Philosophy #Language #LLMs #Ashvins #Inferentialism #PIE #ChatGPT

Huang, Rusong (2023). An Inferentialist Account of Proper Names. Studia Semiotyczne (Semiotic Studies) 37 (1):25-44.

#論文メモ #inferentialism

Salis, P. (2020). Implicit norms. Phenomenology and Mind, 56–68. https://doi.org/10.13128/pam-8025

Brandom の原住民の制裁の思考実験が実質的には傾向性主義であるという Hattiangadi の指摘に対して、内在的制裁と外在的制裁（この区分は、意味論における内在主義と外在主義の区分と同じように脳の内外ほどの意味しか持たない）を区別すれば、その指摘は当たらないとする。

#論文メモ #inferentialism

推論主義のコミットメント概念は、言語モデルに「信念」を認めるための、解釈主義と同等に見込みのある概念機構なんだよね。

#open_question #inferentialism

Frápolli, María J. (2022). Tracking the World Down. Philosophical Topics 50 (1):83-107.

アフォーダンスなどの生態心理学と推論主義の類似性を指摘した論文。ヘーゲルの概念的質料形相論（conceptual hylomorphism）は存在論と認識論の不可分性の主張であり、Sellars の所与の神話批判や推論主義に引き継がれている。Price のいう「主体的自然主義（subject naturalism）」は、単に哲学が自然主義に収まることを主張しているだけで、還元主義や消去主義までは要求していない。``outdated metaphysical position in science and philosophy'' はそのとおりだと思う。

#論文メモ #inferentialism

推論主義的意味論は、文のペアの間における実質推論の双条件的関係において単称名辞を与える。似たようなものとして、真理条件意味論における外延的文脈（extensional context）がある。外延的文脈は、文の真理値を保存する文の下位単位の置換を指す。

#inferentialism

推論主義の置換推論による単称名辞と述語の定義は、Frege 単体というよりも西洋的伝統全体に拠っている。つまり、単称名辞は個体に、述語は個体の集合に対応するという、Frege やRussell、Tarsky、Montagueが連ねるモデル意味論である。置換推論はモデル意味論の論理的表出でしかない。

#inferentialism #criticism

言語モデルは確率分布の列 \( (p(y_1), \dots, p(y_n)) \) を返すと定式化できる。これは、ブランダムが指摘するような規則主義でも傾向性主義でもない。数学的に定式化しよう。規則主義はコーパスデータそのものである。傾向性主義は、統計的言語モデルやマルコフモデルにおける確率分布である。

#open_question #inferentialism #philosophy_of_ai

> i.e., 'brown cows are dangerous' is contingently true, true in virtue of the facts about brown cows, not virtue of the facts about meanings (assuming that it's true at all).

Fodor and Lepore は実質的推論は意味の問題ではない、と言っているわけか。

Fodor, Jerry & Lepore, Ernest (1991). Why meaning (probably) isn't conceptual role. Mind and Language 6 (4):328-43.

#inferentialism