நிரலாக்கத்தில் தர்க்கத்தின் அறிவியல்

நிரலாக்கத்தில் தர்க்கத்தின் அறிவியல்

ஜேர்மன் தத்துவஞானி ஜார்ஜ் வில்ஹெல்ம் ஃபிரெட்ரிக் ஹெகல் "தர்க்க விஞ்ஞானம்" அவர்களின் ஒப்புமைகள் அல்லது நிரலாக்கத்தில் அவை இல்லாதது ஆகியவற்றிலிருந்து தர்க்கரீதியான நிறுவனங்களின் ஒப்பீட்டு பகுப்பாய்வுக்காக இந்தக் கட்டுரை அர்ப்பணிக்கப்பட்டுள்ளது.

இந்த வார்த்தைகளின் பொதுவாக ஏற்றுக்கொள்ளப்பட்ட வரையறைகளுடன் குழப்பத்தைத் தவிர்ப்பதற்காக லாஜிக் அறிவியலில் உள்ள உட்பொருள்கள் சாய்வு எழுத்துக்களில் உள்ளன.

தூய்மையான இருப்பு

நீங்கள் வரையறையைத் திறந்தால் தூய்மையான இருப்பு புத்தகத்தில், "மேலும் வரையறை இல்லாமல்" ஒரு சுவாரஸ்யமான வரியைக் காண்பீர்கள். ஆனால் படிக்காதவர்கள் அல்லது புரியாதவர்கள், ஆசிரியரை டிமென்ஷியா என்று குற்றம் சாட்ட அவசரப்பட வேண்டாம். தூய்மையான இருப்பு - இது ஹெகலின் தர்க்கத்தில் ஒரு அடிப்படைக் கருத்து, அதாவது சில பொருள் உள்ளது, தயவுசெய்து அதை ஒரு பொருளின் இருப்புடன் குழப்ப வேண்டாம், பொருள் உண்மையில் இல்லாமல் இருக்கலாம், ஆனால் எப்படியாவது அதை நம் தர்க்கத்தில் வரையறுத்தால், அது உள்ளது. நீங்கள் அதைப் பற்றி யோசித்துப் பார்த்தால், உண்மையில் இதுபோன்ற விஷயங்கள் உள்ளன தூய்மையான இருப்பு ஒரு வரையறையை வழங்குவது சாத்தியமற்றது, மேலும் இதுபோன்ற எந்தவொரு முயற்சியும் நீங்கள் அதன் ஒத்த சொற்கள் அல்லது எதிர்ச்சொற்களைக் குறிப்பிடுவீர்கள். தூய்மையான இருப்பு அத்தகைய ஒரு சுருக்கமான கருத்து, அது தன்னை உட்பட முற்றிலும் எதற்கும் பயன்படுத்தப்படலாம். சில பொருள் சார்ந்த மொழிகளில், பொருள்களின் செயல்பாடுகள் உட்பட எதையும் ஒரு பொருளாகப் பிரதிநிதித்துவப்படுத்துவது சாத்தியமாகும், இது கொள்கையளவில் நமக்கு அத்தகைய சுருக்கத்தை அளிக்கிறது. இருப்பினும், நேரடி அனலாக் நிரலாக்கத்தில் தூய்மையான இருப்பு இல்லை. ஒரு பொருளின் இருப்பை சரிபார்க்க, அது இல்லாததை நாம் சரிபார்க்க வேண்டும்.

if(obj != null);

இது போன்ற தொடரியல் சர்க்கரை இன்னும் இல்லை என்பது விசித்திரமானது, இந்த காசோலை மிகவும் பிரபலமாக உள்ளது.

எதுவும்

எப்படி யூகிக்க முடிந்தது எதுவும் எதுவும் இல்லாதது. அதன் அனலாக் NULL என்று அழைக்கப்படலாம். தர்க்க அறிவியலில் குறிப்பிடத் தக்கது எதுவும் அது ஆகிறது தூய்மையான இருப்பு, ஏனெனில் அதுவும் உள்ளது. இது ஒரு பிட் பிடிப்பாக உள்ளது; எந்த மொழியிலும் NULL ஐ ஒரு பொருளாக அணுக முடியாது, சாராம்சத்தில் அதுவும் ஒன்றாகும்.

உருவாக்கம் மற்றும் தருணங்கள்

வருகிறது இருந்து ஒரு மாற்றம் ஆகும் எதுவும் в இருப்பது மற்றும் இருந்து இருப்பது в எதுவும். அது நமக்கு இரண்டு தருகிறது கணம், முதலாவது அழைக்கப்படுகிறது தோற்றம், மற்றும் இரண்டாவது கடந்து செல்கிறது. பாதை அது மறைவதற்குப் பதிலாக அவ்வாறு அழைக்கப்படுகிறது, ஏனென்றால் தர்க்கரீதியான சாரம் நாம் மறந்துவிட்டால் ஒழிய மறைந்துவிட முடியாது. திரும்பப் பெறுதல் எனவே நாம் பணி நியமன நடைமுறையை அழைக்கலாம். நாம் ஒரு பொருளை துவக்கினால், இது நடக்கும் நிகழ்வின் தருணம், மற்றும் மற்றொரு மதிப்பு அல்லது NULL ஐ ஒதுக்கினால் கடந்து செல்லும் தருணம்.

obj = new object(); //возникновение
obj = null; //прехождение

இருப்பு

சுருக்கமாக இருப்பு தெளிவான வரையறை இல்லாத ஒரு பொருள், ஆனால் உள்ளது உறுதி. இதற்கு என்ன அர்த்தம். நியமன உதாரணம் ஒரு சாதாரண நாற்காலி. அதற்கு தெளிவான வரையறை கொடுக்க முயன்றால், பல சிரமங்களை சந்திக்க நேரிடும். உதாரணமாக, நீங்கள் சொல்கிறீர்கள்: "இது உட்காருவதற்காக வடிவமைக்கப்பட்ட தளபாடங்கள்", ஆனால் நாற்காலியும் இதற்காக உருவாக்கப்பட்டது. ஆனால் தெளிவான வரையறை இல்லாதது விண்வெளியில் அதை முன்னிலைப்படுத்துவதையும் அதைப் பற்றிய தகவல்களை அனுப்பும்போது அதைப் பயன்படுத்துவதையும் தடுக்காது, ஏனென்றால் நம் தலையில் உள்ளது உறுதி நாற்காலி. தரவு ஸ்ட்ரீமில் இருந்து அத்தகைய பொருட்களை தனிமைப்படுத்த நரம்பியல் நெட்வொர்க்குகள் உருவாக்கப்பட்டன என்று சிலர் ஏற்கனவே யூகித்திருக்கலாம். ஒரு நரம்பியல் நெட்வொர்க் இதை வரையறுக்கும் செயல்பாடாகக் குறிக்கலாம் உறுதி, ஆனால் தெளிவான மற்றும் தெளிவற்ற வரையறைகளை உள்ளடக்கிய பொருள்களின் வகைகள் எதுவும் இல்லை, எனவே அத்தகைய பொருள்களை அதே அளவிலான சுருக்கத்தில் பயன்படுத்த முடியாது.

அளவு மாற்றங்களை தரமானதாக மாற்றுவதற்கான சட்டம்

ஹெகலின் தர்க்கத்தின் விளக்கத்தின் விளைவாக ஃபிரெட்ரிக் ஏங்கெல்ஸால் இந்த சட்டம் உருவாக்கப்பட்டது. இருப்பினும், அத்தியாயத்தில் முதல் தொகுதியில் தெளிவாகக் காணலாம் குறைந்தது. அதன் சாராம்சம் அதுதான் அளவு ஒரு பொருளில் ஏற்படும் மாற்றங்கள் அதை பாதிக்கலாம் தரமான. எடுத்துக்காட்டாக, எங்களிடம் ஒரு பனி பொருள் உள்ளது; வெப்பநிலை திரட்சியுடன், அது திரவ நீராக மாறி அதன் மாற்றத்தை ஏற்படுத்தும் தரம். ஒரு பொருளில் இந்த நடத்தை செயல்படுத்த, ஒரு மாநில வடிவமைப்பு முறை உள்ளது. அத்தகைய ஒரு தீர்வின் தோற்றம் இது போன்ற ஒரு விஷயத்தை நிரலாக்கத்தில் இல்லாததால் ஏற்படுகிறது அடித்தளம் செய்ய நிகழ்வு பொருள். அடித்தளம் ஒரு பொருள் தோன்றக்கூடிய நிபந்தனைகளை தீர்மானிக்கிறது, மேலும் வழிமுறையில் நாம் பொருளை எந்த கட்டத்தில் துவக்க வேண்டும் என்பதை நாமே தீர்மானிக்கிறோம்.

சோசலிஸ்ட் கட்சி: இந்தத் தகவல் சுவாரஸ்யமாக இருந்தால், தர்க்க அறிவியலில் இருந்து மற்ற நிறுவனங்களை மதிப்பாய்வு செய்வேன்.

ஆதாரம்: www.habr.com

கருத்தைச் சேர்