I'm thinking of taking this subject next year but would like to know a bit more about it first.
Basically I would like to know how this subject compares to COS261 e.g. (Do you still use Fitch proofs, what other type of proofs are used, are there plenty of examples etc?)
The 3rd level course is focussed on semantics (how to assign truth values to sentences) of various languages of logic, rather than on proofs. It is quite interesting but a little hard to come to grips with in the beginning. It requires perseverence but it is well worth it IMO.
What makes me a bit worried is that there are barely any posts in this forum. So either the subject is easy enough that no one has to ask questions or barely any one is taking it.
I only require one more module to finish my degree. So I'm basically looking for a subject without any suprises and which doesn't require too much effort (e.g. Cos340).
jeanbodemer Wrote:
-------------------------------------------------------
> What makes me a bit worried is that there are
> barely any posts in this forum. So either the
> subject is easy enough that no one has to ask
> questions or barely any one is taking it.
>
It worried me too (see my posts this year for this and
cos301) - AFAICT, it seems that the users are probably using
some other platform to discuss, and not ospreys phorums.