This article may need to be rewritten to comply with Wikipedia's quality standards.(September 2022) |
A fuzzy concept is an idea of which the boundaries of application can vary considerably according to context or conditions, instead of being fixed once and for all. [1] This means the concept is vague in some way. It lacks a fixed, precise meaning. Yet it is not unclear or meaningless. [2] It has a definite meaning, which can be made more precise only through further elaboration and specification - including a closer definition of the context in which the concept is used. The study of the characteristics of fuzzy concepts and fuzzy language is called fuzzy semantics. [3] The inverse of a "fuzzy concept" is a "crisp concept" (i.e. a precise concept).
For engineers, "Fuzziness is imprecision or vagueness of definition." [4] For scientists, a fuzzy concept is an idea which is "to an extent applicable" in a situation. It means that the concept can have gradations of significance or unsharp (variable) boundaries of application; a fuzzy statement is a statement which is true "to some extent", and that extent can often be represented by a scaled value. For mathematicians, a "fuzzy concept" is usually a fuzzy set or a combination of such sets (see fuzzy mathematics). In cognitive linguistics, the things that belong to a "fuzzy category" exhibit gradations of family resemblance, and the borders of the category are not clearly defined. [5] In a more general, popular sense – contrasting with its technical meanings – a "fuzzy concept" refers to an imprecise idea which is "somewhat vague" for any kind of reason, or which is "approximately true".
In the past, the very idea of reasoning with fuzzy concepts faced considerable resistance from academic elites. [6] They did not want to endorse the use of imprecise concepts in research or argumentation, and regarded fuzzy logic with suspicion. Yet although people might not be aware of it, the use of fuzzy concepts has risen gigantically in all walks of life from the 1970s onward. [7] That is mainly due to advances in electronic engineering, fuzzy mathematics and digital computer programming. The new technology allows very complex inferences about "variations on a theme" to be anticipated and fixed in a program. [8] The Perseverance Mars rover, a driverless NASA vehicle used to explore the Jezero crater on the planet Mars, features fuzzy logic programming that steers it through rough terrain. [9] Similarly, to the North, the Chinese Mars rover Zhurong used fuzzy logic algorithms to calculate its travel route in Utopia Planitia from sensor data. [10]
New neuro-fuzzy computational methods [11] make it possible to identify, measure and respond to fine gradations of significance with great precision. [12] It means that practically useful concepts can be coded and applied to all kinds of tasks, even if ordinarily these concepts are never precisely defined. Nowadays engineers, statisticians and programmers often represent fuzzy concepts mathematically, using fuzzy logic, fuzzy values, fuzzy variables and fuzzy sets. [13] Fuzzy logic can play a significant role in artificial intelligence programming, for example because it can model human cognitive processes more easily. [14]
Problems of vagueness and fuzziness have probably always existed in human experience. [15] In the West, ancient texts show that philosophers and scientists were already thinking about those kinds of problems in classical antiquity. Kit Fine states that "when a philosopher talks of vagueness he has in mind a certain kind of indeterminacy in the relation of something to the world". [16] According to the Daoist thought of Laozi and Zhuang Zhou in ancient China, "vagueness is not regarded with suspicion, but is simply an acknowledged characteristic of the world around us" - a subject for meditation and a source of insight. [17]
The ancient Sorites paradox first raised the logical problem of how we could exactly define the threshold at which a change in quantitative gradation turns into a qualitative or categorical difference. [18] With some physical processes this threshold is relatively easy to identify. For example, water turns into steam at 100 °C or 212 °F (the boiling point depends partly on atmospheric pressure, which decreases at higher altitudes). [19]
With many other processes and gradations, however, the point of change is much more difficult to locate, and remains somewhat vague. Thus, the boundaries between qualitatively different things may be unsharp: we know that there are boundaries, but we cannot define them exactly.
According to the modern idea of the continuum fallacy, the fact that a statement is to an extent vague, does not automatically mean that it has no validity. The question then arises of how we could ascertain and define the validity that the fuzzy statement does have.
The Nordic myth of Loki's wager suggested that concepts that lack precise meanings or lack precise boundaries of application cannot be usefully discussed at all, because they evade any clear definition. [20] However, the 20th-century idea of "fuzzy concepts" proposes that "somewhat vague terms" can be operated with, because we can explicate and define the variability of their application - by assigning numbers to gradations of applicability. This idea sounds simple enough, but it had large implications.
In Western civilization, the intellectual recognition of fuzzy concepts has been traced back to a diversity of famous and less well-known thinkers, [21] including (among many others) Eubulides, [22] Epicurus, [23] Plato, [24] Cicero, [25] Georg Wilhelm Friedrich Hegel, [26] Karl Marx and Friedrich Engels, [27] Friedrich Nietzsche, [28] William James, [29] Hugh MacColl, [30] Charles S. Peirce, [31] Carl Gustav Hempel, [32] Max Black, [33] Arto Salomaa, [34] Ludwig Wittgenstein, [35] Jan Łukasiewicz, [36] Emil Leon Post, [37] Alfred Tarski, [38] Georg Cantor, [39] Nicolai A. Vasiliev, [40] Kurt Gödel, [41] Stanisław Jaśkowski, [42] Willard Van Orman Quine, [43] Petr Hájek, [44] Joseph Goguen, [45] Didier Dubois, [46] and Donald Knuth. [47]
Across at least two and a half millennia, all of them had something to say about graded concepts with unsharp boundaries. This suggests at least that the awareness of the existence of concepts with "fuzzy" characteristics, in one form or another, has a very long history in human thought. Quite a few 20th century logicians, mathematicians and philosophers also tried to analyze the characteristics of fuzzy concepts as a recognized species, sometimes with the aid of some kind of many-valued logic or substructural logic. [48]
An early attempt in the post-WW2 era to create a mathematical theory of sets with gradations of set membership was made by Abraham Kaplan and Hermann F. Schott in 1951. They intended to apply the idea to empirical research. Kaplan and Schott expressed the degree of membership of empirical classes using real numbers between 0 and 1, and they defined corresponding notions of intersection, union, complementation and subset. [49] However, at the time, their idea "fell on stony ground". [50] J. Barkley Rosser Sr. published a treatise on many-valued logics in 1952, anticipating "many-valued sets". [51] Another treatise was published in 1963 by Alexander Zinoviev and others. [52]
In 1964, the American philosopher William Alston introduced the term "degree vagueness" to describe vagueness in an idea that results from the absence of a definite cut-off point along an implied scale (in contrast to "combinatory vagueness" caused by a term that has a number of logically independent conditions of application). [53]
The German mathematician Dieter Klaua published a German-language paper on fuzzy sets in 1965, [54] but he used a different terminology (he referred to "many-valued sets", not "fuzzy sets"). [55]
In the late 1960s, two popular introductions to many-valued logic were published by Robert J. Ackermann and Nicholas Rescher. [56] Rescher's book includes a bibliography on fuzzy theory up to 1965, which was extended by Robert Wolf and Joseph de Kerf for 1966–1975. [57] Haack provides references to significant works after 1974. [58] In 1980, Didier Dubois and Henri Prade published a detailed annotated bibliography on the field of fuzzy set theory. [59] George J. Klir and Bo Yuan provided an overview of the subject in Fuzzy sets and fuzzy logic during the mid-1990s. [60] Merrie Bergmann provides a more recent (2008) introduction to fuzzy reasoning. [61] A standard modern reference work is Fuzzy Logic and Mathematics: A Historical Perspective (2017) by Radim Bělohlávek, Joseph W. Dauben and George J. Klir. [62]
The Iranian-born American computer scientist Lotfi A. Zadeh (1921–2017) is usually credited with inventing the specific idea of a "fuzzy concept" in his seminal 1965 paper on fuzzy sets, because he presented a mathematical formalization of the phenomenon that was widely accepted by scholars. [63] It was also Zadeh who played a decisive role in developing the field of fuzzy logic, fuzzy sets and fuzzy systems, with a large number of scholarly papers. [64] Unlike most philosophical theories of vagueness, Zadeh's engineering approach had the advantage that it could be directly applied to computer programming. [65] Zadeh's seminal 1965 paper is acknowledged to be one of the most-cited scholarly articles in the 20th century. [66] In 2014, it was placed 46th in the list of the world's 100 most-cited research papers of all time. [67] Since the mid-1960s, many scholars have contributed to elaborating the theory of reasoning with graded concepts, and the research field continues to expand. [68]
The ordinary scholarly definition of a concept as "fuzzy" has been in use from the 1970s onward.
Radim Bělohlávek explains:
"There exists strong evidence, established in the 1970s in the psychology of concepts... that human concepts have a graded structure in that whether or not a concept applies to a given object is a matter of degree, rather than a yes-or-no question, and that people are capable of working with the degrees in a consistent way. This finding is intuitively quite appealing, because people say "this product is more or less good" or "to a certain degree, he is a good athlete", implying the graded structure of concepts. In his classic paper, Zadeh called the concepts with a graded structure fuzzy concepts and argued that these concepts are a rule rather than an exception when it comes to how people communicate knowledge. Moreover, he argued that to model such concepts mathematically is important for the tasks of control, decision making, pattern recognition, and the like. Zadeh proposed the notion of a fuzzy set that gave birth to the field of fuzzy logic ..." [69]
Hence, a concept is generally regarded as "fuzzy" in a logical sense if:
The fact that a concept is fuzzy does not prevent its use in logical reasoning; it merely affects the type of reasoning which can be applied (see fuzzy logic). If the concept has gradations of meaningful significance, it may be necessary to specify and formalize what those gradations are, if they can make an important difference. Not all fuzzy concepts have the same logical structure, but they can often be formally described or reconstructed using fuzzy logic or other substructural logics. [71] The advantage of this approach is, that numerical notation enables a potentially infinite number of truth-values between complete truth and complete falsehood, and thus it enables - in theory, at least - the greatest precision in stating the degree of applicability of a logical rule.
The first scholar who pointed out the need to distinguish the theory of fuzzy sets from probability theory was Zadeh's pupil Joseph Goguen. [72] Petr Hájek, writing about the foundations of fuzzy logic, likewise sharply distinguished between "fuzziness" and "uncertainty":
"The sentence "The patient is young" is true to some degree – the lower the age of the patient (measured e.g. in years), the more the sentence is true. Truth of a fuzzy proposition is a matter of degree. I recommend to everybody interested in fuzzy logic that they sharply distinguish fuzziness from uncertainty as a degree of belief (e.g. probability). Compare the last proposition with the proposition "The patient will survive next week". This may well be considered as a crisp proposition which is either (absolutely) true or (absolutely) false; but we do not know which is the case. We may have some probability (chance, degree of belief) that the sentence is true; but probability is not a degree of truth. [73]
In metrology (the science of measurement), it is acknowledged that for any measure we care to make, there exists an amount of uncertainty about its accuracy, but this degree of uncertainty is conventionally expressed with a magnitude of likelihood, and not as a degree of truth. In 1975, Lotfi A. Zadeh introduced a distinction between "Type 1 fuzzy sets" without uncertainty and "Type 2 fuzzy sets" with uncertainty, which has been widely accepted. [74] Simply put, in the former case, each fuzzy number is linked to a non-fuzzy (natural) number, while in the latter case, each fuzzy number is linked to another fuzzy number.
In philosophical logic and linguistics, fuzzy concepts are often regarded as vague or imprecise ideas which in their application, or strictly speaking, are neither completely true nor completely false. [75] Such ideas require further elaboration, specification or qualification to understand their applicability (the conditions under which they truly make sense). [76] The "fuzzy area" can also refer simply to a residual number of cases which cannot be allocated to a known and identifiable group, class or set if strict criteria are used.
The French thinkers Gilles Deleuze and Félix Guattari referred occasionally to fuzzy sets in connection with their phenomenological concept of multiplicities. In A Thousand Plateaus , they state that "a set is fuzzy if its elements belong to it only by virtue of specific operations of consistency and consolidation, which themselves follow a special logic", [77] In their book What Is Philosophy? , which deals with the functions of concepts, they suggest that all philosophical concepts could be regarded as "vague or fuzzy sets, simple aggregates of perceptions and affections, which form within the lived as immanent to a subject, to a consciousness [and which] are qualitative or intensive multiplicities, like "redness" or "baldness," where we cannot decide whether certain elements do or do not belong to the set." [78]
In mathematics and statistics, a fuzzy variable (such as "the temperature", "hot" or "cold") is a value which could lie in a probable range defined by some quantitative limits or parameters, and which can be usefully described with imprecise categories (such as "high", "medium" or "low") using some kind of scale or conceptual hierarchy.
In mathematics and computer science, the gradations of applicable meaning of a fuzzy concept are described in terms of quantitative relationships defined by logical operators. Such an approach is sometimes called "degree-theoretic semantics" by logicians and philosophers, [79] but the more usual term is fuzzy logic or many-valued logic. [80] The novelty of fuzzy logic is, that it "breaks with the traditional principle that formalisation should correct and avoid, but not compromise with, vagueness". [81] The basic idea of fuzzy logic is that a real number is assigned to each statement written in a language, within a range from 0 to 1, where 1 means that the statement is completely true, and 0 means that the statement is completely false, while values less than 1 but greater than 0 represent that the statement is "partly true", to a given, quantifiable extent. Susan Haack comments:
"Whereas in classical set theory an object either is or is not a member of a given set, in fuzzy set theory membership is a matter of degree; the degree of membership of an object in a fuzzy set is represented by some real number between 0 and 1, with 0 denoting no membership and 1 full membership." [82]
"Truth" in this mathematical context usually means simply that "something is the case", or that "something is applicable". This makes it possible to analyze a distribution of statements for their truth-content, identify data patterns, make inferences and predictions, and model how processes operate. Petr Hájek claimed that "fuzzy logic is not just some "applied logic", but may bring "new light to classical logical problems", and therefore might be well classified as a distinct branch of "philosophical logic" similar to e.g. modal logics. [83]
Fuzzy logic offers computationally-oriented systems of concepts and methods, to formalize types of reasoning which are ordinarily approximate only, and not exact. In principle, this allows us to give a definite, precise answer to the question, "To what extent is something the case?", or, "To what extent is something applicable?". Via a series of switches, this kind of reasoning can be built into electronic devices. That was already happening before fuzzy logic was invented, but using fuzzy logic in modelling has become an important aid in design, which creates many new technical possibilities. Fuzzy reasoning (i.e., reasoning with graded concepts) turns out to have many practical uses. [84] It is nowadays widely used in:
It looks like fuzzy logic will eventually be applied in almost every aspect of life, even if people are not aware of it, and in that sense fuzzy logic is an astonishingly successful invention. [90] The scientific and engineering literature on the subject is constantly increasing.
Originally lot of research on fuzzy logic was done by Japanese pioneers inventing new machinery, electronic equipment and appliances (see also Fuzzy control system). [91] The idea became so popular in Japan, that the English word entered Japanese language (ファジィ概念). "Fuzzy theory" (ファジー理論) is a recognized field in Japanese scientific research.
Since that time, the movement has spread worldwide; nearly every country nowadays has its own fuzzy systems association, although some are larger and more developed than others. In some cases, the local body is a branch of an international one. In other cases, the fuzzy systems program falls under artificial intelligence or soft computing. There are also some emerging networks of researchers which do not yet have their own website.
Lotfi A. Zadeh estimated around 2014 that there were more than 50,000 fuzzy logic–related, patented inventions. He listed 28 journals at that time dealing with fuzzy reasoning, and 21 journal titles on soft computing. His searches found close to 100,000 publications with the word "fuzzy" in their titles, but perhaps there are even 300,000. [116] In March 2018, Google Scholar found 2,870,000 titles which included the word "fuzzy". When he died on 11 September 2017 at age 96, Professor Zadeh had received more than 50 engineering and academic awards, in recognition of his work. [117]
The technique of fuzzy concept lattices is increasingly used in programming for the formatting, relating and analysis of fuzzy data sets.
According to the computer scientist Andrei Popescu at Middlesex University London, [118] a concept can be operationally defined to consist of:
Once the context is defined, we can specify relationships of sets of objects with sets of attributes which they do, or do not share.
Whether an object belongs to a concept, and whether an object does, or does not have an attribute, can often be a matter of degree. Thus, for example, "many attributes are fuzzy rather than crisp". [119] To overcome this issue, a numerical value is assigned to each attribute along a scale, and the results are placed in a table which links each assigned object-value within the given range to a numerical value (a score) denoting a given degree of applicability.
This is the basic idea of a "fuzzy concept lattice", which can also be graphed; different fuzzy concept lattices can be connected to each other as well (for example, in "fuzzy conceptual clustering" techniques used to group data, originally invented by Enrique H. Ruspini). Fuzzy concept lattices are a useful programming tool for the exploratory analysis of big data, for example in cases where sets of linked behavioural responses are broadly similar, but can nevertheless vary in important ways, within certain limits. It can help to find out what the structure and dimensions are, of a behaviour that occurs with an important but limited amount of variation in a large population. [120]
Coding with fuzzy lattices can be useful, for instance, in the psephological analysis of big data about voter behaviour, where researchers want to explore the characteristics and associations involved in "somewhat vague" opinions; gradations in voter attitudes; and variability in voter behaviour (or personal characteristics) within a set of parameters. [121] The basic programming techniques for this kind of fuzzy concept mapping and deep learning are by now well-established [122] and big data analytics had a strong influence on the US elections of 2016. [123] A US study concluded in 2015 that for 20% of undecided voters, Google's secret search algorithm had the power to change the way they voted. [124]
Very large quantities of data can now be explored using computers with fuzzy logic programming [125] and open-source architectures such as Apache Hadoop, Apache Spark, and MongoDB. One author claimed in 2016 that it is now possible to obtain, link and analyze "400 data points" for each voter in a population, using Oracle systems (a "data point" is a number linked to one or more categories, which represents a characteristic). [126]
However, NBC News reported in 2016 that the Anglo-American firm Cambridge Analytica which profiled voters for Donald Trump (Steve Bannon was a board member) [127] did not have 400, but 4,000 data points for each of 230 million US adults. [128] Cambridge Analytica's own website claimed that "up to 5,000 data points" were collected for each of 220 million Americans, a data set of more than 1 trillion bits of formatted data. [129] The Guardian later claimed that Cambridge Analytica in fact had, according to its own company information, "up to 7,000 data points" on 240 million American voters. [130]
Harvard University Professor Latanya Sweeney calculated, that if a U.S. company knows just your date of birth, your ZIP code and sex, the company has an 87% chance to identify you by name – simply by using linked data sets from various sources. [131] With 4,000–7,000 data points instead of three, a very comprehensive personal profile becomes possible for almost every voter, and many behavioural patterns can be inferred by linking together different data sets. It also becomes possible to identify and measure gradations in personal characteristics which, in aggregate, have very large effects.
Some researchers argue that this kind of big data analysis has severe limitations, and that the analytical results can only be regarded as indicative, and not as definitive. [132] This was confirmed by Kellyanne Conway, Donald Trump's campaign advisor and counselor in 2016, who emphasized the importance of human judgement and common sense in drawing conclusions from fuzzy data. [133] Conway candidly admitted that much of her own research would "never see the light of day", because it was client confidential. [134] Another Trump adviser criticized Conway, claiming that she "produces an analysis that buries every terrible number and highlights every positive number" [135]
In a video interview published by The Guardian in March 2018, whistleblower Christopher Wylie called Cambridge Analytica a "full-service propaganda machine" rather than a bona fide data science company. Its own site revealed with "case studies" that it has been active in political campaigns in numerous different countries, influencing attitudes and opinions. [136] Wylie explained, that "we spent a million dollars harvesting tens of millions of Facebook profiles, and those profiles were used as the basis of the algorithms that became the foundation of Cambridge Analytica itself. The company itself was founded on using Facebook data". [137]
On 19 March 2018, Facebook announced it had hired the digital forensics firm Stroz Friedberg to conduct a "comprehensive audit" of Cambridge Analytica, while Facebook shares plummeted 7 percent overnight (erasing roughly $40 billion in market capitalization). [138] Cambridge Analytica had not just used the profiles of Facebook users to compile data sets. According to Christopher Wylie's testimony, the company also harvested the data of each user's network of friends, leveraging the original data set. It then converted, combined and migrated its results into new data sets, which can in principle survive in some format, even if the original data sources are destroyed. It created and applied algorithms using data to which - critics argue - it could not have been entitled. This was denied by Cambridge Analytica, which stated on its website that it legitimately "uses data to change audience behavior" among customers and voters (who choose to view and provide information). If advertisers can do that, why not a data company? Where should the line be drawn? Legally, it remained a "fuzzy" area.
The tricky legal issue then became, what kind of data Cambridge Analytica (or any similar company) is actually allowed to have and keep. [139] Facebook itself became the subject of another U.S. Federal Trade Commission inquiry, to establish whether Facebook violated the terms of a 2011 consent decree governing its handing of user data (data which was allegedly transferred to Cambridge Analytica without Facebook's and user's knowledge). [140] Wired journalist Jessi Hempel commented in a CBNC panel discussion that "Now there is this fuzziness from the top of the company [i.e. Facebook] that I have never seen in the fifteen years that I have covered it." [141]
Interrogating Facebook's CEO Mark Zuckerberg before the U.S. House Energy and Commerce Committee in April 2018, New Mexico Congressman Rep. Ben Ray Luján put it to him that the Facebook corporation might well have "29,000 data points" on each Facebook user. Zuckerberg claimed that he "did not really know". Lujan's figure was based on ProPublica research, which in fact suggested that Facebook may even have 52,000 data points for many Facebook users. [142] When Zuckerberg replied to his critics, he stated that because the revolutionary technology of Facebook (with 2.2 billion users worldwide, at that time) had ventured into previously unknown territory, it was unavoidable that mistakes would be made, despite the best of intentions. He justified himself saying that:
"For the first ten or twelve years of the company, I viewed our responsibility primarily as building tools, that if we could put those tools in people's hands, then that would empower people to do good things. What we have learnt now... is that we need to take a more proactive role and a broader view of our responsibility." [143]
In July 2018, Facebook and Instagram barred access from Crimson Hexagon, a company that advises corporations and governments using one trillion scraped social media posts, which it mined and processed with artificial intelligence and image analysis. [144]
It remained "fuzzy" what was more important to Zuckerberg: making money from user's information, or real corporate integrity in the use of personal information. [145] Zuckerberg implied, that he believed that, on balance, Facebook had done more good than harm, and that, if he had believed that wasn't the case, he would never have persevered with the business. Thus, "the good" was itself a fuzzy concept, because it was a matter of degree ("more good than bad"). He had to sell stuff, to keep the business growing. If people do not like Facebook, then they simply should not join it, or opt out, they have the choice. Many critics however feel that people really are in no position to make an informed choice, because they have no idea of how exactly their information will or might be used by third parties contracting with Facebook; because the company legally owns the information that users provide online, they have no control over that either, except to restrict themselves in what they write online (the same applies to many other online services).
After the New York Times broke the news on 17 March 2018, that copies of the Facebook data set scraped by Cambridge Analytica could still be downloaded from the Internet, Facebook was severely criticized by government representatives. [146] When questioned, Zuckerberg admitted that "In general we collect data on people who are not signed up for Facebook for security purposes" with the aim "to help prevent malicious actors from collecting public information from Facebook users, such as names". [147] From 2018 onward, Facebook faced a lot more lawsuits brought against the company, alleging data breaches, security breaches and misuse of personal information (see Lawsuits involving Meta Platforms and Facebook Federal Litigation Filings). [148] There still exists no standard international regulatory framework for social network information, [149] and it is often unclear what happens to the stored information, after a provider company closes down, or is taken over by another company. Zuckerberg's Meta company also reports its own legal actions. [150]
On 2 May 2018, it was reported that the Cambridge Analytica company was shutting down and was starting bankruptcy proceedings, after losing clients and facing escalating legal costs. [151] The reputational damage which the company had suffered or caused, had become too great.
A traditional objection to big data is, that it cannot cope with rapid change: events move faster that the statistics can keep up with. Yet the technology now exists for corporations like Amazon, Google, Apple Inc. and Microsoft to pump cloud-based data streams from app-users straight into big data analytics programmes, in real time. [152] Provided that the right kinds of analytical concepts are used, it is now technically possible to draw definite and important conclusions about gradations of human and natural behaviour using very large fuzzy data sets and fuzzy programming – and increasingly it can be done very fast. This achievement has become highly topical in military technology dealing with guidance systems (for vehicles, planes, artillery, missiles, satellites, drones and bombs), threat identification/evaluation systems, and targeting methods. A lot of academic research on fuzzy systems was funded or sponsored by the military. However, military uses can also have spin-offs for medical applications. [153]
There have been many academic controversies about the meaning, relevance and utility of fuzzy concepts, as well as their appropriate use. [154] Three Chinese engineers alleged in 2011 that "Fuzzy set, its t-norm, s-norm and fuzzy supplement theories have already become the academic virus in the world". [155]
Lotfi A. Zadeh himself confessed that:
"I knew that just by choosing the label fuzzy I was going to find myself in the midst of a controversy... If it weren't called fuzzy logic, there probably wouldn't be articles on it on the front page of the New York Times. So let us say it has a certain publicity value. Of course, many people don't like that publicity value, and when they see it in the New York Times, it doesn't sit well with them." [156]
However, the impact of the invention of fuzzy reasoning went far beyond names and labels. When Zadeh gave his acceptance speech in Japan for the 1989 Honda Foundation prize, which he received for inventing fuzzy theory, he stated that "The concept of a fuzzy set has had an upsetting effect on the established order." [157]
Some philosophers and scientists have claimed that "fuzzy" concepts do not really exist.
According to The Foundations of Arithmetic by the logician Gottlob Frege,
"A definition of a concept... must be complete; it must unambiguously determine, as regards any object, whether or not it falls under the concept... the concept must have a sharp boundary... a concept that is not sharply defined is wrongly termed a concept. Such quasi-conceptual constructions cannot be recognized as concepts by logic. The law of the excluded middle is really just another form of the requirement that the concept should have a sharp boundary." [158]
Similarly, Rudolf E. Kálmán stated in 1972 that "there is no such thing as a fuzzy concept... We do talk about fuzzy things but they are not scientific concepts". [159]
The suggestion is that a concept, to qualify as a concept, must always be clear and precise, without any fuzziness. A vague notion would be at best a prologue to formulating a concept. [160]
There is no general agreement among philosophers and scientists about how the notion of a "concept" (and in particular, a scientific concept), should be defined. [161] A concept could be defined as a mental representation, as a cognitive capacity, as an abstract object, as a cluster of linked phenomena etc. [162] Edward E. Smith & Douglas L. Medin stated that "there will likely be no crucial experiments or analyses that will establish one view of concepts as correct and rule out all others irrevocably." [163] Of course, scientists also quite often do use imprecise analogies in their models to help understanding an issue. [164] A concept can be clear enough, but not (or not sufficiently) precise.
Rather uniquely, terminology scientists at the German National Standards Institute (Deutsches Institut für Normung) provided an official standard definition of what a concept is (under the terminology standards DIN 2330 of 1957, completely revised in 1974 and last revised in 2022; and DIN 2342 of 1986, also last revised in 2022). [165] According to the official German definition, a concept is a unit of thought which is created through abstraction for a set of objects, and which identifies shared (or related) characteristics of those objects.
The subsequent ISO definition is very similar. Under the ISO 1087 terminology standard of the International Standards Organization (first published in October 2000, reviewed in 2005 and revised in 2019), a concept is defined as a unit of thought or an idea constituted through abstraction on the basis of properties common to a set of objects. [166] It is acknowledged that although a concept usually has one definition or one meaning, it may have multiple designations, terms of expression, symbolizations or representations. Thus, for example, the same concept can have different names in different languages. Both verbs and nouns can express concepts. A concept can also be thought of as "a way of looking at the world".
Reasoning with fuzzy concepts is often viewed as a kind of "logical corruption" or scientific perversion because, it is claimed, fuzzy reasoning rarely reaches a definite "yes" or a definite "no". A clear, precise and logically rigorous conceptualization is no longer a necessary prerequisite, for carrying out a procedure, a project, or an inquiry, since "somewhat vague ideas" can always be accommodated, formalized and programmed with the aid of fuzzy expressions. The purist idea is, that either a rule applies, or it does not apply. When a rule is said to apply only "to some extent", then in truth the rule does not apply. Thus, a compromise with vagueness or indefiniteness is, on this view, effectively a compromise with error - an error of conceptualization, an error in the inferential system, or an error in physically carrying out a task.
The computer scientist William Kahan argued in 1975 that "the danger of fuzzy theory is that it will encourage the sort of imprecise thinking that has brought us so much trouble." [167] He said subsequently,
"With traditional logic there is no guaranteed way to find that something is contradictory, but once it is found, you'd be obliged to do something. But with fuzzy sets, the existence of contradictory sets can't cause things to malfunction. Contradictory information doesn't lead to a clash. You just keep computing. (...) Life affords many instances of getting the right answer for the wrong reasons... It is in the nature of logic to confirm or deny. The fuzzy calculus blurs that. (...) Logic isn't following the rules of Aristotle blindly. It takes the kind of pain known to the runner. He knows he is doing something. When you are thinking about something hard, you'll feel a similar sort of pain. Fuzzy logic is marvellous. It insulates you from pain. It's the cocaine of science." [168]
According to Kahan, statements of a degree of probability are usually verifiable. There are standard tests one can do. By contrast, there is no conclusive procedure which can decide the validity of assigning particular fuzzy truth values to a data set in the first instance. It is just assumed that a model or program will work, "if" particular fuzzy values are accepted and used, perhaps based on some statistical comparisons or try-outs.
In programming, a problem can usually be solved in several different ways, not just one way, but an important issue is, which solution works best in the short term, and in the long term. Kahan implies, that fuzzy solutions may create more problems in the long term, than they solve in the short term. For example, if one starts off designing a procedure, not with well thought-out, precise concepts, but rather by using fuzzy or approximate expressions which conveniently patch up (or compensate for) badly formulated ideas, the ultimate result could be a complicated, malformed mess, that does not achieve the intended goal.
Had the reasoning and conceptualization been much sharper at the start, then the design of the procedure might have been much simpler, more efficient and effective - and fuzzy expressions or approximations would not be necessary, or required much less. Thus, by allowing the use of fuzzy or approximate expressions, one might actually foreclose more rigorous thinking about design, and one might build something that ultimately does not meet expectations.
If (say) an entity X turns out to belong for 65% to category Y, and for 35% to category Z, how should X be allocated? One could plausibly decide to allocate X to Y, making a rule that, if an entity belongs for 65% or more to Y, it is to be treated as an instance of category Y, and never as an instance of category Z. One could, however, alternatively decide to change the definitions of the categorization system, to ensure that all entities such as X fall 100% in one category only.
This kind of argument claims, that boundary problems can be resolved (or vastly reduced) simply by using better categorization or conceptualization methods. If we treat X "as if" it belongs 100% to Y, while in truth it only belongs 65% to Y, then arguably we are really misrepresenting things. If we keep doing that with a lot of related variables, we can greatly distort the true situation, and make it look like something that it isn't.
In a "fuzzy permissive" environment, it might become far too easy, to formalize and use a concept which is itself badly defined, and which could have been defined much better. In that environment, there is always a quantitative way out, for concepts that do not quite fit, or which don't quite do the job for which they are intended. The cumulative adverse effect of the discrepancies might, in the end, be much larger than ever anticipated.
A typical reply to Kahan's objections is, that fuzzy reasoning never "rules out" ordinary binary logic, but instead presupposes ordinary true-or-false logic. Lotfi Zadeh stated that "fuzzy logic is not fuzzy. In large measure, fuzzy logic is precise." [169] It is a precise logic of imprecision. Fuzzy logic is not a replacement of, or substitute for ordinary logic, but an enhancement of it, with many practical uses. Fuzzy thinking does oblige action, but primarily in response to a change in quantitative gradation, not in response to a contradiction.
One could say, for example, that ultimately one is either "alive" or "dead", which is perfectly true. Meantime though one is "living", which is also a significant truth - yet "living" is a fuzzy concept. It is true that fuzzy logic by itself usually cannot eliminate inadequate conceptualization or bad design. Yet it can at least make explicit, what exactly the variations are in the applicability of a concept which has unsharp boundaries.
If one always had perfectly crisp concepts available, perhaps no fuzzy expressions would be necessary. In reality though, one often does not have all the crisp concepts to start off with. One might not have them yet for a long time, or ever - or, several successive "fuzzy" approximations might be needed, to get there. A "fuzzy permissive" environment may be appropriate and useful, precisely because it permits things to be actioned, that would never have been achieved, if there had been crystal clarity about all the consequences from the start, or if people insisted on absolute precision prior to doing anything. Scientists often try things out on the basis of "hunches", and processes like serendipity can play a role.
Learning something new, or trying to create something new, is rarely a completely formal-logical or linear process. There are not only "knowns" and "unknowns" involved, but also "partly known" phenomena, i.e., things which are known or unknown "to some degree". Even if, ideally, we would prefer to eliminate fuzzy ideas, we might need them initially to get there, further down the track. Any method of reasoning is a tool. If its application has bad results, it is not the tool itself that is to blame, but its inappropriate use. It would be better to educate people in the best use of the tool, if necessary with appropriate authorization, than to ban the tool pre-emptively, on the ground that it "could" or "might" be abused. Exceptions to this rule would include things like computer viruses and illegal weapons that can only cause great harm if they are used. There is no evidence though that fuzzy concepts as a species are intrinsically harmful, even if some bad concepts can cause harm if used in inappropriate contexts.
Susan Haack once claimed that a many-valued logic requires neither intermediate terms between true and false, nor a rejection of bivalence. [170] She implied that the intermediate terms (i.e. the gradations of truth) can always be restated as conditional if-then statements, and by implication, that fuzzy logic is fully reducible to binary true-or-false logic.
This interpretation is disputed (it assumes that the knowledge already exists to fit the intermediate terms to a logical sequence), but even if it was correct, assigning a number to the applicability of a statement is often enormously more efficient than a long string of if-then statements that would have the same intended meaning. That point is obviously of great importance to computer programmers, educators and administrators seeking to code a process, activity, message or operation as simply as possible, according to logically consistent rules. Prof. Haack is, of course, quite correct when she argues that fuzzy logic does not do away with binary logic.
It may be wonderful to have an unlimited number of distinctions available to define what one means, but not all scholars would agree that any concept is equal to, or reducible to, a mathematical set. [171] Some phenomena are difficult or impossible to quantify and count, in particular if they lack discrete boundaries (for example, clouds). George Lakoff argued that it is not necessarily true that fuzzy-set theory is the only or most appropriate way of modelling concepts. [172]
Qualities may not be fully reducible to quantities [173] – if there are no qualities, it may become impossible to say what the numbers are numbers of, or what they refer to, except that they refer to other numbers or numerical expressions such as algebraic equations. A measure requires a counting unit defined by a category, but the definition of that category is essentially qualitative; a language which is used to communicate data is difficult to operate, without any qualitative distinctions and categories. We may, for example, transmit a text in binary code, but the binary code does not tell us directly what the text intends. It has to be translated, decoded or converted first, before it becomes comprehensible.
In creating a formalization or formal specification of a concept, for example for the purpose of measurement, administrative procedure or programming, part of the meaning of the concept may be changed or lost. [174] For example, if we deliberately program an event according to a concept, it might kill off the spontaneity, spirit, authenticity and motivational pattern which is ordinarily associated with that type of event.
Quantification is not an unproblematic process. [175] To quantify a phenomenon, we may have to introduce special assumptions and definitions which disregard part of the phenomenon in its totality.
Programmers, statisticians or logicians are concerned in their work with the main operational or technical significance of a concept which is specifiable in objective, quantifiable terms. They are not primarily concerned with all kinds of imaginative frameworks associated with the concept, or with those aspects of the concept which seem to have no particular functional purpose – however entertaining they might be. However, some of the qualitative characteristics of the concept may not be quantifiable or measurable at all, at least not directly. The temptation exists to ignore them, or try to infer them from data results.
If, for example, we want to count the number of trees in a forest area with any precision, we have to define what counts as one tree, and perhaps distinguish them from saplings, split trees, dead trees, fallen trees etc. Soon enough it becomes apparent that the quantification of trees involves a degree of abstraction – we decide to disregard some timber, dead or alive, from the population of trees, in order to count those trees that conform to our chosen concept of a tree. We operate in fact with an abstract concept of what a tree is, which diverges to some extent from the true diversity of trees there are.
Even so, there may be some trees, of which it is not very clear, whether they should be counted as a tree, or not; a certain amount of "fuzziness" in the concept of a tree may therefore remain. The implication is, that the seemingly "exact" number offered for the total quantity of trees in the forest may be much less exact than one might think - it is probably more an estimate or indication of magnitude, rather than an exact description. [180] Yet - and this is the point - the imprecise measure can be very useful and sufficient for all intended purposes.
It is tempting to think, that if something can be measured, it must exist, and that if we cannot measure it, it does not exist. Neither might be true. Researchers try to measure such things as intelligence or gross domestic product, without much scientific agreement about what these things actually are, how they exist, and what the correct measures might be.
When one wants to count and quantify distinct objects using numbers, one needs to be able to distinguish between those separate objects, but if this is difficult or impossible, then, although this may not invalidate a quantitative procedure as such, quantification is not really possible in practice; at best, we may be able to assume or infer indirectly a certain distribution of quantities that must be there. In this sense, scientists often use proxy variables to substitute as measures for variables which are known (or thought) to be there, but which themselves cannot be observed or measured directly.
The exact relationship between vagueness and fuzziness is disputed.
Philosophers often regard fuzziness as a particular kind of vagueness, [181] and consider that "no specific assignment of semantic values to vague predicates, not even a fuzzy one, can fully satisfy our conception of what the extensions of vague predicates are like". [182] Surveying recent literature on how to characterize vagueness, Matti Eklund states that appeal to lack of sharp boundaries, borderline cases and "sorites-susceptible" predicates are the three informal characterizations of vagueness which are most common in the literature. [183]
However, Lotfi A. Zadeh claimed that "vagueness connotes insufficient specificity, whereas fuzziness connotes unsharpness of class boundaries". Thus, he argued, a sentence like "I will be back in a few minutes" is fuzzy but not vague, whereas a sentence such as "I will be back sometime", is fuzzy and vague. His suggestion was that fuzziness and vagueness are logically quite different qualities, rather than fuzziness being a type or subcategory of vagueness. Zadeh claimed that "inappropriate use of the term 'vague' is still a common practice in the literature of philosophy". [184]
In the scholarly inquiry about ethics and meta-ethics, vague or fuzzy concepts and borderline cases are standard topics of controversy. Central to ethics are theories of "value", what is "good" or "bad" for people and why that is, and the idea of "rule following" as a condition for moral integrity, consistency and non-arbitrary behaviour.
Yet, if human valuations or moral rules are only vague or fuzzy, then they may not be able to orient or guide behaviour. It may become impossible to operationalize rules. Evaluations may not permit definite moral judgements, in that case. Hence, clarifying fuzzy moral notions is usually considered to be critical for the ethical endeavour as a whole. [185]
Nevertheless, Scott Soames has made the case that vagueness or fuzziness can be valuable to rule-makers, because "their use of it is valuable to the people to whom rules are addressed". [186] It may be more practical and effective to allow for some leeway (and personal responsibility) in the interpretation of how a rule should be applied - bearing in mind the overall purpose which the rule intends to achieve.
If a rule or procedure is stipulated too exactly, it can sometimes have a result which is contrary to the aim which it was intended to help achieve. For example, "The Children and Young Persons Act could have specified a precise age below which a child may not be left unsupervised. But doing so would have incurred quite substantial forms of arbitrariness (for various reasons, and particularly because of the different capacities of children of the same age)". [187]
A related sort of problem is, that if the application of a legal concept is pursued too exactly and rigorously, it may have consequences that cause a serious conflict with another legal concept. This is not necessarily a matter of bad law-making. When a law is made, it may not be possible to anticipate all the cases and events to which it will apply later (even if 95% of possible cases are predictable). The longer a law is in force, the more likely it is, that people will run into problems with it, that were not foreseen when the law was made.
So, the further implications of one rule may conflict with another rule. "Common sense" might not be able to resolve things. In that scenario, too much precision can get in the way of justice. Very likely a special court ruling wil have to set a norm. The general problem for jurists is, whether "the arbitrariness resulting from precision is worse than the arbitrariness resulting from the application of a vague standard". [188]
The definitional disputes about fuzziness remain unresolved so far, mainly because, as anthropologists and psychologists have documented, different languages (or symbol systems) that have been created by people to signal meanings suggest different ontologies. [189] Put simply: it is not merely that describing "what is there" involves symbolic representations of some kind. How distinctions are drawn, influences perceptions of "what is there", and vice versa, perceptions of "what is there" influence how distinctions are drawn. [190] This is an important reason why, as Alfred Korzybski noted, people frequently confuse the symbolic representation of reality, conveyed by languages and signs, with reality itself. [191]
Fuzziness implies, that there exists a potentially infinite number of truth values between complete truth and complete falsehood. If that is the case, it creates the foundational issue of what, in the case, can justify or prove the existence of the categorical absolutes which are assumed by logical or quantitative inference. If there is an infinite number of shades of grey, how do we know what is totally black and white, and how could we identify that?
To illustrate the ontological issues, cosmologist Max Tegmark argues boldly that the universe consists of math: "If you accept the idea that both space itself, and all the stuff in space, have no properties at all except mathematical properties," then the idea that everything is mathematical "starts to sound a little bit less insane." [192]
Tegmark moves from the epistemic claim that mathematics is the only known symbol system which can in principle express absolutely everything, to the methodological claim that everything is reducible to mathematical relationships, and then to the ontological claim, that ultimately everything that exists is mathematical (the mathematical universe hypothesis). The argument is then reversed, so that because everything is mathematical in reality, mathematics is necessarily the ultimate universal symbol system.
The main criticisms of Tegmark's approach are that (1) the steps in this argument do not necessarily follow, (2) no conclusive proof or test is possible for the claim that such an exhaustive mathematical expression or reduction is feasible, and (3) it may be that a complete reduction to mathematics cannot be accomplished, without at least partly altering, negating or deleting a non-mathematical significance of phenomena, experienced perhaps as qualia. [193]
In his meta-mathematical metaphysics, Edward N. Zalta has claimed that for every set of properties of a concrete object, there always exists exactly one abstract object that encodes exactly that set of properties and no others - a foundational assumption or axiom for his ontology of abstract objects [194] By implication, for every fuzzy object there exists always at least one defuzzified concept which encodes it exactly. It is a modern interpretation of Plato's metaphysics of knowledge, [195] which expresses confidence in the ability of science to conceptualize the world exactly.
The Platonic-style interpretation was critiqued by Hartry H. Field. [196] Mark Balaguer argues that we do not really know whether mind-independent abstract objects exist or not; so far, we cannot prove whether Platonic realism is definitely true or false. [197] Defending a cognitive realism, Scott Soames argues that the reason why this unsolvable conundrum has persisted, is because the ultimate constitution of the meaning of concepts and propositions was misconceived.
Traditionally, it was thought that concepts can be truly representational, because ultimately they are related to intrinsically representational Platonic complexes of universals and particulars. However, once concepts and propositions are regarded as cognitive-event types, it is possible to claim that they are able to be representational, because they are constitutively related to intrinsically representational cognitive acts in the real world. [198] As another philosopher put it,
"The question of how we can know the world around us is not entirely unlike the question of how it is that the food our environment provides happens to agree with our stomachs. Either can become a mystery if we forget that minds, like stomachs, originated in and have been conditioned by a pre-existent natural order." [199]
Along these lines, it could be argued that reality, and the human cognition of reality, will inevitably contain some fuzzy characteristics, which can perhaps be represented only by concepts which are themselves fuzzy to some or other extent.
The idea of fuzzy concepts has also been applied in the philosophical, sociological and linguistic analysis of human behaviour. [200]
In a 1973 paper, George Lakoff analyzed hedges in the interpretation of the meaning of categories. [201] Charles Ragin and others have applied the idea to sociological analysis. [202] For example, fuzzy set qualitative comparative analysis ("fsQCA") has been used by German researchers to study problems posed by ethnic diversity in Latin America. [203] In New Zealand, Taiwan, Iran, Malaysia, the European Union and Croatia, economists have used fuzzy concepts to model and measure the underground economy of their country. [204] Kofi Kissi Dompere applied methods of fuzzy decision, approximate reasoning, negotiation games and fuzzy mathematics to analyze the role of money, information and resources in a "political economy of rent-seeking", viewed as a game played between powerful corporations and the government. [205] The German researcher Thomas Kron has used fuzzy methods to model sociological theory, creating an integral action-theoretical model with the aid of fuzzy logic. With Lars Winter, Kron developed the system theory of Niklas Luhmann further, using the so-called "Kosko-Cube". Kron studies transnational terrorism and other contemporary phenomena using fuzzy logic, to understand conditions involving uncertainty, hybridity, violence and cultural systems. [206]
A concept may be deliberately created by sociologists as an ideal type to understand something imaginatively, without any strong claim that it is a "true and complete description" or a "true and complete reflection" of whatever is being conceptualized. [207] In a more general sociological or journalistic sense, a "fuzzy concept" has come to mean a concept which is meaningful but inexact, implying that it does not exhaustively or completely define the meaning of the phenomenon to which it refers – often because it is too abstract. In this context, it is said that fuzzy concepts "lack clarity and are difficult to test or operationalize". [208] To specify the relevant meaning more precisely, additional distinctions, conditions and/or qualifiers would be required.
A few examples can illustrate this kind of usage:
The main reason why the term "fuzzy concept" is now often used in describing human behaviour, is that human interaction has many characteristics which are difficult to quantify and measure precisely (although we know that they have magnitudes and proportions), among other things because they are interactive and reflexive (the observers and the observed mutually influence the meaning of events). [213] Those human characteristics can be usefully expressed only in an approximate way (see reflexivity (social theory)). [214]
Newspaper stories frequently contain fuzzy concepts, which are readily understood and used, even although they are far from exact. Thus, many of the meanings which people ordinarily use to negotiate their way through life in reality turn out to be "fuzzy concepts". While people often do need to be exact about some things (e.g. money or time), many areas of their lives involve expressions which are far from exact.
Sometimes the term is also used in a pejorative sense. For example, a New York Times journalist wrote that Prince Sihanouk "seems unable to differentiate between friends and enemies, a disturbing trait since it suggests that he stands for nothing beyond the fuzzy concept of peace and prosperity in Cambodia". [215]
The use of fuzzy logic in the social sciences and humanities has remained limited until recently. Lotfi A. Zadeh said in a 1994 interview that:
"I expected people in the social sciences – economics, psychology, philosophy, linguistics, politics, sociology, religion and numerous other areas to pick up on it. It's been somewhat of a mystery to me why even to this day, so few social scientists have discovered how useful it could be." [216]
Two decades later, after a digital information explosion due to the growing use of the internet and mobile phones worldwide, fuzzy concepts and fuzzy logic are being widely applied in big data analysis of social, commercial and psychological phenomena. Many sociometric and psychometric indicators are based partly on fuzzy concepts and fuzzy variables.
Jaakko Hintikka once claimed that "the logic of natural language we are in effect already using can serve as a "fuzzy logic" better than its trade name variant without any additional assumptions or constructions." [217] That might help to explain why fuzzy logic has not been used much to formalize concepts in the "soft" social sciences.
Lotfi A. Zadeh rejected such an interpretation, on the ground that in many human endeavours as well as technologies it is highly important to define more exactly "to what extent" something is applicable or true, when it is known that its applicability can vary to some important extent among large populations. Reasoning which accepts and uses fuzzy concepts can be shown to be perfectly valid with the aid of fuzzy logic, because the degrees of applicability of a concept can be more precisely and efficiently defined with the aid of numerical notation.
Another possible explanation for the traditional lack of use of fuzzy logic by social scientists is simply that, beyond basic statistical analysis (using programs such as SPSS and Excel) the mathematical knowledge of social scientists is often rather limited; they may not know how to formalize and code a fuzzy concept using the conventions of fuzzy logic. The standard software packages used provide only a limited capacity to analyze fuzzy data sets, if at all, and considerable skills are required.
Yet Jaakko Hintikka may be correct, in the sense that it can be much more efficient to use natural language to denote a complex idea, than to formalize it in logical terms. The quest for formalization might introduce much more complexity, which is not wanted, and which detracts from communicating the relevant issue. Some concepts used in social science may be impossible to formalize exactly, even though they are quite useful and people understand their appropriate application quite well.
Fuzzy concepts can generate uncertainty because they are imprecise (especially if they refer to a process in motion, or a process of transformation where something is "in the process of turning into something else"). In that case, they do not provide a clear orientation for action or decision-making ("what does X really mean, intend or imply?"); reducing fuzziness, perhaps by applying fuzzy logic, [218] might generate more certainty.
However, this is not necessarily always so. [219] A concept, even although it is not fuzzy at all, and even though it is very exact, could equally well fail to capture the meaning of something adequately. That is, a concept can be very precise and exact, but not – or insufficiently – applicable or relevant in the situation to which it refers. In this sense, a definition can be "very precise", but "miss the point" altogether.
A fuzzy concept may indeed provide more security, because it provides a meaning for something when an exact concept is unavailable – which is better than not being able to denote it at all. A concept such as God, although not easily definable, for instance can provide security to the believer. [220]
In physics, the observer effect and Heisenberg's uncertainty principle [221] indicate that there is a physical limit to the amount of precision that is knowable, with regard to the movements of subatomic particles and waves. That is, features of physical reality exist, where we can know that they vary in magnitude, but of which we can never know or predict exactly how big or small the variations are. This insight suggests that, in some areas of our experience of the physical world, fuzziness is inevitable and can never be totally removed. Since the physical universe itself is incredibly large and diverse, it is not easy to imagine it, grasp it or describe it without using fuzzy concepts.
Ordinary language, which uses symbolic conventions and associations which are often not logical, inherently contains many fuzzy concepts [222] – "knowing what you mean" in this case depends partly on knowing the context (or being familiar with the way in which a term is normally used, or what it is associated with). [223]
This can be easily verified for instance by consulting a dictionary, a thesaurus or an encyclopedia which show the multiple meanings of words, or by observing the behaviours involved in ordinary relationships which rely on mutually understood meanings (see also Imprecise language). Bertrand Russell regarded ordinary language (in contrast to logic) as intrinsically vague. [224]
To communicate, receive or convey a message, an individual somehow has to bridge his own intended meaning and the meanings which are understood by others, i.e., the message has to be conveyed in a way that it will be socially understood, preferably in the intended manner. Thus, people might state: "you have to say it in a way that I understand". Even if the message is clear and precise, it may nevertheless not be received in the way it was intended.
Bridging meanings may be done instinctively, habitually or unconsciously, but it usually involves a choice of terms, assumptions or symbols whose meanings are not completely fixed, but which depend among other things on how the receivers of the message respond to it, or the context. In this sense, meaning is often "negotiated" or "interactive" (or, more cynically, manipulated). This gives rise to many fuzzy concepts.
The semantic challenge of conveying meanings to an audience was explored in detail, and analyzed logically, by the British philosopher Paul Grice - using, among other things, the concept of implicature. [225] Implicature refers to what is suggested by a message to the recipient, without being either explicitly expressed or logically entailed by its content. The suggestion could be very clear to the recipient (perhaps a sort of code), but it could also be vague or fuzzy.
Even using ordinary set theory and binary logic to reason something out, logicians have discovered that it is possible to generate statements which are logically speaking not completely true or imply a paradox, [226] even although in other respects they conform to logical rules (see Russell's paradox). David Hilbert concluded that the existence of such logical paradoxes tells us "that we must develop a meta-mathematical analysis of the notions of proof and of the axiomatic method; their importance is methodological as well as epistemological". [227]
Various different aspects of human experience commonly generate concepts with fuzzy characteristics.
The formation of fuzzy concepts is partly due to the fact that the human brain does not operate like a computer (see also Chinese room). [228]
According to fuzzy-trace theory, partly inspired by Gestalt psychology, human intuition is a non-arbitrary, reasonable and rational process of cognition; it literally "makes sense" (see also: Problem of multiple generality). [231]
In part, fuzzy concepts arise also because learning or the growth of understanding involves a transition from a vague awareness, which cannot orient behaviour greatly, to clearer insight, which can orient behaviour. At the first encounter with an idea, the sense of the idea may be rather hazy. When more experience with the idea has occurred, a clearer and more precise grasp of the idea results, as well as a better understanding of how and when to use the idea (or not).
In his study of implicit learning, Arthur S. Reber affirms that there does not exist a very sharp boundary between the conscious and the unconscious, and "there are always going to be lots of fuzzy borderline cases of material that is marginally conscious and lots of elusive instances of functions and processes that seem to slip in and out of personal awareness". [232]
Thus, an inevitable component of fuzziness exists and persists in human consciousness, because of continual variation of gradations in awareness, along a continuum from the conscious, the preconscious, and the subconscious to the unconscious. The hypnotherapist Milton H. Erickson similarly noted that the conscious mind and the unconscious normally interact. [233]
Some psychologists and logicians argue that fuzzy concepts are a necessary consequence of the reality that any kind of distinction we might like to draw has limits of application. At a certain level of generality, a distinction works fine. But if we pursued its application in a very exact and rigorous manner, or overextend its application, it appears that the distinction simply does not apply in some areas or contexts, or that we cannot fully specify how it should be drawn. An analogy might be, that zooming a telescope, camera, or microscope in and out, reveals that a pattern which is sharply focused at a certain distance becomes blurry at another distance, or disappears altogether.
Faced with any large, complex and continually changing phenomenon, any short statement made about that phenomenon is likely to be "fuzzy", i.e., it is meaningful, but – strictly speaking – incorrect and imprecise. [234] It will not really do full justice to the reality of what is happening with the phenomenon. A correct, precise statement would require a lot of elaborations and qualifiers. Nevertheless, the "fuzzy" description turns out to be a useful shorthand that saves a lot of time in communicating what is going on ("you know what I mean").
In psychophysics, it was discovered that the perceptual distinctions we draw in the mind are often more definite than they are in the real world. Thus, the brain actually tends to "sharpen up" or "enhance" our perceptions of differences in the external world.
If there are more gradations and transitions in reality, than our conceptual or perceptual distinctions can capture in our minds, then it could be argued that how those distinctions will actually apply, must necessarily become vaguer at some point.
In interacting with the external world, the human mind may often encounter new, or partly new phenomena or relationships which cannot (yet) be sharply defined given the background knowledge available, and by known distinctions, associations or generalizations.
"Crisis management plans cannot be put 'on the fly' after the crisis occurs. At the outset, information is often vague, even contradictory. Events move so quickly that decision makers experience a sense of loss of control. Often denial sets in, and managers unintentionally cut off information flow about the situation" - L. Paul Bremer. [237]
It also can be argued that fuzzy concepts are generated by a certain sort of lifestyle or way of working which evades definite distinctions, makes them impossible or inoperable, or which is in some way chaotic. To obtain concepts which are not fuzzy, it must be possible to test out their application in some way. But in the absence of any relevant clear distinctions, lacking an orderly environment, or when everything is "in a state of flux" or in transition, it may not be possible to do so, so that the amount of fuzziness increases.
Fuzzy concepts often play a role in the creative process of forming new concepts to understand something. In the most primitive sense, this can be observed in infants who, through practical experience, learn to identify, distinguish and generalise the correct application of a concept, and relate it to other concepts. [238] However, fuzzy concepts may also occur in scientific, journalistic, programming and philosophical activity, when a thinker is in the process of clarifying and defining a newly emerging concept which is based on distinctions which, for one reason or another, cannot (yet) be more exactly specified or validated. Fuzzy concepts are often used to denote complex phenomena, or to describe something which is developing and changing, which might involve shedding some old meanings and acquiring new ones.
It could be argued that many concepts used fairly universally in daily life (e.g. "love", "God", [255] "health", [256] "social", "tolerance" etc.) are inherently or intrinsically fuzzy concepts, to the extent that their meaning can never be completely and exactly specified with logical operators or objective terms, and can have multiple interpretations, which are at least in part purely subjective. Yet despite this limitation, such concepts are not meaningless. People keep using the concepts, even if they are difficult to define precisely. David Lanius has examined nine arguments for the "value of vagueness" in different contexts. [257]
It may also be possible to specify one personal meaning for the concept, without however placing restrictions on a different use of the concept in other contexts (as when, for example, one says "this is what I mean by X" in contrast to other possible meanings). In ordinary speech, concepts may sometimes also be uttered purely randomly; for example a child may repeat the same idea in completely unrelated contexts, or an expletive term may be uttered arbitrarily. A feeling or sense is conveyed, without it being fully clear what it is about.
Happiness may be an example of a word with variable meanings depending on context or timing. [258]
Fuzzy concepts can be used deliberately to create ambiguity and vagueness, as an evasive tactic, or to bridge what would otherwise be immediately recognized as a contradiction of terms. They might be used to indicate that there is definitely a connection between two things, without giving a complete specification of what the connection is, for some or other reason. This could be due to a failure or refusal to be more precise. But it could also be a prologue to a more exact formulation of a concept, or to a better understanding of it.
Fuzzy concepts can be used as a practical method to describe something of which a complete description would be an unmanageably large undertaking, or very time-consuming; thus, a simplified indication of what is at issue is regarded as sufficient, although it is not exact.
There is also such a thing as an "economy of distinctions", meaning that it is not helpful or efficient to use more detailed definitions than are really necessary for a given purpose. In this sense, Karl Popper rejected pedantry and commented that:
"...it is always undesirable to make an effort to increase precision for its own sake –especially linguistic precision –since this usually leads to loss of clarity, and to a waste of time and effort on preliminaries which often turn out to be useless, because they are bypassed by the real advance of the subject: one should never try to be more precise than the problem situation demands. I might perhaps state my position as follows. Every increase in clarity is of intellectual value in itself; an increase in precision or exactness has only a pragmatic value as a means to some definite end..." [259]
The provision of "too many details" could be disorienting and confusing, instead of being enlightening, while a fuzzy term might be sufficient to provide an orientation. The reason for using fuzzy concepts can therefore be purely pragmatic, if it is not feasible or desirable (for practical purposes) to provide "all the details" about the meaning of a shared symbol or sign. Thus people might say "I realize this is not exact, but you know what I mean" – they assume practically that stating all the details is not required for the purpose of the communication.
Lotfi A. Zadeh picked up this point, and drew attention to a "major misunderstanding" about applying fuzzy logic. It is true that the basic aim of fuzzy logic is to make what is imprecise more precise. Yet in many cases, fuzzy logic is used paradoxically to "imprecisiate what is precise", meaning that there is a deliberate tolerance for imprecision for the sake of simplicity of procedure and economy of expression.
In such uses, there is a tolerance for imprecision, because making ideas more precise would be unnecessary and costly, while "imprecisiation reduces cost and enhances tractability" (tractability means "being easy to manage or operationalize"). Zadeh calls this approach the "Fuzzy Logic Gambit" (a gambit means giving up something now, to achieve a better position later).
In the Fuzzy Logic Gambit, "what is sacrificed is precision in [quantitative] value, but not precision in meaning", and more concretely, "imprecisiation in value is followed by precisiation in meaning". Zadeh cited as example Takeshi Yamakawa's programming for an inverted pendulum, where differential equations are replaced by fuzzy if-then rules in which words are used in place of numbers. [260]
Common use of this sort of approach (combining words and numbers in programming), has led some logicians to regard fuzzy logic merely as an extension of Boolean logic (a two-valued logic or binary logic is simply replaced with a many-valued logic).
However, Boolean concepts have a logical structure which differs from fuzzy concepts. An important feature in Boolean logic is, that an element of a set can also belong to any number of other sets; even so, the element either does, or does not belong to a set (or sets). By contrast, whether an element belongs to a fuzzy set is a matter of degree, and not always a definite yes-or-no question.
All the same, the Greek mathematician Costas Drossos suggests in various papers that, using a "non-standard" mathematical approach, we could also construct fuzzy sets with Boolean characteristics and Boolean sets with fuzzy characteristics. [261] This would imply, that in practice the boundary between fuzzy sets and Boolean sets is itself fuzzy, rather than absolute. For a simplified example, we might be able to state, that a concept X is definitely applicable to a finite set of phenomena, and definitely not applicable to all other phenomena. Yet, within the finite set of relevant items, X might be fully applicable to one subset of the included phenomena, while it is applicable only "to some varying extent or degree" to another subset of phenomena which are also included in the set. Following ordinary set theory, this generates logical problems, if e.g. overlapping subsets within sets are related to other overlapping subsets within other sets.
In mathematical logic, computer programming, philosophy and linguistics fuzzy concepts can be analyzed and defined more accurately or comprehensively, by describing or modelling the concepts using the terms of fuzzy logic or other substructural logics. Items of knowledge can be formalized and represented using various different methods. [262] More generally, clarification techniques can be used such as:
In this way, we can obtain a more exact understanding of the meaning and use of a fuzzy concept, and possibly decrease the amount of fuzziness. It may not be possible to specify all the possible meanings or applications of a concept completely and exhaustively, but if it is possible to capture the majority of them, statistically or otherwise, this may be useful enough for practical purposes.
A process of defuzzification is said to occur, when fuzzy concepts can be logically described in terms of fuzzy sets, or the relationships between fuzzy sets, which makes it possible to define variations in the meaning or applicability of concepts as quantities. Effectively, qualitative differences are in that case described more precisely as quantitative variations, or quantitative variability. Assigning a numerical value then denotes the magnitude of variation along a scale from zero to one.
The difficulty that can occur in judging the fuzziness of a concept can be illustrated with the question "Is this one of those?". If it is not possible to clearly answer this question, that could be because "this" (the object) is itself fuzzy and evades definition, or because "one of those" (the concept of the object) is fuzzy and inadequately defined.
Thus, the source of fuzziness may be in (1) the nature of the reality being dealt with, (2) the concepts used to interpret it, or (3) the way in which the two are being related by a person. [265] It may be that the personal meanings which people attach to something are quite clear to the persons themselves, but that it is not possible to communicate those meanings to others except as fuzzy concepts.
In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is true. It is one of the three laws of thought, along with the law of noncontradiction, and the law of identity; however, no system of logic is built on just these laws, and none of these laws provides inference rules, such as modus ponens or De Morgan's laws. The law is also known as the law / principleof the excluded third, in Latin principium tertii exclusi. Another Latin designation for this law is tertium non datur or "no third [possibility] is given". In classical logic, the law is a tautology.
In linguistics and philosophy, a vague predicate is one which gives rise to borderline cases. For example, the English adjective "tall" is vague since it is not clearly true or false for someone of middling height. By contrast, the word "prime" is not vague since every number is definitively either prime or not. Vagueness is commonly diagnosed by a predicate's ability to give rise to the Sorites paradox. Vagueness is separate from ambiguity, in which an expression has multiple denotations. For instance the word "bank" is ambiguous since it can refer either to a river bank or to a financial institution, but there are no borderline cases between both interpretations.
Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept of partial truth, where the truth value may range between completely true and completely false. By contrast, in Boolean logic, the truth values of variables may only be the integer values 0 or 1.
In mathematics, fuzzy sets are sets whose elements have degrees of membership. Fuzzy sets were introduced independently by Lotfi A. Zadeh in 1965 as an extension of the classical notion of set. At the same time, Salii (1965) defined a more general kind of structure called an "L-relation", which he studied in an abstract algebraic context; fuzzy relations are special cases of L-relations when L is the unit interval [0, 1]. They are now used throughout fuzzy mathematics, having applications in areas such as linguistics, decision-making, and clustering.
Lotfi Aliasker Zadeh was a mathematician, computer scientist, electrical engineer, artificial intelligence researcher, and professor of computer science at the University of California, Berkeley. Zadeh is best known for proposing fuzzy mathematics, consisting of several fuzzy-related concepts: fuzzy sets, fuzzy logic, fuzzy algorithms, fuzzy semantics, fuzzy languages, fuzzy control, fuzzy systems, fuzzy probabilities, fuzzy events, and fuzzy information. Zadeh was a founding member of the Eurasian Academy.
The sorites paradox, sometimes known as the paradox of the heap, is a paradox that results from vague predicates. A typical formulation involves a heap of sand, from which grains are removed individually. With the assumption that removing a single grain does not cause a heap to not be considered a heap anymore, the paradox is to consider what happens when the process is repeated enough times that only one grain remains and if it is still a heap. If not, then the question asks when it changed from a heap to a non-heap.
In classical logic, propositions are typically unambiguously considered as being true or false. For instance, the proposition one is both equal and not equal to itself is regarded as simply false, being contrary to the Law of Noncontradiction; while the proposition one is equal to one is regarded as simply true, by the Law of Identity. However, some mathematicians, computer scientists, and philosophers have been attracted to the idea that a proposition might be more or less true, rather than wholly true or wholly false. Consider My coffee is hot.
Possibility theory is a mathematical theory for dealing with certain types of uncertainty and is an alternative to probability theory. It uses measures of possibility and necessity between 0 and 1, ranging from impossible to possible and unnecessary to necessary, respectively. Professor Lotfi Zadeh first introduced possibility theory in 1978 as an extension of his theory of fuzzy sets and fuzzy logic. Didier Dubois and Henri Prade further contributed to its development. Earlier, in the 1950s, economist G. L. S. Shackle proposed the min/max algebra to describe degrees of potential surprise.
In computing with words and perceptions (CWP), the objects of computation are words, perceptions, and propositions drawn from a natural language. The central theme of CWP is the concept of a generalised constraint. The meaning of a proposition is expressed as a generalised constraint.
Joseph Amadee Goguen was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.
Kazem Sadegh-Zadeh was a German analytic philosopher of medicine of Iranian descent. He was the first ever professor of philosophy of medicine at a German university and has made significant contributions to the philosophy, methodology, and logic of medicine since 1970.
Probabilistic logic involves the use of probability and logic to deal with uncertain situations. Probabilistic logic extends traditional logic truth tables with probabilistic expressions. A difficulty of probabilistic logics is their tendency to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as in case of belief fusion in Dempster–Shafer theory. Source trust and epistemic uncertainty about the probabilities they provide, such as defined in subjective logic, are additional elements to consider. The need to deal with a broad variety of contexts and issues has led to many different proposals.
Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialized analyses of reasoning such as probability, correct reasoning, and arguments involving causality. One of the aims of logic is to identify the correct and incorrect inferences. Logicians study the criteria for the evaluation of arguments.
George Jiří Klir was a Czech-American computer scientist and professor of systems sciences at Binghamton University in Binghamton, New York.
Fuzzy mathematics is the branch of mathematics including fuzzy set theory and fuzzy logic that deals with partial inclusion of elements in a set on a spectrum, as opposed to simple binary "yes" or "no" inclusion. It started in 1965 after the publication of Lotfi Asker Zadeh's seminal work Fuzzy sets. Linguistics is an example of a field that utilizes fuzzy set theory.
Type-2 fuzzy sets and systems generalize standard Type-1 fuzzy sets and systems so that more uncertainty can be handled. From the beginning of fuzzy sets, criticism was made about the fact that the membership function of a type-1 fuzzy set has no uncertainty associated with it, something that seems to contradict the word fuzzy, since that word has the connotation of much uncertainty. So, what does one do when there is uncertainty about the value of the membership function? The answer to this question was provided in 1975 by the inventor of fuzzy sets, Lotfi A. Zadeh, when he proposed more sophisticated kinds of fuzzy sets, the first of which he called a "type-2 fuzzy set". A type-2 fuzzy set lets us incorporate uncertainty about the membership function into fuzzy set theory, and is a way to address the above criticism of type-1 fuzzy sets head-on. And, if there is no uncertainty, then a type-2 fuzzy set reduces to a type-1 fuzzy set, which is analogous to probability reducing to determinism when unpredictability vanishes.
NetWeaver Developer is a knowledgebase development system. This article
Perceptual computing is an application of Zadeh's theory of computing with words on the field of assisting people to make subjective judgments.
In logic, a finite-valued logic is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values for any proposition. Modern three-valued logic allows for an additional possible truth value.
In logic, an infinite-valued logic is a many-valued logic in which truth values comprise a continuous range. Traditionally, in Aristotle's logic, logic other than bivalent logic was abnormal, as the law of the excluded middle precluded more than two possible values for any proposition. Modern three-valued logic allows for an additional possible truth value and is an example of finite-valued logic in which truth values are discrete, rather than continuous. Infinite-valued logic comprises continuous fuzzy logic, though fuzzy logic in some of its forms can further encompass finite-valued logic. For example, finite-valued logic can be applied in Boolean-valued modeling, description logics, and defuzzification of fuzzy logic.