توضیحاتی در مورد کتاب :
در The Connectives، لوید هامبرستون معناشناسی و عملشناسی پیوندهای جملات زبان طبیعی را بررسی میکند (و، یا، اگر، نه)، توجه ویژهای به رفتار رسمی آنها با توجه به سیستمهای منطقی پیشنهادی و درجهای که چنین رفتارهایی معانی شهودی آنها را دریافت میکنند، میکند. این یک منبع ضروری برای فیلسوفان، ریاضیدانان، دانشمندان کامپیوتر، زبان شناسان، یا هر محققی خواهد بود که پیوندها، و مسائل مفهومی پیرامون آنها را می یابد تا منبع مورد علاقه باشد. مانند کارکرد حقیقت و مشخص کردن منحصر به فرد توسط قواعد، و اطلاعات مربوط به اتصالات خاص (شامل ربط و منفصل)، با توجه به ویژگی های کاربردی و معنایی آنها در زبان طبیعی و همچنین تلاش های مختلف برای شبیه سازی دومی در زبان های رسمی سیستم های مختلف منطق گزاره ای فصلها به بخشهایی تقسیم میشوند و هر بخش با یادداشتها و ارجاعاتی برای مطالبی که در آن بخش پوشش داده میشود، به پایان میرسد. اگر یک بخش موضوعات متعددی را جداگانه پوشش دهد، یادداشتها و مراجع به بخشهایی تقسیم میشوند که هر یک عنوان نشاندهنده موضوع خاص خود را دارد. زمانی که موضوعات به تفصیل پوشش داده نمیشوند، اما به موضوعات مورد بحث مرتبط هستند، یادداشتها و ارجاعات اشارههایی به ادبیات ارائه میدهند. خوانندگان ممکن است مفید بدانند که در یک موضوع مورد علاقه مرور کنند و سپس ارجاعات درون آن را به جلو و عقب در مورد موضوع مورد نظر یا منابع گسترده خارج از آن دنبال کنند.
فهرست مطالب :
Cover
......Page 1
Contents......Page 8
Preface and Navigation Guide......Page 14
0 Preliminaries......Page 20
1 Elements of Sentential Logic......Page 66
2 A Survey of Sentential Logic......Page 214
3 Connectives: Truth-Functional, Extensional, Congruential......Page 394
4 Existence and Uniqueness of Connectives......Page 530
5 “And”......Page 650
6 “Or”......Page 786
7 “If”......Page 944
8 “Not”......Page 1182
9 Universally Representative and Special Connectives......Page 1306
References......Page 1356
Index......Page 1459
توضیحاتی در مورد کتاب به زبان اصلی :
In The Connectives, Lloyd Humberstone examines the semantics and pragmatics of natural language sentence connectives (and, or, if, not), giving special attention to their formal behavior according to proposed logical systems and the degree to which such treatments capture their intuitive meanings. It will be an essential resource for philosophers, mathematicians, computer scientists, linguists, or any scholar who finds connectives, and the conceptual issues surrounding them, to be a source of interest.This landmark work offers both general material on sentence connectives in formal logic, such as truth-functionality and unique characterization by rules, and information on specific connectives (including conjunction and disjunction), considering their pragmatic and semantic properties in natural language as well as various attempts to simulate the latter in the formal languages of different systems of propositional logic. Chapters are divided into sections, and each section ends with notes and references for material covered in that section. If a section covers numerous topics separately, the notes and references are divided into parts, each with its own topic-indicating heading. When topics are not covered in detail but are relevant to matters under discussion, the notes and references provide pointers to the literature. Readers may find it useful to browse through a topic of interest and then follow the references within it forward and backward on the topic in question, or those to the extensive literature outside it.