Karel Lambert
கரேல் லம்பேர்ட் (பிறப்பு 1928) ஒரு அமெரிக்க தத்துவஞானி மற்றும் கலிபோர்னியா பல்கலைக்கழகம், இர்வின் மற்றும் சால்ஸ்பர்க் பல்கலைக்கழகத்தில் தர்க்கவாதி ஆவார். அவர் உருவாக்கிய ஒரு சொல்லான ஃப்ரீ லாஜிக் என்ற விஷயத்தில் விரிவாக எழுதியுள்ளார். லம்பேர்ட்டின் விதி லம்பேர்ட்டின் விதி எந்தவொரு இலவச திட்டவட்டமான விளக்கக் கோட்பாட்டிலும் முக்கியக் கொள்கையாகும்ஃ அனைத்து x க்கும், x = y (A) என்றால் மற்றும் (A (x/y) மற்றும் அனைத்து y க்கும் (A என்றால் y = x)). ஃப்ரீ லாஜிக் என்பது கொடுக்கப்பட்ட நிலையான பிரடிகேட் லாஜிக்கின் சரிசெய்தலாகும், இது இருத்தலியல் அனுமானங்களிலிருந்து விடுபடுகிறது, எனவே அதை ஒரு ஃப்ரீ லாஜிக்காக மாற்றுகிறது. பெர்ட்ராண்ட் ரஸ்ஸல் தனது பிரின்சிபியா மேத்தமேடிகா என்ற நூலில் குறிப்பிட்ட தர்க்கத்தை ஒரு தரநிலையாக எடுத்துக் கொண்டால், அது உலகளாவிய இன்ஸ்டன்டேஷனை, உலகளாவிய விவரக்குறிப்புடன் மாற்றுகிறது. எனவே "எல்லா மனிதர்களும் மரணமடைகிறார்கள்", அல்லது "எல்லாம் ஒரு யூனிகார்ன்" போன்ற உலகளாவிய அறிக்கைகள், ஆண்கள் உள்ளனர் அல்லது எதுவும் இருக்கிறது என்று கருத வேண்டாம். இவை பொருத்தமான முன்கணிப்புகளுடன் குறிக்கப்படும், மற்றும், இது பிரின்சிபியா கணிதத்தில் குறிக்கிறது மற்றும், ஆனால் இலவச தர்க்கத்தில் இல்லை. இந்த கடைசி அறிக்கைகளின் உண்மை, ஒரு இலவச தர்க்கத்தில் பயன்படுத்தப்படும்போது, அளவீட்டு களத்தைப் பொறுத்தது, இது பூஜ்ய தொகுப்பாக இருக்கலாம். "ஃப்ரீ லாஜிக் அண்ட் தி கான்செப்ட் ஆஃப் எக்ஸிஸ்டன்ஸ்", நோட்ரே டேம் ஜர்னல் ஆஃப் ஃபார்மல் லாஜிக், VIII, எண்கள் 1 மற்றும் 2, ஏப்ரல் 1967 இல் வெளியிடப்பட்டது. ஃப்ரீ லாஜிக்கின் தத்துவார்த்த பயன்பாடுகள், நியூயார்க்ஃ ஆக்ஸ்போர்டு யுனிவர்சிட்டி பிரஸ், 1991, "வரையறுக்கப்பட்ட விளக்கங்களின் கோட்பாடு", பக். 17-27, இலவச தர்க்கத்தில் ரஸ்ஸலின் விளக்கக் கோட்பாட்டை விவரிக்கிறது. இந்த செயல்பாட்டில், ஹிண்டிக்காவின் ஒரு சூத்திரம் ரஸ்ஸலின் முரண்பாட்டுடன் தர்க்கத்தில் தொடர்புபடுத்துவதன் மூலம் ஒரு முரண்பாட்டை எவ்வாறு அனுமதிக்கிறது என்பதை அவர் நிரூபிக்கிறார். அவர் முன்கணிப்பை அறிமுகப்படுத்துகிறார். இலவச தர்க்கம். தேர்ந்தெடுக்கப்பட்ட கட்டுரைகள், கேம்பிரிட்ஜ் பல்கலைக்கழக அச்சகம், 2003. குறிப்புகள் வெளிப்புற இணைப்புகள் இணைய காப்பகத்தில் அதிகாரப்பூர்வ தனிப்பட்ட பக்கம் 1928 பிறப்புகள் அமெரிக்க தர்க்கவாதிகள் 21 ஆம் நூற்றாண்டின் அமெரிக்க தத்துவவாதிகள் கலிபோர்னியா பல்கலைக்கழகத்தின் சால்ஸ்பர்க் பல்கலைக்கழகத்தின் கல்வி ஊழியர்கள், இர்வின் ஆசிரிய வாழ்க்கை மக்கள்