CCR

Search

Find a course or a school.

PHI 4183 credits

PHI 418: Non-Classical Logic

No student reviews yet

Undergrad registration for Spring 2027 at UB opens Mon, Nov 2. Registrar dates

No ratings yet

We don't have ratings, grades or reviews for PHI 418 yet.

Below: what the catalog says, the PHI classes numbered next to it and how Philosophy classes rate at UB.

Yours would be the first. About two minutes, anonymous.

Took PHI 418? How hard was it?

1 is easy, 5 is hard. Anonymous, no account.

Difficulty

What we know

From the catalog
This course will investigate non-classical logics. Non-classical logics have historically been developed to model features of language or reasoning that are absent from classical propositional or first-order logic. Some of them are compatible with classical reasoning, while others are not. Students will also work on writing clear informal (natural language) proofs about logical systems, as well as proofs within them. Non-classical logics come in many flavors. Logics covered in this course may include: the Logic of Paradox, Relevance Logics, and the description logics that underwrite reasoning tools developed by the World Wide Web Consortium for the purpose of knowledge representation.
Credits
3
Department
Philosophy

Written reviews

No written reviews of PHI 418 yet

Took it? Add yours when you have a couple of minutes. Anonymous, no account, no email.