पहलू

english aspect

सारांश

  • भावनाओं को किसी व्यक्ति के चेहरे पर व्यक्त किया जाता है
    • एक दुखद अभिव्यक्ति
    • जीत का एक रूप
    • एक गुस्सा चेहरा
  • माना जाने वाला एक विशेषता
  • एक समस्या में एक विशिष्ट विशेषता या तत्व
    • उन्होंने प्रश्न के हर पहलू का अध्ययन किया
  • एक क्षेत्र की दृश्य अवधारणा
    • पार्क की सबसे वांछनीय विशेषता सुंदर विचार हैं
  • एक क्रिया की क्रिया की शुरुआत या अवधि या समापन या पुनरावृत्ति

अवलोकन

मॉडेल लॉजिक 1 9 60 के दशक में मुख्य रूप से विकसित औपचारिक तर्क का एक प्रकार है जो शास्त्रीय प्रस्तावनात्मक और भविष्यवाणी तर्क को बढ़ाता है ताकि ऑपरेटरों को व्यक्तित्व व्यक्त किया जा सके। एक मोडल-एक शब्द जो एक औपचारिकता व्यक्त करता है-एक बयान अर्हता प्राप्त करता है। उदाहरण के लिए, "जॉन खुश है" कथन यह कहकर योग्यता प्राप्त कर सकता है कि जॉन आमतौर पर खुश होता है, इस मामले में "आमतौर पर" शब्द एक मोडल के रूप में कार्य कर रहा है। परंपरागत एलथिक पद्धतियों, या सत्य की रूपरेखाओं में, संभावना शामिल है ("संभवतः, पी ", "यह संभव है कि पी "), आवश्यकता ("जरूरी है, पी ", "यह आवश्यक है कि पी "), और असंभवता ("असंभव रूप से , पी "," यह असंभव है कि पी ")। अन्य तौर तरीकों कि मोडल तर्क में औपचारिक रूप दिया गया है, अस्थायी तौर-तरीकों को शामिल करने या समय (के तौर-तरीकों को विशेष रूप से, "यह हमेशा कि पी कर दिया गया है" "यह मामला है कि पी रहा था", "ऐसा नहीं है कि पी हो जाएगा", "यह हमेशा होगा वह पी "), डोंटिक मोडलिटीज (विशेष रूप से," यह अनिवार्य है कि पी ", और" यह अनुमत है कि पी "), महामारी पद्धतियों, या ज्ञान की रूपरेखा (" यह ज्ञात है कि पी ") और डॉक्सैस्टिक मोडलिटीज, या विश्वास की रूपरेखा ("यह माना जाता है कि पी ")।
एक औपचारिक मोडल तर्क मोडल ऑपरेटरों का उपयोग करके विधियों का प्रतिनिधित्व करता है। उदाहरण के लिए, "आज बारिश हो सकती है" और "यह संभव है कि बारिश गिर जाएगी" दोनों में संभावना की धारणा शामिल है। एक मोडल तर्क में इसे एक ऑपरेटर के रूप में दर्शाया जाता है, "संभावित रूप से", वाक्य से जुड़ा हुआ "आज बारिश होगी"।
आवश्यकता और संभावना को भ्रमित करने के लिए यह दुर्भाग्यपूर्ण है। विशेष रूप से, इसे मोडल फॉलसी के रूप में जाना जाता है।
मूल यूनरी (1-स्थान) मोडल ऑपरेटरों को आम तौर पर "संभवतः" और "◇" के लिए "□" लिखा जाता है। एक शास्त्रीय मोडल तर्क में, प्रत्येक को अस्वीकार के साथ दूसरे द्वारा व्यक्त किया जा सकता है:
अंग्रेजी पद्धति का अनुवाद इत्यादि। चीजों का तरीका, निर्णय की निश्चितता की डिग्री से वर्गीकरण। <अनिवार्य> <आकस्मिक> <संभव> और इसी तरह। मोर्फोलॉजिकल लॉजिक मॉडल लॉजिक का विषय, क्योंकि संभव दुनिया और समय एक समस्या बन सकता है, मैं एस क्रिपके की बहु-विश्व अर्थशास्त्र इत्यादि के रूप में विकास को देख रहा हूं।
स्रोत Encyclopedia Mypedia