မိုဒယ်သီအိုရီ
သင်္ချာတည်ဆောက်ပုံများကို ယုတ္တိဗေဒရှိ ပုံစံတကျ ဘာသာစကားသုံး၍ လေ့လာသည့် သင်္ချာဘာသာခွဲတစ
သင်္ချာ (အထူးသဖြင့် သင်္ချာသန့်သန့်) ဘာသာရပ်ရှိ တည်ဆောက်ပုံ (structure) များကို ယုတ္တိဗေဒ (logic) သုံးကာ လေ့လာသည့် ဘာသာရပ်ကို မိုဒယ်သီအိုရီ (model theory) ဟုခေါ်သည်။[၁] မိုဒယ်သီအိုရီအမျိုးမျိုးအနက် ပထမအဆင့် ဘာသာစကားများ (first-order languages) ကို အသုံးပြု ရေးသားထားချက်များနှင့် ၎င်းရေးသားထားချက်များနှင့် ကိုက်ညီသည့် တည်ဆောက်ပုံတို့အကြား ဆက်နွယ်မှုကို လေ့လာသည့် ဘာသာရပ်ကို ဂန္ထဝင် (သို့) ရှေးရိုးကျ မိုဒယ်သီအိုရီ၊ ပထမအဆင့် မိုဒယ်သီအိုရီ (first-order model theory) စသည်ဖြင့် ခေါ်ကြသည်။[၂]
အညွှန်း
ပြင်ဆင်ရန်- ↑ Weiss & D'Mello 1997, p. 1.
- ↑ Hodges & Scanlon 2013.
ကိုးကား
ပြင်ဆင်ရန်- Weiss၊ William; D'Mello၊ Cherie (1997)၊ Fundamentals of Model Theory (PDF)၊ University of Toronto
- Hodges၊ Wilfrid; Scanlon၊ Thomas (2013)၊ "First-order Model Theory"၊ in Zalta၊ Edward N. (ed.)၊ The Stanford Encyclopedia of Philosophy (Fall 2013 Edition)၊ CSLI, Stanford University
 | ဤ သင်္ချာနှင့် သက်ဆိုင်သော ဆောင်းပါးမှာ ဆောင်းပါးတိုတစ်ပုဒ် ဖြစ်သည်။ ဖြည့်စွက်ရေးသားခြင်းဖြင့် မြန်မာဝီကီပီးဒီးယားကို ကူညီပါ။ |