语言学中的逻辑
June 23, 2012 by yanjianghk
Product Details
 Paperback: 224 pages
 Publisher: McGillQueen’s University Press (August 1, 2003)
 Language: English
 ISBN10: 0773526684
 ISBN13: 9780773526686

Review
"Extremely useful as a textbook for senior undergraduate or graduate students in philosophy and logic – the only one that cuts through the metaphysical abstraction and analyzes possible worlds theory in plain language and in a practical manner. It is the first book that instead of simply advocating possible worlds, or using the device to promote some version of modal logic, in effect, deconstructs the notion, putting it into question and subjecting it to critical scrutiny that it often does not stand up to very well." – History and Philosophy of Logic "A very well written book. Graduate students who do not have familiarity with logic but need to know something about possible worlds talk will find the book very helpful. Advanced issues such as varying domain semantics and free logic are discussed in a very accessible way… By pointing out some of the contexts in which possible worlds semantics succeeds or fails to illuminate philosophical problems, the book makes a welcome addition to the literature on possible worlds. I strongly recommend this book to anybody interested in the rich topic of modality." – Julia Weingaertner, Federal University of Santa Catarina "An excellent, nontechnical introduction to the fascinating issues concerning possible worlds and their applications in philosophy and logic. Girle patiently lays out the issues in ways that do not require prior familiarity with logic, and so provides an ideal entrypoint for less technicallyminded philosophers and philosophy students." – Mark Colyvan, University of Sydney
很有意思的一本书，最主要是本深入浅出的逻辑进阶教材。如果对条件句感兴趣，想对D. Lewis,
Stalnaker等人的专著有多点了解，那就可以从这里入手。


 Paperback: 408 pages
 Publisher: Oxford University Press, USA (October 9, 1997)
 Language: English
 ISBN10: 0198751427
 ISBN13: 9780198751427
"This textbook covers the fundamental prooftheoretical and modeltheoretical aspects of classical propositional and firstorder logic. . . .The book is clearly written and ideally suited for an intermediate course on the subject, requiring just some elementary knowledge of proof theory and model theory." —Mathematical Reviews
早先的版本不是这个封面。解释得很详细。


 Paperback: 412 pages
 Publisher: Cambridge University Press (August 22, 2005)
 Language: English
 ISBN10: 0521019028
 ISBN13: 9780521019026
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of firstorder logic, based on the principle that manysorted logic (MSL) provides a unifying framework in which to place, for example, secondorder logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theoremprover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed stepbystep proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for selfteaching or for firstyear graduate courses.
早先的版本是精装的。有趣的是作者说这本书是像小说那样构思的，有情节有高潮。


 Paperback: 304 pages
 Publisher: Routledge; 2 edition (March 23, 2003)
 Language: English
 ISBN10: 0415283698
 ISBN13: 9780415283694
Review
‘Undergraduates will find the book useful as a resource. It covers a lot of ground mentioning most of the issues and positions that need to be addressed in a course on conditionals over the years. This is a good place to learn about conditionals or to have one’s ideas about them challenged.’ – Notre Dame Journal of Formal Logic
‘A useful starting point for a course on conditionals. The introductions to the issues are clear and wellillustrated with examples.’ – Dialogue
早先的两个版本封面也不一样，03年出了修订版。可读性很强。

Like this:
Like Loading...
Related
Posted in semantics  Leave a Comment
Leave a Reply