Aaron Hosford <[email protected]> wrote: Traditional First Order Boolean logic doesn't provide a way out of this paradox, because it doesn't provide for the possibility that P(X) = "X shaves those who don't shave themselves" is inherently impossible to assign a single truth value to, without making special restrictions on the domain of X. First Order Boolean logic is itself a model, and the model is broken because it can't handle these sorts of cases. ----------------------------------------------------
Well, I wasn't really thinking of pure "Boolean Logic" when I said that Logic could be pointed at meaninglessness. I was saying that a logical assessment could be made of situations which could include meaninglessness. However, that application of logic does not entail or demand that the domain of X be defined according to some kind of doctrine as long as the logical values could be computed when the referents of the domain are defined or the statement could be defined as meaningless or as being complex. The illustration of a paradox exemplifies why logic can be such a valuable asset when analyzing meaning. So while the assignment of a man who might be the 'barber who shaves everyone in town who does not shave themself' might be impossible due to a hidden paradox, or it might simply imply that the barber does not shave, the sentence is meaningful. The fact that (the situation can exist where) no X can be said to logically fill the definition of an element of the situation does not mean that the sentence is meaningless (unless you are a logical positivist or something.) The assignment of the the truth value of a logical statement and the assignment of the references of the statement are not the same. So you can have a statement which assigns the truth value of a paradoxical logical statement. I don't accept the Goedel thing because I no longer believe in Kantor's diagonalization theory. One problem with logic is that when you create logically compound sentences without using the constructions of the logical method the statements are not going to be completely logical. Then when you use those compound sentences in an applied logical statement the hidden complexities of the sentence are going to interfere with the logical assessment of the sentences. Since the compound sentences that we typically use do contain hidden complexities they cannot be assigned logical values very easily. To make them logical we usually have to refine them in some way but this can change their meaning. However, if logical perfection was the goal one could imagine that a referent (or is it predicate) sentence can refer to a finite number of logical sitatituations which could then be resolved. So if a natural sentence is meaningless in the natural way it simply would not have a logical value but another logical statement which refered to sentence could designate it as meaningless. Incidentally, the "meaningless" statement would then have some meaning in the greater context of the discussion. This seems like it is itself a paradox but its meaning is only relevant to the fact that it had been assessed as meaningless! The meaning then is derived from the statement that refers to the meaningless statement. Most of care very much about statements which are false. Jim Bromer On Wed, Nov 7, 2012 at 1:17 PM, Aaron Hosford <[email protected]> wrote: > http://en.wikipedia.org/wiki/Barber_paradox > > Traditional First Order Boolean logic doesn't provide a way out of this > paradox, because it doesn't provide for the possibility that P(X) = "X > shaves those who don't shave themselves" is inherently impossible to assign > a single truth value to, without making special restrictions on the domain > of X. First Order Boolean logic is itself a model, and the model is broken > because it can't handle these sorts of cases. > > It is not that complicated to add an additional truth value, Meaningless, > in addition to True and False. It destroys the principle of the excluded > middle, but this was the source of the problem in the first place. With > Meaningless as a truth value, the principle of the excluded middle is > transformed from "Precisely one of P(X) and ~P(X) is True, and the other is > False," to "Provided P(X) is not Meaningless, precisely one of P(X) and > ~P(X) is True, and the other is False." > > This also has some interesting implications when looking at Godel's > incompleteness, since we can take the route of assigning the Meaningless > truth value to the diagonalization statement, which is equivalent to "This > statement cannot be proven," instead of giving it a value of True, and the > proof falls apart because it depends on the strict True/False dichotomy. > (What does it really mean to say, "This statement cannot be proven," > anyway? Who cares? How does it affect the rest of the universe of > discourse? Meaningless is the appropriate truth value.) > > Ultimately, what we really care about is not False or Meaningless > statements, but the True ones. These are the statements that directly map > to reality (or the universe of discourse, at least), and actually *tell *us > something about it. False and Meaningless are only important in the sense > that a backdrop is important. They are counterfactuals. In other words, the > primary meta-logical language in which we as humans use to define and > explain the behavior of various logical and mathematical systems only cares > about True statements, not un-True ones. The principle of the excluded > middle is a convenient way to sometimes find True statements from un-True > ones, but it fails if the un-True statement is Meaningless as opposed to > False (which is the negational opposite of True). This is equivalent to > saying that un-True statements are only useful if we can get additional > True statements by applying an operation (negation) to them, and that we > can do so for False -- but not Meaningless -- statements. Negating a > Meaningless statement just gets you another Meaningless statement. It > deeply disturbs me that logicians, mathematicians, and their "customers" in > the sciences so often fail to make this simple observation. > > > > > On Wed, Nov 7, 2012 at 11:25 AM, Jim Bromer <[email protected]> wrote: > >> On Mon, Nov 5, 2012 at 11:38 PM, Aaron Hosford <[email protected]>wrote: >> ch of the confusion and failure generated by Boolean logic, the most >> commonly used and least versatile form of "fully functional" logic, arises >> from the failure of Boolean logic to recognize the distinction between >> different kinds of false statements (pieces of language). Boolean logic >> only recognizes statements that are false because their opposites are true. >> But it completely disregards the existence of statements which cannot be >> mapped to reality to verify their truth. These sorts of statements are not >> false because their opposites are true, but because they are meaningless. >> This lack of distinction (a bias towards perceiving truth and falsehood but >> not meaninglessness) is the source of many mathematical and logical >> paradoxes. >> I do not agree with that. Logic can be, uh, pointed at meaningless and >> therefore incorporate that as a possible situation that can be found in a >> model. The real problem, as I see it, is that the model would have to be >> too complicated to be truly useful as a complete model of every >> possibility. So instead we have to incorporate models of variations of >> unknowns or undefineds into our models and then rely on bounded models so >> that the logical 'discussion' (so to speak) might be used effectively. This >> turns deductive logic into inductive logic and makes the effective use of >> logic conjectural. >> Jim Bromer >> > ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-c97d2393 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-2484a968 Powered by Listbox: http://www.listbox.com
