Register to reply 
Attributive Adjectives in Predicate Calculusby Dembadon
Tags: predicate calculus 
Share this thread: 
#1
Nov1011, 12:45 AM

PF Gold
P: 641

There was a short philosophical debate in my logic course today regarding attributive adjectives and the issues they present in predicate calculus. The professor brought things back on track before it got carried away, but I would like to get some help understanding a few issues I have that arose from the discussion.
Our professor referenced a book he read while in graduate school, but I forget the name of the author (I think his name started with a B). I will ask him and post it later if anyone needs/wants to see it. Given the following statement: There are fake diamonds. My professor said that we are not allowed to infer the following: There are diamonds. My 1st issue: I don't see how one can claim that diamonds are fake without first having seen real diamonds. In other words, if fake is an imitation of another thing, how can you have an imitation of something that doesn't exist? A fellow student used the following example to attempt to explain why the inference in my example is incorrect by saying, "Stating that fake unicorns exist doesn't mean that unicorns exist." This brought up my second issue: If unicorns are fake to begin with, then what the heck is a "fake unicorn"? 


#2
Nov1011, 03:48 AM

Sci Advisor
HW Helper
P: 4,300

I guess the question is: is a fake x really an x?
If a "fake x" is just a special case of "an x" (as could be argued in the case of diamonds) then the statement is something like "there are tall people, therefore there are people." If not (as could be argued in the case of the unicorns) the statement is similar to "there are trees, therefore there are airplanes" which is not a tautology. 


#3
Nov1011, 06:30 AM

Mentor
P: 5,403

I guess you could argue that X doesn't have to physically exist, it just has to exist at least conceptually. For example;
This is my fake son I don't have a real son but the concept and possibility are there. When it comes to what it means to be fake I guess that a fake is something that resembles something else but is different in some fundamental way (usually it is also trying to pass itself off as that something). So providing you have a full description of what makes X X you could also have a description of what a fake X is. 


#4
Nov1111, 04:09 PM

PF Gold
P: 641

Attributive Adjectives in Predicate Calculus
Thanks for the responses. Sorry I've left this kindof hanging, but I wanted to get the name of the author of the book from my professor so I could post the excerpt he showed us in class. However, today is Veteran's Day and the campus is closed, so I won't be in class again until Monday.



#5
Nov1111, 11:54 PM

P: 66

Roger Penrose talked about the Wick rotation during his debate with Stephen Hawking in "The Nature of Space and Time". 


#6
Nov1311, 02:12 AM

Sci Advisor
HW Helper
P: 4,300

let D(x) be "x is a diamond" and F(x) "x is fake." Then if fake diamonds are diamonds, you can express the proposition as [tex]\left( \exists x: D(x) \wedge F(x) \right) \implies \left( \exists y: F(y) \right)[/tex] however, you just told me that it should be read as [tex]\left( \exists x: D(x) \right) \implies \left( \exists y: F(y) \right)[/tex] which is subtly but crucially different. 


Register to reply 
Related Discussions  
Proof in predicate calculus 2  Set Theory, Logic, Probability, Statistics  2  
Proof in predicate calculus  Set Theory, Logic, Probability, Statistics  2  
Predicate calculus  Set Theory, Logic, Probability, Statistics  7  
Proof in predicate calculus  Set Theory, Logic, Probability, Statistics  9  
Proof in predicate calculus  Set Theory, Logic, Probability, Statistics  1 