Talk:Many-valued logic

message: The fact that Aristotle didn't fully accept the law of the excluded middle doesn't seem to be mentioned in the Laws of thought article nor in the article on Lotfi Askar Zadeh. The difference between this article and those two are slightly confusing. The best I can gather is that Aristotle put forth the law of noncontradiction and the law of the excluded middle, but expressed in De Interpretatione that the law of the excluded middle could produce some problems. Perhaps somebody that knows this subject could tweak the wording in these articles to clarify things a tad.  -Chira 21:39, 11 August 2005 (UTC)
thread_title: (Added) PEM

message: Could someone write an example who understands this? Or maybe a link to a tutorial? Thank you --Gaborgulya 23:06, 15 May 2007 (UTC)
thread_title:  Example? 

message: "Many-valued logic" is somewhat more common, according to Google Scholar than "multi-valued" logic, by a margin of about 50%.  Additionally, "multi-" seems to be mostly used in the specific subfield of the design of ALUs in digital circuits - relevant, but not the core of the topic.
Is it worth changing the name?  I lean to saying it is. — Charles Stewart (talk) 08:21, 29 April 2009 (UTC)
replies: text: I lean to agreeing with you. At least, insofar as my experience points to the greater frequency of many v. multi in this particular arrangement.—αrgumziω ϝ 19:52, 21 August 2009 (UTC)
thread_title: Many-/multi-

message: We have a problem here.  We have one article about many-valued logic and another article about multi-valued logic.  Should these be consolidated?
:Yes.  Under the name trinary logic (the most common kind, with 3 values) and more-than-3-values cases treated as side cases with redirects pointing to it.  Also the entry for Null says that Nil=Null which is just not true in some versions of Lambda Calculus, it's a four valued logic (T, F, Nil but with Null as well - used for indeterminate states that can't be resolved, i.e. there may be a value, it's a 'don't know').
:It seems that the people writing these articles haven't worked with these concepts much.
::Don't wait, then, fix it! --Robert Merkel
: Actually, the entry for Null doesn't say what you think it says.  It says in LISP, null is called nil, which is correct AFAIK.  LISP != lambda calculus. Chadloder 03:28 Jan 24, 2003 (UTC)
::I disagree that trinary logic should be the main article name.  Trinary is a special case of multi-valued logic, not the other way around, right?  Sure trinary logic was developed first (or second, rather) but ultimately that's less important. Chadloder 03:29 Jan 24, 2003 (UTC)
:::I also disagree with making trinary logic the main article name. Jason Quinn (talk) 06:44, 24 August 2013 (UTC)
replies: text: Although I fully agree that many-valued logic should be merged with multi-valued logic (as both names are just synonyms referring to the same class of logics), I'd strongly oppose merging them (as suggested by the templates in this article) with Łukasiewicz logic or three-valued logic (and probably four valued logic as well), since the latter are very specific subareas of the former, and meaningful full-length articles can be written about each of them. Łukasiewicz logic has been deeply studied, with several monographs devoted to it; a full encyclopedic description of the area will definitely be long enough for a separate article. The many kinds of three-valued logic (strong and weak Kleene, McCarthy, Łukasiewicz, Post, etc.) plus the general results on all 3-valued logics (e.g., on functionally complete sets of connectives) make 3-valued logics worth a separate article as well. The case for four-valued logics is less clear, but still the area (with, e.g., Dunn–Belnap FOUR, special properties of 4-valued variants of 3-valued logics, etc.) seems broad enough to justify a separate article. Therefore I suggest to remove the three templates from the article (even though moving some portions between these articles and a significant expansion of all of them will of course be necessary). -- LBehounek (talk) 14:29, 26 January 2011 (UTC)
replies: text:  I removed the suggestion to merge Łukasiewicz logic. I added it as I reminder to create a subsection on Łukasiewicz logic in this article, but it definitely warrants a separate article as well. I would still suggest to merge both three- and four-valued logic into this article. I like the overview-style articles at the German-language Wikipedia (http://de.wikipedia.org/wiki/Mehrwertige_Logik) and the Stanford Encyclopedia of Philosophy (http://plato.stanford.edu/entries/logic-manyvalued/), as several of the issues and systems for three-valued logics generalize to n-valued logics. Spreading this among multiple article may make it difficult to find for many readers. —Ruud 16:06, 27 January 2011 (UTC)
replies: text:  Okay, this sounds as a reasonable solution. Three- and four-valued logics should definitely be covered in the article on many-valued logics in some level of detail anyway, so the current versions of these articles can be merged. If there is enough material to justify separate articles for 3- or 4-valued logics at some later point, there will always be an option to re-create them with expanded contents, and link them via the Main page template from the appropriate sections in the general article on many-valued logics. -- LBehounek (talk) 15:58, 31 January 2011 (UTC)

text: There's been a merge to Many-valued logic template on Three-valued logic page since January 2011. As per the suggestion above and my own thinking, that can be removed. I will do so now as the merge discussion never really happened anyway. Jason Quinn (talk) 06:44, 24 August 2013 (UTC)
thread_title:  Merging with Multi-valued logic 

message: wow, amazing this document didn't mention spencer G Brown and Laws of form (there is a 1979 edition), where an indication is made that an imaginary logic value is needed to help to resolve Goedels incompleteness theorem type paradoxes.  In this case, a third logic value would actually be an oscillation between true and false as i appears to be an oscillation between 1 and -1. The famous sentence "This sentence is false" resolves with an oscillating logic value. (Contributed by Matthew Scott)
: We already have a rather lengthy article on the Laws of Form. Given its somewhat fringe nature I'm note sure if we should discuss it here as well. —Ruud 14:52, 14 July 2015 (UTC)
thread_title:  Laws of Form 

message: I'm surprised to hear of "Priest's Logic". Graham Priest uses a wide range of logics. The logic you call Priest's Logic or P3, he and the other people researching in that area (in Australasia, at least) call the Logic of Paradox, LP. I've never heard anyone call it Priest's logic. Do you have a reference for it being the standard term that would trump all his textbooks and papers? Or can I make a bold change? 130.216.26.54 (talk) 22:47, 16 March 2017 (UTC)
replies: text: I say be bold.  The article could do with more precision, and if the terminology turns out to be less than perfect, that can be changed later when we find out. — Charles Stewart (talk) 10:14, 18 March 2017 (UTC)
thread_title:  Priests Logic

message: There has not been any mention of completeness of many-valued logical algebras. Is it worth mentioning Post's (1921) claim that "if Un is functionally complete for m variables, where m is ≥ 2, then it is also functionally complete for m + 1 variables and hence also functionally complete,"Malinowski (1993)? Platonist Rainbow (talk) 12:39, 30 August 2020 (UTC)
thread_title:  Logical Completeness 

message: I'm curious why the section on Alan Rose is included here. The linked paper by Rose has barely ever been cited. In other words, it had very little impact on research on many-valued logics compared to the systems mentioned earlier in the entry. There are hundreds of papers on many-valued logics from the end of twentieth century. Why mention Rose specifically and not some of those other papers? Rose's results are barely even described in the current entry, so it is at best unhelpful to mention his work in this impressionistic way and at worst confusing for a novice reader. There are more sources that could be mentioned in this entry, such as the important textbooks by Malinowski and Dunn & Hardegree. I would recommend removing the section on Rose or expanding the prose to elaborate on its alleged significance, if someone believes that it is indeed significant. Paraconsistent (talk) 08:14, 25 August 2022 (UTC)
thread_title:  Remove Rose