想讀哲學系嘅入一入嚟，話你知讀哲學系大概係點

想認真咪讀碩士

真的嗎？

因為平時冇咩朋友識相關嘅topics, 想搵識相關嘅朋友傾下計姐

以我所知，香港人就得一個 linguist 係做 formal semantics
中大有一個大陸嘅教授係做 causal modeling
嶺大就有外國嘅教授係研究 formal epistemology
仲有少數出咗國讀嘅香港人

就咁搵啲書嚟睇，咁都有好多資源
譬如好似 Peter Smith 有個 how to study logic 之類嘅 guide 講有咩資源讀咩 topic
當然自學呢啲野都有排學
我亦都冇讀晒
我冇鑽入去真正嘅數理邏輯
但Smith 呢本 guide 其實講嘅野 cover 唔到啲最新嘅研究

冇鑽入去真正嘅數理邏輯
你咁都叫冇

基本個啲咪識

logic 成個學科都好大，每個 subfield 都好專門
好似我之前咁講，連啲做形式語意學嘅教授都自認唔識數理邏輯嘅 model theory 之類嘅野
數理邏輯仲有好多野，category theory, type theory, homotopy type theory
全部呢啲數理邏輯我都唔識

除咗 logic & maths, 又有一堆人係 logic & computation, logic & language, logic & philosophy
唔同 subfield之間嘅人 又睇唔明另一個 subfield 嘅人嘅野
（當然有啲神級人物例外)

做Formal Semantics 嗰個有冇online link之類(paper/research/book/website)？ 我想學下野

Formal Semantics 都有兩堆人
一堆係 linguists
一堆係 philosophers

linguists 堆人個啲嘢 我又係唔識好多
純粹舉啲我識嘅野
香港有個嘅學者就係呢 type 嘅 formal semanticist
可以睇下佢個中文網頁
佢主要係研究廣義量詞 (generalized quantifier):
https://chowkafat.net/Lingtopic.html

有啲人就想 model questions嘅語義
譬如，荷蘭就有一堆人 develop 咗 inquisitive semantics：
https://projects.illc.uva.nl/inquisitivesemantics/courses/2022-amsterdam.html
（入面有 free 嘅 ebook 教材)

哲學個邊就有人 formal theories of truth, vagueness 呢啲 topic
Greg Restall 最近有本書叫Proofs and Models in Philosophical Logic
算係講到啲最 update嘅 philosophical logic 大概係做緊啲咩
當然仲有好多野，數之不盡