Forwarded from Seyed Ahmad Mirsanei
به نقل از:
میرصانعی، سید احمد (1390)، «منطق فازی ربطی: رویکردی گزارهای»، پایان نامه کارشناسی ارشد - رشته منطق، تهران: دانشگاه تربیت مدرس، استاد راهنما: دکتر لطفاله نبوی، ص15-17.👇👇👇👇
استلزام (Implication) يا شرطی (Conditional) يکی از ادات های منطقی و متناظر با ادات شرطی در زبان طبيعی، يعنی «اگر...، آنگاه ...» است. اين ادات يک گزاره اتمی يا مرکب مانند q (تالی ) را به يک گزاره اتمی يا مرکب ديگر (مقدم ) که مبتنی بر آن است، مانند p، مرتبط میسازد و در مجموع يک گزاره (فرمول) واحد به نام گزاره شرطی میسازد که در منطق کلاسيک به صورت "p⊃q" نشان داده میشود.
با وجود اينکه در زبان طبيعی، ساختار «اگر ...، آنگاه ...» نشاندهنده ی شرطی است، اما هر جمله ای که در آن از اين ساختار استفاده شده باشد، شرطی نيست. مثلاً جمله «اگر شما در مدرسه باشيد، باران می بارد» شرطی نيست، زيرا ممکن است شما در مدرسه باشيد، اما باران نبارد و بنابراين اين گزاره کاذب خواهد بود. در واقع ساختار گزاره شرطی «اگر p، آنگاه q» معادل است با «p مستلزمِ q است» و بنابراين رابطه ی بين مقدم و تالی از نوع استلزامی است. از اينجا به ارتباط عميق بين مفاهيم استلزام و شرطی پی میبريم.
شرطی در يک تقسيم بندی اوليه به شرطی تابع ارزشی و شرطی غير تابع ارزشی تقسيم میشود. البته همه ترکيب های شرطی تا حدی تابع ارزشی هستند. زيرا در هر تعبير شرطی اگر معلوم شود مقدم صادق و تالی کاذب است، به کذب گزاره حکم می شود. بنابراين ارزش گزاره شرطی در سطری که مقدم صادق و تالی کاذب است، همواره تابع ارزشی است. اما ارزش گزاره شرطی در ساير سطرها ممکن است تابع ارزشی نباشد (حاجی حسينی، 1375، ص6).
شرطی تابع ارزشی شامل شرطی مادی (استلزام مادی) در منطق کلاسيک، و استلزام چند ارزشی در اغلب منطقهای چندارزشی و استلزام تقريبی فازی است، و شرطیهای غير تابع ارزشی عبارتند از استلزام اکيد ، استلزام ربطی ، استلزام معنايي يا انتاج ، شرطی علّی ، شرطیهای التزامی و شرطی های خلاف واقع .
در شرطی علّی يا فيزيکی، ارتباط بين مقدم و تالی از نوع علّی است. شرطی علّی يک نوع شرطی التزامی است که از روابط علّی بين پديده های جهان حکايت میکند، به طوری که مقدم آن گزاره ای در مورد علت و تالی آن گزاره ای در مورد معلول است. اين نوع شرطی به صورت «به لحاظ فيزيکی غيرممکن است مقدم صادق و تالی کاذب باشد» يا ضرورت فيزيکی صدق شرطی تعريف میشود (Nute, 2001, p.7). بسياری از شرطیهای علّی موجود در زبان از نوع استلزام اکيد هستند و بنابراين به کار بردن ضرورت فيزيکی صرف برای آنها درست نيست، بلکه بايد آنها را نوعی از استلزام اکيد دانست (همان).
اما تعداد زيادی شرطی التزامی غيرعلّی و شرطی های خلاف واقع در زبان طبيعی وجود دارند که نه شرطی مادیاند و نه استلزام اکيد. شرطی های التزامی غيرعلّی برخی از قواعد منطقی همچون عکس نقيض، تعدّی و ... را نقض می کنند و شرطی های خلاف واقع نيز، هم به صورت علّی و هم به صورت غير علّی، مثالهای نقضی بر صدق گزارهی شرطی در حالتی که مقدم و تالی آن کاذب است، میآورند که اغلب غيرواقعی هستند. (حاجی حسينی، 1375، ص9-11؛ Priest, 2008, p.13-15)
به هر حال همه استلزامهای تابع ارزشی و غيرتابع ارزشی ياد شده خالی از اشکال نيستند (البته به جز منطق ربط که تا حد زيادی از اين مشکلات مبرّا است) و اين اشکالات معمولاً منجر به پارادوکسهايي میشوند که ما در تطابق زبان طبيعی با زبان منطقی با آنها مواجه هستیم.
شرطی نزد منطقدانان مسلمان نيز تقسيماتی دارد. در منطق قديم گزاره به دو نوع شرطی و حملی تقسيم میشود، و گزاره شرطي نيز به دو نوع شرطي متصل و شرطی منفصل تقسيم میشود. شرطي متصل که متناظر با گزاره شرطی در منطق جديد است، به سه نوع مطلق، لزومی و اتفاقی تقسيم میشود؛ همين تقسيم برای شرطی منفصل که متناظر با ترکيب فصلی در منطق جديد است، وجود دارد و ما سه نوع فصلی مطلق، عنادی و اتفاقی داريم. هر يک از انواع فصلی نيز به سه نوع حقيقی، مانع جمع و مانع خلو تقسيم میشوند.
—-------------------------
منابع:
1.حاجی حسينی، مرتضی «ساختار صوری و معنايي منطق شرطی در دو نظام منطقی قديم و جديد»، تهران: دانشگاه تربيت مدرس، استاد راهنما: دکتر ضياء موحد، 1375.
2. فلاحی، اسدالله، «مقدمه»، در: ريد، استيون، فلسفه منطق ربط، قم: انتشارات دانشگاه مفيد، 1385، چاپ اول.
3. Nute, Donald, “Defeasible Logic”, U.S.A: The University of Georgia Athens, (2001).
4. . Priest , Graham , An Introduction To Non-Classical Logic : From If To Is¬, New Yourk : Cambridge University Press , (2008) (Second Ed.). Ed. 1: (2001).
#ميرصانعی
میرصانعی، سید احمد (1390)، «منطق فازی ربطی: رویکردی گزارهای»، پایان نامه کارشناسی ارشد - رشته منطق، تهران: دانشگاه تربیت مدرس، استاد راهنما: دکتر لطفاله نبوی، ص15-17.👇👇👇👇
استلزام (Implication) يا شرطی (Conditional) يکی از ادات های منطقی و متناظر با ادات شرطی در زبان طبيعی، يعنی «اگر...، آنگاه ...» است. اين ادات يک گزاره اتمی يا مرکب مانند q (تالی ) را به يک گزاره اتمی يا مرکب ديگر (مقدم ) که مبتنی بر آن است، مانند p، مرتبط میسازد و در مجموع يک گزاره (فرمول) واحد به نام گزاره شرطی میسازد که در منطق کلاسيک به صورت "p⊃q" نشان داده میشود.
با وجود اينکه در زبان طبيعی، ساختار «اگر ...، آنگاه ...» نشاندهنده ی شرطی است، اما هر جمله ای که در آن از اين ساختار استفاده شده باشد، شرطی نيست. مثلاً جمله «اگر شما در مدرسه باشيد، باران می بارد» شرطی نيست، زيرا ممکن است شما در مدرسه باشيد، اما باران نبارد و بنابراين اين گزاره کاذب خواهد بود. در واقع ساختار گزاره شرطی «اگر p، آنگاه q» معادل است با «p مستلزمِ q است» و بنابراين رابطه ی بين مقدم و تالی از نوع استلزامی است. از اينجا به ارتباط عميق بين مفاهيم استلزام و شرطی پی میبريم.
شرطی در يک تقسيم بندی اوليه به شرطی تابع ارزشی و شرطی غير تابع ارزشی تقسيم میشود. البته همه ترکيب های شرطی تا حدی تابع ارزشی هستند. زيرا در هر تعبير شرطی اگر معلوم شود مقدم صادق و تالی کاذب است، به کذب گزاره حکم می شود. بنابراين ارزش گزاره شرطی در سطری که مقدم صادق و تالی کاذب است، همواره تابع ارزشی است. اما ارزش گزاره شرطی در ساير سطرها ممکن است تابع ارزشی نباشد (حاجی حسينی، 1375، ص6).
شرطی تابع ارزشی شامل شرطی مادی (استلزام مادی) در منطق کلاسيک، و استلزام چند ارزشی در اغلب منطقهای چندارزشی و استلزام تقريبی فازی است، و شرطیهای غير تابع ارزشی عبارتند از استلزام اکيد ، استلزام ربطی ، استلزام معنايي يا انتاج ، شرطی علّی ، شرطیهای التزامی و شرطی های خلاف واقع .
در شرطی علّی يا فيزيکی، ارتباط بين مقدم و تالی از نوع علّی است. شرطی علّی يک نوع شرطی التزامی است که از روابط علّی بين پديده های جهان حکايت میکند، به طوری که مقدم آن گزاره ای در مورد علت و تالی آن گزاره ای در مورد معلول است. اين نوع شرطی به صورت «به لحاظ فيزيکی غيرممکن است مقدم صادق و تالی کاذب باشد» يا ضرورت فيزيکی صدق شرطی تعريف میشود (Nute, 2001, p.7). بسياری از شرطیهای علّی موجود در زبان از نوع استلزام اکيد هستند و بنابراين به کار بردن ضرورت فيزيکی صرف برای آنها درست نيست، بلکه بايد آنها را نوعی از استلزام اکيد دانست (همان).
اما تعداد زيادی شرطی التزامی غيرعلّی و شرطی های خلاف واقع در زبان طبيعی وجود دارند که نه شرطی مادیاند و نه استلزام اکيد. شرطی های التزامی غيرعلّی برخی از قواعد منطقی همچون عکس نقيض، تعدّی و ... را نقض می کنند و شرطی های خلاف واقع نيز، هم به صورت علّی و هم به صورت غير علّی، مثالهای نقضی بر صدق گزارهی شرطی در حالتی که مقدم و تالی آن کاذب است، میآورند که اغلب غيرواقعی هستند. (حاجی حسينی، 1375، ص9-11؛ Priest, 2008, p.13-15)
به هر حال همه استلزامهای تابع ارزشی و غيرتابع ارزشی ياد شده خالی از اشکال نيستند (البته به جز منطق ربط که تا حد زيادی از اين مشکلات مبرّا است) و اين اشکالات معمولاً منجر به پارادوکسهايي میشوند که ما در تطابق زبان طبيعی با زبان منطقی با آنها مواجه هستیم.
شرطی نزد منطقدانان مسلمان نيز تقسيماتی دارد. در منطق قديم گزاره به دو نوع شرطی و حملی تقسيم میشود، و گزاره شرطي نيز به دو نوع شرطي متصل و شرطی منفصل تقسيم میشود. شرطي متصل که متناظر با گزاره شرطی در منطق جديد است، به سه نوع مطلق، لزومی و اتفاقی تقسيم میشود؛ همين تقسيم برای شرطی منفصل که متناظر با ترکيب فصلی در منطق جديد است، وجود دارد و ما سه نوع فصلی مطلق، عنادی و اتفاقی داريم. هر يک از انواع فصلی نيز به سه نوع حقيقی، مانع جمع و مانع خلو تقسيم میشوند.
—-------------------------
منابع:
1.حاجی حسينی، مرتضی «ساختار صوری و معنايي منطق شرطی در دو نظام منطقی قديم و جديد»، تهران: دانشگاه تربيت مدرس، استاد راهنما: دکتر ضياء موحد، 1375.
2. فلاحی، اسدالله، «مقدمه»، در: ريد، استيون، فلسفه منطق ربط، قم: انتشارات دانشگاه مفيد، 1385، چاپ اول.
3. Nute, Donald, “Defeasible Logic”, U.S.A: The University of Georgia Athens, (2001).
4. . Priest , Graham , An Introduction To Non-Classical Logic : From If To Is¬, New Yourk : Cambridge University Press , (2008) (Second Ed.). Ed. 1: (2001).
#ميرصانعی
فروشگاه اينترنتی برای خريد آسان کتاب فوق:
انتشارات آگاه
http://www.agahbookshop.com/p-28294--1969.aspx#
انتشارات آگاه
http://www.agahbookshop.com/p-28294--1969.aspx#
منطق
فروشگاه اينترنتی برای خريد آسان کتاب فوق: انتشارات آگاه http://www.agahbookshop.com/p-28294--1969.aspx#
نويسنده: اسدالله فلاحي
قطع: وزيري
نوع جلد: شوميز
ناشر: سمت
زبان: فارسي
تعداد صفحات: 374
سال انتشار: 1395
نوبت چاپ: 1
شابك: 9786000202675
ابعاد: × × (سانتيمتر)
وزن: 525(گرم)
قیمت: 170,000 ريال
—------------------------
در مورد اين کتاب:
منطق سينوي و منطق جديد يک روح هستند در دو بدن: بدن يک کودک خردسال و بدن يک جوان نورسيده و تنومند. برخلاف ديدگاه برخي از معاصران که هرگونه سنجش و مقايسهاي ميان اين دو منطق را ممکن نميدانند، نويسنده کتاب بر اين باور است که منطق جديد صورت بسطيافته منطق سينوي است که به نوبه خود تکامليافته منطق ارسطويي به شمار مي رود. در اين کتاب، تلاش شده است تا مفاهيم پايهاي و قواعد بنيادي در منطق سينوي به کمک شاخههاي منطق جديد بازتفسير و ارزيابي شوند. اين کتاب نشان ميدهد که درک دقتهاي نهفته در آثار منطقدانان سينوي بدون ياري گرفتن از شاخههاي منطق جديد تا چه اندازه دشوار است و يافتن ابهامهاي فراوان و خطاهاي گاه و بيگاه در اين آثار و اصلاح آنها به کمک دانش روز چه آسان و شدني است. آشکار است که با درک درست از گذشته ميتوان به طرح پرسشهايي نو براي اکنون پرداخت و در ساختن آينده سهيم بود.
قطع: وزيري
نوع جلد: شوميز
ناشر: سمت
زبان: فارسي
تعداد صفحات: 374
سال انتشار: 1395
نوبت چاپ: 1
شابك: 9786000202675
ابعاد: × × (سانتيمتر)
وزن: 525(گرم)
قیمت: 170,000 ريال
—------------------------
در مورد اين کتاب:
منطق سينوي و منطق جديد يک روح هستند در دو بدن: بدن يک کودک خردسال و بدن يک جوان نورسيده و تنومند. برخلاف ديدگاه برخي از معاصران که هرگونه سنجش و مقايسهاي ميان اين دو منطق را ممکن نميدانند، نويسنده کتاب بر اين باور است که منطق جديد صورت بسطيافته منطق سينوي است که به نوبه خود تکامليافته منطق ارسطويي به شمار مي رود. در اين کتاب، تلاش شده است تا مفاهيم پايهاي و قواعد بنيادي در منطق سينوي به کمک شاخههاي منطق جديد بازتفسير و ارزيابي شوند. اين کتاب نشان ميدهد که درک دقتهاي نهفته در آثار منطقدانان سينوي بدون ياري گرفتن از شاخههاي منطق جديد تا چه اندازه دشوار است و يافتن ابهامهاي فراوان و خطاهاي گاه و بيگاه در اين آثار و اصلاح آنها به کمک دانش روز چه آسان و شدني است. آشکار است که با درک درست از گذشته ميتوان به طرح پرسشهايي نو براي اکنون پرداخت و در ساختن آينده سهيم بود.
Danial
A_Brief_History_of_the_Paradox[@philosophic_books].pdf
تاریخچه مختصر پارادوکس
A Brief History of the Paradox: Philosophy and the Labyrinths of the Mind
نویسنده: Roy Sorensen
انتشارات: Oxford University Press
سال: 2003
صفحه: 416
کتاب “تاریخچه مختصر پارادوکس″ به بیست و چهار فصل تقسیم شده است که هرکدام از آنها، یک فیلسوف را با یک تناقض بزرگ کنار هم قرار میدهد. این کتاب به توجهات گستردهتری میپردازد و یک انسان در مواجهه با استراتژیهایی که به سمت این پازلها برده شدهاند، قرار میدهد.
خوانندگان به دنبال ذهن زنون، سقراط، آکویناس، اوخام، پاسکال، کانت، هگل و بسیاری از فیلسوفان برجسته دیگر به سمت گرهای از پادادوکس، جستجو و گاهی اوقات پیداکردن راه نجات حرکت میکنند.
این کتاب با حکایات روشن و سبک نوشتاری واضح برای تمام کسانی که تلاش برای پاسخدادن به سوالات بیجواب را یک تلاش متناقضنمای دلپذیر تصور میکنند، جذاب خواهد بود.
A Brief History of the Paradox: Philosophy and the Labyrinths of the Mind
نویسنده: Roy Sorensen
انتشارات: Oxford University Press
سال: 2003
صفحه: 416
کتاب “تاریخچه مختصر پارادوکس″ به بیست و چهار فصل تقسیم شده است که هرکدام از آنها، یک فیلسوف را با یک تناقض بزرگ کنار هم قرار میدهد. این کتاب به توجهات گستردهتری میپردازد و یک انسان در مواجهه با استراتژیهایی که به سمت این پازلها برده شدهاند، قرار میدهد.
خوانندگان به دنبال ذهن زنون، سقراط، آکویناس، اوخام، پاسکال، کانت، هگل و بسیاری از فیلسوفان برجسته دیگر به سمت گرهای از پادادوکس، جستجو و گاهی اوقات پیداکردن راه نجات حرکت میکنند.
این کتاب با حکایات روشن و سبک نوشتاری واضح برای تمام کسانی که تلاش برای پاسخدادن به سوالات بیجواب را یک تلاش متناقضنمای دلپذیر تصور میکنند، جذاب خواهد بود.
Forwarded from پاتوق حکمت
اقبال_ما_به_منطق،_جایگاه_علمی_م.mp4
46.4 MB
#فیلم #سخنرانی ضیاء موحد
همایش وضعیت فلسفه در ایران معاصر سال 91
🕰 زمان: 16 دقیقه | حجم: 46MB
@simafekr | @HekmatRoom
همایش وضعیت فلسفه در ایران معاصر سال 91
🕰 زمان: 16 دقیقه | حجم: 46MB
@simafekr | @HekmatRoom
Forwarded from پاتوق حکمت
دکتر #ضیاء_موحد
🔹منطق، ریاضیات فلسفه است.
🔹حلقهای که دور کریپکی شکل گرفت، به کمک تحلیلات منطقی، به متافیزیک پرداختند و اغلب کارهایشان متافیزیکی است.
🔹منطق، پیشنیاز همهی علوم حتی خودش است و اگر کسی خیال میکند این دورِ باطل است، همان بهتر که منطق را رها کند و برود.
🔹منطق، دانشِ فرم در انتزاعیترین شکل آن است.
🔹اینکه وایتهد میگوید «ارسطو با کشف صورت، علم را پایهگذاری کرد» نکتهی بسیار دقیقی است.
🔹 اقبال ما به منطق، جایگاه علمی ما را لو میدهد؛ دکتر ضیاموحد در این سخنرانی بیاعتنایی به منطق را مهمترین نشانه عقبماندگی علمی در ایران میداند.
✅ «منطق»، ریاضیات فلسفه است. این گزاره، نقطهی تأکید دکتر ضیاء موحد در تصویری است که در این سخنرانی، از منطق و وضعیت کمابیش آشفتهی آموزش آن در ایران به دست میدهد. دربارهی حیثیت ریاضیداشتن، میتوان از جهات مختلفی سخن گفت. اما عمومیترین و البته انضمامیترین درکی که از #ریاضیات و ریاضیبودن وجود دارد، همان کلیت و یونیورسالیتی (universality) موجود در زبان ریاضی است. ریاضیات، زبان جهانی و زبان طبیعت چیزهاست.
✅ با اینحال، اگر منطق، نوعی جهانشمولی با خود دارد، پس سخن گفتن از #اقسام_فرهنگی_منطق مثلا منطق اسلامی، منطق یونانی، منطق اروپایی و… به چه معناست؟ شاید مهمترین درکی که دکتر موحد در این سخنرانی به دست ما میدهد این است که چگونه این قبیل طبقهبندیهای فرهنگی منطق، یکسره متعلق به #تاریخنگاری_منطق است. ظهور یک منطق جدید، منطقهای پیش از خود را دستهبندی نمیکند؛ بلکه آنها را به حیطهی تاریخ میراند. تاریخ داشتن، شرط آینده داشتن است، اما این نهایتا درگیربودن با مسائل منطقی جدید است که امکان مشارکت عالمانه در جهان علمی عصر را برای ما میگشاید. اینکه در دپارتمانهای فلسفه ما، پرداختن به تاریخ منطق، اشتغال اصلی اساتید و دانشجویان است، بسیار بیشتر از تعداد مقالات ISI و افزایش و کاهش آن، حاشیهای بودن موقعیت ما در علم جهانی را افشا میکند.
✅ پرداختن به تاریخ منطق، کار به غایت مهمی است، اما اشتغال اصلیِ دانشجویان منطق، باید بررسی مسائل جدید منطقی باشد. از انتشار مفهومنگاری فرگه که در 1879منتشر شد و گفته میشود بعد از ارغنون ارسطو، مهمترین کتاب در تحوّل منطق است، 133 سال میگذرد، از اصول ریاضیات راسل هم حدود 100 سال میگذرد. در این 100 سال، #منطق_ارسطویی به تاریخ منطق (Traditional logic) تبدیل شده و در مقابلش #منطق_جدید فرگه و راسل، به عنوان منطق رائج و جاافتاده (classical logic) شناخته میشود.
🌐 @HekmatRoom | پاتوق حکمت 👌
🔹منطق، ریاضیات فلسفه است.
🔹حلقهای که دور کریپکی شکل گرفت، به کمک تحلیلات منطقی، به متافیزیک پرداختند و اغلب کارهایشان متافیزیکی است.
🔹منطق، پیشنیاز همهی علوم حتی خودش است و اگر کسی خیال میکند این دورِ باطل است، همان بهتر که منطق را رها کند و برود.
🔹منطق، دانشِ فرم در انتزاعیترین شکل آن است.
🔹اینکه وایتهد میگوید «ارسطو با کشف صورت، علم را پایهگذاری کرد» نکتهی بسیار دقیقی است.
🔹 اقبال ما به منطق، جایگاه علمی ما را لو میدهد؛ دکتر ضیاموحد در این سخنرانی بیاعتنایی به منطق را مهمترین نشانه عقبماندگی علمی در ایران میداند.
✅ «منطق»، ریاضیات فلسفه است. این گزاره، نقطهی تأکید دکتر ضیاء موحد در تصویری است که در این سخنرانی، از منطق و وضعیت کمابیش آشفتهی آموزش آن در ایران به دست میدهد. دربارهی حیثیت ریاضیداشتن، میتوان از جهات مختلفی سخن گفت. اما عمومیترین و البته انضمامیترین درکی که از #ریاضیات و ریاضیبودن وجود دارد، همان کلیت و یونیورسالیتی (universality) موجود در زبان ریاضی است. ریاضیات، زبان جهانی و زبان طبیعت چیزهاست.
✅ با اینحال، اگر منطق، نوعی جهانشمولی با خود دارد، پس سخن گفتن از #اقسام_فرهنگی_منطق مثلا منطق اسلامی، منطق یونانی، منطق اروپایی و… به چه معناست؟ شاید مهمترین درکی که دکتر موحد در این سخنرانی به دست ما میدهد این است که چگونه این قبیل طبقهبندیهای فرهنگی منطق، یکسره متعلق به #تاریخنگاری_منطق است. ظهور یک منطق جدید، منطقهای پیش از خود را دستهبندی نمیکند؛ بلکه آنها را به حیطهی تاریخ میراند. تاریخ داشتن، شرط آینده داشتن است، اما این نهایتا درگیربودن با مسائل منطقی جدید است که امکان مشارکت عالمانه در جهان علمی عصر را برای ما میگشاید. اینکه در دپارتمانهای فلسفه ما، پرداختن به تاریخ منطق، اشتغال اصلی اساتید و دانشجویان است، بسیار بیشتر از تعداد مقالات ISI و افزایش و کاهش آن، حاشیهای بودن موقعیت ما در علم جهانی را افشا میکند.
✅ پرداختن به تاریخ منطق، کار به غایت مهمی است، اما اشتغال اصلیِ دانشجویان منطق، باید بررسی مسائل جدید منطقی باشد. از انتشار مفهومنگاری فرگه که در 1879منتشر شد و گفته میشود بعد از ارغنون ارسطو، مهمترین کتاب در تحوّل منطق است، 133 سال میگذرد، از اصول ریاضیات راسل هم حدود 100 سال میگذرد. در این 100 سال، #منطق_ارسطویی به تاریخ منطق (Traditional logic) تبدیل شده و در مقابلش #منطق_جدید فرگه و راسل، به عنوان منطق رائج و جاافتاده (classical logic) شناخته میشود.
🌐 @HekmatRoom | پاتوق حکمت 👌
Forwarded from Mathematics Association
Forwarded from Mathematics Association
💢کتاب دکتر «بیژن دواز» استاد دانشگاه یزد
با نام «Fuzzy Algebraic Hyperstructures-An Introduction»
✅ این کتاب که با همکاری یک ریاضیدان از کشور اسلوونی تالیف شده است، شرح مبسوطی در باره نظریه ابرساختارهای جبری فازی است.
✅ این در حالی است که تاکنون در زمینه ابرساختارهای فازی کتابی منتشر نشده و این کتاب نخستین کتابی است که در این زمینه به چاپ رسیده است.
✅ این کتاب به عنوان مرجعی مفید در دسترس ریاضیدانان کشورهای مختلف قرار گرفته است و از آن میتوان به عنوان گامی مؤثر در راستای خودکفایی علمی و شناساندن قابلیتهای دانشگاه یزد و کشور جمهوری اسلامی ایران در جهان یاد کرد.
✅به گفته دکتر "بیژن دواز"، تالیف این کتاب بیش از پنج سال به طول انجامیده و پنجمین کتابی است وی آن را تألیف کرده است.
@qomat
با نام «Fuzzy Algebraic Hyperstructures-An Introduction»
✅ این کتاب که با همکاری یک ریاضیدان از کشور اسلوونی تالیف شده است، شرح مبسوطی در باره نظریه ابرساختارهای جبری فازی است.
✅ این در حالی است که تاکنون در زمینه ابرساختارهای فازی کتابی منتشر نشده و این کتاب نخستین کتابی است که در این زمینه به چاپ رسیده است.
✅ این کتاب به عنوان مرجعی مفید در دسترس ریاضیدانان کشورهای مختلف قرار گرفته است و از آن میتوان به عنوان گامی مؤثر در راستای خودکفایی علمی و شناساندن قابلیتهای دانشگاه یزد و کشور جمهوری اسلامی ایران در جهان یاد کرد.
✅به گفته دکتر "بیژن دواز"، تالیف این کتاب بیش از پنج سال به طول انجامیده و پنجمین کتابی است وی آن را تألیف کرده است.
@qomat
(روش مکانیکی برای یافتن اعضای مجموعه توانی):
مجموعه توانی {T={p, q, r را بیابید:
فرض کنید اعضای T گزارههای ساده یک صورت گزارهای باشند. اعداد ۱ تا ۳ را بهدلخواه به آنها گمارده(منتسب میکنیم). فرض کنید این گماردن بهقرار: ۱↔️p و ۲↔️q و ۳↔️r باشد. سپس سه ستون راهنمای جدول-ارزش این صورت گزارهای فرضی را تشکیل میدهیم. از روی آن به شیوه زیر میتوان اعضای مجموعه توانی را حساب کرد.
pqr ۱ ۲ ۳
111 {p, q, r}
110 {p, q }
101 {p, r}
100 {p }
011 { q, r}
010 { q }
001 { r}
000 { }
مجموعه توانی {T={p, q, r را بیابید:
فرض کنید اعضای T گزارههای ساده یک صورت گزارهای باشند. اعداد ۱ تا ۳ را بهدلخواه به آنها گمارده(منتسب میکنیم). فرض کنید این گماردن بهقرار: ۱↔️p و ۲↔️q و ۳↔️r باشد. سپس سه ستون راهنمای جدول-ارزش این صورت گزارهای فرضی را تشکیل میدهیم. از روی آن به شیوه زیر میتوان اعضای مجموعه توانی را حساب کرد.
pqr ۱ ۲ ۳
111 {p, q, r}
110 {p, q }
101 {p, r}
100 {p }
011 { q, r}
010 { q }
001 { r}
000 { }
Forwarded from Seyed Ahmad Mirsanei
ثبت نام سومین همایش دانشجویی فلسفه
ضوابط شرکت در سومین همایش سالانه دانشجویی فلسفه
دانشگاه تربیت مدرس تهران
شرکت برای عموم آزاد است.
هزینه شرکت در همایش برای کسانی که مقالاتشان پذیرفته شده است، ۲۰,۰۰۰ (بیست هزار) تومان و برای سایرین ۳۰,۰۰۰ (سی هزار) تومان به ازای هر نفر به حساب ذیل واریز گردد.
حساب بانک تجارت (شعبه دانشگاه تربیت مدرس تهران) به شماره کارت ۶۲۷۳۵۳۱۰۳۰۱۷۶۸۱۱ به نام «داود حسینی»
هزینه مزبور جهت بسته همایش (شامل کتابچه مجموعه مقالات و ادوات تحریر) و ناهار و پذیرایی خواهد بود.
تصویر برگه رسید واریز به همراه مشخصات شرکتکننده (نام و نامخانوادگی، دانشگاه محل تحصیل، رشته و مقطع تحصیلی و آدرس پست الکترونیک) تا پایان روز جمعه ۲۱ آبان ۱۳۹۵ به آدرس پست الکترونیک همایش philosophy@modares.ac.ir ارسال گردد.
برگه رسید واریز در روز همایش همراه شرکتکننده باشد.
اطلاعات ثبت نام و برنامهی سخنرانیها: http://jphil.ir/spc3reg/#
ضوابط شرکت در سومین همایش سالانه دانشجویی فلسفه
دانشگاه تربیت مدرس تهران
شرکت برای عموم آزاد است.
هزینه شرکت در همایش برای کسانی که مقالاتشان پذیرفته شده است، ۲۰,۰۰۰ (بیست هزار) تومان و برای سایرین ۳۰,۰۰۰ (سی هزار) تومان به ازای هر نفر به حساب ذیل واریز گردد.
حساب بانک تجارت (شعبه دانشگاه تربیت مدرس تهران) به شماره کارت ۶۲۷۳۵۳۱۰۳۰۱۷۶۸۱۱ به نام «داود حسینی»
هزینه مزبور جهت بسته همایش (شامل کتابچه مجموعه مقالات و ادوات تحریر) و ناهار و پذیرایی خواهد بود.
تصویر برگه رسید واریز به همراه مشخصات شرکتکننده (نام و نامخانوادگی، دانشگاه محل تحصیل، رشته و مقطع تحصیلی و آدرس پست الکترونیک) تا پایان روز جمعه ۲۱ آبان ۱۳۹۵ به آدرس پست الکترونیک همایش philosophy@modares.ac.ir ارسال گردد.
برگه رسید واریز در روز همایش همراه شرکتکننده باشد.
اطلاعات ثبت نام و برنامهی سخنرانیها: http://jphil.ir/spc3reg/#
Studia Logica
Volume 104, Issue 6, December 2016
ISSN: 0039-3215 (Print) 1572-8730 (Online)
Link: http://link.springer.com/journal/11225/104/6?wt_mc=alerts.TOCjournals
Volume 104, Issue 6, December 2016
ISSN: 0039-3215 (Print) 1572-8730 (Online)
Link: http://link.springer.com/journal/11225/104/6?wt_mc=alerts.TOCjournals
منطق
Studia Logica Volume 104, Issue 6, December 2016 ISSN: 0039-3215 (Print) 1572-8730 (Online) Link: http://link.springer.com/journal/11225/104/6?wt_mc=alerts.TOCjournals
In This Issue:
Categoricity Spectra for Polymodal Algebras
Nikolay Bazhenov
Pages 1083-1097
—-------------------------------------
Modality and Contextuality in Topos Quantum Theory
Benjamin Eva
Pages 1099-1118
—------------------------------------—
A Game Semantics for System P
J. Marti, R. Pinosio
Pages 1119-1144
—-------------------------------------
A New View of Effects in a Hilbert Space
Roberto Giuntini, Antonio Ledda, Francesco Paoli
Pages 1145-1177
—-------------------------------------
Constructing Natural Extensions of Propositional Logics
Adam Přenosil
Pages 1179-1190
—-------------------------------------
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility
Jeroen P. Goudsmit
Pages 1191-1204
—-------------------------------------
Compositional Z: Confluence Proofs for Permutative Conversion
Koji Nakazawa, Ken-etsu Fujita
Pages 1205-1224
—-------------------------------------
Turing–Taylor Expansions for Arithmetic Theories
Joost J. Joosten
Pages 1225-1243
—-------------------------------------
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic
Diego Castaño, Juan Manuel Cornejo
Pages 1245-1265
—-------------------------------------
Understanding Negation Implicationally in the Relevant Logic R
Takuro Onishi
Pages 1267-1285
—-------------------------------------
Cofinal Stable Logics
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Pages 1287-1317
—-------------------------------------
Book Review: Jean Buridan, Treatise on Consequences
Sara L. Uckelman
Pages 1319-1323
Categoricity Spectra for Polymodal Algebras
Nikolay Bazhenov
Pages 1083-1097
—-------------------------------------
Modality and Contextuality in Topos Quantum Theory
Benjamin Eva
Pages 1099-1118
—------------------------------------—
A Game Semantics for System P
J. Marti, R. Pinosio
Pages 1119-1144
—-------------------------------------
A New View of Effects in a Hilbert Space
Roberto Giuntini, Antonio Ledda, Francesco Paoli
Pages 1145-1177
—-------------------------------------
Constructing Natural Extensions of Propositional Logics
Adam Přenosil
Pages 1179-1190
—-------------------------------------
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility
Jeroen P. Goudsmit
Pages 1191-1204
—-------------------------------------
Compositional Z: Confluence Proofs for Permutative Conversion
Koji Nakazawa, Ken-etsu Fujita
Pages 1205-1224
—-------------------------------------
Turing–Taylor Expansions for Arithmetic Theories
Joost J. Joosten
Pages 1225-1243
—-------------------------------------
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic
Diego Castaño, Juan Manuel Cornejo
Pages 1245-1265
—-------------------------------------
Understanding Negation Implicationally in the Relevant Logic R
Takuro Onishi
Pages 1267-1285
—-------------------------------------
Cofinal Stable Logics
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Pages 1287-1317
—-------------------------------------
Book Review: Jean Buridan, Treatise on Consequences
Sara L. Uckelman
Pages 1319-1323
Forwarded from Ali Sadegh Daghighi
This is the official group of the Iranian Association for Logic (IAL) on Telegram.
Group: https://telegram.me/joinchat/CHCYWj-iwl9AjSGUDR9L3w
Website: http://irlogic.org/
Admin: @alisadeghdaghighi
Group: https://telegram.me/joinchat/CHCYWj-iwl9AjSGUDR9L3w
Website: http://irlogic.org/
Admin: @alisadeghdaghighi
Forwarded from ذهن برونی من
به همت شعبه اصفهان پژوهشکده علوم ریاضی پژوهشگاه علوم بنیادی سلسله جلسات «آشنایی با منطق ریاضی، فلسفی و محاسباتی» برگزار می شود. حضور علاقمندان در این جلسات آزاد است.
امکان درخواست رایگان مقاله، کتاب و پایان نامه های منطقی در سایت حلقه منطق(logiccircle.ir).
تعبیه شده در قسمت سایدبار(نوار کناری) سایت.
تعبیه شده در قسمت سایدبار(نوار کناری) سایت.