မိုဒယ်သီအိုရီ

ဝီကီပီးဒီးယား မှ
အ​ညွှန်း​သို့ ခုန်ကူးရန် ရှာဖွေရန် ခုန်ကူးမည်

သင်္ချာ (အထူးသဖြင့် သင်္ချာသန့်သန့်) ဘာသာရပ်ရှိ တည်ဆောက်ပုံ (structure) များကို ယုတ္တိဗေဒ (logic) သုံးကာ လေ့လာသည့် ဘာသာရပ်ကို မိုဒယ်သီအိုရီ (model theory) ဟုခေါ်သည်။[၁] မိုဒယ်သီအိုရီအမျိုးမျိုးအနက် ပထမအဆင့် ဘာသာစကားများ (first-order languages) ကို အသုံးပြု ရေးသားထားချက်များနှင့် ၎င်းရေးသားထားချက်များနှင့် ကိုက်ညီသည့် တည်ဆောက်ပုံတို့အကြား ဆက်နွယ်မှုကို လေ့လာသည့် ဘာသာရပ်ကို ဂန္ထဝင် (သို့) ရှေးရိုးကျ မိုဒယ်သီအိုရီ၊ ပထမအဆင့် မိုဒယ်သီအိုရီ (first-order model theory) စသည်ဖြင့် ခေါ်ကြသည်။[၂]


အညွှန်း[ပြင်ဆင်ရန်]

ကိုးကား[ပြင်ဆင်ရန်]

  • 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