چکیده:
منطق شهودی گزارهای منطقی غیرکلاسیک است که از حذف اصل طرد شق ثالث از منطق کلاسیک حاصل میشود. چند معناشناسی مختلف، مانند معناشناسی کریپکی، توپولوژیکی و همسایگی برای منطق شهودی گزارهای وجود دارد که قضایای درستی و تمامیت برای آنها اثبات شده است. در این مقاله ابتدا برخی از این معناشناسیها رابررسی میکنیم، سپس دو معناشناسی همسایگی جدیدی را که یکی از این معناشناسیها تا حدی پیچیدهتر از معناشناسیهای همسایگی شناخته شده قبلی میباشد را برای منطق گزارهای شهودی (IPC) معرفی میکنیم. در نهایت قضایای درستی و تمامیت را با روشهای متفاوتی نسبت به این دو معناشناسی همسایگی جدید اثبات میکنیم. برای اثبات تمامیت یکی از این معناشناسیها که NB-همسایگی مینامیم، ابتدا نیاز داریم تا دستگاه زیرشهودی WF را که ضعیفتر از دستگاههای زیر شهودی شناخته شده قبلی مانند F میباشد را معرفی کنیم. سپس با استفاده از قصیه تمامیت منطق WF نسبت به معناشناسی NB-همسایگی، نشان خواهیم داد که منطق شهودی IPC نسبت به این معناشناسی با افزودن برخی ویژگیهای خاص درست و تمام است.
Intuitionistic logic is a non classical logic obtained by omitting the axiom of excluded middle from classical logic. This logic was created by philosophical motivation towards the foundation of mathematics. There are several semantics for intuitionistic logic (such as Kripke semantics, neighborhood semantics and topological semantics) that are sound and complete. In this paper, we first present two new neighborhood semantics for propositional intuitionistic logic (IPC). Then we establish soundness and completeness of IPC with respect to these new neighborhood semantics. The relation between neighborhood and topological semantics are also investigated. One of these new neighborhood semantics is introduced with a somewhat more complex definition than the usual neighborhood semantics which was introduced before. This semantics is called NB-neighborhood semantics. In order to establish completeness with respect to NB-neighborhood semantics for IPC, first we need to introduce a system WF of subintuitionistic logic, weaker than Corsi's basic subintuitionistic system F.
خلاصه ماشینی:
چند معناشناسی مختلف مانند معناشناسی کریپکی، توپولوژیک، و همسایگی برای منطق شهودی گزارهای وجود دارد که قضایای درستی و تمامیت برای آنها اثبات شده است.
برای اثبات تمامیت یکی از این معناشناسیها که NB ـ همسایگی مینامیم ابتدا نیاز داریم تا دستگاه زیرشهودی WF را معرفی کنیم که ضعیفتر از دستگاههای زیرشهودی شناختهشدۀ قبلی مانند F است؛ سپس با استفاده از قضیۀ تمامیت منطق WF نسبت به معناشناسی NB ـ همسایگی نشان خواهیم داد که منطق شهودی IPC نسبت به این معناشناسی با افزودن برخی ویژگیهای خاص درست و تمام است.
This is an Open Access article distributed under the terms of the Creative Commons Attribution 4.
در مدلهای همسایگی برای منطق وجهی به هر حالتی مجموعهای از زیرمجموعههای جهان نسبت داده میشود که همسایگی آن حالت نامیده میشود و فرمول وجهی □A در جهان درست است، اگر و تنها اگر مجموعۀ جهانهایی که در آنها A درست است یک همسایگی از باشد (Chellas 1980).
در این مقاله دو نوع معناشناسی همسایگی جدید را برای منطق شهودی معرفی میکنیم و قضایای درستی و تمامیت را برای آن دو اثبات خواهیم کرد.
در بخش 2 از این مقاله معناشناسیهای مختلف برای منطق شهودی را بیان میکنیم که قبلاً قضایای درستی و تمامیت برای آنها اثبات شده است.
2. برای هر مدل همسایگی = , , فضای الکساندروف , با ارزشگذاری وجود دارد، بهطوریکه همارز نقطهبهنقطه با است (یعنی برای هر فرمول و ∈: ∈()، اگر و تنها اگر (, ⊩.