Register to reply

Question about mathematical logic

by Werg22
Tags: logic, mathematical
Share this thread:
Werg22
#1
Sep11-07, 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?
Phys.Org News Partner Science news on Phys.org
Experts defend operational earthquake forecasting, counter critiques
EU urged to convert TV frequencies to mobile broadband
Sierra Nevada freshwater runoff could drop 26 percent by 2100
PowerIso
#2
Sep11-07, 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?
Werg22
#3
Sep11-07, 09:11 PM
P: 1,520
It's not such an assertion, it's in terms of arguments.

PowerIso
#4
Sep11-07, 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.
Hurkyl
#5
Sep11-07, 10:06 PM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,091
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 truth-value-valued 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)
HallsofIvy
#6
Sep12-07, 05:22 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,565
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.
Trail_Builder
#7
Sep12-07, 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".
HallsofIvy
#8
Sep12-07, 03:37 PM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,565
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 "x2>= 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, x2>= 0". A non-mathematical example might be something like "That man has a well-paying 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 well-paying jobs" (a true statement- or so I'm told) or "All men have well-paying 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".
LukeD
#9
Sep13-07, 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