မိုဒယ်သီအိုရီ
သင်္ချာ (အထူးသဖြင့် သင်္ချာသန့်သန့်) ဘာသာရပ်ရှိ တည်ဆောက်ပုံ (structure) များကို ယုတ္တိဗေဒ (logic) သုံးကာ လေ့လာသည့် ဘာသာရပ်ကို မိုဒယ်သီအိုရီ (model theory) ဟုခေါ်သည်။[1] မိုဒယ်သီအိုရီအမျိုးမျိုးအနက် ပထမအဆင့် ဘာသာစကားများ (first-order languages) ကို အသုံးပြု ရေးသားထားချက်များနှင့် ၎င်းရေးသားထားချက်များနှင့် ကိုက်ညီသည့် တည်ဆောက်ပုံတို့အကြား ဆက်နွယ်မှုကို လေ့လာသည့် ဘာသာရပ်ကို ဂန္ထဝင် (သို့) ရှေးရိုးကျ မိုဒယ်သီအိုရီ၊ ပထမအဆင့် မိုဒယ်သီအိုရီ (first-order model theory) စသည်ဖြင့် ခေါ်ကြသည်။[2]
အညွှန်း
ကိုးကား
- 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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.