Archive for June, 2012


Possible Worlds

Product Details

  • Paperback: 224 pages
  • Publisher: McGill-Queen’s University Press (August 1, 2003)
  • Language: English
  • ISBN-10: 0773526684
  • ISBN-13: 978-0773526686

"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, non-technical 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 entry-point for less technically-minded philosophers and philosophy students." – Mark Colyvan, University of Sydney

很有意思的一本书,最主要是本深入浅出的逻辑进阶教材。如果对条件句感兴趣,想对D. Lewis,




  • Paperback: 408 pages
  • Publisher: Oxford University Press, USA (October 9, 1997)
  • Language: English
  • ISBN-10: 0198751427
  • ISBN-13: 978-0198751427

    "This textbook covers the fundamental proof-theoretical and model-theoretical aspects of classical propositional and first-order 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
  • ISBN-10: 0521019028
  • ISBN-13: 978-0521019026

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover 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 step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.



  • Paperback: 304 pages
  • Publisher: Routledge; 2 edition (March 23, 2003)
  • Language: English
  • ISBN-10: 0415283698
  • ISBN-13: 978-0415283694



‘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 well-illustrated with examples.’Dialogue



Read Full Post »

Looking for a publisher.


Technorati 标签:
Technorati 标签: 语义学 semantics


《形式语义学中级教程》(Formal Semantics: an Intermediate Coursebook) (in progress, 50000 characters completed, targeted length: 300,000 characters), [Looking for a publisher].


Aiming to be newer, containing more topics, with more philosophical discussions, more references, building on the previous book 《形式语义学引论》(1998/2005) in the sense that some technical demonstrations are cross-referred to there, but still the new book will try to be self-contained. Aiming at being more advanced, what is talked at length in the former book is summarized here and what is not mentioned is given detailed treatments here.

I wish the book will absorb the merits of all the textbooks and handbooks available, and I have been reading them one after the other.


What is still missing in Kearns’ textbook, for example: plurals, questions, adverbs of quantification, model theory, pronouns, groups, algebraic semantics: lattices, formal treatments of context, and indexicals.


What is worth incorporating are discussions on Semantic minimalism, indexicals,


Exercises and answers


If a publisher wishes to charge for getting the book published, then please do not contact me. The society’s division of labour should be that you do the publishing while I do the writing.


Now have fun!

Read Full Post »