ویتگنشتاین در رسالة منطقی-فلسفی در شمار‌ه‌های ۳.۰۳۱-۳.۰۲ می‌گوید که جهانی غیرمنطقی تصورناپذیر است و درباره‌اش نمی‌توان سخن گفت. رایل (1946) مدعی شده است که اصولاً چیزی به نام معمای تصورناپذیری جهان غیرمنطقی و ناممکنی سخن در مورد چنین جهانی وجود ندارد. به زعم وی چنین معمایی وجود ندارد و بحث بر سر معناداری سخن در باب جهانی غیرمنطقی محصول خطای مقولهای است. رایل با نظر به معانی مختلف مفهوم «کاربست م...

قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات ه...

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

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

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

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

یکی از مسائل جدید که به موازات تحول و پیشرفت تکنولوژی در زمینۀ فناوری اطلاعات و ارتباطات به ویژه با ایجاد دنیایی مجازی جدید به نام «فضای سایبر» به وجود آمده است مسألۀ چگونگی تعیین مرجع قضایی صالح جهت رسیدگی به جرائم ارتکابی در فضای مذکور است. چون بر اساس قواعد سنتی مهم ترین ضابطۀ تعیین صلاحیت مراجع قضایی کیفری، مکان وقوع جرم می باشد و در فضای جدید سایبر، که یک فضایی مجازی و فارغ از مکان می باشد...

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

به‌لحاظ تاریخی می‌توان نشان داد که «نظریة انبساط» از ابتکارات و ابداعات منطق‌دانان قرون وسطای متأخر مانند ویلیام شروود، راجر بیکن، پطرس اسپانیایی، ویلیام اکام، و جان بوریدان بوده است. این نظریه با رویکردی کاربردی در دورة معاصر، در آثار آموزشی منطق عمومی، برای تشخیص اعتبار «قیاس ارسطویی» استفاده شده است. در این پژوهش، با تمرکز بر تفکرات منطقی جان بوریدان (1295 - 1361 م)، متفکر برجستة قرون وسطی، ...