Jump to content
Main menu
Main menu
move to sidebar
hide
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Special pages
Niidae Wiki
Search
Search
Appearance
Create account
Log in
Personal tools
Create account
Log in
Pages for logged out editors
learn more
Contributions
Talk
Editing
Liar paradox
(section)
Page
Discussion
English
Read
Edit
View history
Tools
Tools
move to sidebar
hide
Actions
Read
Edit
View history
General
What links here
Related changes
Page information
Appearance
move to sidebar
hide
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
===Fuzzy logic=== In [[fuzzy logic]], the truth value of a statement can be any real number between 0 and 1 both inclusive, as opposed to [[Boolean logic]], where the truth values may only be the integer values 0 or 1. In this system, the statement "This statement is false" is no longer paradoxical as it can be assigned a truth value of 0.5,<ref>{{cite journal|last1 = HΓ‘jek | first1 = P. | last2 = Paris | first2 = J. | first3 = J. | last3 = Shepherdson | title = The Liar Paradox and Fuzzy Logic | journal = The Journal of Symbolic Logic | volume = 61 | number = 1 | pages = 339β346 | date = Mar 2000 | doi=10.2307/2586541 | jstor = 2586541 | s2cid = 6865763 }}</ref><ref>{{cite journal | last1 = Kehagias | first1 = Athanasios | last2 = Vezerides | first2 = K. | title = Computation of fuzzy truth values for the liar and related self-referential systems | url = http://users.auth.gr/~kehagiat/Papers/journal/2007MVLSC.pdf | journal = Journal of Multiple-Valued Logic and Soft Computing | volume = 12 | number = 5β6 | pages = 539β559 | date = Aug 2006 | access-date = 2021-02-17 | archive-date = 2021-07-08 | archive-url = https://web.archive.org/web/20210708230916/http://users.auth.gr/~kehagiat/Papers/journal/2007MVLSC.pdf | url-status = live }}</ref> making it precisely half true and half false. A simplified explanation is shown below. Let the truth value of the statement "This statement is false" be denoted by <math display>x</math>. The statement becomes : <math display="block"> x = NOT(x) </math> by generalizing the NOT operator to the equivalent [[Zadeh operator]] from [[fuzzy logic]], the statement becomes : <math display="block"> x = 1 - x </math> from which it follows that : <math display="block"> x = 0.5 </math>
Summary:
Please note that all contributions to Niidae Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
Encyclopedia:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Search
Search
Editing
Liar paradox
(section)
Add topic