Title: Logic And Language
Author(s): Neville Dean
Publisher: Basingstoke : Palgrave Macmillan, 2003.
Language: English
ISBN-10: 0-333-91977-7
ISBN-13: 978-0-333-91977-4
Summary:
The range of intended readership for logic books is wide, and includes computer scientists, philosophers, mathematicians and the lay reader. The aims of these books can vary widely too: some are meant to be read for general interest; others are intended to develop logical thinking; some are meant to give the reader an understanding of logic sufficient to support their professional activities; others are intended to develop the deeper understanding required by the professional logician.
There are many different systems of logic, including classical systems based upon natural language and a wide range of systems of symbolic logic. Finally, there are the pedagogical issues to be considered.
How should the logical systems be presented and explained in a way that will best achieve the purposes of the book for the intended readership? Where does this book fit into this scheme? The complete answer to this question can only be ascertained by reading the book in its entirety; nevertheless it is possible to give an overview.
The book arose out of the need for a text which would be suitable for graduates from a wide range of disciplines studying on a conversion M.Sc. in computing.
Little prior mathematical ability is assumed; furthermore there is a little more emphasis on the relationship to language than many other books of this level, whilst still retaining the importance of formalism. Thus the book is suitable not only for computer scientists beginning a study of logic, but also to those studying logic in philosophy or mathematics. Its purpose is to develop an understanding of the nature and application of symbolic logic, and also of its relationship to language. It sets out to develop the skills of reasoning and an ability to work with abstract formalism; as well as being important in their own right, these will help improve skills of program design and development in the computer scientist.
The main logical system developed in the book is that of natural deduction, though necessarily truth semantics are also developed.
In addition, there is a brief introduction to automated reasoning and logic programming.
There are a number of distinctive pedagogical features to the book. The material is presented in a carefully explained step-by-step approach with copious worked examples and exercises. The solutions to these exercises are considered to be an integral part of the exposition and so all the solutions have been included in an appendix.
Author(s): Neville Dean
Publisher: Basingstoke : Palgrave Macmillan, 2003.
Language: English
ISBN-10: 0-333-91977-7
ISBN-13: 978-0-333-91977-4
Summary:
The range of intended readership for logic books is wide, and includes computer scientists, philosophers, mathematicians and the lay reader. The aims of these books can vary widely too: some are meant to be read for general interest; others are intended to develop logical thinking; some are meant to give the reader an understanding of logic sufficient to support their professional activities; others are intended to develop the deeper understanding required by the professional logician.
There are many different systems of logic, including classical systems based upon natural language and a wide range of systems of symbolic logic. Finally, there are the pedagogical issues to be considered.
How should the logical systems be presented and explained in a way that will best achieve the purposes of the book for the intended readership? Where does this book fit into this scheme? The complete answer to this question can only be ascertained by reading the book in its entirety; nevertheless it is possible to give an overview.
The book arose out of the need for a text which would be suitable for graduates from a wide range of disciplines studying on a conversion M.Sc. in computing.
Little prior mathematical ability is assumed; furthermore there is a little more emphasis on the relationship to language than many other books of this level, whilst still retaining the importance of formalism. Thus the book is suitable not only for computer scientists beginning a study of logic, but also to those studying logic in philosophy or mathematics. Its purpose is to develop an understanding of the nature and application of symbolic logic, and also of its relationship to language. It sets out to develop the skills of reasoning and an ability to work with abstract formalism; as well as being important in their own right, these will help improve skills of program design and development in the computer scientist.
The main logical system developed in the book is that of natural deduction, though necessarily truth semantics are also developed.
In addition, there is a brief introduction to automated reasoning and logic programming.
There are a number of distinctive pedagogical features to the book. The material is presented in a carefully explained step-by-step approach with copious worked examples and exercises. The solutions to these exercises are considered to be an integral part of the exposition and so all the solutions have been included in an appendix.
http://rapidshare.com/files/149296571/logic_and_language.rar
0 comments:
Post a Comment