የውሸት እና እውነተኛ መግለጫዎች ብዙ ጊዜ በቋንቋ ልምምድ ጥቅም ላይ ይውላሉ። የመጀመሪያው ግምገማ እውነትን እንደ መካድ ይቆጠራል (ሐሰት)። እንደ እውነቱ ከሆነ፣ ሌሎች የግምገማ ዓይነቶችም ጥቅም ላይ ይውላሉ፡- እርግጠኛ አለመሆን፣ አለመረጋገጥ (መረጋገጥ)፣ አለመፈታት። የትኛው ቁጥር x መግለጫው እውነት እንደሆነ በመጨቃጨቅ የሎጂክ ህጎችን ማጤን ያስፈልጋል።
“ባለብዙ ዋጋ ያለው አመክንዮ” መፈጠር ያልተገደበ የእውነት አመልካቾችን መጠቀም አስከትሏል። ከእውነት አካላት ጋር ያለው ሁኔታ ግራ የሚያጋባ፣የተወሳሰበ ነው፣ስለዚህ እሱን ማብራራት አስፈላጊ ነው።
ቲዎሪ መርሆዎች
እውነተኛ መግለጫ የንብረት (ባህሪ) ዋጋ ነው፣ እሱም ሁልጊዜ ለተወሰነ ድርጊት ይቆጠራል። እውነት ምንድን ነው? ዕቅዱ የሚከተለው ነው፡- "ፕሮፖዚሽን X የእውነት እሴት አለው Y ፕሮፖዚሽኑ Z እውነት በሚሆንበት ጊዜ።"
አንድ ምሳሌ እንመልከት። ከተሰጡት መግለጫዎች ውስጥ መግለጫው እውነት እንደሆነ ለመረዳት አስፈላጊ ነው "ነገር a ምልክት B" አለው. ይህ አረፍተ ነገር ሐሰት ነው ነገሩ ባሕሪ ቢ አለው፣ እና ሀ ሐሰት ነው ሐሰት ለ ባሕርይ የለውም። በዚህ ጉዳይ ላይ "ውሸት" የሚለው ቃል እንደ ውጫዊ ተቃውሞ ጥቅም ላይ ይውላል።
የእውነት መወሰን
እውነተኛ መግለጫ እንዴት ነው የሚወሰነው? የሐሳብ አወቃቀሩ ምንም ይሁን ምን የሚከተለው ፍቺ ብቻ ነው የሚፈቀደው፡ "ፕሮፖዚሽን X እውነት ነው X ሲኖር X ብቻ ነው።"
ይህ ፍቺ "እውነት" የሚለውን ቃል ወደ ቋንቋው ለማስተዋወቅ ያስችላል። ከተናገረው ጋር የመስማማት ወይም የመናገርን ተግባር ይገልጻል።
ቀላል አባባሎች
ያለ ፍቺ እውነተኛ መግለጫ ይዘዋል። ይህ ሀሳብ እውነት ካልሆነ "Not-X" በሚለው ፕሮፖዚሽኑ ውስጥ እራሱን ወደ አጠቃላይ ፍቺ ሊገድበው ይችላል። ሁለቱም X እና Y እውነት ከሆኑ የ"X እና Y" ጥምረት እውነት ነው።
ምሳሌ በመናገር
አረፍተ ነገሩ ለየትኛው x እውነት እንደሆነ እንዴት መረዳት ይቻላል? ለዚህ ጥያቄ መልስ ለመስጠት አገላለጽ እንጠቀማለን፡- "ክፍል ሀ በቦታ ክልል ውስጥ ይገኛል ለ"። ለዚህ መግለጫ የሚከተሉትን ጉዳዮች ተመልከት፡
- ቅንጣትን ለመመልከት የማይቻል፤
- ቅንጣቱን መከታተል ይችላሉ።
ሁለተኛው አማራጭ የተወሰኑ አማራጮችን ይጠቁማል፡
- ቅንጣት በትክክል በተወሰነ የጠፈር ክልል ውስጥ ይገኛል፤
- እሷ በታሰበው የጠፈር ክፍል ውስጥ የለችም፤
- ቅንጣት የሚንቀሳቀሰው ያለበትን ቦታ ለማወቅ በሚያስቸግር መንገድ ነው።
በዚህ አጋጣሚ ከተሰጡት እድሎች ጋር የሚዛመዱ አራት የእውነት-እሴት ቃላት መጠቀም ይቻላል።
ለተወሳሰቡ መዋቅሮች፣ ተጨማሪ ቃላቶች ተገቢ ናቸው። ይሄያልተገደበ የእውነት እሴቶችን ያመለክታል. ለየትኛው ቁጥር መግለጫው እውነት እንደሆነ በተግባራዊ ጥቅም ላይ የተመሰረተ ነው::
አሻሚው መርህ
በእሱ መሰረት ማንኛውም መግለጫ ውሸት ነው ወይም እውነት ነው፡ ማለትም፡ ከሁለቱ ሊሆኑ ከሚችሉ የእውነት እሴቶች በአንዱ ይገለጻል - “ውሸት” እና “እውነት”።
ይህ መርህ የጥንታዊ ሎጂክ መሰረት ነው፣ እሱም ባለ ሁለት ዋጋ ቲዎሪ ይባላል። የአሻሚነት መርህ በአርስቶትል ጥቅም ላይ ውሏል. ይህ ፈላስፋ፣ መግለጫው የትኛው ቁጥር x እውነት እንደሆነ ሲከራከር፣ ከወደፊት የዘፈቀደ ክስተቶች ጋር ለሚዛመዱ መግለጫዎች እንደማይመች አድርጎ ቆጥሯል።
በሟችነት እና በአሻሚነት መርህ መካከል በማንኛውም የሰው ልጅ ድርጊት ቅድመ ውሳኔ መካከል አመክንዮአዊ ግንኙነት መሰረተ።
በቀጣዮቹ የታሪክ ዘመናት፣ በዚህ መርህ ላይ የተጣሉት እገዳዎች የተገለጹት ስለታቀዱ ክስተቶች መግለጫዎች እንዲሁም ስለሌሉ (የማይታዩ) ነገሮች ትንታኔን በእጅጉ የሚያወሳስብ በመሆኑ ነው።
የትኛዎቹ መግለጫዎች እውነት እንደሆኑ በማሰብ በዚህ ዘዴ ግልጽ የሆነ መልስ ማግኘት ሁልጊዜ የሚቻል አልነበረም።
በአመክንዮአዊ ስርዓቶች ላይ ብቅ ያሉ ጥርጣሬዎች የተወገዱት ዘመናዊ አመክንዮ ከተፈጠረ በኋላ ነው።
ከተሰጡት ቁጥሮች ውስጥ መግለጫው እውነት እንደሆነ ለመረዳት ባለ ሁለት ዋጋ አመክንዮ ተስማሚ ነው።
የአሻሚነት መርህ
ተሐድሶ ከሆነየሁለት ዋጋ ያለው መግለጫ እውነቱን ለመግለጥ፣ ወደ ልዩ የፖሊሴሚ ጉዳይ ሊቀይሩት ይችላሉ፡ ማንኛውም መግለጫ n ከ 2 በላይ ከሆነ ወይም ከማይታወቅ ያነሰ ከሆነ አንድ n እውነት እሴት ይኖረዋል።
ከተጨማሪ የእውነት እሴቶች በስተቀር (ከ"ውሸት" እና "እውነት" በላይ) በአሻሚነት መርህ ላይ የተመሰረቱ ብዙ አመክንዮአዊ ስርዓቶች ናቸው። ባለ ሁለት ዋጋ ክላሲካል ሎጂክ የአንዳንድ አመክንዮአዊ ምልክቶችን የተለመዱ አጠቃቀሞችን ያሳያል፡ “ወይም”፣ “እና”፣ “አይደለም”።
ተጨምሬአለሁ የሚለው ባለብዙ እሴት አመክንዮ የሁለት ዋጋ ካለው ስርዓት ውጤት ጋር መቃረን የለበትም።
የአሻሚነት መርህ ሁል ጊዜ ወደ ገዳይነት እና ቆራጥነት መግለጫ ይመራል የሚለው እምነት እንደ ስህተት ይቆጠራል። እንዲሁም ብዙ አመክንዮዎች የማይወስኑ ምክንያቶችን ለማስፈፀም እንደ አስፈላጊ ዘዴ መታየቱ የተሳሳተ ነው ፣ ይህ ተቀባይነት ጥብቅ ውሳኔን ከመቃወም ጋር ይዛመዳል።
የአመክንዮአዊ ምልክቶች ትርጉም
አረፍተ ነገሩ እውነት እንደሆነ X ቁጥር ለመረዳት፣ እራስዎን የእውነት ጠረጴዛዎችን ማስታጠቅ ይችላሉ። አመክንዮአዊ ትርጉሞች ከተሰየሙ ነገሮች ጋር ያለውን ግንኙነት፣የተለያዩ የቋንቋ አገላለጾች ይዘታቸውን የሚያጠና የሜታሎጅክስ ክፍል ነው።
ይህ ችግር አስቀድሞ በጥንታዊው ዓለም ይታሰብ ነበር ነገርግን ሙሉ በሙሉ ነፃ በሆነ ዲሲፕሊን መልክ የተቀረፀው በ19ኛው-20ኛው ክፍለ ዘመን መባቻ ላይ ነው። በG. Frege፣ C. Pierce፣ R. Carnap፣ S. Kripke ይሰራልየዚህን ፅንሰ-ሀሳብ ፍሬ ነገር፣ ተጨባጭነቱ እና ጥቅሙ ለመግለፅ አስችሎታል።
ለረዥም ጊዜ፣ የትርጉም አመክንዮ በዋነኝነት የተመካው በመደበኛ ቋንቋዎች ትንተና ላይ ነው። አብዛኛው ምርምር የተደረገው በቅርብ ጊዜ ብቻ ነው።
በዚህ ቴክኒክ ውስጥ ሁለት ዋና ዋና ቦታዎች አሉ፡
- የማስታወሻ ቲዎሪ (ማጣቀሻ)፤
- የትርጉም ፅንሰ-ሀሳብ።
የመጀመሪያው የተለያዩ የቋንቋ አገላለጾች ከተመረጡት ነገሮች ጋር ያለውን ግንኙነት ማጥናትን ያካትታል። እንደ ዋና ምድቦች, አንድ ሰው መገመት ይችላል: "ስያሜ", "ስም", "ሞዴል", "ትርጓሜ". ይህ ቲዎሪ በዘመናዊ አመክንዮዎች ለመረጃዎች መሰረት ነው።
የትርጉም ቲዎሪ የቋንቋ አገላለጽ ትርጉም ምንድን ነው ለሚለው ጥያቄ መልስ ፍለጋን ይመለከታል። ማንነታቸውን በትርጉም ትገልፃለች።
የትርጉም ፅንሰ-ሀሳብ በትርጓሜ ፓራዶክስ ውይይት ውስጥ ትልቅ ሚና ይጫወታል፣በመፍትሔውም ማንኛውም ተቀባይነት ያለው መስፈርት አስፈላጊ እና ጠቃሚ ነው።
የሎጂክ እኩልታ
ይህ ቃል በብረታ ብረት ቋንቋ ጥቅም ላይ ይውላል። በሎጂክ እኩልታ ስር፣ F1=F2 መዝገቡን መወከል እንችላለን፣ በዚህ ውስጥ F1 እና F2 የተራዘመ የሎጂክ ፕሮፖዚሽን ቋንቋ ቀመሮች ናቸው። እንዲህ ያለውን እኩልታ ለመፍታት ማለት በ F1 ወይም F2 ቀመሮች ውስጥ የሚካተቱትን የተለዋዋጮች እውነተኛ እሴቶች ስብስቦችን መወሰን ማለት ሲሆን ይህም የታቀደው እኩልነት የሚታይበት ነው።
የሒሳብ እኩል ምልክት በአንዳንድ ሁኔታዎችየመጀመሪያዎቹን እቃዎች እኩልነት ያሳያል, እና በአንዳንድ ሁኔታዎች የእሴቶቻቸውን እኩልነት ለማሳየት ተዘጋጅቷል. F1=F2 ግቤት ስለተመሳሳዩ ቀመር እየተነጋገርን መሆኑን ሊያመለክት ይችላል።
በሥነ ጽሑፍ ውስጥ ብዙውን ጊዜ በመደበኛ አመክንዮ መሠረት እንደ "የሎጂክ ፕሮፖዚሽን ቋንቋ" ተመሳሳይ ቃል ማለት ነው። "ትክክለኛዎቹ ቃላት" መደበኛ ባልሆነ (ፍልስፍናዊ) አመክንዮ ላይ ምክንያታዊነትን ለመገንባት የሚያገለግሉ የትርጓሜ ክፍሎች ሆነው የሚያገለግሉ ቀመሮች ናቸው።
አረፍተ ነገር አንድን የተወሰነ ሀሳብ የሚገልጽ እንደ ዓረፍተ ነገር ይሰራል። በሌላ አነጋገር፣ የአንዳንድ ሁኔታዎች መኖር የሚለውን ሃሳብ ይገልጻል።
ማንኛውም መግለጫ በጉዳዩ ላይ የተገለጸው የሁኔታዎች ሁኔታ በእውነታው ላይ ሲገኝ እንደ እውነት ሊቆጠር ይችላል። ያለበለዚያ እንዲህ ያለው መግለጫ የውሸት መግለጫ ይሆናል።
ይህ እውነታ የአመክንዮአዊ አመክንዮ መሰረት ሆነ። መግለጫዎች ወደ ቀላል እና ውስብስብ ቡድኖች መከፋፈል አለ።
ቀላል የመግለጫ ዓይነቶችን ሲደራጁ የአንደኛ ደረጃ ዜሮ ቅደም ተከተል የቋንቋ ቀመሮች ጥቅም ላይ ይውላሉ። የተወሳሰቡ መግለጫዎች መግለጫ የሚቻለው የቋንቋ ቀመሮችን በመጠቀም ብቻ ነው።
ማኅበራትን ለማመልከት አመክንዮአዊ ማገናኛዎች ያስፈልጋሉ። ሲተገበር ቀላል መግለጫዎች ወደ ውስብስብ ቅጾች ይለወጣሉ፡
- "አይደለም"፣
- "እውነት አይደለም…"፣
- "ወይም"።
ማጠቃለያ
መደበኛ አመክንዮ አንድ መግለጫ ለየትኛው ስም እውነት እንደሆነ ለማወቅ ይረዳል፣ የተወሰኑ አገላለጾችን የሚጠብቁትን የመቀየር ህጎችን መገንባት እና መተንተንን ያካትታል።ይዘት ምንም ይሁን ምን እውነተኛ ዋጋ. እንደ የተለየ የፍልስፍና ሳይንስ ክፍል ፣ በአሥራ ዘጠነኛው ክፍለ ዘመን መገባደጃ ላይ ብቻ ታየ። ሁለተኛው አቅጣጫ መደበኛ ያልሆነ አመክንዮ ነው።
የዚህ ሳይንሱ ዋና ተግባር በተረጋገጡ መግለጫዎች ላይ በመመስረት አዳዲስ መግለጫዎችን እንድታገኙ የሚያስችሉዎትን ህጎች ስርአት ማስያዝ ነው።
የአመክንዮ መሰረቱ አንዳንድ ሀሳቦችን የማግኘት እድል ነው እንደ ምክንያታዊ ሌሎች መግለጫዎች።
ይህ እውነታ በሂሳብ ሳይንስ ውስጥ የተወሰነ ችግርን ብቻ ሳይሆን አመክንዮ ወደ ጥበባዊ ፈጠራ ለማስተላለፍ ያስችላል።
አመክንዮአዊ ምርመራ በግቢው መካከል ያለውን ግንኙነት እና ከነሱ የተገኙ መደምደሚያዎችን ይገምታል።
ከመጀመሪያዎቹ፣ የዘመናዊ አመክንዮ ፅንሰ-ሀሳቦች ብዛት ጋር ሊያያዝ ይችላል፣ እሱም ዘወትር ሳይንስ ተብሎ የሚጠራው "ከሱ ምን ይከተላል።"
በጂኦሜትሪ ቲዎሬሞችን ማረጋገጥ፣አካላዊ ክስተቶችን ማብራራት፣በኬሚስትሪ ውስጥ ያሉ የግብረ-መልስ ዘዴዎችን ያለምክንያት ማብራራት አስቸጋሪ ነው።
