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