Infinite-valued logic

Last updated

In logic, an infinite-valued logic (or real-valued logic or infinitely-many-valued logic) is a many-valued logic in which truth values comprise a continuous range. Traditionally, in Aristotle's logic, logic other than bivalent logic was abnormal, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. [1] Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e., "undecided") [2] and is an example of finite-valued logic in which truth values are discrete, rather than continuous. Infinite-valued logic comprises continuous fuzzy logic, though fuzzy logic in some of its forms can further encompass finite-valued logic. For example, finite-valued logic can be applied in Boolean-valued modeling, [3] [4] description logics, [5] and defuzzification [6] [7] of fuzzy logic.

Contents

History

Isaac Newton and Gottfried Wilhelm Leibniz used both infinities and infinitesimals to develop the differential and integral calculus in the late 17th century. Richard Dedekind, who defined real numbers in terms of certain sets of rational numbers in the 19th century, [8] also developed an axiom of continuity stating that a single correct value exists at the limit of any trial and error approximation. Felix Hausdorff demonstrated the logical possibility of an absolutely continuous ordering of words comprising bivalent values, each word having absolutely infinite length, in 1938. However, the definition of a random real number, meaning a real number that has no finite description whatsoever, remains somewhat in the realm of paradox. [9]

Jan Łukasiewicz developed a system of three-valued logic in 1920. He generalized the system to many-valued logics in 1922 and went on to develop logics with (infinite within a range) truth values. Kurt Gödel developed a deductive system, applicable for both finite- and infinite-valued first-order logic (a formal logic in which a predicate can refer to a single subject) as well as for intermediate logic (a formal intuitionistic logic usable to provide proofs such as a consistency proof for arithmetic), and showed in 1932 that logical intuition cannot be characterized by finite-valued logic. [10]

The concept of expressing truth values as real numbers in the range between 0 and 1 can bring to mind the possibility of using complex numbers to express truth values. These truth values would have an imaginary dimension, for example between 0 and i. Two- or higher-dimensional truth could potentially be useful in systems of paraconsistent logic. If practical applications were to arise for such systems, multidimensional infinite-valued logic could develop as a concept independent of real-valued logic. [11]

Lotfi A. Zadeh proposed a formal methodology of fuzzy logic and its applications in the early 1970s. By 1973, other researchers were applying the theory of Zadeh fuzzy controllers to various mechanical and industrial processes. The fuzzy modeling concept that evolved from this research was applied to neural networks in the 1980s and to machine learning in the 1990s. The formal methodology also led to generalizations of mathematical theories in the family of t-norm fuzzy logics. [12]

Examples

Basic fuzzy logic is the logic of continuous t-norms (binary operations on the real unit interval [0, 1]). [13] Applications involving fuzzy logic include facial recognition systems, home appliances, anti-lock braking systems, automatic transmissions, controllers for rapid transit systems and unmanned aerial vehicles, knowledge-based and engineering optimization systems, weather forecasting, pricing, and risk assessment modeling systems, medical diagnosis and treatment planning and commodities trading systems, and more. [14] Fuzzy logic is used to optimize efficiency in thermostats for control of heating and cooling, for industrial automation and process control, computer animation, signal processing, and data analysis. [15] Fuzzy logic has made significant contributions in the fields of machine learning and data mining. [16]

In infinitary logic, degrees of provability of propositions can be expressed in terms of infinite-valued logic that can be described via evaluated formulas, written as ordered pairs each consisting of a truth degree symbol and a formula. [17]

In mathematics, number-free semantics can express facts about classical mathematical notions and make them derivable by logical deductions in infinite-valued logic. T-norm fuzzy logics can be applied to eliminate references to real numbers from definitions and theorems, in order to simplify certain mathematical concepts and facilitate certain generalizations. A framework employed for number-free formalization of mathematical concepts is known as fuzzy class theory. [18]

Philosophical questions, including the Sorites paradox, have been considered based on an infinite-valued logic known as fuzzy epistemicism. [19] The Sorites paradox suggests that if adding a grain of sand to something that is not a heap cannot create a heap, then a heap of sand cannot be created. A stepwise approach toward a limit, in which truth is gradually "leaked", tends to refute that suggestion. [20]

In the study of logic itself, infinite-valued logic has served as an aid to understand the nature of the human understanding of logical concepts. Kurt Gödel attempted to comprehend the human ability for logical intuition in terms of finite-valued logic before concluding that the ability is based on infinite-valued logic. [21] Open questions remain regarding the handling, in natural language semantics, of indeterminate truth values. [22]

See also

Related Research Articles

<span class="mw-page-title-main">Discrete mathematics</span> Study of discrete mathematical structures

Discrete mathematics is the study of mathematical structures that can be considered "discrete" rather than "continuous". Objects studied in discrete mathematics include integers, graphs, and statements in logic. By contrast, discrete mathematics excludes topics in "continuous mathematics" such as real numbers, calculus or Euclidean geometry. Discrete objects can often be enumerated by integers; more formally, discrete mathematics has been characterized as the branch of mathematics dealing with countable sets. However, there is no exact definition of the term "discrete mathematics".

In logic, the law of excluded middle states that for every proposition, either this proposition or its negation is true. It is one of the so-called three laws of thought, along with the law of noncontradiction, and the law of identity. However, no system of logic is built on just these laws, and none of these laws provides inference rules, such as modus ponens or De Morgan's laws.

In philosophy and logic, the classical liar paradox or liar's paradox or antinomy of the liar is the statement of a liar that they are lying: for instance, declaring that "I am lying". If the liar is indeed lying, then the liar is telling the truth, which means the liar just lied. In "this sentence is a lie" the paradox is strengthened in order to make it amenable to more rigorous logical analysis. It is still generally called the "liar paradox" although abstraction is made precisely from the liar making the statement. Trying to assign to this statement, the strengthened liar, a classical binary truth value leads to a contradiction.

In the philosophy of mathematics, intuitionism, or neointuitionism, is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality.

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.

<span class="mw-page-title-main">Set theory</span> Branch of mathematics that studies sets

Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole.

Many-valued logic is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values for any proposition. Classical two-valued logic may be extended to n-valued logic for n greater than 2. Those most popular in the literature are three-valued, four-valued, nine-valued, the finite-valued with more than three values, and the infinite-valued (infinitely-many-valued), such as fuzzy logic and probability logic.

Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept of partial truth, where the truth value may range between completely true and completely false. By contrast, in Boolean logic, the truth values of variables may only be the integer values 0 or 1.

Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible.

Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be vague. Foundations of mathematics can be conceived as the study of the basic mathematical concepts and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics also called metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a central question of the philosophy of mathematics; the abstract nature of mathematical objects presents special philosophical challenges.

<span class="mw-page-title-main">Sorites paradox</span> Logical paradox from vague predicates

The sorites paradox is a paradox that results from vague predicates. A typical formulation involves a heap of sand, from which grains are removed individually. With the assumption that removing a single grain does not cause a heap to become a non-heap, the paradox is to consider what happens when the process is repeated enough times that only one grain remains: is it still a heap? If not, when did it change from a heap to a non-heap?

In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that — for some coherent meaning of 'logic' — mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano.

A paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic which reject the principle of explosion.

In logic, a true/false decision problem is decidable if there exists an effective method for deriving the correct answer. Zeroth-order logic is decidable, whereas first-order and higher-order logic are not. Logical systems are decidable if membership in their set of logically valid formulas can be effectively determined. A theory in a fixed logical system is decidable if there is an effective method for determining whether arbitrary formulas are included in the theory. Many important problems are undecidable, that is, it has been proven that no effective method for determining membership can exist for them.

Non-classical logics are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of extensions, deviations, and variations. The aim of these departures is to make it possible to construct different models of logical consequence and logical truth.

Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialized analyses of reasoning such as probability, correct reasoning, and arguments involving causality. One of the aims of logic is to identify the correct and incorrect inferences. Logicians study the criteria for the evaluation of arguments.

T-norm fuzzy logics are a family of non-classical logics, informally delimited by having a semantics that takes the real unit interval [0, 1] for the system of truth values and functions called t-norms for permissible interpretations of conjunction. They are mainly used in applied fuzzy logic and fuzzy set theory as a theoretical basis for approximate reasoning.

Logical Intuition, or mathematical intuition or rational intuition, is a series of instinctive foresight, know-how, and savviness often associated with the ability to perceive logical or mathematical truth—and the ability to solve mathematical challenges efficiently. Humans apply logical intuition in proving mathematical theorems, validating logical arguments, developing algorithms and heuristics, and in related contexts where mathematical challenges are involved. The ability to recognize logical or mathematical truth and identify viable methods may vary from person to person, and may even be a result of knowledge and experience, which are subject to cultivation. The ability may not be realizable in a computer program by means other than genetic programming or evolutionary programming.

In logic, a finite-valued logic is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values for any proposition. Modern three-valued logic allows for an additional possible truth value.

References

  1. ↑ Weisstein, Eric (2018). "Law of the Excluded Middle". MathWorld--A Wolfram Web Resource.
  2. ↑ Weisstein, Eric (2018). "Three-Valued Logic". MathWorld--A Wolfram Web Resource.
  3. ↑ Klawltter, Warren A. (1976). "Boolean values for fuzzy sets". Theses and Dissertations, paper 2025. Lehigh Preserve.
  4. ↑ Perović, Aleksandar (2006). "Fuzzy Sets – a Boolean Valued Approach" (PDF). 4th Serbian-Hungarian Joint Symposium on Intelligent Systems. Conferences and Symposia @ Óbuda University.
  5. ↑ Cerami, Marco; García-Cerdaña, Àngel; Esteva, Frances (2014). "On finitely-valued Fuzzy Description Logics". International Journal of Approximate Reasoning. 55 (9): 1890–1916. doi: 10.1016/j.ijar.2013.09.021 . hdl:10261/131932.
  6. ↑ Schockaert, Steven; Janssen, Jeroen; Vermeir, Dirk (2012). "Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction". Journal of Automated Reasoning . 49 (4): 493–550. doi:10.1007/s10817-011-9227-0.
  7. ↑ "1.4.4 Defuzzification" (PDF). Fuzzy Logic. Swiss Federal Institute of Technology Zurich. 2014. p. 4. Archived from the original (PDF) on 2009-07-09. Retrieved 2018-05-16.
  8. ↑ Jones, Roger Bishop (1996). "Real Numbers - some history".
  9. ↑ Rucker, Rudy. "sections 311 "Infinitesimals and Surreal Numbers" and 317 "Random Reals"". Infinity and the Mind. Princeton University Press.
  10. ↑ Mancosu, Paolo; Zach, Richard; Badesa, Calixto (2004). "7.2 Many-valued logics". 9. The Development of Mathematical Logic from Russell to Tarski 1900-1935. pp. 418–420. ISBN   9780199722723.{{cite book}}: |work= ignored (help)
  11. ↑ Gershenson, Carlos. "Multidimensional Logic: A model for Paraconsistent Logic". Cogprints Cognitive Sciences EPrint Archive.
  12. ↑ Garrido, Angel (2012). "A Brief History of Fuzzy Logic". Revista EduSoft., Editorial
  13. ↑ Cignoli, R.; Esteva, F; Godo, L.; Torrens, A. (2000). "Basic Fuzzy Logic is the logic of continuous t-norms and their residua". Soft Computing. 4 (2): 106–112. doi:10.1007/s005000000044.
  14. ↑ Singh, Harpreet; Gupta, Madan M.; Meitzler, Thomas; Hou, Zeng-Guang; Garg, Kum Kum; Solo, Ashu M. G. (2013). "Real-Life Applications of Fuzzy Logic". Advances in Fuzzy Systems. 2013: 1–3. doi: 10.1155/2013/581879 .
  15. ↑ Klingenberg, Bryan. "Fuzzy Logic Applications". Calvin College Engineering Department.
  16. ↑ Hüllermeier, Eyke (2005). "Fuzzy methods in machine learning and data mining: Status and prospects" (PDF). Fuzzy Sets and Systems. 156 (3): 387–406. doi:10.1016/j.fss.2005.05.036. S2CID   10034299. Archived from the original (PDF) on 2018-05-17.
  17. ↑ Gottwald, Siegfried (2005). "12. Pavelka Style Extensions" (PDF). Many-Valued Logics. philpapers.org: 40–41. doi:10.1016/B978-044451541-4/50021-X. S2CID   8412503. Archived from the original (PDF) on 2018-05-17.
  18. ↑ Běhounek, Libor (2009). "Number-free Mathematics Based on T-norm Fuzzy Logic" (PDF). University of Ostrava. S2CID   9991521. Archived from the original (PDF) on 2018-05-17.
  19. ↑ MacFarlane, John (2010). Fuzzy Epistemicism (PDF).{{cite book}}: |work= ignored (help)
  20. ↑ Paoli, Francesco (2003). "A Really Fuzzy Approach to the Sorites Paradox". Synthese . 134 (3): 363–387. doi:10.1023/A:1022995202767.
  21. ↑ Burgess, John. "Intuitions of Three Kinds in Gödel's Views on the Continuum" (PDF).
  22. ↑ "The moral: an adequate theory must allow our statements involving the notion of truth to be risky: they risk being paradoxical if the empirical facts are extremely (and unexpectedly) unfavorable. There can be no syntactic or semantic 'sieve' that will winnow out the 'bad' cases while preserving the 'good' ones. ... I am somewhat uncertain whether there is a definite factual question as to whether natural language handles truth-value gaps — at least those arising in connection with the semantic paradoxes — by the schemes of Frege, Kleene, van Fraassen, or perhaps some other." Kripke, Saul (1975). "Outline of a Theory of Truth" (PDF). The Journal of Philosophy . 72 (19): 690–716. doi:10.2307/2024634. JSTOR   2024634.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.