What is the Material Conditional Paraphrasing in Logic?

AI Thread Summary
The discussion centers on the interpretation of a material conditional in logic, specifically the statement "If Jones got the job then he applied for it." The original paraphrase from the book is "Either it is not the case that Jones got the job or Jones applied for the job," which reflects the truth-functional nature of the conditional. The participants explore the implications of this logic, noting that while one cannot reverse the statement (applying does not guarantee getting the job), the hierarchical relationship between applying for a job (a broader action) and getting a job (a more specific outcome) complicates understanding.A hypothetical scenario involving Jones as the son of a king raises questions about the validity of this logic in different contexts, such as royal succession. The discussion emphasizes the need for intuition in interpreting these logical statements, suggesting that one must consider the broader implications and potential outcomes of actions. Ultimately, the conversation seeks to clarify how logical paraphrasing can be generalized across various situations while maintaining its validity.
Shackleford
Messages
1,649
Reaction score
2
I have the following book:

https://www.amazon.com/dp/0072401893/?tag=pfamazon01-20

I'm currently going over symbolization and truth-functional connectives.

I have a question considering a material conditional paraphrasing.

If Jones got the job then he applied for it.

Of course, you cannot state this backwards. If he applied for the job, then he doesn't necessarily have to have gotten the job.

The book paraphrased it as such:

Either it is not the case that Jones got the job or Jones applied for the job.

What is their basis for their paraphrasing? Are they basing it on the truth-functional value of "Jones got the job"? Either Jones got the job or he didn't.

If he didn't get the job, then we don't know if applied or not.
If he did get the job, then he applied for the job.

I have to admit it's a bit fuzzy for me in a few places. Looking ahead in the book, it seems a bit dry.
 
Last edited by a moderator:
Physics news on Phys.org
You are dealing with a hierarchical situation of sets and subsets. So events on different spatiotemporal scales.

Applying for a job is the more global or general level of action, getting a job is a more local or specific action. And the smaller must always be found inside the larger.

So the serial nature of spoken language makes the two events seem to be of identical scale, and so confusable as to which is figure, which is ground. But logically, they are a hierarchy.
 
Shackleford said:
...

Of course, you cannot state this backwards. If he applied for the job, then he doesn't necessarily have to have gotten the job...

Trying to generalize and find a set for this particular example...

How would this logic be transformed to this particular case of "getting a job":

Let Jone's father be the king of Legoland.
Let Jones be the eldest son.
Did Jones apply for the next king?
Not necessarily, but he would probably still be next king of Legoland, unless he got involved in an accident or something other misfortune.

(and unless of course you don't consider being a king to be a job)

So how would the logic of "getting a job in general" be paraphrased so that it would stand also in this case?

What's the use of paraphrase some logic if it is not valid in some cases?
 
Hippasos said:
Trying to generalize and find a set for this particular example...

How would this logic be transformed to this particular case of "getting a job":

Let Jone's father be the king of Legoland.
Let Jones be the eldest son.
Did Jones apply for the next king?
Not necessarily, but he would probably still be next king of Legoland, unless he got involved in an accident or something other misfortune.

(and unless of course you don't consider being a king to be a job)

So how would the logic of "getting a job in general" be paraphrased so that it would stand also in this case?

What's the use of paraphrase some logic if it is not valid in some cases?

So, basically you're saying you have to use some intuition and infer that given the two ultimate possibilities - got or did not get the job - you have to either state explicitly he did not get the job, or, with how it's written, that he applied for the job, and thus inferring/use intuition that he got the job.
 
Hippasos said:
(and unless of course you don't consider being a king to be a job)

?


That would be your answer. The general class would be "being born to". The dynasty is the set of which individuals are members. Unless the meet some accident.
 
Similar to the 2024 thread, here I start the 2025 thread. As always it is getting increasingly difficult to predict, so I will make a list based on other article predictions. You can also leave your prediction here. Here are the predictions of 2024 that did not make it: Peter Shor, David Deutsch and all the rest of the quantum computing community (various sources) Pablo Jarrillo Herrero, Allan McDonald and Rafi Bistritzer for magic angle in twisted graphene (various sources) Christoph...
Thread 'My experience as a hostage'
I believe it was the summer of 2001 that I made a trip to Peru for my work. I was a private contractor doing automation engineering and programming for various companies, including Frito Lay. Frito had purchased a snack food plant near Lima, Peru, and sent me down to oversee the upgrades to the systems and the startup. Peru was still suffering the ills of a recent civil war and I knew it was dicey, but the money was too good to pass up. It was a long trip to Lima; about 14 hours of airtime...
Back
Top