Introduction to logic

L.T.F. Gamut

Although the two volumes of "Logic, Language, and Meaning" can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, "Introduction to Logic," begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained.

「Nielsen BookData」より

Although the two volumes of "Logic, Language, and Meaning" can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, "Introduction to Logic," begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained.

「Nielsen BookData」より

この本の情報

書名 Introduction to logic
著作者等 Gamut, L. T. F.
Morreau M.
Greiner B.
書名別名 Inleiding in de logica
シリーズ名 Logic, language, and meaning
出版元 University of Chicago Press
刊行年月 1991
版表示 New ed
ページ数 xiv, 282 p.
大きさ 24 cm
ISBN 0226280845
9780226280851
NCID BA11619395
※クリックでCiNii Booksを表示
言語 英語
原文言語 オランダ語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想