Talk:Logical value

From Wikipedia, the free encyclopedia

Is "truth-value" a British spelling or something? In American English, it seems inappropriate unless used as an attributive. ("In topos theory, the truth-value object takes the place of the set of truth values.") -- Toby 04:22 Mar 3, 2003 (UTC)

Changed accordingly. -- Toby 05:26 Apr 15, 2003 (UTC)

[edit] Removed Misconception About Intuitionistic Logic

As noted in the discussion on the Intuitionistic logic, there is a common misconception that Intuitionistic Logic has three truth values. This misconception has been removed from the Intuitionistic Logic article, and hence it has been removed from here. -- FatherBrain 14:35, 22 September 2005 (UTC)

[edit] "Truth value" as a special case of probability?

I ran into this in Paul C. Rosenbloom, The Elements of Mathematical Logic, Dover Publications, Inc. Mineola, NY, first published 1950, Dover edition 2005. Unfortunately my edition is flawed and contains no bibliography (!), hence the empty references [ ]:

"The notion of truth value may be regarded as a special case of that of probability, which is, in turn, essentially equivalent to that of measure. (See Kolmogoroff, Grundbegriffe der Wahrscheinlichketsrechnung, Berlin 1933; Cramer, Methods of Mthematical Statistics, Princeton, 1946, Reichenbach [ ], Koopman [ ], Kleene and Evans [ ]). In most of the precise treatments of probability the concept is defined on an algebra of classes. Since propostions also form a Boolean algebra, it should be easy and desirable to treat directly the notion of the probability of a propostion." (p. 198)

I believe that this has progressed through the years into "machine learning"... but am otherwise unfamiliar with the concepts, except this: they seem to echo the philosophy of Bertrand Russell. Does anyone have any comments? Thanks, wvbaileyWvbailey 21:08, 27 June 2006 (UTC)

[edit] "Truth value" is better than "Logical value"

It was a mistake to move the article from Truth value to Logical value. The phrase truth value is the established terminology in the logic community. Frege 21:36, 21 November 2006 (UTC)