Fuzzy concept

From Wikipedia, the free encyclopedia

A fuzzy concept is a concept of which the boundaries of application can vary considerably according to context or conditions, instead of being fixed once and for all. This means the concept is vague in some way, lacking a fixed, precise meaning, without however being unclear or meaningless altogether. 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. The inverse of a "fuzzy concept" is a "crisp concept" (i.e. a precise concept).

 

A fuzzy concept is understood by scientists as a concept which is "to an extent applicable" in a situation. That means the concept has 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. The best known example of a fuzzy concept around the world is an amber traffic light, and indeed fuzzy concepts are widely used in traffic control systems. The term is also used these days in a more general, popular sense - in contrast to its technical meaning - to refer to a concept which is "rather vague" for any kind of reason.

In the past, the very idea of reasoning with fuzzy concepts faced considerable resistance from academic elites. They did not want to endorse the use of imprecise concepts in research or argumentation. 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. 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.

The new neuro-fuzzy computational methods make it possible, to identify, to measure and respond to fine gradations of significance, with great precision. 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.

Origins

Problems of vagueness and fuzziness have probably always existed in human experience. The boundary between different things can appear blurry. Sometimes people have to think, when they are not in the best frame of mind to do it, or, they have to talk about something out there, which just isn't sharply defined. Across time, however, philosophers and scientists began to reflect about those kinds of problems, in much more systematic ways.

Sorites paradox

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. 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). 

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 is invalid. The problem then becomes one of how we could ascertain the kind of validity that the statement does have.

Loki's wager

The Nordic myth of Loki's wager suggested that concepts that lack precise meanings or precise boundaries of application cannot be usefully discussed at all. However, the 20th century idea of "fuzzy concepts" proposes that "somewhat vague terms" can be operated with, since 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.

Precursors

The intellectual origins of the species of fuzzy concepts as a logical category have been traced back to a diversity of famous and less well-known thinkers, including (among many others) Eubulides, Plato, Cicero, Georg Wilhelm Friedrich Hegel, Karl Marx and Friedrich Engels, Friedrich Nietzsche, Hugh MacColl, Charles S. Peirce, Max Black, Jan Łukasiewicz, Emil Leon Post, Alfred Tarski, Georg Cantor, Nicolai A. Vasiliev, Kurt Gödel, Stanisław Jaśkowski, and Donald Knuth.

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 logicians and philosophers have 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.

An early attempt in the post-WW2 era to create a theory of sets where set membership is a matter of degree was made by Abraham Kaplan and Hermann Schott in 1951. They intended to apply the idea to empirical research. Kaplan and Schott measured 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. However, at the time, their idea "fell on stony ground". J. Barkley Rosser Sr. published a treatise on many-valued logics in 1952, anticipating "many-valued sets". Another treatise was published in 1963 by Aleksandr A. Zinov'ev and others.

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).

The German mathematician Dieter Klaua published a German-language paper on fuzzy sets in 1965, but he used a different terminology (he referred to "many-valued sets", not "fuzzy sets").

Two popular introductions to many-valued logic in the late 1960s were by Robert J. Ackermann and Nicholas Rescher respectively. Rescher’s book includes a bibliography on fuzzy theory up to 1965, which was extended by Robert Wolf for 1966-1974. Haack provides references to significant works after 1974. Bergmann provides a more recent (2008) introduction to fuzzy reasoning.

Lotfi Zadeh

Usually the Iranian-born American computer scientist Lotfi A. Zadeh (1921-2017) is credited with inventing the specific idea of a "fuzzy concept" in his seminal 1965 paper on fuzzy sets, because he gave a formal mathematical presentation of the phenomenon that was widely accepted by scholars. 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. Unlike most philosophical theories of vagueness, Zadeh's engineering approach had the advantage that it could be directly applied to computer programming.

Zadeh's seminal 1965 paper is acknowledged to be one of the most-cited scholarly articles in the 20th century. In 2014, it was placed 46th in the list of the world's 100 most-cited research papers of all time. Since the mid-1960s, many scholars have contributed to elaborating the theory of reasoning with graded concepts, and the research field continues to expand.

Definition

The ordinary scholarly definition of a concept as "fuzzy" has been in use from the 1970s onward.

Criteria

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...

Hence, a concept is generally regarded as "fuzzy" in a logical sense if:

• defining characteristics of the concept apply to it "to a certain degree or extent" (or, more unusually, "with a certain magnitude of likelihood").
• or, the boundaries of applicability (the truth-value) of a concept can vary in degrees, according to different conditions.
• or, the fuzzy concept itself straightforwardly consists of a fuzzy set, or a combination of such sets.

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. If the concept has gradations of meaningful significance, it is 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 sub-structural logic. 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.

Probability

Petr Hájek, writing about the foundations of fuzzy logic, 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.

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. 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.

Applications

Philosophy

In philosophical logic and linguistics, fuzzy concepts are often regarded as vague concepts which in their application, or formally speaking, are neither completely true nor completely false, or which are partly true and partly false; they are ideas which require further elaboration, specification or qualification to understand their applicability (the conditions under which they truly make sense). 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.

Sciences

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.

Fuzzy logic

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, but the more usual term is fuzzy logic or many-valued logic. The novelty of fuzzy logic is, that it "breaks with the traditional principle that formalization should correct and avoid, but not compromise with, vagueness".

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 statements are "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.

"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 logic.

Machinery & analytics

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. It is nowadays widely used in:

• The programming of vehicle and transport electronics, household appliances, video games, language filters, robotics, and driverless vehicles. Fuzzy logic washing machines are gaining popularity.
• All kinds of control systems that regulate access, traffic, movement, balance, conditions, temperature, pressure, routers etc.
• Electronic equipment used for pattern recognition, surveying and monitoring (including radars, satellites, alarm systems and surveillance systems).
• Cybernetics research, artificial intelligence, virtual intelligence, machine learning, database design and soft computing research.
• "Fuzzy risk scores" are used by project managers and portfolio managers to express financial risk assessments.
• Fuzzy logic has been applied to the problem of predicting cement strength.

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. The scientific and engineering literature on the subject is constantly increasing.

Community

Originally lot of research on fuzzy logic was done by Japanese pioneers inventing new machinery, electronic equipment and appliances (see also Fuzzy control system). 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.

• The main international body is the International Fuzzy Systems Association (IFSA).
• The Computational Intelligence Society of the Institute of Electrical and Electronics Engineers, Inc. (IEEE) has an international membership and deals with fuzzy logic, neural networks and evolutionary computing. It publishes the journal IEEE Transactions on Fuzzy Systems and holds international conferences.
• The conference on Fuzzy Systems and Data Mining (FSDM) chose Bangkok for its 4th international conference in November 2018.
• The interdisciplinary Japan Society for Fuzzy Theory and Intelligent Informatics (SOFT) traces its origin back to 1972 and publishes two journals.
• The original Korea Fuzzy System Society founded in 1991 is now known as the Korean Institute of Intelligent Systems (KIIS) to make it more inclusive.
• In mainland China, there is the Fuzzy Mathematics and Fuzzy systems Association of China, and there exists also an important Taiwan Fuzzy Systems Association.
• The North American Fuzzy Information Processing Society (NAFIPS) was founded in 1981.
• In Europe, there is a European Society for Fuzzy Logic and Technology (EUSFLAT) which includes the Working Group on Mathematical Fuzzy Logic.
• In 2002, the Iran Fuzzy Systems Society was approved as an affiliate of the Statistics Association of Iran, and in 2005 registered as a non-commercial scientific institute. When Lotfi A. Zadeh received an honorary doctorate from the University of Teheran on 9 March 2017, a member of Iran's parliament stated that Iran now ranks third in the world with regard to the output of scientific research about fuzzy systems.
• In 2005, Russia's Association for Fuzzy Systems (founded in January 1990) became the Russian Association for Fuzzy Systems and Soft Computing (RAFSSoftCom). Zadeh's seminal paper on fuzzy sets was translated into Russian in 1974, and from that time Russian fuzzy research began to take off - increasingly overcoming official skepticism.
• In 2009, the Brazilian Applied Mathematical Society (SBMAC) created the Thematic Committee on Fuzzy Systems which inspired the First Brazilian Congress on Fuzzy Systems (CBSF I) in 2010. CBSF IV was held in Campinas in 2016.
• In India, the Center for Soft Computing Research at the Indian Statistical Institute (Kolkata) organizes and publishes research on fuzzy sets, rough sets, and applications of fuzzy logic.
• The Sri Lanka Association for Artificial Intelligence is a non-profit scientific association devoted to understanding the mechanisms underlying thoughts and intelligent behaviour, and their emulation in machines.
• The Asia Pacific Neural Network Society, founded in 1993, has board members from 13 countries: Australia, China, Hong Kong, India, Japan, Malaysia, New Zealand, Singapore, South Korea, Qatar, Taiwan, Thailand, and Turkey.

Achievements

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. 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.

Lattices and big data sets

The technique of fuzzy concept lattices is increasingly used in programming for the formatting, relating and analysis of fuzzy data sets.

Concept formalization

According to the computer scientist Andrei Popescu at Middlesex University London, a concept can be operationally defined to consist of:

• an intent, which is a description or specification stated in a language,
• an extent, which is the collection of all the objects to which the description refers,
• a context, which is stated by: (i) the universe of all possible objects within the scope of the concept, (ii) the universe of all possible attributes of objects, and (iii) the logical definition of the relation whereby an object possesses an attribute.

Once the context is defined, we can specify relationships of sets of objects with sets of attributes which they do, or do not share.

Fuzzy concept lattice

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". 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.

Sandwich example

Fuzzy definition of sandwiches
	Food item	Contains bread	Bread is separately baked	Bread contains the other ingredients during eating	Two separate bread layers	"Sandwich" is in the name (U.S.)	Made with slices from English sandwich bread loaf	Unweighted score	Classified as
Peanut butter and jelly sandwich	Yes	Yes	Yes	Yes	Yes	Yes	Yes	7	Sandwich
Bacon, lettuce, and tomato sandwich	Yes	Yes	Yes	Yes	Yes	Yes	Yes	7	Sandwich
Toast sandwich	Yes	Yes	Yes	Yes	Yes (despite inner 3rd bread slice)	Yes	Yes	7	Sandwich
Croque-monsieur	Yes	Yes	Yes (but re-cooked)	No (due to cheese on outside)	Yes	No	Yes	5	Sandwich
Banh mi	Yes	Yes	Yes	Yes	Maybe	Maybe (sometimes called "banh mi sandwich")	No (baguette)	5	Roll (UK/Australia) or sandwich (US)
Panini	Yes	Yes	Yes (but re-toasted)	Yes	Yes	No (only in Italian)	No	5	Pressed sandwich (e.g. with the Cuban sandwich)
Hamburger with bun	Yes	Yes	Yes	Yes	Yes	No	No (hamburger bun or bread roll)	5	Burger (UK/Australia), sometimes disputed as a sandwich vs. hamburger (US) due to tradition and the use of bun instead of bread.
Hamburger without bun	Yes	No	No	No	No	No	No	1	Burger (patty) with toppings
Hot dog with bun	Yes	Yes	Yes	Yes	No	No	No (hot dog bun)	4	Disputed. Some classify as a sausage sandwich.[83][84] Others classify as a hot dog (a type of non-sandwich sausage dish due to tradition or the vertical orientation of the bread sides.[85][86][87]
Submarine sandwich	Yes	Yes	Yes	Yes	Maybe	Yes	No (hoagie roll)	5.5	Roll (UK/Australia) or sandwich (US)
Pita pocket	Yes	Yes	Yes	Yes	No	No	No	4	Pocket sandwich
Gyro	Yes	Yes	Yes	Yes	No	No	No	4	Sandwich
Wraps and burritos	Yes	Yes	Yes	Yes	No	No	No	4	Disputed. Legal classification varies by jurisdiction.
Tacos and quesadillas	Yes	Yes	Yes	Yes	No	No	No	4	Disputed, with some classifying as non-sandwich tortilla-based dishes, either due to separate culinary tradition (Spain vs. UK) or the vertical nature of bread sides in tacos.
Calzone	Yes	Yes	No	Yes	No	No	No	3	Dumpling or folded pizza
Bread dumpling	Yes	Yes	No	Yes	No	No	No	3	Dumpling
Egg roll	Yes	Yes	No	Yes	No	No	No	3	Dumpling
Cha siu bao	Yes	Yes	No	Yes	No	No	No	3	Dumpling
Open-faced sandwich	Yes	Yes	Yes	No	No	Yes	Yes	5	Open-faced sandwich
Pizza	Yes	Yes	No	No	No	No	No	2	Savory pie
Salad with croutons	Yes	Yes	No	No	No	No	No	2	Salad
Ice cream cone with ice cream	Yes	No	No	No	No	No	No	1	Pastry
Ice cream sandwich	Yes	No	No	No	No	Yes	No	2	Sandwich cookie (named by analogy to bread sandwiches)
Aluminium foam sandwich	No	No	No	No	No	Yes	No	1	(named by analogy to bread sandwiches)

Big data

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. The basic programming techniques for this kind of fuzzy concept mapping and deep learning are by now well-established and big data analytics had a strong influence on the US elections of 2016. 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.

Very large quantities of data can now be explored using computers with fuzzy logic programming 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).

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) did not have 400, but 4,000 data points for each of 230 million US adults. 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. 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.

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. 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.

Human judgment

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. This was confirmed by Kellyanne Conway, Donald Trump’s campaign advisor and counselor, who emphasized the importance of human judgement and common sense in drawing conclusions from fuzzy data. Conway candidly admitted that much of her own research would "never see the light of day", because it was client confidential. Another Trump adviser criticized Conway, claiming that she "produces an analysis that buries every terrible number and highlights every positive number"

Propaganda machine

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. 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".

Audit

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). 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.

Legal issue

The tricky legal issue then became, what kind of data Cambridge Analytica (or any similar company) is actually allowed to have and keep. 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). 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."

Data privacy

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. When Zuckerberg replied to his critics, he stated that because the revolutionary technology of Facebook (with 2.2 billion users worldwide) 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.

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.

Integrity

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. 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 did 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. 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". From 2018 onward, Facebook faced more and more lawsuits brought against the company, alleging data breaches, security breaches and misuse of personal information. There still exists no international regulatory framework for social network information, and it is often unclear what happens to the stored information, after a provider company closes down, or is taken over by another company. 

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. The reputational damage which the company had suffered or caused, had become too great.

Speed

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 and Microsoft to pump cloud-based data streams from app-users straight into big data analytics programmes, in real time. 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. Obviously this achievement has become highly topical in military technology, but military uses can also have spin-offs for medical applications.

Controversies

There have been many academic controversies about the meaning, relevance and utility of fuzzy concepts.

"Fuzzy" label

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.

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."

Do they exist

Some philosophers and scientists have claimed that in reality "fuzzy" concepts do not exist.

Frege

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.

Kálmán

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".

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.

DIN and ISO standards

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. A concept could be defined as a mental representation, as a cognitive capacity, as an abstract object, etc. 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.” Of course, scientists also quite often do use imprecise analogies in their models to help understanding an issue. 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 2013; and DIN 2342 of 1986, last revised in 2011). 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, and reviewed in 2005), 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. It is acknowledged that although a concept usually has one definition or one meaning, it may have multiple designations, terms of expression, symbols, 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".

Corruption

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.

Kahan

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." 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 marvelous. It insulates you from pain. It's the cocaine of science.

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.

Bad design

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.

Counter-argument

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." 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. 

At a deeper level, a "fuzzy permissive" environment may be desirable, 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 preemptively, 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.

Reducibility

Susan Haack once claimed that a many-valued logic requires neither intermediate terms between true and false, nor a rejection of bivalence. Her suggestion was, 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.

Quantification

It may be wonderful to have access to an unlimited number of distinctions to define what one means, but not all scholars would agree that any concept is equal to, or reducible to, a mathematical set. Some phenomena are difficult or impossible to quantify and count, in particular if they lack discrete boundaries (for example, clouds).

Formalization

Qualities may not be fully reducible to quantities – 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. 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. To quantify a phenomenon, we may have to introduce special assumptions and definitions which disregard part of the phenomenon in its totality.

• The economist John Maynard Keynes concluded that formalization "runs the risk of leaving behind the subject matter we are interested in" and "also runs the risk of increasing rather than decreasing the muddle."
• Friedrich Hayek stated that “it is certainly not scientific to insist on measurement where you don’t know what your measurements mean. There are cases where measurements are not relevant.”
• The Hayekian big data guru Viktor Mayer-Schönberger states that "A system based on money and price solved a problem of too much information and not enough processing power, but in the process of distilling information down to price, many details get lost."
• Michael Polanyi stated that "the process of formalizing all knowledge to the exclusion of any tacit knowing is self-defeating", since to mathematize a concept we need to be able to identify it in the first instance without mathematization.

Measurement

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. 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.

Vague or fuzzy

The exact relationship between vagueness and fuzziness is disputed.

Philosophy

Philosophers often regard fuzziness as a particular kind of vagueness, 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". 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.

Zadeh's argument

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".

Ethics

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 behavior. 

Yet, if human valuations or moral rules are only vague or fuzzy, then they may not be able to orient or guide behavior. 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 endeavor as a whole.

Excessive precision

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". 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)".

Rule conflict

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".

Mathematics

The definition 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. 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. 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.

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?

Tegmark

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."

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.

Zalta

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 By implication, for every fuzzy object there exists always at least one defuzzed concept which encodes it exactly. It is a modern interpretation of Plato's metaphysics of knowledge, which expresses confidence in the ability of science to conceptualize the world exactly.

Platonism

The Platonic-style interpretation was critiqued by Hartry H. Field. 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. 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. 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 preexisting natural order.

Along these lines, it could be argued that reality, and the human cognition of reality, will inevitably contain some fuzzy characteristics, which can be represented only by concepts which are themselves fuzzy to some or other extent.

Social science and the media

The idea of fuzzy concepts has also been applied in the philosophical, sociological and linguistic analysis of human behavior.

Sociology and linguistics

In a 1973 paper, George Lakoff analyzed hedges in the interpretation of the meaning of categories. Charles Ragin and others have applied the idea to sociological analysis. For example, fuzzy set qualitative comparative analysis ("fsQCA") has been used by German researchers to study problems posed by ethnic diversity in Latin America. 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. 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.

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. 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". 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:

• a handbook of sociology states that "The theory of interaction rituals contains some gaps that need to be filled and some fuzzy concepts that need to be differentiated." The idea is, that if finer distinctions are introduced, then the fuzziness or vagueness would be eliminated.
• a book on youth culture describes ethnicity as "a fuzzy concept that overlaps at times with concepts of race, minority, nationality and tribe". In this case, part of the fuzziness consists in the inability to distinguish precisely between a concept and a different, but closely related concept.
• a book on sociological theory argues that the Critical Theory of domination faces the problem that "reality itself has become a rather meaningless, fuzzy concept." The suggestion here is, that the variations in how theoretical concepts are applied have become so large, that the concepts could mean all kinds of things, and therefore are crucially vague (with the implication, that they are not useful any longer for that very reason).
• A history book states: "Sodomy was a vague and fuzzy concept in medieval and early modern Europe, and was often associated with a variety of supposedly related moral and criminal offenses, including heresy, witchcraft, sedition, and treason. St Thomas Acquinas... categorized sodomy with an assortment of sexual behaviors "from which generation [i.e. procreation] cannot follow". In this case, because a concept is defined by what it excludes, it remains somewhat vague what items of activity it would specifically include.

Mass media

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). Those human characteristics can be usefully expressed only in an approximate way.

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".

Applied social science

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.

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." 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.

Uncertainty

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, might generate more certainty.

Relevance

However, this is not necessarily always so. 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.

Security

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.

Observer effect

In physics, the observer effect and Heisenberg's uncertainty principle 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.

Language

Ordinary language, which uses symbolic conventions and associations which are often not logical, inherently contains many fuzzy concepts – "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). 

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 behaviors involved in ordinary relationships which rely on mutually understood meanings. Bertrand Russell regarded ordinary language (in contrast to logic) as intrinsically vague.

Implicature

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. 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.

Paradoxes

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, even although in other respects they conform to logical rules. 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". 

Psychology

Various different aspects of human experience commonly generate concepts with fuzzy characteristics.

Human vs. Computer

The formation of fuzzy concepts is partly due to the fact that the human brain does not operate like a computer.

• While ordinary computers use strict binary logic gates, the brain does not; i.e., it is capable of making all kinds of neural associations according to all kinds of ordering principles (or fairly chaotically) in associative patterns which are not logical but nevertheless meaningful. For example, a work of art can be meaningful without being logical. A pattern can be regular, ordered and/or non-arbitrary, hence meaningful, without it being possible to describe it completely or exhaustively in formal-logical terms.
• Something can be meaningful although we cannot name it, or we might only be able to name it and nothing else.
• Human brains can also interpret the same phenomenon in several different but interacting frames of reference, at the same time, or in quick succession, without there necessarily being an explicit logical connection between the frames.

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".

Learning

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".

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 noted likewise that the conscious mind and the unconscious normally interact.

Limits

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.

Complexity

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. 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").

Cognition

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.

• Between black and white, we are able to detect only a limited number of shades of gray, or color gradations (there are "detection thresholds").
• Motion blur refers to the loss of detail when a person looks at a fast-moving object, or is moving fast while the eyes are focused on something stationary. In a movie reel, the human eye can detect a sequence of up to 10 or 12 still images per second. At around 18 to 26 frames per second, the brain will "see" the sequence of individual images as a moving scene.

If there are more gradations and transitions in reality, than our conceptual or perceptual distinctions can capture, then it could be argued that how those distinctions will actually apply, must necessarily become vaguer at some point.

Novelty

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.

Chaos

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.

Everyday occurrence

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 generalize the correct application of a concept, and relate it to other concepts.

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.

Areas

• In meteorology, where changes and effects of complex interactions in the atmosphere are studied, the weather reports often use fuzzy expressions indicating a broad trend, likelihood or level. The main reason is that the forecast can rarely be totally exact for any given location.
• In biology, protein complexes with multiple structural forms are called fuzzy complexes. The different conformations can result in different, even opposite functions. The conformational ensemble is modulated by the environmental conditions. Post-translational modifications or alternative splicing can also impact the ensemble and thereby the affinity or specificity of interactions. Genetic fuzzy systems use algorithms or genetic programming which simulate natural evolutionary processes, in order to understand their structures and parameters.
• In medical diagnosis, the assessment of what the symptoms of a patient are often cannot be very exactly specified, since there are many possible qualitative and quantitative gradations in severity, incidence or frequency that could occur. Different symptoms may also overlap to some extent. These gradations can be difficult to measure, it may cost a lot of time and money, and so the medical professionals might use approximate "fuzzy" categories in their judgement of a medical condition or a patient's condition. Although it may not be exact, the diagnosis is often useful enough for treatment purposes. Fuzzy logic is increasingly employed in diagnostic and medical equipment capable of measuring gradations of a condition.
• In information services fuzzy concepts are frequently encountered because a customer or client asks a question about something which could be interpreted in different ways, or, a document is transmitted of a type or meaning which cannot be easily allocated to a known type or category, or to a known procedure. It might take considerable inquiry to "place" the information, or establish in what framework it should be understood.
• In phenomenology which aims to study the structure of subjective experience without preconceptions, an important insight is that how someone experiences something can be influenced both by the influence of the thing being experienced itself, but also by how the person responds to it. Thus, the actual experience the person has, is shaped by an "interactive object-subject relationship". To describe this experience, fuzzy categories are often necessary, since it is often impossible to predict or describe with great exactitude what the interaction will be, and how it is experienced.
• In translation work, fuzzy concepts are analyzed for the purpose of good translation. A concept in one language may not have quite the same meaning or significance in another language, or it may not be feasible to translate it literally, or at all. Some languages have concepts which do not exist in another language, raising the problem of how one would most easily render their meaning. In computer-assisted translation, a technique called fuzzy matching is used to find the most likely translation of a piece of text, using previous translated texts as a basis.
• In hypnotherapy, fuzzy language is deliberately used for the purpose of trance induction. Hypnotic suggestions are often couched in a somewhat vague, general or ambiguous language requiring interpretation by the subject. The intention is to distract and shift the conscious awareness of the subject away from external reality to her own internal state. In response to the somewhat confusing signals she gets, the awareness of the subject spontaneously tends to withdraw inward, in search of understanding or escape.
• In business and economics, it was discovered that "we are guided less by a correct exact knowledge of our self-interest than by a socially learned, evolved, intuitive grasp derived from mental shortcuts (frames, reference points, envy, addiction, temptation, fairness)". Thus, economic preferences are often fuzzy preferences, a highly important point for suppliers of products and services. Fuzzy set empirical methodologies are increasingly used by economic analysts to analyze the extent to which members of a population belong to a specific market category, because that can make a big difference to business results.
• In sexology, sex and gender are conceptualized by gender pluralists as a spectrum or continuum, or a set of scaled characteristics. Thus, the idea that people are either heterosexual men, heterosexual women, gay, lesbian, bisexual or transsexual is far too simplistic; gender identity is a matter of degree, a graded concept, which for that very reason is a fuzzy concept with unsharp boundaries. For example, somebody who is "mainly" heterosexual, may occasionally have had non-heterosexual contacts, without this warranting a definite "bisexual" label. A great variety of sexual orientations are possible and can co-exist. In the course of history, typical male or female gender roles and gender characteristics can also gradually change, so that the extent to which they express "masculine" or "feminine" traits is, at any time, a matter of degree, i.e. fuzzy.
• In politics, it can be highly important and problematic how exactly a conceptual distinction is drawn, or indeed whether a distinction is drawn at all; distinctions used in administration may be deliberately sharpened, or kept fuzzy, due to some political motive or power relationship. Politicians may be deliberately vague about some things, and very clear and explicit about others; if there is information that proves their case, they become very precise, but if the information doesn't prove their case, they become vague or say nothing.
• In statistical research, it is an aim to measure the magnitudes of phenomena. For this purpose, phenomena have to be grouped and categorized, so that distinct and discrete counting units can be defined. It must be possible to allocate all observations to mutually exclusive categories, so that they are properly quantifiable. Survey observations do not spontaneously transform themselves into countable data; they have to be identified, categorized and classified in such a way, that identical observations can be grouped together, and that observations are not counted twice or more. A well-designed questionnaire ensures that the questions are interpreted in the same way by all respondents, and that the respondents are really able to answer them within the formats provided. Again, for this purpose, it is a requirement that the concepts being used are exactly and comprehensibly defined for all concerned, and not fuzzy. There could be a margin of measurement error, but the amount of error must be kept within tolerable limits, and preferably its magnitude should be known.
• In theology an attempt is made to define more precisely the meaning of spiritual concepts, which refer to how human beings construct the meaning of human existence, and, often, the relationship people have with a supernatural world. Many spiritual concepts and beliefs are fuzzy, to the extent that, although abstract, they often have a highly personalized meaning, or involve personal interpretation of a type that is not easy to define in a cut-and-dried way. A similar situation occurs in psychotherapy. The Dutch theologian Kees de Groot has explored the imprecise notion that psychotherapy is like an "implicit religion", defined as a "fuzzy concept" (it all depends on what one means by "psychotherapy" and "religion"). The philosopher of spirituality Ken Wilber argued that "nothing is 100% right or wrong", things merely "vary in their degree of incompleteness and dysfunction"; no one and nothing is 100% good or evil, each just varies "in their degree of ignorance and disconnection". This insight suggests, that all human valuations can be considered as graded concepts, where each qualitative judgement has at least implicitly a sense of quantitative proportion attached to it.
• In the legal system, it is essential that rules are interpreted and applied in a standard way, so that the same sorts of cases and the same sorts of circumstances are treated equally. Otherwise one would be accused of arbitrariness, which would not serve the interests of justice. Consequently, lawmakers aim to devise definitions and categories which are sufficiently precise, so that they are not open to different interpretations. For this purpose, it is critically important to remove fuzziness, and differences of interpretation are typically resolved through a court ruling based on evidence. Alternatively, some other procedure is devised which permits the correct distinction to be discovered and made.
• In administration, archiving and accounting, fuzziness problems in interpretation and boundary problems can arise, because it is not clear to what category exactly a case, item, document, transaction or piece of data belongs. In principle, each case, event or item must be allocated to the correct category in a procedure, but it may be, that it is difficult to make the appropriate or relevant distinctions.

Generalities

It could be argued that many concepts used fairly universally in daily life (e.g. "love", "God", "health", "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.

Multiple meanings

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.

Ambiguities

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 could be a prologue to a more exact formulation of a concept, or to a better understanding of it.

Efficiency

Fuzzy concepts can be used as a practical method to describe something of which a complete description would be an unmanagably large undertaking, or very time-consuming; thus, a simplified indication of what is at issue is regarded as sufficient, although it is not exact.

Popper

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...

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.

Fuzzy logic gambit

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.

Fuzzy vs. Boolean

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. 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.

Clarifying methods

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. More generally, clarification techniques can be used such as:

• Contextualizing the concept by defining the setting or situation in which the concept is used, or how it is used appropriately (context).
• Identifying the intention, purpose, aim or goal associated with the concept (teleology and design).
• Comparing and contrasting the concept with related ideas in the present or the past (comparative and comparative research).
• Creating a model, likeness, analogy, metaphor, prototype or narrative which shows what the concept is about or how it is applied (isomorphism, simulation or successive approximation).
• Probing the assumptions on which a concept is based, or which are associated with its use (critical thought, tacit assumption).
• Mapping or graphing the applications of the concept using some basic parameters, or using some diagrams or flow charts to understand the relationships between elements involved (visualization and concept map).
• Examining ‘’how likely’’ it is that the concept applies, statistically or intuitively (probability theory).
• Specifying relevant conditions to which the concept applies, as a procedure (computer programming, formal concept analysis).
• Concretizing the concept – finding specific examples, illustrations, details or cases to which it applies (exemplar, exemplification).
• Reducing or restating fuzzy concepts in terms which are simpler or similar, and which are not fuzzy or less fuzzy (simplification, dimensionality reduction, plain language, KISS principle or concision).
• Trying out a concept, by using it in interactions, practical work or in communication, and assessing the feedback to understand how the boundaries and distinctions of the concept are being drawn (trial and error or pilot experiment).
• Engaging in a structured dialogue or repeated discussion, to exchange ideas about how to get specific about what it means and how to clear it up (scrum method).
• Allocating different applications of the concept to different but related sets (Boolean logic).
• Identifying operational rules defining the use of the concept, which can be stated in a language and which cover all or most cases (material conditional).
• Classifying, categorizing, grouping, or inventorizing all or most cases or uses to which the concept applies (taxonomy, cluster analysis and typology).

An operationalization diagram, one method of clarifing fuzzy concepts.

• Applying a meta-language which includes fuzzy concepts in a more inclusive categorical system which is not fuzzy (meta).
• Creating a measure or scale of the degree to which the concept applies (metrology).
• Examining the distribution patterns or distributional frequency of (possibly different) uses of the concept (statistics).
• Specifying a series of logical operators or inferential system which captures all or most cases to which the concept applies (algorithm).
• Relating the fuzzy concept to other concepts which are not fuzzy or less fuzzy, or simply by replacing the fuzzy concept altogether with another, alternative concept which is not fuzzy yet "works the same way" (proxy)
• Engaging in meditation, or taking the proverbial "run around the block" to clarify the mind, and thus improve precision of thought about the definitional issue (self-care).

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.

Defuzzification

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. 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.

Indeterminacy (philosophy)

From Wikipedia, the free encyclopedia

Indeterminacy, in philosophy, can refer both to common scientific and mathematical concepts of uncertainty and their implications and to another kind of indeterminacy deriving from the nature of definition or meaning. It is related to deconstructionism and to Nietzsche's criticism of the Kantian noumenon.

Indeterminacy in philosophy

Introduction

The problem of indeterminacy arises when one observes the eventual circularity of virtually every possible definition. It is easy to find loops of definition in any dictionary, because this seems to be the only way that certain concepts, and generally very important ones such as that of existence, can be defined in the English language. A definition is a collection of other words, and in any finite dictionary if one continues to follow the trail of words in search of the precise meaning of any given term, one will inevitably encounter this linguistic indeterminacy. 

Philosophers and scientists generally try to eliminate indeterminate terms from their arguments, since any indeterminate thing is unquantifiable and untestable; similarly, any hypothesis which consists of a statement of the properties of something unquantifiable or indefinable cannot be falsified and thus cannot be said to be supported by evidence that does not falsify it. This is related to Popper's discussions of falsifiability in his works on the scientific method. The quantifiability of data collected during an experiment is central to the scientific method, since reliable conclusions can only be drawn from replicable experiments, and since in order to establish observer agreement scientists must be able to quantify experimental evidence.

Kant and hazards of positing the "thing in itself"

Immanuel Kant unwittingly proposed one answer to this question in his Critique of Pure Reason by stating that there must "exist" a "thing in itself" – a thing which is the cause of phenomena, but not a phenomenon itself. But, so to speak, "approximations" of "things in themselves" crop up in many models of empirical phenomena. Singularities in physics, such as gravitational singularities, certain aspects of which (e.g., their unquantifiability) can seem almost to mirror various "aspects" of the proposed "thing in itself", are generally eliminated (or attempts are made at eliminating them) in newer, more precise models of the universe. Definitions of various psychiatric disorders stem, according to philosophers who draw on the work of Michel Foucault, from a belief that something unobservable and indescribable is fundamentally "wrong" with the mind of whoever suffers from such a disorder. Proponents of Foucault's treatment of the concept of insanity would assert that one need only try to quantify various characteristics of such disorders as presented in today's Diagnostic and Statistical Manual (e.g., delusion, one of the diagnostic criteria which must be exhibited by a patient if he or she is to be considered schizophrenic) in order to discover that the field of study known as abnormal psychology relies upon indeterminate concepts in defining virtually each "mental disorder" it describes. The quality that makes a belief a delusion is indeterminate to the extent to which it is unquantifiable; arguments that delusion is determined by popular sentiment (i.e., "almost no-one believes that he or she is made of cheese, and thus that belief is a delusion") would lead to the conclusion that, for example, Alfred Wegener's assertion of continental drift was a delusion since it was dismissed for decades after it was made.

Nietzsche and the indeterminacy of the "thing in itself"

Relevant criticism of Kant's original formulation of the "thing in itself" can be found in the works of Friedrich Wilhelm Nietzsche, who argued against what he held to be the indeterminate nature of such concepts as the Platonic idea, the subject, the Kantian noumenon, the opposition of "appearance" to "reality", etc. Nietzsche concisely argued against Kant's noumenon in his On Truth and Lies in a Nonmoral Sense as follows:

The 'thing in itself' (which is precisely what the pure truth, apart from any of its consequences, would be) is likewise something quite incomprehensible to the creator of language and something not in the least worth striving for.

In his Beyond Good and Evil, Nietzsche argues against the "misleading significance of words" and its production of a "thing in itself":

I would repeat it, however, a hundred times, that 'immediate certainty,' as well as 'absolute knowledge' and the 'thing in itself,' involve a CONTRADICTIO IN ADJECTO; we really ought to free ourselves from the misleading significance of words!

Furthermore, Nietzsche argued against such singularities as the atom in the scientific models of his day in The Will to Power:

For all its detachment and freedom from emotion, our science is still the dupe of linguistic habits; it has never got rid of those changelings called 'subjects.' The atom is one such changeling, another is the Kantian 'thing-in-itself.'

Approximation versus equality

The concept of something that is unapproachable but always further-approximable has led to a rejection by philosophers like Nietzsche of the concept of exact equality in general in favor of that of approximate similarity:

Every word instantly becomes a concept precisely insofar as it is not supposed to serve as a reminder of the unique and entirely individual original experience to which it owes its origin; but rather, a word becomes a concept insofar as it simultaneously has to fit countless more or less similar cases – which means, purely and simply, cases which are never equal and thus altogether unequal.

What then is truth? A movable host of metaphors, metonymies, and; anthropomorphisms: in short, a sum of human relations which have been poetically and rhetorically intensified, transferred, and embellished, and which, after long usage, seem to a people to be fixed, canonical, and binding. Truths are illusions which we have forgotten are illusions- they are metaphors that have become worn out and have been drained of sensuous force, coins which have lost their embossing and are now considered as metal and no longer as coins.

If one states an equation between two things, one states, in effect, that they are the same thing. It can be argued that this cannot possibly be true, since one will then consider the properties which the two sides of the equation share – that which makes them "equal" – but one also can, and does, consider them as two separate concepts. Even in a mathematical statement as simple as "x=x", one encounters fundamental differences between the two "x"es under consideration: firstly, that there are two distinct "x"es, in that they neither occupy the same space on this page nor in one's own mind. There would otherwise be only one "x". Secondly, that if two things were absolutely equal in every possible respect, then there would necessarily be no reason to consider their equality. Nothing could lead anyone to consider the possibility or impossibility of their equality if there were no properties not shared between "them", since there would necessarily be no relationship between them whatsoever. Thirdly, and most importantly, if two things were equal in every possible respect they would necessarily not be two things, but the very same thing, since there would be no difference to separate them. 

In examples as odd as this, the differences between two approximately equal things may be very small indeed, and it is certainly true that they are quite irrelevant to most discussions. Acceptance of the reflexive property illustrated above has led to useful mathematical discoveries which have influenced the life of anyone reading this article on a computer. But in an examination of the possibility of the determinacy of any possible concept, differences like this are supremely relevant since that quality which could possibly make two separate things "equal" seems to be indeterminate.

The indeterminacy of the pharmakon in Derrida's Plato's Pharmacy

Indeterminacy was discussed in one of Jacques Derrida's early works Plato's Pharmacy (1969), a reading of Plato's Phaedrus and Phaedo. Plato writes of a fictionalized conversation between Socrates and a student, in which Socrates tries to convince the student that writing is inferior to speech. Socrates uses the Egyptian myth of Thoth's creation of writing to illustrate his point. As the story goes, Thoth presents his invention to the god-king of Upper Egypt for judgment. Upon its presentation, Thoth offers script as a pharmakon for the Egyptian people. The Greek word pharmakon poses a quandary for translators: it is both a remedy and a poison. In the proffering of a pharmakon, Thoth presents it as its true meaning: a harm and benefit. The god-king, however, refuses the invention. Through various reasonings, he determines the pharmakon of writing to be a bad thing for the Egyptian people. The pharmakon, the undecidable, has been returned decided. The problem, as Derrida reasons, is this: since the word pharmakon, in the original Greek, means both a remedy and a poison, it cannot be determined as fully remedy or fully poison. Amon rejected writing as fully poison in Socrates' retelling of the tale, thus shutting out the other possibilities.

Foucault and the indeterminacy of insanity

The philosopher Michel Foucault wrote about the existence of such problems of precise definition in the very concept of insanity itself – a very rough approximation of his argument can be found in the late social commentator and journalist Hunter S. Thompson's book, Kingdom of Fear:

The only difference between the Sane and the Insane, is IN and yet within this world, the Sane have the power to have the Insane locked up.

Another summary of Foucault's original argument against the indeterminacy of the concept of insanity in his Madness and Civilization can be found in the following excerpt from the Literature, Arts, and Medicine Database:

Central to this is the notion of confinement as a meaningful exercise. Foucault's history explains how the mad came first to be confined; how they became identified as confined due to moral and economic factors that determined those who ought to be confined; how they became perceived as dangerous through their confinement, partly by way of atavistic identification with the lepers whose place they had come to occupy; how they were 'liberated' by Pinel and Tuke, but in their liberation remained confined, both physically in asylums and in the designation of being mad; and how this confinement subsequently became enacted in the figure of the psychiatrist, whose practice is 'a certain moral tactic contemporary with the end of the eighteenth century, preserved in the rites of the asylum life, and overlaid by the myths of positivism.' Science and medicine, notably, come in at the later stages, as practices 'elaborated once this division' between the mad and the sane has been made (ix).

In The Archaeology of Knowledge, Foucault addresses indeterminacy directly by discussing the origin of the meaning of concepts:

Foucault directs his analysis toward the 'statement', the basic unit of discourse that he believes has been ignored up to this point. 'Statement' is the English translation from French énoncé (that which is enunciated or expressed), which has a peculiar meaning for Foucault. 'Énoncé' for Foucault means that which makes propositions, utterances, or speech acts meaningful. In this understanding, statements themselves are not propositions, utterances, or speech acts. Rather, statements create a network of rules establishing what is meaningful, and it is these rules that are the preconditions for propositions, utterances, or speech acts to have meaning. Statements are also 'events'. Depending on whether or not they comply with the rules of meaning, a grammatically correct sentence may still lack meaning and inversely, an incorrect sentence may still be meaningful. Statements depend on the conditions in which they emerge and exist within a field of discourse. It is huge collections of statements, called discursive formations, toward which Foucault aims his analysis.

Rather than looking for a deeper meaning underneath discourse or looking for the source of meaning in some transcendental subject, Foucault analyzes the conditions of existence for meaning. In order to show the principles of meaning production in various discursive formations he details how truth claims emerge during various epochs on the basis of what was actually said and written during these periods of time.

The difference described by Foucault between the sane and the insane does have observable and very real effects on millions of people daily and can be characterized in terms of those effects, but it can also serve to illustrate a particular effect of the indeterminacy of definition: i.e., that insofar as the general public tends not to characterize or define insanity in very precise terms, it tends, according to Foucault, unnecessarily and arbitrarily to confine some of its members on an irrational basis. The less-precisely such states as "insanity" and "criminality" are defined in a society, the more likely that society is to fail to continue over time to describe the same behaviors as characteristic of those states (or, alternately, to characterize such states in terms of the same behaviors).

Indeterminacy in discourse analysis

Steve Hoenisch asserts in his article Interpretation and Indeterminacy in Discourse Analysis that "[T]he exact meaning of a speaker's utterance in a contextualized exchange is often indeterminate. Within the context of the analysis of the teacher-pupil exchange, I will argue for the superiority of interactional linguistics over speech act theory because it reduces the indeterminacy and yields a more principled interpretation..."

Indeterminacy and consciousness

Richard Dawkins, the man who coined the term meme in the 1970s, described the concept of faith in his documentary, Root of All Evil?, as "the process of non-thinking". In the documentary, he used Bertrand Russell's analogy between a teapot orbiting the sun (something that cannot be observed because the brightness of the sun would obscure it even from the best telescope's view) and the object of one's faith (in this particular case, God) to explain that a highly indeterminate idea can self-replicate freely: "Everybody in the society had faith in the teapot. Stories of the teapot had been handed down for generations as part of the tradition of society. There are holy books about the teapot."

In Darwin's Dangerous Idea, Daniel Dennett argues against the existence of determinate meaning (in this case, of the subjective experience of vision for frogs) via an explanation of their indeterminacy in the chapter entitled The Evolution of Meanings, in the section The Quest for Real Meanings:

Unless there were 'meaningless' or 'indeterminate' variation in the triggering conditions of the various frogs' eyes, there could be no raw material [...] for selection for a new purpose to act upon. The indeterminacy that Fodor (and others) see as a flaw [...] is actually a prediction for such evolution [of "purpose"]. The idea that there must be something determinate that the frog's eye really means – some possibly unknowable proposition in froggish that expresses exactly what the frog's eye is telling the frog's brain – is just essentialism applied to meaning (or function). Meaning, like function on which it so directly depends, is not something determinate at its birth...

Dennet argues, controversially, against qualia in Consciousness Explained. Qualia are attacked from several directions at once: he maintains they do not exist (or that they are too ill-defined to play any role in science, or that they are really something else, i.e. behavioral dispositions). They cannot simultaneously have all the properties attributed to them by philosophers—incorrigible, ineffable, private, directly accessible and so on. The multiple drafts theory is leveraged to show that facts about qualia are not definite. Critics object that one's own qualia are subjectively quite clear and distinct to oneself. 

The self-replicating nature of memes is a partial explanation of the recurrence of indeterminacies in language and thought. The wide influences of Platonism and Kantianism in Western philosophy can arguably be partially attributed to the indeterminacies of some of their most fundamental concepts (namely, the Idea and the Noumenon, respectively). 

For a given meme to exhibit replication and heritability – that is, for it to be able to make an imperfect copy of itself which is more likely to share any given trait with its "parent" meme than with some random member of the general "population" of memes – it must in some way be mutable, since memetic replication occurs by means of human conceptual imitation rather than via the discrete molecular processes that govern genetic replication. (If a statement were to generate copies of itself that didn't meaningfully differ from it, that process of copying would more accurately be described as "duplication" than as "replication", and it would be incorrect to term these statements "memes"; the same would be true if the "child" statements did not noticeably inherit a substantial proportion of their traits from their "parent" statements.) In other words, if a meme is defined roughly (and somewhat arbitrarily) as a statement (or as a collection of statements, like Foucault's "discursive formations") that inherits some, but not all, of its properties (or elements of its definition) from its "parent" memes and which self-replicates, then indeterminacy of definition could be seen as advantageous to memetic replication, since an absolute rigidity of definition would preclude memetic adaptation.

It is important to note that indeterminacy in linguistics can arguably partially be defeated by the fact that languages are always changing. However, what the entire language and its collected changes continue to reflect is sometimes still considered to be indeterminate.

Criticism

Persons of faith argue that faith "is the basis of all knowledge". The Wikipedia article on faith states that "one must assume, believe, or have faith in the credibility of a person, place, thing, or idea in order to have a basis for knowledge." In this way the object of one's faith is similar to Kant's noumenon. 

This would seem to attempt to make direct use of the indeterminacy of the object of one's faith as evidential support of its existence: if the object of one's faith were to be proven to exist (i.e., if it were no longer of indeterminate definition, or if it were no longer unquantifiable, etc.), then faith in that object would no longer be necessary; arguments from authority such as those mentioned above wouldn't either; all that would be needed to prove its existence would be scientific evidence. Thus, if faith is to be considered as a reliable basis for knowledge, persons of faith would seem, in effect, to assert that indeterminacy is not only necessary, but good (see Nassim Taleb).

Indeterminacy in new physical theories

Science generally attempts to eliminate vague definitions, causally inert entities, and indeterminate properties, via further observation, experimentation, characterization, and explanation. Occam's razor tends to eliminate causally inert entities from functioning models of quantifiable phenomena, but some quantitative models, such as quantum mechanics, actually imply certain indeterminacies, such as the relative indeterminacy of quantum particles' positions to the precision with which their momenta can be measured (and vice versa).

One ardent supporter of the possibility of a final unifying theory (and thus, arguably, of the possibility of the end of some current indeterminacies) in physics, Steven Weinberg, stated in an interview with PBS that:

Sometimes [...] people say that surely there's no final theory because, after all, every time we've made a step toward unification or toward simplification we always find more and more complexity there. That just means we haven't found it yet. Physicists never thought they had the final theory.

The Wikipedia article on the possibility of such a "theory of everything" notes that 

Other possibilities which may frustrate the explanatory capacity of a TOE may include sensitivity to the boundary conditions of the universe, or the existence of mathematical chaos in its solutions, making its predictions precise, but useless.

Chaos theory argues that precise prediction of the behavior of complex systems becomes impossible because of the observer's inability to gather all necessary data. 

As yet, it seems entirely possible that there shall never be any "final theory" of all phenomena, and that, rather, explanations may instead breed more and more complex and exact explanations of the new phenomena uncovered by current experimentation. In this argument, the "indeterminacy" or "thing in itself" is the "final explanation" that will never be reached; this can be compared to the concept of the limit in calculus, in that quantities may approach, but never reach, a given limit in certain situations.

Criticism

Proponents of a deterministic universe have criticized various applications of the concept of indeterminacy in the sciences; for instance, Einstein once stated that "God does not play dice" in a succinct (but now unpopular) argument against the theory of quantum indeterminacy, which states that the actions of particles of extremely low mass or energy are unpredictable because an observer's interaction with them changes either their positions or momenta. (The "dice" in Einstein's metaphor refer to the probabilities that these particles will behave in particular ways, which is how quantum mechanics addressed the problem.)

At first it might seem that a criticism could be made from a biological standpoint in that an indeterminate idea would seem not to be beneficial to the species that holds it.^{[citation needed]} A strong counterargument, however, is that not all traits exhibited by living organisms will be seen in the long term as evolutionarily advantageous, given that extinctions occur regularly and that phenotypic traits have often died out altogether – in other words, an indeterminate meme may in the long term demonstrate its evolutionary value to the species that produced it in either direction; humans are, as yet, the only species known to make use of such concepts. It might also be argued that conceptual vagueness is an inevitability, given the limited capacity of the human nervous systems. We just do not have enough neurons to maintain separate concepts for "dog with 1,000,000 hairs", "dog with 1,000,001 hairs" and so on. But conceptual vagueness is not metaphysical indeterminacy.

Synonymous concepts in philosophy

Uncertainty and indeterminacy are words for essentially the same concept in both quantum mechanics. Unquantifiability, and undefinability (or indefinability), can also sometimes be synonymous with indeterminacy. In science, indeterminacy can sometimes be interchangeable with unprovability or unpredictability. Also, anything entirely inobservable can be said to be indeterminate in that it cannot be precisely characterized.