MHB Translate argument into symbolic form

  • Thread starter Thread starter natalie206
  • Start date Start date
  • Tags Tags
    Argument Form
AI Thread Summary
The discussion focuses on translating two statements about the status of a human fetus into symbolic logic. The first statement, "If we are less than certain the human fetus is a person, then we must give it the benefit of the doubt," is represented as ¬S → B. The second statement, "If we are certain the human fetus is a person, then we must accord it the right to live," is expressed as S → L. The complexity arises from the phrasing "less than certain" and "certain." The participants seek clarity on these translations and their implications in the context of the debate.
natalie206
Messages
2
Reaction score
0
Hi guys,

maybe you have any idea how to translate this two statements:

If we are less than certain the human fetus is a person, then we must give it the benefit of the doubt. If we are certain the human fetus is a person, then we must accord it the right to live.
 
Physics news on Phys.org
Let $S$ denote "we are certain the human fetus is a person", $B$ denote "we must give it the benefit of the doubt" and $L$ denote "we must accord it the right to live". Then the first sentence says $\neg S\to B$ and the second one says $S\to L$.

Also see an important remark https://driven2services.com/staging/mh/index.php?posts/101747/.
 
Thanks! I thought it's more complicated, because of "less than certain" and "certain".

Thank you!
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
6
Views
2K
Replies
9
Views
2K
Replies
40
Views
8K
Replies
4
Views
2K
Replies
30
Views
3K
Replies
3
Views
2K
Back
Top