Mordechai Ben-Ari

Including relevant papers

R200

email: lloyd.moodley@gmail.com]]>

Here is a link to a site with some notes on our prescribed book - http://pswlab.kaist.ac.kr/courses/cs402-2011

Look under Course Schedule.

Don't mind the cs402 - it is just the course name at this university.

Hope it helps!]]>

I registered for Formal Logic 4, as I really enjoyed Formal Logic 1, 2 and 3.

I have had a 4 year gap since Formal Logic 3, so to get back into things, I started reading rough Appendix A of our prescribed book - which summarizes what we should know.

So I get to page 289 and read the following:

"To show that a set S is a subset of another set T, choose an arbitrary element x e S, and show x e T."

For those who cannot see the problem with this:

Imagine a world where S = {x, y, z} and T = {z, w, v} - Obviously S is not a subset of T, but according to this wonderful book (in its 6th printing), we can actually prove it is, that is right folks, S can be proved to be a subset of T.

We just need to pick an arbitrary element of S and show it is also an element of T, so I ask an average Joe to pick a element: Joe picks Z, because when Joe hears or sees z he thinks of a Zebra, so we take z and we look for it in T, and there it is! S is now officially a subset of T!! (or is it????)

Now if this was an exam paper, would it get marked wrong or right if I give this proof?????? Formal logic??? Really??

Would it cost me money, time and patience to get a remark, would the person remarking it, see and understand my point? Would I be able to tell them the problem? The answer is simply, at the end of the day, we the student suffer, because we have bought an expensive book that has more errata and still more un-found problems in it than there's water in the see!

Enjoy COS407C!]]>