ተምሳሌታዊ አመክንዮ፡ ጽንሰ ሃሳብ፣ የአመክንዮ ቋንቋ፣ ባህላዊ እና ዘመናዊ አመክንዮ

ዝርዝር ሁኔታ:

ተምሳሌታዊ አመክንዮ፡ ጽንሰ ሃሳብ፣ የአመክንዮ ቋንቋ፣ ባህላዊ እና ዘመናዊ አመክንዮ
ተምሳሌታዊ አመክንዮ፡ ጽንሰ ሃሳብ፣ የአመክንዮ ቋንቋ፣ ባህላዊ እና ዘመናዊ አመክንዮ
Anonim

ተምሳሌታዊ አመክንዮ ትክክለኛ የማመዛዘን ዓይነቶችን የሚያጠና የሳይንስ ዘርፍ ነው። በፍልስፍና ፣ በሂሳብ እና በኮምፒተር ሳይንስ ውስጥ መሠረታዊ ሚና ይጫወታል። እንደ ፍልስፍና እና ሂሳብ፣ አመክንዮ የጥንት ሥሮች አሉት። ስለ ትክክለኛ አስተሳሰብ ተፈጥሮ የመጀመሪያዎቹ ጽሑፎች የተጻፉት ከ2,000 ዓመታት በፊት ነው። አንዳንድ የጥንቷ ግሪክ ታዋቂ ፈላስፎች ከ2,300 ዓመታት በፊት ስለ ማቆየት ተፈጥሮ ጽፈዋል። የጥንት ቻይናውያን አሳቢዎች ስለ ሎጂካዊ ፓራዶክስ በተመሳሳይ ጊዜ ይጽፉ ነበር። ሥሩ ወደ ኋላ ቢመለስም፣ አመክንዮ አሁንም ደማቅ የጥናት መስክ ነው።

የሒሳብ ተምሳሌታዊ አመክንዮ

እንዲሁም መረዳት እና ማመዛዘን መቻል አለባችሁ ለዚህም ነው የተለያዩ የህይወት ዘርፎችን ለመተንተን እና ለመመርመር ልዩ መሳሪያዎች በሌሉበት ለሎጂክ ድምዳሜዎች ልዩ ትኩረት ተሰጥቷል። ዘመናዊው ተምሳሌታዊ አመክንዮ የመነጨው ከታላቁ የግሪክ ፈላስፋ እና ከዘመናት ሁሉ ከፍተኛ ተጽዕኖ ፈጣሪ ከሆኑት አርስቶትል (384-322 ዓክልበ. ግድም) ሥራ ነው። ተጨማሪ ስኬቶች ነበሩአሁን ፕሮፖዚላዊ አመክንዮ የምንለውን መሰረት ባበጀው በግሪክ እስጦኢክ ፈላስፋ ክሪሲፐስ።

የሒሳብ ወይም ተምሳሌታዊ አመክንዮ የነቃ እድገት ያገኘው በ19ኛው ክፍለ ዘመን ብቻ ነው። ሳይንቲስቶች የአርስቶትልን አስተምህሮ አልጀብራ ያደረጉበት የቦሌ፣ ዴ ሞርጋን፣ ሽሮደር ስራዎች ታዩ፣ በዚህም ለፕሮፖዚላዊ ካልኩለስ መሰረት ሆኑ። ከዚህ በመቀጠል የፍሬጅ እና የፕሬስ ስራዎች ተካትተዋል, የተለዋዋጮች እና የመጠን መለኪያዎች ፅንሰ-ሀሳቦች አስተዋውቀዋል, ይህም በሎጂክ ውስጥ መተግበር ጀመረ. ስለዚህ የተሳቢዎች ስሌት ተመሠረተ - ስለ ርዕሰ ጉዳዩ መግለጫዎች።

የእውነት ቀጥተኛ ማረጋገጫ በሌለበት ጊዜ አመክንዮ የማይከራከሩ እውነታዎች ማረጋገጫ ነው። አመክንዮአዊ አገላለጾች ጠያቂውን ትክክለኛነቱን ማሳመን ነበረባቸው።

አመክንዮአዊ ቀመሮች የተገነቡት በሒሳብ ማረጋገጫ መርህ ላይ ነው። ስለዚህ አነጋጋሪዎቹን ትክክለኛነት እና አስተማማኝነት አሳምነዋል።

ነገር ግን ሁሉም የክርክር ዓይነቶች የተፃፉት በቃላት ነው። አመክንዮአዊ ቅነሳ ስሌት የሚፈጥሩ ምንም አይነት መደበኛ ዘዴዎች አልነበሩም። ሰዎች ሳይንቲስቱ ከሂሳብ ስሌቶች ጀርባ መደበቅ አለመቻላቸውን መጠራጠር ጀመሩ ፣የእሱን ግምታዊነት ከኋላቸው በመደበቅ ፣ምክንያቱም ሁሉም ሰው ክርክራቸውን በተለየ ውዴታ ማቅረብ ይችላል።

ትርጉም ያለው ልደት፡ ጠንካራ አመክንዮ በሂሳብ የእውነት ማረጋገጫ

ዘመናዊ ተምሳሌታዊ ሎጂክ
ዘመናዊ ተምሳሌታዊ ሎጂክ

በ18ኛው ክፍለ ዘመን መገባደጃ ላይ፣የሂሣብ ወይም ተምሳሌታዊ አመክንዮ እንደ ሳይንስ ብቅ አለ፣ይህም የመደምደሚያዎችን ትክክለኛነት የማጥናት ሂደትን ያካትታል። አመክንዮአዊ ፍጻሜ እና ግንኙነት እንዲኖራቸው ይጠበቅባቸው ነበር። ግን እንዴት ማረጋገጥ ነበር።ወይም የምርምር ውሂቡን ያጸድቁ?

ታላቁ ጀርመናዊ ፈላስፋ እና የሂሳብ ሊቅ ጎትፍሪድ ሌብኒዝ አመክንዮአዊ ክርክሮችን መደበኛ ማድረግ አስፈላጊ መሆኑን ከተገነዘቡት መካከል አንዱ ነው። የሌብኒዝ ህልም ነበር-ሁሉንም የፍልስፍና አለመግባባቶችን ወደ ቀላል ስሌት የሚቀንስ ሁለንተናዊ መደበኛ የሳይንስ ቋንቋ መፍጠር ፣ በዚህ ቋንቋ ውስጥ እንደዚህ ባሉ ውይይቶች ውስጥ አመክንዮ እንደገና እንዲሰራ ማድረግ። የሂሳብ ወይም ተምሳሌታዊ ሎጂክ በፍልስፍና ጥያቄዎች ውስጥ ተግባራትን እና መፍትሄዎችን በሚያመቻቹ ቀመሮች መልክ ታየ። አዎ፣ እና ይህ የሳይንስ ዘርፍ የበለጠ ጉልህ ሆነ፣ ምክንያቱም ያኔ ትርጉም የለሽ ፍልስፍናዊ ጭውውት ያኔ ሒሳብ ራሱ የሚመካበት የታችኛው ክፍል ሆነ!

በእኛ ጊዜ ባህላዊ አመክንዮ ምሳሌያዊ አሪስቶቴሊያን ነው፣ይህም ቀላል እና ፍቺ የሌለው ነው። በ 19 ኛው ክፍለ ዘመን ሳይንስ የአርስቶትል ሎጂካዊ ቅደም ተከተሎች በጣም ታዋቂ በሆኑት መፍትሄዎች ውስጥ አለመመጣጠን እንዲፈጠር የሚያደርገውን የቅንጅቶች አያዎ (ፓራዶክስ) አጋጥሞታል። ይህ ችግር መፈታት ነበረበት፣ ምክንያቱም በሳይንስ ውስጥ ላዩን ስህተቶች እንኳን ሊኖሩ አይችሉም።

የሌዊስ ካሮል መደበኛነት - ተምሳሌታዊ አመክንዮ እና የለውጥ እርምጃዎቹ

መደበኛ አመክንዮ አሁን በኮርሱ ውስጥ የተካተተ ርዕሰ ጉዳይ ነው። ነገር ግን፣ መልክዋ በመጀመሪያ የተፈጠረው ምሳሌያዊው ነው። ተምሳሌታዊ ሎጂክ ከተለመደው ቋንቋ ይልቅ ምልክቶችን እና ተለዋዋጮችን በመጠቀም አመክንዮአዊ አገላለጾችን የመወከል ዘዴ ነው። ይህ እንደ ራሽያኛ ካሉ የጋራ ቋንቋዎች ጋር ያለውን አሻሚነት ያስወግዳል እና ነገሮችን ቀላል ያደርገዋል።

እንደ፡ ያሉ ብዙ የተምሳሌታዊ አመክንዮ ሥርዓቶች አሉ።

  • የታወቀ ፕሮፖዛል።
  • የመጀመሪያ ደረጃ አመክንዮ።
  • ሞዳል።

ተምሳሌታዊ አመክንዮ በሉዊስ ካሮል እንደተረዳው በተጠየቀው ጥያቄ ውስጥ እውነተኛ እና የውሸት መግለጫዎችን ማመላከት ይኖርበታል። እያንዳንዳቸው የተለየ ቁምፊዎች ሊኖራቸው ወይም የተወሰኑ ቁምፊዎችን መጠቀምን ማስቀረት ይችላሉ. አመክንዮአዊ መደምደሚያዎችን የሚዘጉ አንዳንድ የአረፍተ ነገሮች ምሳሌዎች እዚህ አሉ፡

  1. ከእኔ ጋር የሚመሳሰሉ ሰዎች ሁሉ ያሉ ፍጥረታት ናቸው።
  2. ከባትማን ጋር የሚመሳሰሉ ጀግኖች በሙሉ ያሉ ፍጥረታት ናቸው።
  3. ስለዚህ (እኔና ባትማን አንድ ቦታ ላይ ታይቶ ስለማያውቅ) ከእኔ ጋር የሚመሳሰሉ ሰዎች ሁሉ ከባትማን ጋር ተመሳሳይ ጀግኖች ናቸው።
ተምሳሌታዊ ቅርጽ በሎጂክ
ተምሳሌታዊ ቅርጽ በሎጂክ

ይህ ትክክለኛ ቅጽ ሲሎሎጂ አይደለም፣ነገር ግን ከሚከተለው ጋር ተመሳሳይ መዋቅር ነው፡

  • ሁሉም ውሾች አጥቢ እንስሳት ናቸው።
  • ሁሉም ድመቶች አጥቢ እንስሳት ናቸው።
  • ለዛም ነው ሁሉም ውሾች ድመቶች የሆኑት።

ከላይ ያለው ተምሳሌታዊ ቅርጽ በሎጂክ ልክ እንዳልሆነ ግልጽ መሆን አለበት። ነገር ግን፣ በሎጂክ፣ ፍትህ በዚህ አገላለጽ ይገለጻል፡ መነሻው እውነት ቢሆን ኖሮ መደምደሚያው እውነት ይሆን ነበር። ይህ እውነት እንዳልሆነ ግልጽ ነው። ተመሳሳይ ቅርጽ ያለው ለጀግናው ምሳሌ ተመሳሳይ ይሆናል. ተቀባይነት የሚያገኘው ተቀናሽ መከራከሪያ ትክክል ሊሆን ስለማይችል መደምደሚያቸውን በእርግጠኝነት ለማረጋገጥ በተዘጋጁ ተቀናሽ ነጋሪ እሴቶች ላይ ብቻ ነው። እነዚህ "ማስተካከያዎች" በስታቲስቲክስ ውስጥም የሚተገበሩት የውሂብ ስህተት ውጤት ሲኖር ነው, እና ዘመናዊ ተምሳሌታዊ አመክንዮ እንደየቀላል መረጃ መደበኛነት በእነዚህ ጉዳዮች ላይ ያግዛል።

ማስረጃ በዘመናዊ አመክንዮ

አስደሳች ክርክር መደምደሚያውን በከፍተኛ ዕድል ወይም ውድቅ ለማሳየት ብቻ ነው። አነቃቂ ነጋሪ እሴቶች ጠንካራ ወይም ደካማ ናቸው።

እንደ አመላካች ክርክር፣ የልዕለ ኃያል ባትማን ምሳሌ በቀላሉ ደካማ ነው። ባትማን መኖሩ አጠራጣሪ ነው፣ስለዚህ ከመግለጫው ውስጥ አንዱ ከፍ ያለ ዕድል አስቀድሞ የተሳሳተ ነው። እሱን ከሌላ ሰው ጋር በአንድ ቦታ አይተህው የማታውቀው ቢሆንም ይህን አገላለጽ እንደማስረጃ መውሰድ ግን ዘበት ነው። የሎጂክን ምንነት ለመረዳት አስቡት፡

  1. ከጊኒ ተወላጅ ጋር በአንድ ቦታ ታይተው አያውቁም።
  2. እርስዎ እና የጊኒው ሰው አንድ አይነት ሰው መሆኖ የማይታሰብ ነው።
  3. አሁን አንተ እና አንድ አፍሪካዊ አንድ ቦታ ተገናኝተህ እንደማታውቅ አስብ። አንተ እና አፍሪካዊ አንድ አይነት ሰው መሆኖህ አሳማኝ አይደለም። ነገር ግን ጊኒው እና አፍሪካዊው መንገድ ተሻገሩ፣ ስለዚህ ሁለታችሁም በአንድ ጊዜ መሆን አይችሉም። አፍሪካዊ ወይም ጊኒ መሆንህን የሚያሳዩ መረጃዎች በጣም ቀንሰዋል።

ከዚህ አንፃር፣ የምሳሌያዊ አመክንዮ ጽንሰ-ሀሳብ ከሂሳብ ጋር የቅድሚያ ግንኙነትን አያመለክትም። አመክንዮ እንደ ምልክት ለማወቅ የሚያስፈልገው ሁሉ አመክንዮአዊ ስራዎችን ለመወከል ምልክቶችን በስፋት መጠቀም ነው።

የካሮል አመክንዮአዊ ቲዎሪ፡ መጠላለፍ ወይም ዝቅተኛነት በሂሳብ ፍልስፍና

የሂሳብ ምሳሌያዊ ሎጂክ እንደ ሳይንስ
የሂሳብ ምሳሌያዊ ሎጂክ እንደ ሳይንስ

ካሮል አንዳንድ ያልተለመዱ መንገዶችን ተማረይህም በባልደረቦቹ ያጋጠሙትን ከባድ ችግሮች እንዲፈታ አስገድዶታል። ይህ በስራው ምክንያት በተቀበለው የሎጂክ ኖታ እና ስርዓቶች ውስብስብነት ምክንያት ከፍተኛ እድገት እንዳያደርግ አግዶታል. የካሮል ተምሳሌታዊ ሎጂክ raison d'être የማስወገድ ችግር ነው። በተሰጡት ውሎች መካከል ያለውን ግንኙነት በተመለከተ ከግቢው ስብስብ የሚቀርበው መደምደሚያ እንዴት ማግኘት ይቻላል? "መካከለኛ ቃላት" በማስወገድ ላይ።

በአስራ ዘጠነኛው ክፍለ ዘመን አጋማሽ ላይ ይህን ማዕከላዊ የአመክንዮ ችግር ለመፍታት ነበር ምሳሌያዊ፣ ስዕላዊ መግለጫ እና ሜካኒካል መሳሪያዎች የተፈጠሩት። ይሁን እንጂ የካሮል ዘዴዎች እንደነዚህ ያሉትን "ሎጂካዊ ቅደም ተከተሎች" (እንደ ጠራው) ለማስኬድ የሚረዱ ዘዴዎች ሁልጊዜ ትክክለኛውን መፍትሄ አልሰጡም. በኋላ ፈላስፋው መላምቶች ላይ ሁለት ጽሑፎችን አሳተመ እነዚህም አእምሮ፡ ሎጂካል ፓራዶክስ (1894) እና ኤሊ ለአክሌስ ምን አለ (1895) በተሰኘው መጽሔት ላይ ተንጸባርቀዋል።

እነዚህ ወረቀቶች በአስራ ዘጠነኛው እና በሃያኛው ክፍለ ዘመን በነበሩት አመክንዮዎች (Pearce, Russell, Ryle, Prior, Quine, ወዘተ) በሰፊው ተብራርተው ነበር. የመጀመሪያው መጣጥፍ ብዙውን ጊዜ የቁሳዊ አንድምታ አያዎ (ፓራዶክስ) ጥሩ ምሳሌ ሆኖ ሲጠቀስ ሁለተኛው ደግሞ ኢንፈረንስ ፓራዶክስ ወደ ሚባለው ይመራል።

የምልክቶች ቀላልነት በሎጂክ

የባህላዊ አመክንዮ ቋንቋ
የባህላዊ አመክንዮ ቋንቋ

የአመክንዮ ተምሳሌታዊ ቋንቋ ለረጅም አሻሚ አረፍተ ነገሮች ምትክ ነው። ምቹ ፣ ምክንያቱም በሩሲያኛ ስለ ተለያዩ ሁኔታዎች ተመሳሳይ ነገር ማለት ይችላሉ ፣ ይህም ግራ መጋባት እንዲፈጠር ያደርገዋል ፣ እና በሂሳብ ፣ ምልክቶች የእያንዳንዱን ትርጉም ማንነት ይተካሉ ።

  1. በመጀመሪያ፣ አጭርነት ለቅልጥፍና አስፈላጊ ነው።ተምሳሌታዊ አመክንዮ ያለ ምልክቶች እና ስያሜዎች ሊሠራ አይችልም፣ ያለበለዚያ ትክክለኛ ትርጉም የማግኘት መብት ከሌለው ፍልስፍናዊ ብቻ ይቀራል።
  2. ሁለተኛ፣ ምልክቶች ምክንያታዊ እውነቶችን ለማየት እና ለመቅረጽ ቀላል ያደርጉታል። ንጥል 1 እና 2 "አልጀብራዊ" ምክንያታዊ ቀመሮችን መጠቀምን ያበረታታሉ።
  3. ሦስተኛ፣ አመክንዮ አመክንዮአዊ እውነቶችን ሲገልጽ፣ ተምሳሌታዊ አጻጻፍ የአመክንዮ አወቃቀሩን ጥናት ያበረታታል። ይህ ካለፈው ነጥብ ጋር የተያያዘ ነው. ስለዚህም ተምሳሌታዊ አመክንዮ እራሱን ለሎጂክ የሂሳብ ጥናት ያበድራል ይህም የሂሳብ ሎጂክ ቅርንጫፍ ነው።
  4. አራተኛ፣ መልሱን ሲደግሙ፣ ምልክቶችን መጠቀም ተራውን ቋንቋ ግልጽነት (ለምሳሌ፣ በርካታ ትርጉሞች) ለመከላከል አጋዥ ነው። እንዲሁም ትርጉሙ ልዩ መሆኑን ለማረጋገጥ ይረዳል።

በመጨረሻ፣ የሎጂክ ተምሳሌታዊ ቋንቋ በፍሬጅ አስተዋወቀው ተሳቢ ካልኩለስ እንዲኖር ያስችላል። በሒሳብ እና በሎጂክ ጥሩ ኖት አስፈላጊ በመሆኑ ለዓመታት የ predicate ካልኩለስ ምሳሌያዊ መግለጫው ተጠርቷል እና የበለጠ ውጤታማ ሆኗል ።

የአርስቶትል ኦንቶሎጂ የጥንት ዘመን

ሳይንቲስቶች የስሊኒን ዘዴዎችን በትርጉሞቻቸው መጠቀም ሲጀምሩ የአሳቢው ስራ ፍላጎት ነበራቸው። መጽሐፉ የክላሲካል እና ሞዳል አመክንዮ ንድፈ ሃሳቦችን ያቀርባል። የፅንሰ-ሃሳቡ አስፈላጊ አካል በምሳሌያዊ አመክንዮ ወደ CNF መቀነስ የአስተያየቱ አመክንዮ ቀመር ነው። ምህጻረ ቃል ማለት የተለዋዋጮች ጥምረት ወይም መከፋፈል ማለት ነው።

ተምሳሌታዊ አመክንዮ
ተምሳሌታዊ አመክንዮ

Slinin Ya. A የተወሳሰቡ ቀመሮች፣ ተደጋጋሚ ቅነሳ የሚያስፈልጋቸው፣ ወደ ንዑስ ቀመር እንዲቀየር ሐሳብ አቀረበ። ስለዚህም አንዳንድ እሴቶችን ወደ በጣም አናሳዎች ቀይሮ ችግሮችን በተጠረጠረ ስሪት ፈታ። ከንግግሮች ጋር መሥራት ወደ ዴ ሞርጋን ቀመሮች ተቀንሷል። የዴ ሞርጋን ስም የተሸከሙት ህጎች መግለጫዎችን እና ቀመሮችን ወደ አማራጭ እና ብዙ ጊዜ ይበልጥ ምቹ እንዲሆኑ የሚያደርጉ ጥንድ ተዛማጅ ቲዎሬሞች ናቸው። ህጎቹ እንደሚከተለው ናቸው፡

  1. የመበታተን (ወይም አለመመጣጠን) ከአማራጮች መቃወም ህብረት ጋር እኩል ነው - p ወይም q ከ p ጋር እኩል አይደለም እና q ወይም በምሳሌያዊ ~ (p ⊦ q) ≡ ~p ~q.
  2. የግንኙነቱ አሉታዊነት ከዋነኞቹ ማያያዣዎች መቃወሚያ ጋር እኩል ነው፣ ማለትም (p እና q) ከ p ወይም ከ q ጋር እኩል አይደሉም፣ ወይም በምሳሌያዊ ~ (p q) ≡ ~p ⊦ ~q.

ለእነዚህ የመጀመሪያ መረጃዎች ምስጋና ይግባውና ብዙ የሂሳብ ሊቃውንት ውስብስብ ምክንያታዊ ችግሮችን ለመፍታት ቀመሮችን መተግበር ጀመሩ። ብዙ ሰዎች የተግባሮች መጋጠሚያ ቦታ የሚጠናበት የትምህርት ኮርስ እንዳለ ያውቃሉ። እና የማትሪክስ ትርጓሜ እንዲሁ በሎጂክ ቀመሮች ላይ የተመሠረተ ነው። በአልጀብራ ግንኙነት ውስጥ የሎጂክ ምንነት ምንድን ነው? ይህ የቁጥሮች እና የፍልስፍና ሳይንስ እንደ "ነፍስ አልባ" እና ትርፋማ የማመዛዘን ቦታ ላይ ማስቀመጥ ሲችሉ ይህ ደረጃ ያለው የመስመር ተግባር ነው። ምንም እንኳን ኢ ካንት የሒሳብ ሊቅ እና ፈላስፋ በመሆን ሌላ ቢያስብም። ሌላ እስካልተረጋገጠ ድረስ ፍልስፍና ምንም እንዳልሆነ ጠቁመዋል። እና ማስረጃው በሳይንሳዊ መልኩ ትክክለኛ መሆን አለበት. እናም ፍልስፍና ምስጋና ይግባውና ትርጉም ያለው መሆን ጀመረከቁጥሮች እና ስሌቶች እውነተኛ ተፈጥሮ ጋር የሚዛመድ።

የሎጂክ መተግበሪያ በሳይንስ እና በእውነታው በቁሳዊው ዓለም

ፈላስፋዎች ብዙውን ጊዜ የሎጂክ አመክንዮ ሳይንስን ለአንዳንድ ትልቅ የድህረ-ዲግሪ ፕሮጄክት ብቻ አይጠቀሙበትም (ብዙውን ጊዜ በከፍተኛ የስፔሻላይዜሽን ፣ ለምሳሌ ወደ ማህበራዊ ሳይንስ ፣ ሳይኮሎጂ ፣ ወይም የስነምግባር ምድብ መጨመር)። እውነትንና ውሸትን የማስላት ዘዴን የፍልስፍና ሳይንስ “ወለደ” የሚለው አያዎ (ፓራዶክሲካል) ቢሆንም ፈላስፋዎቹ ራሳቸው ግን አይጠቀሙበትም። ለመሆኑ እንደዚህ ያሉ ግልጽ የሂሳብ ስልቶች የተፈጠሩት እና የሚቀየሩት ለማን ነው?

  1. ፕሮግራም አዘጋጆች እና መሐንዲሶች የኮምፒውተር ፕሮግራሞችን እና የንድፍ ሰሌዳዎችን እንኳን ለመተግበር ምሳሌያዊ አመክንዮ (ከመጀመሪያው የተለየ አይደለም) ተጠቅመዋል።
  2. በኮምፒዩተር ረገድ ሎጂክ ብዙ የተግባር ጥሪዎችን ለማስተናገድ፣እንዲሁም ሂሳብን ለማራመድ እና የሂሳብ ችግሮችን ለመፍታት የሚያስችል ውስብስብ ሆኗል። አብዛኛው የተመሰረተው በሒሳብ ችግር መፍታት እና ዕድል እውቀት ላይ ከሎጂካዊ የማስወገድ፣ የማራዘሚያ እና የመቀነስ ህጎች ጋር ተጣምሮ ነው።
  3. የኮምፒዩተር ቋንቋዎች በሂሳብ እውቀት ገደብ ውስጥ በአመክንዮ እንዲሰሩ እና ልዩ ተግባራትን እንኳን ሳይቀር እንዲሰሩ በቀላሉ ሊረዱ አይችሉም። አብዛኛው የኮምፒዩተር ቋንቋ የባለቤትነት መብት የተሰጠው ወይም የተረዳው በኮምፒዩተሮች ብቻ ነው። ፕሮግራመሮች አሁን ብዙውን ጊዜ ኮምፒውተሮች አመክንዮአዊ ተግባራትን እንዲሰሩ እና እንዲፈቱ ያስችላቸዋል።
ሉዊስ ካሮል እና ምሳሌያዊ አመክንዮ
ሉዊስ ካሮል እና ምሳሌያዊ አመክንዮ

በእንደዚህ ባሉ ቅድመ ሁኔታዎች ውስጥ ብዙ ሳይንቲስቶች የላቀ ቁሳቁስ መፈጠርን የሚገምቱት ለሳይንስ ሳይሆን ለሳይንስ ነው።የመገናኛ እና ቴክኖሎጂ አጠቃቀም ቀላልነት. ምናልባት ብዙም ሳይቆይ አመክንዮው ወደ ኢኮኖሚክስ፣ ቢዝነስ እና አልፎ ተርፎም እንደ አቶም እና እንደ ማዕበል የሚመስለውን "ባለሁለት ፊት" ኳንተም ውስጥ ያስገባል።

የኳንተም አመክንዮ በዘመናዊ የሂሳብ ትንተና ልምምድ

የኳንተም አመክንዮ (QL) በኳንተም መካኒኮች (QM) ውስጥ አስደሳች ሁነቶችን ለመግለጽ የሚያስችል የፕሮፖዚሽን መዋቅር ለመገንባት ሙከራ ተደርጎ ነበር የተሰራው። QL የቦሊያንን መዋቅር ተክቷል፣ ይህም የአቶሚክ ግዛትን ለመወከል በቂ አልነበረም፣ ምንም እንኳን ለክላሲካል ፊዚክስ ንግግር ተስማሚ ቢሆንም።

ስለ ክላሲካል ሲስተሞች የፕሮፖዛል ቋንቋ የሂሳብ አወቃቀሩ በከፊል በማካተት ስብስብ የታዘዘ የስልጣን ስብስብ ሲሆን ጥንድ ስራዎች ህብረትን እና መከፋፈልን ይወክላሉ።

ይህ አልጀብራ ከሁለቱም ክላሲካል እና አንጻራዊ ክስተቶች ንግግር ጋር የሚስማማ ነው፣ነገር ግን በሚከለክለው ንድፈ ሃሳብ ውስጥ ተኳሃኝ አይደለም፣ለምሳሌ፣ በአንድ ጊዜ የእውነት እሴቶችን መስጠት። የQL መስራች አባቶች ሀሳብ የቡሊያንን የጥንታዊ አመክንዮ መዋቅር በደካማ መዋቅር ለመተካት የተፈጠረ ሲሆን ይህም የግንኙነት እና የመከፋፈል ባህሪያትን ያዳክማል።

የተመሠረተውን ተምሳሌታዊ መግቢያ ማዳከም፡ እውነት በሂሳብ እንደ ትክክለኛ ሳይንስ ነው የሚፈለገው

CNF በምሳሌያዊ አመክንዮ
CNF በምሳሌያዊ አመክንዮ

በዕድገቱ ወቅት ኳንተም ሎጂክ ባህላዊን ብቻ ሳይሆን መካኒኮችን ከሎጂክ አንፃር ለመረዳት የሞከሩ በርካታ የዘመናዊ ምርምር ዘርፎችንም ማመላከት ጀመረ። ብዙየተለያዩ ስልቶችን እና ችግሮችን ለማስተዋወቅ የኳንተም አቀራረቦች በኳንተም ሜካኒክስ ሥነ-ጽሑፍ ውስጥ የተብራሩ ናቸው። በተቻለ መጠን፣ ተዛማጅ ሒሳቦችን ከማግኘታችን ወይም ከማስተዋወቅ በፊት ስለ ጽንሰ-ሀሳቦች የሚታወቅ ግንዛቤ ለመስጠት አላስፈላጊ ቀመሮች ይወገዳሉ።

በኳንተም ሜካኒክስ አተረጓጎም ውስጥ የዘለአለም ጥያቄ ለኳንተም ሜካኒካል ክስተቶች በመሠረታዊነት ክላሲካል ማብራሪያዎች ይኖሩ እንደሆነ ነው። ኳንተም አመክንዮ ይህንን ውይይት በመቅረጽ እና በማጥራት ትልቅ ሚና ተጫውቷል፣በተለይም ክላሲካል ማብራሪያ ስንል ምን ማለታችን እንደሆነ በትክክል እንድንናገር አስችሎናል። አሁን የትኞቹ ፅንሰ-ሀሳቦች እንደ አስተማማኝ ሊቆጠሩ እንደሚችሉ እና የትኞቹ የሂሳብ ፍርዶች አመክንዮአዊ መደምደሚያ እንደሆኑ በትክክል ማረጋገጥ ተችሏል።

የሚመከር: