|
مسابقه دانشدخت |
| اسلامیکال از تاریخ ۱۵ دی تا ۲۰ بهمن، میزبان یک همایه با موضوع زنان است. شما میتوانید در مسابقه مقالهنویسی دانشدخت، شرکت کنید و با نگارش مقاله، از جوایز آن بهرهمند باشید. اگر به موضوعات مربوط با زنان علاقهمندید، این فرصت را از دست ندهید. فهرستی از مقالات پیشنهادی جهت ایجاد یا ویرایش در اینجا وجود دارد. |
الگو:منطق
برابرها
- اثبات یا برهان Proof
- استدلال قیاسی، استدلال استنتاجی Deductive reasoning
- استدلال معکوس Abductive reasoning
- استقرائی Inductive
- استقلال Independence
- استنتاج Inference
- اعتبارمندی Validity
- انجامپذیری Satisfiability
- اندیشه انتقادی Critical thinking
- برهان سازگاری Consistency proof
- برهان، سرشناسه Argument
- بنداشت، اصل Axiom
- تجربی بودن منطق Is logic empirical?
- تسویر، سورها، کمیتسنجها، چندایابی، چنداسنجی Quantification
- تصمیمپذیری Decidability
- تعبیرات Interpretation
- جدول ارزش Truth table
- حساب گزارهای Propositional calculus
- حساب مسندات تکین (مونادی) Monadic predicate calculus
- خرد Reason
- خلافآمد، قضیهٔ جدلیالطرفین Antinomy
- درستی Soundness
- دستگاه صوری Formal system
- دستگاه قیاسی Deductive system
- دنباله معنایی Semantic consequence
- دنباله نحوی Syntactic consequence
- دودرستی Dialetheism
- رابط منطقی، عملگر ارتباط منطقی، ادات منطقی (ادات=connective)[۱] Logical connective
- رده Class
- زبان صوری Formal language
- زبر-منطق Metalogic
- سفسطه، مغالطه Fallacy
- عبارت Formula
- عبارت خوشساخت Well-formed formula
- عنصر Element
- قانعکنندگی، باورانندگی، استواری، محتملنمایی (خ) Cogency
- قضیه Theorem
- قواعد استنباط Rules of inference
- کاملیت Completeness
- گزاره Proposition
- متناقضنما Paradox
- معناشناسی منطق Semantics of logic
- منطق اعتقادی Doxastic logic
- منطق ترم Term logic
- منطق خطی Linear logic
- منطق دستهٔ دوم Second-order logic
- منطق دستهٔ یکم First-order logic
- منطق ربط Relevance logic[۲]
- منطق زمانمند Temporal logic
- منطق شناختی Epistemic logic
- منطق شهودگرایانه[۳] Intuitionistic logic
- منطق فازی Fuzzy logic
- منطق فرایض اخلاقی، منطق تکلیفی Deontic logic
- منطق گزارهای، منطق کامل Propositional logic
- منطق محاسبهپذیری Computability logic
- منطق محتواگرا Informal logic
- منطق مُسندی، منطق محمولات Predicate logic
- منطق ناهماهنگیپذیر Paraconsistent logic
- منطق نایکنوا Non-monotonic logic
- منطق وضعی، منطق موجهات یا وجهنما Modal logic
- نحو Syntax
- نظریه اثبات یا نظریه برهان Proof theory
- نظریه انواع Type theory
- نظریه بازگشتی Recursion theory
- نظریه برهانآوری Argumentation theory
- نظریه مجموعه Set theory
- نظریه مدل Model theory
- Alfred North Whitehead
- Alfred Tarski
- Alonzo Church
- Bertrand Russell
- Charles Peirce
- David Hilbert
- Dharmakirti
- Dignāga
- Georg Cantor
- George Boole
- Gerhard Gentzen
- Giuseppe Peano
- Gottlob Frege
- Hilary Putnam
- Kanada
- Kurt Gödel
- Mozi
- Nyāya Sūtras
- Pāṇini
- Rudolf Carnap
- Thoralf Skolem
- Willard Van Orman Quine
منابع برابرهای فارسی
- ↑ محمد اردشیر (۱۳۸۳)، منطق ریاضی، انتشارات هرمس با همکاری مرکز بینالمللی گفتگوی تمدنها، شابک ۹۶۴-۳۶۳-۲۲۹-۶
- ↑ [۱]
- ↑ محمد اردشیر (۱۳۸۳)، منطق ریاضی، انتشارات هرمس با همکاری مرکز بینالمللی گفتگوی تمدنها، شابک ۹۶۴-۳۶۳-۲۲۹-۶
- پاول پارسی (۱۳۹۵)؛ گویایی ارستو؛ پیرایش دستنوشتهای سوریگ[=سُریانی] و عربی و گردانش آنها به انگلیسی و پارسیگ[=پهلوی] به همراه پانوشتهای سنجشگرانه: رَهام اشه؛ پارسیگردان: بزرگمهر لقمان؛ تهران: نشر شورآفرین.
- آشوری، داریوش، فرهنگ علوم انسانی، تهران: نشر مرکز، ۱۳۷۴.
- http://berke-falsafe.de/archives/movahed_frege.htm
- http://mind.moflog.com/archives/1385/06/
- http://www.src.ac.ir/dic2.htm?farsi=&latin=Consistency