توضیحات
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. We provide theorems about the system we developed, such as unique readability and the Lindenbaum lemma. We also discuss the meta-theory for the system, and provide several results there, including proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.
————————————————————–
ترجمه ماشینی :
اغلب گفته می شود که وقتی منطقی استدلال می کنند، خوب استدلال می کنند. تلاشهای زیادی برای بیان اینکه استدلال منطقی چیست پیشنهاد شده است، اما یکی از سیستمهای پیشنهادی معمول، منطق کلاسیک درجه اول است. این عنصر اصول اولیه منطق کلاسیک مرتبه اول را بررسی می کند و برخی از مسائل فلسفی اطراف را مورد بحث قرار می دهد. نیمه اول عنصر یک زبان برای سیستم و همچنین یک نظریه اثبات و نظریه مدل ایجاد می کند. ما قضایایی در مورد سیستمی که توسعه دادهایم، مانند خوانایی منحصربهفرد و لم Lindenbaum ارائه میکنیم. ما همچنین در مورد متا تئوری سیستم بحث می کنیم
tag : دانلود کتاب منطق کلاسیک مرتبه اول , Download منطق کلاسیک مرتبه اول , دانلود منطق کلاسیک مرتبه اول , Download Classical First-Order Logic Book , منطق کلاسیک مرتبه اول دانلود , buy منطق کلاسیک مرتبه اول , خرید کتاب منطق کلاسیک مرتبه اول , دانلود کتاب Classical First-Order Logic , کتاب Classical First-Order Logic , دانلود Classical First-Order Logic , خرید Classical First-Order Logic , خرید کتاب Classical First-Order Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.