哲学动态
哲學動態
철학동태
Philosophical Trends
2009年
4期
101~104
,共null页
Fluted逻辑 模态逻辑 逻辑学 哲学
Fluted邏輯 模態邏輯 邏輯學 哲學
Fluted라집 모태라집 라집학 철학
尽管一阶逻辑得到了广泛的探讨，但仍然存在有待发掘的丰富内容，一阶逻辑的片段研究便是其中之一。选取不同的方式可以定义出一阶逻辑的不同片段，例如对量词进行限制、对变元进行限制等。Fluted逻辑（Fluted Logic，简记为FL）是通过消去变元的方式形成的一阶片段之一。从两个方面看，
儘管一階邏輯得到瞭廣汎的探討，但仍然存在有待髮掘的豐富內容，一階邏輯的片段研究便是其中之一。選取不同的方式可以定義齣一階邏輯的不同片段，例如對量詞進行限製、對變元進行限製等。Fluted邏輯（Fluted Logic，簡記為FL）是通過消去變元的方式形成的一階片段之一。從兩箇方麵看，
진관일계라집득도료엄범적탐토，단잉연존재유대발굴적봉부내용，일계라집적편단연구편시기중지일。선취불동적방식가이정의출일계라집적불동편단，례여대량사진행한제、대변원진행한제등。Fluted라집（Fluted Logic，간기위FL）시통과소거변원적방식형성적일계편단지일。종량개방면간，
