P.D. Magnus "Forall x: an introduction to Formal Logic" PDF
- Author:
- Language:
- Genre: Philosophy
- Viewed: 5
- Timestamp:
- Uploader:
In formal logic, sentences and arguments are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This text describes two formal languages which have been of special importance to philosophers: truth-functional sentential logic and quantified predicate logic. The book covers translation, formal semantics, and proof theory for both languages. This can be used as the textbook for a semester long course in logic, for a unit on logic, or for self-directed study. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.The author is an assistant professor of philosophy at the University at Albany, SUNY.
P.D. Magnus "Forall x: an introduction to Formal Logic" PDF
Only registered users can download the book.
Donate
Donate to Support Mir.az!
We have opened a Patreon account to keep our website active and we are waiting for your support. Even if it's just a few dollars, your contribution means a lot to us... Why do we need your support?Comments 0
Write a comment
There are no comments yet, this is your chance to write the first comment!