1
$\begingroup$

I want to formulate the following sentence using FOL; I want also to know whether there any contradictions in it, or if it is consistent.

Assuming human relations are binary:

All Human Relations are Utilitarian (Human relations are Utilitarian only when people in those relations are selfish and calculative). I am a human. People are Humans. Unselfish people are nice. Therefore, I am nice.

$\endgroup$
  • $\begingroup$ I don't know about FOL, but there is no guarantee that selfish people are bad. It is ultimately determined by collective good or bad. $\endgroup$ – DuttaA May 2 at 7:44
  • $\begingroup$ There's a contradiction: either all relations are utilitarian, or they are not; but not both. The second sentence thus contradicts the first, unless all people are selfish and calculative. And in the remaining sentences you establish that there is at least one person that is not selfish. $\endgroup$ – Oliver Mason May 2 at 8:24
  • $\begingroup$ There is no need to emphasize the binary fundamental of First Order Logic. A normal Prolog syntax would do the job great. $\endgroup$ – Manuel Rodriguez May 2 at 8:29
  • $\begingroup$ Thanks for the reply but I need the fol statements only for this. $\endgroup$ – ammu May 2 at 11:09
  • $\begingroup$ 1. ∀ r HumanRelations(r) -> Utilitarian(r) 2. ∃ r Utilitarian(r)-> Selfish(People(p,r)) ∧ Calculative(People(p,r)) 3. Human(I) 4. ∃ p People(p) - > Human(p) 5. ~Selfish(p) -> Nice(p) 6. Nice(I) , can someone verify? $\endgroup$ – ammu May 2 at 11:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.