Czesław Lejewski
செஸ்லா லெஜெவ்ஸ்கி (மின்ஸ்க்கில் 1913-டான்காஸ்டரில் 2001) ஒரு போலந்து தத்துவஞானி மற்றும் தர்க்கவாதி மற்றும் ல்வோ-வார்ஸா லாஜிக் பள்ளியின் உறுப்பினர் ஆவார். அவர் லண்டன் பொருளாதாரப் பள்ளியில் ஜான் லுகாசீவிக்ஸ் மற்றும் கார்ல் பாப்பர் மற்றும் டபிள்யூ. வி. ஓ. குயின் ஆகியோரின் கீழ் படித்தார். "லாஜிக் அண்ட் எக்ஸிஸ்டன்ஸ்" என்ற தனது கட்டுரையில் "லாஜிக் அண்ட் எக்ஸிஸ்டன்ஸ்" (1954-55) லெஜெவ்ஸ்கி இலவச தர்க்கத்தின் ஒரு பதிப்பை வழங்கினார். குறிப்பிடப்படாத பெயர்ச்சொற்களின் சிக்கலை முன்வைப்பதன் மூலம் அவர் தொடங்கினார், மேலும் குறிப்பிடாத பெயர்கள் அர்த்தமற்றவை என்று கூறி சிக்கலைத் தீர்ப்பதற்கான சோதனையை எதிர்த்ததற்காக குயினைப் பாராட்டினார். எவ்வாறாயினும், குவினின் தீர்வு என்னவென்றால், அதை தர்க்கரீதியாக எவ்வாறு கையாள்வது என்று எங்களுக்குத் தெரிவதற்கு முன்பு எங்கள் பெயர் குறிப்பிடுகிறதா என்பதை நாம் முதலில் தீர்மானிக்க வேண்டும். பெயர்களைக் குறிப்பிடுவதற்கும் குறிப்பிடாததற்கும் இடையே முறையான வேறுபாடு இருக்க வேண்டும் என்பதால் லெஜெவ்ஸ்கி இதை திருப்தியற்றதாகக் கண்டார். அவர் தொடர்ந்து எழுதினார், "இந்த நிலைமை மிகவும் திருப்திகரமாக இருப்பதாகத் தெரியவில்லை. நமது சில அனுமான விதிகள் அனுபவபூர்வமான தகவல்களைச் சார்ந்து இருக்க வேண்டும் என்ற கருத்து, அது வரவிருக்காமல் போகலாம், தர்க்கரீதியான விசாரணையின் தன்மைக்கு மிகவும் அந்நியமானது, இரண்டு அனுமானங்களையும் (இருத்தலியல் பொதுமைப்படுத்தல் மற்றும் உலகளாவிய உடனடிப்படுத்தல்) முழுமையாக மறுபரிசீலனை செய்வது நமது நேரத்திற்கு மதிப்புள்ளது என்பதை நிரூபிக்கக்கூடும் ". (அடைப்புக்குறிப்பு லெஜெவ்ஸ்கியின் அல்ல). பின்னர் அவர் மிகவும் ஆக்கப்பூர்வமான முறையான மொழியை விரிவாக விளக்குகிறார்ஃ a மற்றும் b ஐக் கொண்ட ஒரு களத்தை எடுத்துக் கொள்ளுங்கள், மேலும் இந்த கூறுகளைக் குறிக்கும் இரண்டு அறிகுறிகளான 'a' மற்றும் 'b' ஐ எடுத்துக் கொள்ளுங்கள். ஒரு முன்கணிப்பு உள்ளது, Fx. அவரது தர்க்க முறைகளில் குயின் பாணியில், உலகளாவிய அல்லது இருத்தலியல் அளவீட்டின் தேவை இல்லை. சாத்தியமான ஒரே அணு அறிக்கைகள் FA மற்றும் Fb ஆகும். நாம் இப்போது புதிய அறிகுறிகளை அறிமுகப்படுத்துகிறோம், ஆனால் களத்தில் புதிய கூறுகள் எதுவும் இல்லை. 'சி' என்பது எந்த உறுப்பையும் குறிக்காது, 'டி' என்பது இரண்டையும் குறிக்கிறது. எனவே, அது உண்மை. இப்போது நாம் Dx என்ற முன்கணிப்பை அறிமுகப்படுத்துகிறோம், இது d க்கு உண்மை. அதை வாதிடுவதற்கு நமக்கு எந்த காரணமும் இல்லை, எனவே இல்லாத ஒன்று இருப்பதாகக் கூறுவதற்கு எந்த காரணமும் இல்லை. ஒவ்வொரு அடையாளத்தின் குறிப்பு பற்றியும் இருத்தலியல் உரிமைகோரல்களைச் செய்ய எங்களுக்கு நல்ல காரணம் இல்லை, ஏனெனில் அது ஒவ்வொரு அடையாளமும் குறிக்கிறது என்று கருதுகிறது. அதற்கு பதிலாக, சிறந்த தகவல்கள் கிடைக்கும் வரை நாம் அஞ்ஞானிகளாக இருக்க வேண்டும். எவ்வாறாயினும், இங்கே கொடுக்கப்பட்டுள்ள நிபந்தனைகளின்படி, சி பற்றி நாத்திகர்களாக இருப்பதற்கு எங்களுக்கு நல்ல காரணம் உள்ளது, மேலும் இன்னும் துவக்கப்படுவதாகக் கூறுவதற்கு நல்ல காரணம் உள்ளது. லெஜெவ்ஸ்கி இந்த கணக்கை கட்டுப்பாடற்ற விளக்கம் என்று அழைக்கிறார். கட்டுப்படுத்தப்பட்ட விளக்கம் பின்னர் அறிகுறிகளுக்கும் கூறுகளுக்கும் இடையில் வேறுபாடு காட்டாத மொழியாகும், எனவே அது உண்மை என்று கூற வேண்டிய கட்டாயத்தில் உள்ளது. கட்டுப்பாடற்ற விளக்கத்தில் வெளிப்படுத்தக்கூடிய அனைத்தும் கட்டுப்படுத்தப்பட்ட விளக்கத்தில் வெளிப்படுத்தப்படுகின்றன என்பது வெளிப்படையானது. எல்லையற்ற களங்கள் மற்றும் எல்லையற்ற அறிகுறிகளுக்கு ஒரு பொதுமைப்படுத்தல் எளிதானது. எல்லையற்ற முன்கணிப்புகளுக்கான பொதுமைப்படுத்தலுக்கு எந்த விளக்கமும் தேவையில்லை. ஒரு வசதியான உண்மை என்னவென்றால், இந்த தர்க்கம் பூஜ்ய தொகுப்பின் களத்திற்கும் இடமளிக்க முடியும், ஏனெனில் அளவு உரிமைகோரல்கள் களத்தில் ஒரு உறுப்பைக் கருத வேண்டியதில்லை. எடுத்துக்காட்டாக, கட்டுப்பாடற்ற விளக்கத்தைப் பயன்படுத்தி ஒரு வெற்று களத்தில் உண்மையாக இருக்கும், அங்கு 'சி' இன்னும் குறிப்பிடப்படவில்லை. ஆதாரம் என்னவென்றால், முன்னோடியை உண்மை என்று கருதி, களத்தின் கூறுகளைப் பற்றி எந்த உரிமைகோரல்களையும் செய்யாமல், அறிகுறிகளைப் பற்றி மட்டுமே நாம் அளவீடுகளைப் புரிந்து கொள்ள வேண்டும். "ஒரு x உள்ளது" என்ற இருத்தலியல் அளவீட்டின் விளக்கத்தை நாம் கைவிட்டு, அதற்கு பதிலாக "சிலருக்கு (அடையாளம்) x" (அடைப்புக்குறிப்பு லெஜெவ்ஸ்கியின் அல்ல) என்று மாற்ற வேண்டும் என்று அவர் அறிவுறுத்துகிறார். இருத்தலியல் பொதுமைப்படுத்தலுடன் தொடர்புடைய அனுமானத்தை "குறிப்பிட்ட பொதுமைப்படுத்தல்" என்று அழைக்க வேண்டும் என்றும் அவர் பரிந்துரைக்கிறார். களத்தில் உள்ள ஒவ்வொரு அடையாளத்திற்கும் முன்கணிப்பு Fx ஐப் பயன்படுத்துவது சரியான இடத்தில், களத்தில் கொடுக்கப்பட்ட அடையாளத்திற்கு முன்கணிப்பைப் பயன்படுத்துவது சரியானது. எனவே நிபந்தனை உண்மை. (எனவே மேலே உள்ள சிகிச்சை இருத்தலியல் அளவீட்டையும் மெட்டா-மொழியியல் அறிக்கையையும் வேறுபடுத்துகிறது 'x உள்ளது'.) கட்டுப்படுத்தப்பட்ட விளக்கத்தைப் பயன்படுத்தி, உரிமைகோரல் பொய்யானது என்பதை நாம் காண்கிறோம். முக்கிய முன்னோடியானது வெற்றிடமாக உண்மை. ஏனென்றால், எதுவும் இல்லை, எனவே, ஒவ்வொரு அடையாளத்திற்கும், உள் முன்னோடிகள் தவறானவை, எனவே வெற்றிடமாக உண்மை. இதன் விளைவு தவறானது, ஏனென்றால் முன்னோடியானது உண்மையாக இருக்கும்போது அதன் விளைவு ஏதோ ஒன்று இருப்பதாக நமக்குச் சொல்கிறது. பூஜ்ய தொகுப்பில், இது எப்போதும் தவறானது. வெற்று செட்டின் சிக்கலுக்கு குவினின் பதில் என்னவென்றால், இது உண்மையில் ஒருபோதும் எதிர்கொள்ளாத ஒரு பிரச்சினை, இது லெஜெவ்ஸ்கிக்கு திருப்தியளிக்கவில்லை. லெஜெவ்ஸ்கி பின்னர் இந்த விளக்கத்தை சேர்க்கும் மொழிக்கு விரிவுபடுத்துகிறார், மேலும் கட்டுப்பாடற்ற தர்க்கத்தின் கோட்பாட்டை முன்வைக்கிறார். இந்த தர்க்கம் பின்னர் கரேல் லம்பேர்ட் என்பவரால் முழுமையாக உருவாக்கப்பட்டது, அவர் கட்டுப்பாடற்ற விளக்கத்தை "சுதந்திர தர்க்கம்" என்று அழைத்தார். மெட்டா-மொழியியல் 'x உள்ளது' என்பதற்கு பதிலாக, லம்பேர்ட் E! x என்ற குறியீட்டை ஏற்றுக்கொண்டார், இது இருத்தலியல் அளவீடு இல்லாமல் தன்னியக்கமாக்கப்படலாம். தேர்ந்தெடுக்கப்பட்ட படைப்புகள் "தர்க்கம் மற்றும் இருப்பு". அறிவியல் தத்துவத்திற்கான பிரிட்டிஷ் ஜர்னல் 5 (1954-5), pp. 104-119. "ஆன் லெஷ்னிவ்ஸ்கியின் ஆன்டாலஜி", விகிதம் 1 (1958), pp. 150-176. "ஆன் இம்ப்லிகேஷனல் டெஃபனிஷன்ஸ்", ஸ்டுடியா லாஜிகா 8 (1958), pp. 189-205. "எ ரீ-எக்ஸாமினேஷன் ஆஃப் தி ரஸ்ஸேலியன் தியரி ஆஃப் டிஸ்க்ரிப்ஷன்ஸ்", தத்துவம் 35 (1960), pp. 14-29. நோட்ரே டேம் ஜர்னல் ஆஃப் ஃபார்மல் லாஜிக் 2 (1961), pp. 158-176. "அரிஸ்டாட்டிலின் சொற்றொடரும் அதன் விரிவாக்கங்களும்", சிந்தீஸ் 15 (1963), பக்கங்கள். 125-154. "பண்டைய தர்க்கம்", பிரிர், ஏ. என்., "லாஜிக், ஹிஸ்டரி ஆஃப்", தத்துவத்தின் கலைக்களஞ்சியம், 1967, தொகுதி. 4, pp. 513-520. "ஜான் லுகாசீவிக்ஸ்", தத்துவத்தின் கலைக்களஞ்சியத்தில் பிரிவு, 1967, தொகுதி. 5, pp. 104-107. நோட்ரே டேம் ஜர்னல் ஆஃப் ஃபார்மல் லாஜிக் 17 (1976), pp. 1-18. "லெஸ்னிவ்ஸ்கியின் ஆன்டாலஜியின் கட்டமைப்பிற்குள் வகுப்பின் முறைசாரா கருத்தை மாற்றியமைத்தல்", டயலெக்டிகா 39 (1985), பக், 217-241. "ஒரே பழமையான சொல்லாக உட்பொருளின் செயல்பாட்டாளருடன் செயல்பாட்டு ரீதியாக முழுமையான முன்மொழிவு கால்குலஸை முறைப்படுத்துதல்", ஸ்டுடியா லாஜிகா 48 (1989), pp. 479-494. குறிப்புகள் வெளிப்புற இணைப்புகள் செஸ்லா லெஜெவ்ஸ்கி சேகரிப்பு; லீட்ஸ் பல்கலைக்கழகம் 1913 பிறப்புகள் 2001 இறப்புகள் போலந்து தர்க்கவாதிகள் 20 ஆம் நூற்றாண்டின் போலந்து தத்துவவாதிகள் மான்செஸ்டர் விக்டோரியா பல்கலைக்கழகத்தின் கல்வியாளர்கள்