دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Sergei P. Odintsov سری: Trends in Logic 26 ISBN (شابک) : 0792344103 ناشر: Springer سال نشر: 2008 تعداد صفحات: 239 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
کلمات کلیدی مربوط به کتاب نفی های سازنده و پاراسازگاری: منطق، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Constructive Negations and Paraconsistency به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نفی های سازنده و پاراسازگاری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب تحقیقات اخیر نویسنده را در مورد دو مفهوم اصلی نفی
توسعه یافته در منطق سازنده ارائه می دهد: نفی به عنوان
کاهش پوچی (L.E.J. Brouwer) و نفی قوی (D.
Nelson) در چارچوب منطق پاراسازگار مورد مطالعه قرار می
گیرد.
منطق های پاراسازگار آنهایی هستند که نظریه های ناسازگار اما
غیر پیش پا افتاده را می پذیرند، یعنی منطق هایی که امکان
استنتاج در موارد غیر همسو را فراهم می کنند. مد پیش پا افتاده
از مجموعه ای از فرضیه های متناقض. منطق هایی که در آنها همه
نظریه های ناسازگار بی اهمیت هستند انفجار نامیده می
شوند. در منطق شهودی Li، نفی به عنوان کاهش به
پوچی تعریف می شود. مفهوم نفی قوی در منطق نلسون
N3 تحقق می یابد. هر دو منطق انفجاری هستند و
دارای آنالوگ های ناسازگار هستند: منطق جوهانسون
Lj و منطق ناسازگار نلسون
N4. نشان داده خواهد شد که امتناع از اصل
انفجار "تضاد دلالت بر همه چیز دارد" به کاهش قدرت بیان یک منطق
منجر نمی شود. برای درک اینکه کدام احتمالات جدید بیانی دارای
منطق Lj و N4 در مقایسه با
منطق های انفجاری Li و N3
هستند. ، شبکه های پسوندهای منطق Lj و
N4 را مطالعه می کنیم. این اولین موردی است که
شبکههای منطقهای ناسازگار به طور سیستماتیک بررسی میشوند.
این مطالعه مبتنی بر روشهای جبری است، منظم بودن و شباهت قابل
توجه ساختارهای هر دو شبکه منطق را نشان میدهد و اطلاعات اساسی
در مورد ماهیت ناسازگار منطقها Lj و
N4 ارائه میدهد. .
روشهای توسعهیافته در این کتاب را میتوان برای بررسی سایر
کلاسهای منطقهای ناسازگار به کار برد.
This book presents the author’s recent investigations of the
two main concepts of negation developed in the constructive
logic: the negation as reduction to absurdity
(L.E.J. Brouwer) and the strong negation (D. Nelson)
are studied in the setting of paraconsistent logic.
The paraconsistent logics are those, which admit inconsistent
but non-trivial theories, i.e., the logics which allow making
inferences in non-trivial fashion from an inconsistent set of
hypotheses. Logics in which all inconsistent theories are
trivial are called explosive. In the intuitionistic
logic Li, the negation is defined as
reduction to absurdity. The concept of strong negation is
realized in the Nelson logic N3. Both logics
are explosive and have paraconsistent analogs: Johansson’s
logic Lj and paraconsistent Nelson’s logic
N4. It will be shown that refusing the
explosion axiom "contradiction implies everything" does not
lead to decrease of the expressive power of a logic. To
understand, which new expressive possibilities have the
logics Lj and N4 as
compared to the explosive logics Li and
N3, we study the lattices of extensions of
the logics Lj and N4. This
is the first case when lattices of paraconsistent logics are
systematically investigated. The study is based on algebraic
methods, demonstrates the remarkable regularity and the
similarity of structures of both lattices of logics, and
gives essential information on the paraconsistent nature of
logics Lj and N4.
The methods developed in this book can be applied for
investigation of other classes of paraconsistent logics.
Content: I Action --
On action and agency --
Delta logic and Brown\'s logic of ability --
Action and deontology --
Prima facie oughtness vs. oughtness all things considered in deontic logic: a Chisholmian approach --
Wise choice: on dynamic decision-making without independence --
II Belief Change --
Closure-invariant rationality postulates --
All Other things being equal: On a notion of inertia in conditional logic --
Drawing inferences from conditionals --
III Cognition --
Situations, truth and knowability: a situation-theoretic analysis of a paradox by Fitch --
Assigning information to modalities: comparing graphical treatments of the syllogism --
Notes on the contributors --
Index of names.