Register to reply 
Question about mathematical logic 
Share this thread: 
#1
Sep1107, 08:33 PM

P: 1,520

Is an assertion that could be true but isn't always considered to be false or just lacking information?



#2
Sep1107, 08:37 PM

P: 329

Do you have an example?
I am thinking you mean something like if x is a member of Z(integer) then x> 5. The assertion is true for all x greater than 6, but not for x equal to or less then 5. So what do you think, is the statement true or false? 


#3
Sep1107, 09:11 PM

P: 1,520

It's not such an assertion, it's in terms of arguments.



#4
Sep1107, 09:39 PM

P: 329

Question about mathematical logic
I guess what I'm trying to say is that if in an argument, you present point a. If point a is only true within certain situations then while discussing point a make sure the decision is within those restrictions, then you can say it's a true statement. If point a is moved beyond those guidelines, and point a is being discussed when it is not true, then it is a false statement.



#5
Sep1107, 10:06 PM

Emeritus
Sci Advisor
PF Gold
P: 16,099

It depends on how you want to formulate things. IMHO, the cleanest formulation is that a relation is a truth value if and only if it has no free variables. You wouldn't talk about the truth of the expression x > 5, but instead of the subset of Z that it defines. Or equivalently, you think of x > 5 as a truthvaluevalued function on Z.
However, if you're thinking in terms of semantics, then each interpretation of your language includes a variable assignment: it selects an actual integer to represent the symbol x. So, x > 5 would hold in some interpretations, but it would not hold in other interpretations. If you're thinking about truth valuations, then because x > 5 is independent of the axioms of the integers, some truth valuations will assign "true" to this statement, and other truth valuations will assign "false" to this statement. Incidentally, the notions of having a truth valuation on your language and having an interpretation of your language are equivalent. (In a certain technical sense) 


#6
Sep1207, 05:22 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,339

An "assertion that could be true but isn't always" is NOT an "assertion", it is an "open sentence" that contains some variable. It will be true for some values of that variable but not others. Add a "quantifier" will change it into a true or false proposition.



#7
Sep1207, 11:22 AM

P: 149

im not that experienced with math, but since i think one of the founding axioms of logic is a statement can ONLY be true or false, i guess the answer to your topic is "lacking information".



#8
Sep1207, 03:37 PM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,339

It's not math, it's logic (which is a foundation of mathematics). A "proposition" is a statement that is either a true of false (it is not neccessary to know which). An "open sentence" is something like "2x+ 1= 0" or "x^{2}>= 0". The first is true only when x= 1/2 so we add quantifiers like "for SOME x, 2x+ 1= 0" or "for all x, x^{2}>= 0". A nonmathematical example might be something like "That man has a wellpaying job" where "that man" is not specified. We could make that a "proposition" by specifying the person we are talking about or by saying something like "There exist men who have wellpaying jobs" (a true statement or so I'm told) or "All men have wellpaying jobs" (definitely false).
The OP may be referring to a situation where there is not a "variable" but where we simply do not know whether the statement is true of false. That doesn't matter as long as it must be one or the other, we don't need to know which to know it is a "proposition". 


#9
Sep1307, 09:43 AM

P: 355

What about statements that are independent of the theory in which you are working? E.g. Axiom of Choice in Z.F. Set Theory
Obviously, the statement is neither true nor false when considering Set Theory without the axiom, but it is also already quantified (unless you want to add another quantifier stating that their exists a theory in which the axiom of choice is true) 


Register to reply 
Related Discussions  
The point of mathematical logic?  Math & Science Software  0  
A new edition of handbook of mathematical logic?!  Math & Science Software  0  
From A Mathematical Introduction to Logic by H.B.Enderton  Math & Science Software  0  
Books on mathematical Logic  Math & Science Software  3  
Mathematical logic  Math & Science Software  0 