https://www.islamical.org/w/index.php?action=history&feed=atom&title=%D8%A7%D9%84%DA%AF%D9%88%3A%D9%85%D9%86%D8%B7%D9%82 2026-06-06T19:19:12Z تاریخچهٔ نسخه‌ها برای این صفحه در ویکی MediaWiki 1.41.1 https://www.islamical.org/w/index.php?title=%D8%A7%D9%84%DA%AF%D9%88:%D9%85%D9%86%D8%B7%D9%82&diff=78028&oldid=prev 2024-03-21T13:55:20Z

<p>صفحه‌ای تازه حاوی «{{Navbox |bodyclass=hlist |name = منطق |state = {{{state|collapsed}}} |title = <a href="/fa/%D9%85%D9%86%D8%B7%D9%82" title="منطق">علم منطق</a> |liststyle = line-height:1.4em; |group1 = تاریخ |list1 = ** <a href="/w/index.php?title=%D8%AA%D8%A7%D8%B1%DB%8C%D8%AE_%D9%85%D9%86%D8%B7%D9%82&amp;action=edit&amp;redlink=1" class="new" title="تاریخ منطق (صفحه وجود ندارد)">عمومی</a> * <a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D9%85%D9%86%D8%B7%D9%82_%D8%AF%D8%B1_%DA%86%DB%8C%D9%86&amp;action=edit&amp;redlink=1" class="new" title="علم منطق در چین (صفحه وجود ندارد)">چینی</a> * <a href="/w/index.php?title=%D8%B9%D9%84%D9%85_%D9%85%D9%86%D8%B7%D9%82_%D8%AF%D8%B1_%DB%8C%D9%88%D9%86%D8%A7%D9%86&amp;action=edit&amp;redlink=1" class="new" title="علم منطق در یونان (صفحه وجود ندارد)">یونانی</a> * <a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D9%87%D9%86%D8%AF%DB%8C&amp;action=edit&amp;redlink=1" class="new" title="منطق هندی (صفحه وجود ندارد)">هندی</a> * <a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D8%AF%D8%B1_%D9%81%D9%84%D8%B3%D9%81%D9%87_%D8%A7%D8%B3%D9%84%D8%A7%D9%85%DB%8C&amp;action=edit&amp;redlink=1" class="new" title="منطق در فلسفه اسلامی (صفحه وجود ندارد)">اسلامی</a> |group2 = مقالات اصلی |list2...» ایجاد کرد</p> <p><b>صفحهٔ تازه</b></p><div>{{Navbox<br /> |bodyclass=hlist<br /> |name = منطق<br /> |state = {{{state|collapsed}}}<br /> |title = [[منطق|علم منطق]]<br /> |liststyle = line-height:1.4em;<br /> <br /> |group1 = تاریخ<br /> |list1 =<br /> ** [[تاریخ منطق|عمومی]]<br /> * [[علم منطق در چین|چینی]]<br /> * [[علم منطق در یونان|یونانی]]<br /> * [[منطق هندی|هندی]]<br /> * [[منطق در فلسفه اسلامی|اسلامی]]<br /> <br /> |group2 = مقالات اصلی<br /> |list2 =<br /> ** [[خرد_(عقل)|خرد]]<br /> * [[منطق فلسفی]]<br /> * [[فلسفه منطق]]<br /> * [[منطق ریاضی]]<br /> * [[فرامنطق]]<br /> * [[زبرمنطق|زبَر-منطق]]<br /> * [[منطق در علوم رایانه]]<br /> <br /> |group3 = مفاهیم منطق<br /> |list3 =<br /> ** {{Navbox<br /> |bodyclass=hlist|child<br /> |groupstyle = width:9em; line-height:1.6em;<br /> |liststyle = line-height:1.4em;<br /> <br /> |group1 = [[استدلالی]]<br /> |list1 =<br /> ** [[استدلال استنتاجی|قیاسی]]<br /> * [[استقراء|استقرائی]]<br /> * [[استدلال معکوس|معکوس]]<br /> <br /> |group2 = [[منطق محتواگرا|محتواگرا]]<br /> |list2 =<br /> ** [[گزاره (منطق)|گزاره]]<br /> * [[استدلال|استنتاج]]<br /> * [[برهان (منطق)|برهان]]<br /> * [[اعتبارمندی]]<br /> * [[اصل قانع‌کنندگی|قانع‌کنندگی]]<br /> * [[منطق ترم]]<br /> * [[تفکر نقادانه]]<br /> * [[مغالطه]]<br /> * [[قیاس]]<br /> * [[نظریه برهان‌آوری|نظریهٔ برهان‌آوری]]<br /> <br /> |group3 = [[منطق ریاضی|ریاضی]]<br /> |list3 =<br /> ** [[عبارت (منطق ریاضی)|عبارت]]<br /> * [[عبارت خوش‌ساخت]]<br /> * [[مجموعه (ریاضی)|مجموعه]]<br /> * [[عنصر (ریاضی)|عنصر]]<br /> * [[رده (نظریه مجموعه)|رده]]<br /> * [[اصل (منطق)|اصل موضوع]]<br /> * [[قضیه]]<br /> * [[برهان (ریاضی)|برهان]]<br /> * [[تعبیرات (منطق)|تعبیرات]]<br /> * [[برهان سازگاری|سازگاری]]<br /> * [[درستی (منطق)|درستی]]<br /> * [[کاملیت]]<br /> * [[تصمیم‌پذیری]]<br /> * [[پرسمان انجام‌پذیری بولی|انجام‌پذیری]]<br /> * [[استقلال (منطق ریاضی)|استقلال]]<br /> * [[زبان صوری]]<br /> * [[دستگاه صوری]]<br /> * [[دستگاه قیاسی]]<br /> * [[نظریه مجموعه‌ها|نظریهٔ مجموعه]]<br /> * [[نظریه برهان|نظریهٔ برهان]]<br /> * [[نظریه مدل|نظریهٔ مدل]]<br /> * [[نظریه بازگشتی|نظریهٔ بازگشتی]]<br /> * [[نظریه نوع‌ها|نظریهٔ انواع]]<br /> * [[نحو (منطق)|نحو]]<br /> * [[معناشناسی منطق|معناشناسی]]<br /> * [[دنباله معنایی]]<br /> * [[دنباله نحوی]]<br /> <br /> |group4 = [[حساب گزاره‌ای|گزاره‌ای]]<br /> |list4 =<br /> ** [[تابع بولی|توابع بولی]]<br /> * [[حساب مسندات تکین]]<br /> * [[حساب گزاره‌ای]]<br /> * [[رابط‌های منطقی|ادات منطقی]]<br /> * [[جدول ارزش]]<br /> <br /> |group5 = [[منطق مسند|محمولات]]<br /> |list5 =<br /> ** [[منطق مسند|منطق دسته یکم]]<br /> * [[نظریه تسویر|سورها]]<br /> * [[منطق دسته دوم]]<br /> <br /> |group6 = [[منطق موجهات|موجهات]]<br /> |list6 =<br /> ** [[منطق فرایض اخلاقی|تکلیفی]]<br /> * [[منطق شناختی|شناختی]]<br /> * [[منطق زمانمند|زمانمند]]<br /> * [[منطق اعتقادی|اعتقادی]]<br /> <br /> |group7 = {{nobold|غیر[[منطق کلاسیک|کلاسیک]]‌های دیگر}}<br /> |list7 =<br /> * [[منطق محاسبه‌پذیری|محاسبه‌پذیری]]<br /> * [[منطق فازی|فازی]]<br /> * [[منطق خطی|خطی]]<br /> * [[منطق ربط|ربط]]<br /> * [[منطق نایک‌نوا|نایک‌نوا]]<br /> }}<br /> <br /> |group4 = مجادله‌ها<br /> |list4 =<br /> ** [[منطق ناهماهنگی‌پذیر|ناهماهنگی‌پذیری]]<br /> * [[دودرستی|دودُرُستی]]<br /> * [[منطق شهودگرایانه]]<br /> * [[پارادوکس|متناقض‌نماها]]<br /> * [[خلاف‌آمد]]ها<br /> * [[تجربی بودن منطق]]<br /> <br /> |group5 = افراد اصلی<br /> |list5 =<br /> <br /> * [[ابن النفیس]]<br /> * [[ابن تیمیه]]<br /> * [[ابن حزم]]<br /> * [[ابن رشد]]<br /> * [[ابن سینا]]<br /> * [[ارسطو]]<br /> * [[برتراند راسل]]<br /> * [[ثورالف اسکولم|اسکولم]]<br /> * [[جرج بول|بول]]<br /> * [[جوزپه پئانو|پئانو]]<br /> * [[هیلاری پاتنم|پاتنم]]<br /> * [[پانینی]]<br /> * [[پولس ایرانی]]<br /> * [[چارل پیرس|پیرس]]<br /> * [[آلفرد تارسکی|تارسکی]]<br /> * [[آلن تورینگ|تورینگ]]<br /> * [[آلونزو چرچ|چرچ]]<br /> * [[دارماکیرتی]]<br /> * [[دیگناگه]]<br /> * [[شهاب‌الدین یحیی سهروردی]]<br /> * [[غزالی]]<br /> * [[فارابی]]<br /> * [[فخر رازی]]<br /> * [[گوتلوب فرگه|فرگِه]]<br /> * [[رودلف کارناپ|کارناپ]]<br /> * [[کانادا (منطق‌دان)|کانادا]]<br /> * [[گئورگ کانتور|کانتور]]<br /> * [[شاول کریپکه|کریپکه]]<br /> * [[ابویوسف کندی|کِنْدی]]<br /> * [[ویلارد کواین|کواین]]<br /> * [[گرهارد گنتزن|گنتزن]]<br /> * [[نیایه سوترا|گوتاما]]<br /> * [[کورت گودل|گودل]]<br /> * [[لطفی زاده]]<br /> * [[موتزی]]<br /> * [[ناگارجونه]]<br /> * [[داویت هیلبرت|هیلبرت]]<br /> * [[آلفرد نورث وایت‌هد|وایت‌هد]]<br /> <br /> |group6 = فهرست‌ها<br /> |list6 =<br /> ** [[فهرست منطقدانان|منطق‌دانان]]<br /> * [[فهرست قواعد استنتاج|قواعد استنتاج]]<br /> * [[فهرست پارادوکس‌ها|متناقض‌نماها]]<br /> * [[فهرست مغالطه‌ها|سفسطه‌ها]]<br /> * [[فهرست موضوعات علم منطق|عمومی]]<br /> * [[جدول نمادهای علم منطق|جدول نمادها]]<br /> <br /> |below =<br /> * [[:رده:منطق|رده]]<br /> * [[:رده:مقاله‌های خرد منطق|نوشتارهای ناتمام]]<br /> * [[:رده:مقاله‌های خرد منطق ریاضی|نوشتارهای ناتمام منطق ریاضی]]<br /> }}&lt;noinclude&gt;<br /> <br /> == برابرها ==<br /> * اثبات یا برهان Proof<br /> * استدلال قیاسی، استدلال استنتاجی Deductive reasoning<br /> * استدلال معکوس Abductive reasoning<br /> * استقرائی Inductive<br /> * استقلال Independence<br /> * استنتاج Inference<br /> * اعتبارمندی Validity<br /> * انجام‌پذیری Satisfiability<br /> * اندیشه انتقادی Critical thinking<br /> * برهان سازگاری Consistency proof<br /> * برهان، سرشناسه Argument<br /> * بنداشت، اصل Axiom<br /> * تجربی بودن منطق Is logic empirical?<br /> * تسویر، سورها، کمیت‌سنج‌ها، چندایابی، چنداسنجی Quantification<br /> * تصمیم‌پذیری Decidability<br /> * تعبیرات Interpretation<br /> * جدول ارزش Truth table<br /> * حساب گزاره‌ای Propositional calculus<br /> * حساب مسندات تکین (مونادی) Monadic predicate calculus<br /> * خرد Reason<br /> * خلاف‌آمد، قضیهٔ جدلی‌الطرفین Antinomy<br /> * درستی Soundness<br /> * دستگاه صوری Formal system<br /> * دستگاه قیاسی Deductive system<br /> * دنباله معنایی Semantic consequence<br /> * دنباله نحوی Syntactic consequence<br /> * دودرستی Dialetheism<br /> * رابط منطقی، عملگر ارتباط منطقی، ادات منطقی (ادات=connective)&lt;ref&gt;{{یادکرد|کتاب=منطق ریاضی|نویسنده=[[محمد اردشیر]]|ناشر=[[انتشارات هرمس]] با همکاری [[مرکز بین‌المللی گفتگوی تمدن‌ها]]|سال=۱۳۸۳|شابک=964-363-229-6}}&lt;/ref&gt; Logical connective<br /> * رده Class<br /> * زبان صوری Formal language<br /> * زبر-منطق Metalogic<br /> * سفسطه، مغالطه Fallacy<br /> * عبارت Formula<br /> * عبارت خوش‌ساخت Well-formed formula<br /> * عنصر Element<br /> * قانع‌کنندگی، باورانندگی، استواری، محتمل‌نمایی (خ) Cogency<br /> * قضیه Theorem<br /> * قواعد استنباط Rules of inference<br /> *کاملیت Completeness<br /> * گزاره Proposition<br /> * متناقض‌نما Paradox<br /> * معناشناسی منطق Semantics of logic<br /> * منطق اعتقادی Doxastic logic<br /> * منطق ترم Term logic<br /> * منطق خطی Linear logic<br /> * منطق دستهٔ دوم Second-order logic<br /> * منطق دستهٔ یکم First-order logic<br /> * منطق ربط Relevance logic&lt;ref&gt;[http://dbase.irandoc.ac.ir/00645/00645634.htm]&lt;/ref&gt;<br /> * منطق زمانمند Temporal logic<br /> * منطق شناختی Epistemic logic<br /> * منطق شهودگرایانه&lt;ref&gt;{{یادکرد|کتاب=منطق ریاضی|نویسنده=[[محمد اردشیر]]|ناشر=[[انتشارات هرمس]] با همکاری [[مرکز بین‌المللی گفتگوی تمدن‌ها]]|سال=۱۳۸۳|شابک=964-363-229-6}}&lt;/ref&gt; Intuitionistic logic<br /> * منطق فازی Fuzzy logic<br /> * منطق فرایض اخلاقی، منطق تکلیفی Deontic logic<br /> * منطق گزاره‌ای، منطق کامل Propositional logic<br /> * منطق محاسبه‌پذیری Computability logic<br /> * منطق محتواگرا Informal logic<br /> * منطق مُسندی، منطق محمولات Predicate logic<br /> * منطق ناهماهنگی‌پذیر Paraconsistent logic<br /> * منطق نایک‌نوا Non-monotonic logic<br /> * منطق وضعی، منطق موجهات یا وجه‌نما Modal logic<br /> * نحو Syntax<br /> * نظریه اثبات یا نظریه برهان Proof theory<br /> * نظریه انواع Type theory<br /> * نظریه بازگشتی Recursion theory<br /> * نظریه برهان‌آوری Argumentation theory<br /> * نظریه مجموعه Set theory<br /> * نظریه مدل Model theory<br /> * Alfred North Whitehead<br /> * Alfred Tarski<br /> * Alonzo Church<br /> * Bertrand Russell<br /> * Charles Peirce<br /> * David Hilbert<br /> * Dharmakirti<br /> * Dignāga<br /> * Georg Cantor<br /> * George Boole<br /> * Gerhard Gentzen<br /> * Giuseppe Peano<br /> * Gottlob Frege<br /> * Hilary Putnam<br /> * Kanada<br /> * Kurt Gödel<br /> * Mozi<br /> * Nyāya Sūtras<br /> * Pāṇini<br /> * Rudolf Carnap<br /> * Thoralf Skolem<br /> * Willard Van Orman Quine<br /> <br /> == منابع برابرهای فارسی ==<br /> {{پانویس}}<br /> * پاول پارسی (۱۳۹۵)؛ گویایی ارستو؛ پیرایش دست‌نوشتهای سوریگ[=سُریانی] و عربی و گردانش آنها به انگلیسی و پارسیگ[=پهلوی] به همراه پانوشتهای سنجشگرانه: رَهام اشه؛ پارسی‌گردان: بزرگمهر لقمان؛ تهران: نشر شورآفرین.<br /> * آشوری، داریوش، فرهنگ علوم انسانی، تهران: نشر مرکز، ۱۳۷۴.<br /> * http://berke-falsafe.de/archives/movahed_frege.htm<br /> * http://mind.moflog.com/archives/1385/06/<br /> * http://www.src.ac.ir/dic2.htm?farsi=&amp;latin=Consistency<br /> <br /> [[رده:الگو:منطق|{{PAGENAME}}]]<br /> <br /> &lt;/noinclude&gt;</div>

Shahroudi