Ten questions and one problem on fuzzy logic (Q1295437): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q279322 |
||
Property / reviewed by | |||
Property / reviewed by: Vilém Novák / rank | |||
Revision as of 07:53, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ten questions and one problem on fuzzy logic |
scientific article |
Statements
Ten questions and one problem on fuzzy logic (English)
0 references
8 February 2000
0 references
The paper is a philosophical discussion concerning vagueness and the role of fuzzy logic for it. The author summarizes his point of view in the form of answers to ten questions originally raised by the well-known logician R. Parikh, namely: ``In which contexts do we use vague predicates'', ``What properties of vague predicates are important'', ``How are truth functions related to connectives'', ``What are the limitations'', ``What is true'', ``What are we enabled to say'', ``How do we communicate'', ``Is fuzzy logic helpful with the Sorites paradox'', ``How do we make decisions'' and ``What do we gain by accepting fuzzy logic''? The second part of the paper is a very brief overview of the problem of undefinability of truth, namely the dequotation schema \[ \varphi \equiv Tr(\overline{\varphi}). \] The latter has been fully answered in another paper [\textit{P. Hájek, J. B. Paris} and \textit{J. C. Shepherdson}, ``The liar paradox and fuzzy logic'', J. Symb. Log. (to appear)]. The author underlines especially the comparative character of truth values and (correctly) advocates fuzzy logic as a well-developed nontrivial mathematical theory, which may, besides its nice applications, bring some new light to classical logical problems. Most of the ideas of this paper are mathematically well established in the author's recent book [\textit{P. Hájek}, Metamathematics of fuzzy logic (Kluwer, Dordrecht) (1998)].
0 references
fuzzy logic
0 references
vagueness
0 references
many-valued logic
0 references
philosophical discussion
0 references
undefinability of truth
0 references
dequotation schema
0 references