1. ذات‌گرایی و منطق موجهات ارسطو

کامران قیوم‌زاده

دوره 12، شماره 1 ، بهار و تابستان 1400

http://dx.doi.org/10.30465/lsj.2021.35484.1332

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

2. اعتبار استقراء یا عدم اعتبار قیاس؟!

محمدجواد کیانی بیدگلی

دوره 12، شماره 1 ، بهار و تابستان 1400

http://dx.doi.org/10.30465/lsj.2021.35993.1351

چکیده
  از یونان باستان تا جهان امروز مسأله‌ی استقراء ذهن اندیشمندان به خصوص منطق‌دانان و فلاسفه را درگیر خود نموده است. کاربرد استقراء نیز در حوزه‌های مختلف اهمیت امر را دوچندان نموده است. در پاسخ به این مسأله جواب‌های متفاوتی داده شده است؛ از آن‌جا که استقراء همواره در کنار قیاس به عنوان قسم دیگر استدلال مطرح بوده است و قیاس نیز نزد تقریبا ...  بیشتر

3. نحوة بیان ضرب‌های منتج قیاس در سنت منطقدانان قرون وسطی

سعید انواری

دوره 12، شماره 1 ، بهار و تابستان 1400

http://dx.doi.org/10.30465/lsj.2021.35703.1335

چکیده
  منطقدانان قرون وسطی برای ضرب‌های منتج قیاس اقترانی حملی اسامی اختصاری انتخاب کرده بودند. این اسامی به نحوی انتخاب شده بود که نوع قضیة محصورة به کاررفته در صغری و کبری و نتیجة قیاس را مشخص کرده و نشان می‌داد که ضرب‌های منتج اشکال دوم تا چهارم از چه طریق، به ضرب‌های شکل اول بازمی‌گردند و نیز روش رد و تبدیل ضرب‌های منتج آن اشکال به ...  بیشتر

4. یادداشتی پیرامون نقاط ثابت در منطق مسور اثباتها و پارادوکس امتحان غیرمنتظره

مقداد قاری

دوره 12، شماره 1 ، بهار و تابستان 1400

http://dx.doi.org/10.30465/lsj.2021.35805.1348

چکیده
  در این مقاله قصد داریم تأثیر افزودن نقاط ثابت به منطق های توجیه را بررسی کنیم. به ویژه به مطالعه منطق مسور اثبات ها، که توسط فیتینگ معرفی شده است و گسترشی از منطق اثبات های آرتموف به یک منطق محمول ها می باشد، می پردازیم. ما گسترش های نقطه ثابتی از منطق مسور اثبات ها را ارایه می دهیم. این گسترش ها توسط افزودن عملگرهای نقطه ثابت (یا عملگرهای ...  بیشتر

5. منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe

عامر آمیخته؛ سید احمد میرصانعی

دوره 12، شماره 1 ، بهار و تابستان 1400

http://dx.doi.org/10.30465/lsj.2021.35927.1349

چکیده
  در این مقاله برای اصل‌بندی تمام ضرب‌های قیاس‌های ارسطویی به علاوه اصل «هر الف الف است» و قواعد دوطرفه‌ی نقض محمول سالبه‌ها، یک سیستم اصل موضوعی غیرکلاسیک معرفی شد. این سیستم تنها شامل ۲ تعریف، ۲ اصل، ۱ قاعده‌ی یک مقدمه‌ای و ضرب‌های Barbara و Datisi است. با افزودن نقض گزاره‌ای درجه اول به این سیستم، اثبات کردیم که مربع تقابل بدون ...  بیشتر

6. تاملی بر منطق‌های چند ارزشی گزاره‌ای

سید محمد امین خاتمی؛ اسفندیار اسلامی

دوره 12، شماره 1 ، بهار و تابستان 1400

http://dx.doi.org/10.30465/lsj.2021.36264.1359

چکیده
  در اوایل قرن بیستم، ایده‌هایی مبنی بر تخطی از «اصل دو ارزشی» منطق ارسطویی شکل گرفت. البته خود ارسطو نیز با اشاره به مسئله صدق یا کذبِ جملاتی که در مورد آینده اطلاعی می‌دهند، به این موضوع که بعضی جملات نه ارزش «راست» و نه ارزش «دروغ» دارند اشاره کرده بود. اما این مسئله تقریباً تا دوره رنسانس بطور کلی فراموش شد و از دوره ...  بیشتر