Логик боломж ба метафизик боломж
Логик боломж ба Метафизик боломж нь модаль логикийн явцад дөрвөн төрлийн субъектив боломжийн хоёр нь юм. Мэдэгдэл эсвэл боломжийн саналууд нь зайлшгүй, санамсаргүй, магадгүй, магадгүй, үндсэндээ, чадах, тохиолдлоор, зайлшгүй гэх мэт сэтгэлийн байдал эсвэл модаль үгсийг ашиглаж байна.
Логик боломж
Логик боломж бол өргөн тайлбартай учраас хамгийн өргөн яригддаг боломжуудын төрөл юм. Хэрэв та ямар нэгэн зөрчилдөөн байхгүй бол энэ мэдэгдлийг логикийн хувьд боломжтой гэж үзэж болно. Жишээлбэл, "Жулиан өвчтэй" гэсэн үг нь "Жулиан" ба "өвчтэй" нь хоорондоо зөрчилддөггүй тул логикийн хувьд боломжтой гэж үздэг. Гэхдээ "Жулиан эрүүл өвчтэй" гэсэн үг логикийн хувьд боломжгүй, учир нь "эрүүл" болон "өвчтэй" нь хоорондоо зөрчилддөг.
Метафизик боломж
Метафизик боломжийг логик боломжтой харьцуулж үзвэл тайлбар, мэдэгдлийн хувьд арай нарийссан. Гэхдээ заримдаа гүн ухаантнууд хоорондоо нягт холбоотой байдаг тул тэдгээрийг сольж байдаг. Үүнийг илүү сайн ойлгохын тулд жишээ болгон тайлбарлавал давс нь натри (Na) ба хлоридын (Cl) нэгдэл учраас метафизикийн хувьд "Давс бол NaCl" гэсэн санаа юм.
Логик боломж ба метафизик боломжийн ялгаа
Мэдэгдэл нь логикийн хувьд боломжтой гэж хэлэхэд бүхэл бүтэн мэдэгдэлд ямар ч зөрчилтэй үг, үг байх ёсгүй, харин метафизикийн хувьд боломжтой нь объектын бүтцийг илэрхийлсэн санал юм. Хэрэв жишээ болгон тайлбарлахгүй бол тэдний ялгааг ойлгоход хэцүү байдаг. Саул Крипкегийн "Ус бол H2O биш" гэсэн алдартай хэллэгийг ашиглавал, ус ба H2O хоёр нь хоорондоо зөрчилддөггүй тул энэ нь логик боломжийн байдалд байгаа боловч ус үргэлж H2O байх тул метафизикийн хувьд боломжгүй юм. Энэ талаар илүү гүнзгий судлахыг зөвлөж байна.
Гүн ухаантнууд энэ хоёр төрлийн боломжуудыг аль хэдийн олон жилийн турш, тэр байтугай одоог хүртэл авч үзсэн. Дээр дурдсантай адил логикийн хувьд боломжтой боловч метафизикийн хувьд боломжгүй мэдэгдлүүд байдаг тул тэд ашиглах нь зөв, логик боломж эсвэл метафизик боломжийн талаар үргэлжлүүлэн маргалдсаар байна.
Товчхондоо:
• Хэрэв өгүүлбэрт зөрчилдөөнтэй үг/үүд байхгүй бол өгүүлбэрийг логикийн хувьд боломжтой гэж үздэг бол метафизикийн хувьд боломжтой өгүүлбэр нь объектын зөв найрлагыг хэлж байгаа тохиолдолд боломжтой гэж үзнэ.
• Логикийн хувьд боломжтой санал гэдэг нь үргэлж метафизикийн хувьд боломжтой гэсэн үг биш бөгөөд метафизикийн хувьд боломжтой мэдэгдэл нь заримдаа логикийн хувьд боломжгүй байж болно.