ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Multiple-conclusion logic

دانلود کتاب منطق چند نتیجه گیری

Multiple-conclusion logic

مشخصات کتاب

Multiple-conclusion logic

دسته بندی: منطق
ویرایش:  
نویسندگان: ,   
سری:  
ISBN (شابک) : 0521217652, 9780521217651 
ناشر: CUP 
سال نشر: 1980 
تعداد صفحات: 411 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 58,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Multiple-conclusion logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق چند نتیجه گیری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق چند نتیجه گیری

منطق چند نتیجه‌گیری با اجازه دادن به استدلال‌ها برای داشتن مجموعه‌ای از نتیجه‌گیری‌ها به جای یک نتیجه واحد، منطق رسمی را گسترش می‌دهد، اگر همه مقدمات درست باشند، حقیقت جایی در میان نتیجه‌گیری‌ها نهفته است. این افزونه بر اساس تقارن بین مقدمات و نتیجه‌گیری، احتمالات جالبی را باز می‌کند، و همچنین می‌تواند برای پرتاب کردن نور تازه‌ای به منطق مرسوم و محدودیت‌های آن استفاده شود. این یک مطالعه پایدار در مورد موضوع است و مطمئناً تحقیقات بیشتری را تحریک خواهد کرد. بخش اول ایده‌های اساسی منطق را برای در نظر گرفتن چند نتیجه‌گیری بازنگری می‌کند و به بررسی ارتباط بین محاسبات چند نتیجه‌گیری و تک نتیجه‌گیری می‌پردازد. بخش دوم از نظریه گراف استفاده می کند تا شکل و اعتبار استدلال ها را مستقل از سیستم های منطقی خاص مورد بحث قرار دهد. بخش سوم با استفاده از منطق چند ارزشی به عنوان مثال، برخورد چندگانه - و منفرد - را با یک موضوع مشابه مقایسه می کند. و قسمت IV نشان می دهد که چگونه روش های «استنتاج طبیعی» را می توان با اثبات های مستقیم با استفاده از نتیجه گیری های متعدد مطابقت داد.


توضیحاتی درمورد کتاب به خارجی

Multiple-conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere among the conclusions if all the premises are true. The extension opens up interesting possibilities based on the symmetry between premises and conclusions, and can also be used to throw fresh light on the conventional logic and its limitations. This is a sustained study of the subject and is certain to stimulate further research. Part I reworks the fundamental ideas of logic to take account of multiple conclusions, and investigates the connections between multiple - and single - conclusion calculi. Part II draws on graph theory to discuss the form and validity of arguments independently of particular logical systems. Part III contrasts the multiple - and the single - conclusion treatment of one and the same subject, using many-valued logic as the example; and Part IV shows how the methods of 'natural deduction' can be matched by direct proofs using multiple conclusions.



فهرست مطالب

Cover......Page 1
Multiple-conclusion Logic......Page 4
0521093325......Page 5
Contents......Page 6
Preface......Page 10
Introduction......Page 16
PART I . MULTIPLE AND SINGLE CONCLUSIONS......Page 24
1.1 Consequence\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 26
1.2 Rules of inference\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 36
1.3 Sequence proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 40
2.1 Consequence\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 43
2.2 Compactness\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 51
2.3 Rules of inference\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 54
3.1 Definition\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 57
3.2 Extended proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 62
3.3 Adequacy\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 66
4.1 Multiple-conclusion calculi\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 72
4.2 Single-conclusion calculi\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 77
4.3 Decidability\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 84
5.1 The range of counterparts\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 87
5.2 Compactness\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 90
5.3 Axiomatisability\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 95
5.4 Sign\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 97
5.5 Disjunction\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 105
6.1 Infinite rules and proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 110
6.2 Marking of theorems\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 113
PART II. GRAPH PROOFS......Page 118
7.1 Arguments\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 120
7.2 Graphs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 123
7.3 Premisses and conclusions\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 126
7.4 Validity and form\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 129
7.5 Subproofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 138
7.6 Symmetry\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 144
8.1 Developments\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 148
8.2 Validity\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 152
8.3 Inadequacy\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 155
9.1 Junction and election\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 163
9.2 Cross-referenced Kneale proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 169
9.3 Cross-referenced circuits\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 173
9.4 Other non-abstract proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 178
10.1 Cornered-circuit proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 182
10.2 Conciseness\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 189
10.3 Relevance\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 196
10.4 Articulated tree proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 202
10.5 Abstract proofs in general\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 205
11.1 Single-conclusion arguments\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 209
11.2 Proofs with circuits or corners\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 213
11.3 Articulated sequence proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 217
11.4 Hilbert proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 221
12.1 Infinite arguments\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 227
12.2 Kneale proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 234
12.3 Cornered-circuit proofs\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 247
12.4 Marking of theorems\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 251
PART III. MANY-VALUED LOGIC......Page 258
13.1 Definitions\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 260
13.2 Examples\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 262
13.3 Compactness\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 266
14.1 Matrix functions\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 271
14.2 Separability\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 273
14.3 Equivalence\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 277
14.4 Monadicity\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 280
15.1 Cancellation\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 285
15.2 Compact calculi\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 288
15.3 Stability\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 292
16.1 Many-valued counterparts\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 298
16.2 Principal matrices\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 308
17.1 Multiple-conclusion calculi\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 312
17.2 Examples\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 317
17.3 Single-conclusion calculi\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 321
18.1 Axiomatisation\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 327
18.2 Duality\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 329
18.3 Counterparts\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 331
19.1 Finite axiomatisation\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 340
19.2 Monadic matrices\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 341
19.3 Examples\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 345
19.4 Limitations\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 349
19.5 The general case\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 352
19.6 Further examples\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 356
19.7 Single-conclusion calculi\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 362
19.8 Rosser and Turquette\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 370
PART IV. NATURAL DEDUCTION......Page 374
20.1 Proof by cases\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 376
20.2 Classical predicate calculus\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 381
20.3 Intuitionist propositional calculus\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 389
Bibliography\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0......Page 401
Index\0\0\0\0\0\0\0\0\0\0\0\0......Page 405




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی