# 模糊逻辑与多值真值

> 【EN】Fuzzy logic is intended to model logical reasoning with vague or imprecise statements like “Petr is young (rich, tall, hungry, etc.)”. It refers to a family of many-valued logics , where the truth-values are interpreted as degrees of truth. The truth-value of a logically compound proposition, like “Carles is tall and Chris is rich”, is determined by the truth-value of its components. In other words, like in classical logic, one imposes truth-functionality. Fuzzy logic emerged in the context of the theory of fuzzy sets, introduced by Lotfi Zadeh (1965). A fuzzy set assigns a degree of membership, typically a real number from the interval \([0,1]\), to elements of a universe. Fuzzy logic arises by assigning degrees of truth to propositions. … 【中】词条介绍模糊逻辑。它用于刻画含糊或不精确陈述的推理，属于真值被解释为真之程度的多值逻辑家族，复合命题的真值由成分的真值函数地决定。模糊逻辑诞生于扎德引入的模糊集合论：模糊集为元素指派 [0,1] 区间上的隶属度。文章讨论基于 t-模的模糊联结词、基本模糊逻辑、卢卡西维茨逻辑、哥德尔—邓莫特逻辑、代数语义与证明论。

- ID: m13246
- 分类: structure
- 领域: 逻辑学

## 定义

模糊逻辑旨在刻画含糊或不精确陈述的推理，如“彼得年轻（富有、高、饿）”。它属于多值逻辑的一族，其中真值被解释为真之程度；复合命题的真值由其成分的真值决定，即与经典逻辑一样要求真值函数性。 脚手架作用：- 程度刻画：用零到一之间的真值度刻画年轻、高等含糊谓词。 - 边界处理：用渐变真值化解连锁悖论中堆与非堆的硬性切分。 - 规则设计：选定合取与蕴涵运算，让复合判断可计算。

## 机制

模糊逻辑用 [0,1] 区间上的实数取代真与假两极，把真理解为程度。合取通常由 t-模（如取最小值或乘积）计算，蕴涵则取其剩余；只要规定这些运算，复合句的真值便能由成分的真值唯一决定，从而在保留真值函数性的同时容纳含糊性。

## 练习

1) 确定论域与含糊谓词，为元素指派隶属度；2) 选择合适的 t-模及其剩余蕴涵；3) 按规则计算复合命题的真值，检查是否合乎直觉；4) 若结论对 t-模的选择过于敏感，说明该推理依赖具体的运算约定。

## 脚手架用法

- 程度刻画：用零到一之间的真值度刻画年轻、高等含糊谓词。 - 边界处理：用渐变真值化解连锁悖论中堆与非堆的硬性切分。 - 规则设计：选定合取与蕴涵运算，让复合判断可计算。

[阅读网页](https://thinkingmodels.site/entries/detail/m13246)