Karel Lambert
કારેલ લેમ્બર્ટ (જન્મ 1928) એક અમેરિકન ફિલસૂફ અને યુનિવર્સિટી ઓફ કેલિફોર્નિયા, ઇર્વિન અને યુનિવર્સિટી ઓફ સાલ્ઝબર્ગના તર્કશાસ્ત્રી છે. તેમણે મુક્ત તર્કના વિષય પર વ્યાપકપણે લખ્યું છે, જે શબ્દ તેમણે બનાવ્યો હતો. લેમ્બર્ટનો નિયમ કોઈપણ મુક્ત ચોક્કસ વર્ણન સિદ્ધાંતમાં મુખ્ય સિદ્ધાંત છે જે કહે છેઃ બધા x માટે, x = y (A) જો અને માત્ર જો (A (x/y) અને બધા y માટે (જો A તો y = x)). મુક્ત તર્ક પોતે આપેલ પ્રમાણભૂત અનુમાનિત તર્કનું ગોઠવણ છે જેમ કે તેને અસ્તિત્વની ધારણાઓથી રાહત આપવી, અને તેથી તેને મુક્ત તર્ક બનાવો. બર્ટ્રાન્ડ રસેલના પ્રિન્સિપિયા મેથેમેટિકામાં પ્રેડિકેટ લોજિકને પ્રમાણભૂત તરીકે લેતા, સાર્વત્રિક ત્વરિતતાને સાર્વત્રિક સ્પષ્ટીકરણ સાથે બદલવામાં આવે છે. આમ સાર્વત્રિક નિવેદનો, જેમ કે "બધા માણસો નશ્વર છે", અથવા "બધું એક જ કોર્ન છે", એવું માનતા નથી કે પુરુષો છે અથવા કંઈપણ છે. આને યોગ્ય આગાહીઓ સાથે પ્રતીક કરવામાં આવશે, જેમ કે અને, જે પ્રિન્સિપિયા મેથેમેટિકા માં આવશ્યક છે અને, પરંતુ મુક્ત તર્કમાં નહીં. આ છેલ્લા નિવેદનોનું સત્ય, જ્યારે મુક્ત તર્કમાં વપરાય છે, ત્યારે તે પરિમાણના ક્ષેત્ર પર આધાર રાખે છે, જે નલ સેટ હોઈ શકે છે. પ્રકાશિત કૃતિઓ "ફ્રી લોજિક એન્ડ ધ કન્સેપ્ટ ઓફ એક્ઝિસ્ટન્સ", નોટ્રે ડેમ જર્નલ ઓફ ફોર્મલ લોજિક, VIII, નંબર 1 અને 2, એપ્રિલ 1967. ફિલોસોફિકલ એપ્લિકેશન્સ ઓફ ફ્રી લોજિક, ન્યૂ યોર્કઃ ઓક્સફર્ડ યુનિવર્સિટી પ્રેસ, 1991, "એ થિયરી ઓફ ડેફિનિટ ડિસ્ક્રિપ્શન્સ", pp. 17-27, મુક્ત તર્કમાં રસેલના વર્ણનના સિદ્ધાંતની વિગતો આપે છે. આ પ્રક્રિયામાં, તે દર્શાવે છે કે કેવી રીતે હિન્ટિકાની રચના રસેલના વિરોધાભાસ સાથે તર્કમાં સહસંબંધ દ્વારા વિરોધાભાસની મંજૂરી આપે છે. તે વિધેય રજૂ કરે છે. મુક્ત તર્કશાસ્ત્ર. પસંદગીના નિબંધો, કેમ્બ્રિજ યુનિવર્સિટી પ્રેસ, 2003. સંદર્ભો બાહ્ય કડીઓ ઈન્ટરનેટ આર્કાઇવ પર સત્તાવાર વ્યક્તિગત પૃષ્ઠ 1928 જન્મ 21મી સદીના અમેરિકન તર્કશાસ્ત્રીઓ યુનિવર્સિટી ઓફ સાલ્ઝબર્ગ યુનિવર્સિટી ઓફ કેલિફોર્નિયાના શૈક્ષણિક સ્ટાફ, ઇર્વિન ફેકલ્ટી લિવિંગ પીપલ