ஏரணம்: திருத்தங்களுக்கு இடையிலான வேறுபாடு

உள்ளடக்கம் நீக்கப்பட்டது உள்ளடக்கம் சேர்க்கப்பட்டது
சிNo edit summary
சி பராமரிப்பு using AWB
வரிசை 1:
[[படிமம்:Aristoteles_Logica_1570_Biblioteca_Huelva.jpg|thumb|right|300px|[[அரிஸ்டாட்டில்|அரிசுட்டாட்டிலின்]] ஏரணம் பற்றிய நூல்]]
 
'''ஏரணம்''' அல்லது '''அளவையியல்''' அல்லது '''தருக்கவியல்''' (''Logic'') <ref name="argumentative"/> என்பது அறிவடிப்படையில் ஓர் உண்மை ஆகும், ஒரு பொருள் பற்றி அது ஏற்கக்கூடியது (= ஏலும்) என்று அறியவும், ஒரு முடிவுக்கு வரவும், உறுதியாக நிலைநிறுத்தவும் பயன்படும் ஓர் அடிப்படைக் கருத்தியல் முறைகளைப் பற்றிய ஓர் அறிவுத்துறையாகும். ஏரணம் மெய்யியலின் ஒரு முக்கியமான துறை. ஏரணம் என்னும் தமிழ்ச்சொல் ஏல் = ஏற்றுக்கொள், இயல்வது, பொருந்துவது என்பதில் இருந்து ஏல்-> ஏர் ஏரணம் என்றாயிற்று <ref> [[கழகத் தமிழ் அகராதி]]யில் இருந்து: ஏலல்= ஒப்புக்கொள்ளல். ஏலாதது = இயலாதது, பொருந்தாதது; ஏலாதன = தகாதன. ஏல் = பொருத்தம். ஏல = இயல, பொருந்த; ஏல் = ஏற்றல் என்றாகும். ஒப்புநோக்குக: கல்-கற்றல், தோல்-தோற்றல், வில்-விற்றல், நில்-நிற்றல், நூல் - நூற்றல்.</ref> ஏரணம் என்பது படிப்படியாய் அறிவடுக்க முறையில் ஏலும் (= இயலும் பொருந்தும்), ஏலாது (இயலாது, பொருந்தாது) என்று கருத்துக்களைப் படிப்படியாய் முறைப்படி தேர்ந்து மேலே சென்று உயர் முடிபுகளைச் சென்றடையும் முறை மற்றும் கருத்தியல் கூறுகள் கொண்ட ஒரு துறையாகக் கருதப்படுகிறது. ஆங்கிலத்தில் இதனை Logic (லா’சிக்) என்று கூறுவர். மேற்குலக மெய்யியலில் '''லாச்யிக்''' (ஏரணம்) என்பது [[கிரேக்க மொழி]]ச் சொல்லாகிய ''லோகோசு'' (λόγος, logos) என்ற சொல்லில் இருந்து பெறப்பட்டது ஆகும்.<ref name="argumentative">"possessed of reason, intellectual, dialectical, argumentative", also related to ''[[wiktionary:λόγος]]'' (logos), "word, thought, idea, argument, account, reason, or principle" (Liddell & Scott 1999; Online Etymology Dictionary 2001).</ref> இதன் பொருள் “சொல், எண்ணம், சொற்கருத்தாடல், காரணம், கொள்கை” "<ref>[http://www.perseus.tufts.edu/cgi-bin/ptext?doc=Perseus%3Atext%3A1999.04.0057%3Aentry%3D%2363716 Logikos, Henry George Liddell, Robert Scott, ''A Greek-English Lexicon'', at Perseus]</ref><ref>[http://www.etymonline.com/index.php?term=logic Online Etymological Dictionary]</ref> என்பதாகும்.
 
ஆரம்பத்தில் ஏரணம் என்ற சொல் "வார்த்தை" அல்லது "என்ன பேசப்படுகிறது" என்ற நோக்கத்துடனும் சிந்தனை அல்லது காரணம் என்ற புரிதலுடனும் பார்க்கப்பட்டது. பொதுவாக வாதங்கள் வடிவத்தில் முறையான ஆய்வுகளை ஏரணம் கொண்டிருக்கும். வாதம் மற்றும் அதன் ஊகங்களின் முடிவு இவற்றிடையே நிலவும் தருக்க ஆதரவே சரியான வாதம் என்பதாகும். சாதாரண சொற்பொழிவுகளில், அத்தகைய வாதத்தின் முடிவுகள் எனவே, அதனால், ஆகையால், இதனால் போன்ற வார்த்தைகளால் குறிப்புணர்த்தப்படுகிறது.
வரிசை 15:
=== முறைசாரா தர்க்கம் ===
 
இயல்பான மொழி வாதங்களைப் ஆய்வு செய்வது முறைசாரா தர்க்கமாகும். தவறான கருத்துக்கணிப்பு முறைசாரா தர்க்கத்தின் ஒரு முக்கியமான பிரிவாகும். ஆழ்ந்த முறைசாரா வாதங்கள் எதையும் கண்டறிந்து துல்லியமாக பேசுவதில்லை என்பதால், தர்க்கத்தின் சில கருத்தாக்கங்களில் இம்முறைசாரா தர்க்கக் கோட்பாட்டை ஒரு தர்க்கமாகவே கருதுவதில்லை.
 
=== முறையான தர்க்கம் ===
 
முறையான தர்க்கம் என்பது முற்றிலும் முறையான உள்ளடக்கத்துடன் தொடர்புடையது என்பதை ஆய்வு செய்கிறது. அதாவது, ஒரு குறிப்பிட்ட செய்தி அல்லது சொத்தை பற்றி அல்லாமல், ஒரு முழுமையான தொகுப்பு விதிமுறையின் ஒரு குறிப்பிட்ட பயன்பாடாக அனுமானம் வெளியிடப்பட்டால் அது முற்றிலும் சாதாரண உள்ளடக்கத்தைக் கொண்டிருக்கும். முறையான ஆதாரமுள்ள விதிமுறைகளால் உருவாக்கப்படும் தேற்றங்கள் எனப்படும் சில சூத்திரங்களை உள்ளடக்கியதாகும்.
வரிசை 42:
[[File:Aristotle Altemps Inv8575.jpg|thumb|150px|[[அரிஸ்டோட்டில்|அரிசுடாட்டில்]], 384–322&nbsp;BCE.]]
 
ஐரோப்பாவில் தர்க்கம் முதலில் அரிசுடாட்டிலால் உருவாக்கப்பட்டது <ref> E.g., Kline (1972, p.53) wrote "A major achievement of Aristotle was the founding of the science of logic".
Jump up ^</ref> அரிசுடாட்டிய தர்க்கம் அறிவியல் மற்றும் கணிதத் துறைகளில் பரவலாக ஏற்றுக்கொள்ளப்பட்டது. 19 ஆம் நூற்றாண்டின் முற்பகுதி வரை மேற்கு உலகில் பரவலாக பயன்படுத்தப்பட்டது<ref> "Aristotle", MTU Department of Chemistry.
Jump up ^</ref>. கருதல்நிலை முக்கூற்று தர்க்கம்<ref>Jonathan Lear (1986). "Aristotle and Logical Theory". Cambridge University Press. p.34. {{ISBN|0-521-31178-0}}</ref>, காலஞ்சார்ந்த மாதிரி தர்க்கம் <ref>Simo Knuuttila (1981). "Reforging the great chain of being: studies of the history of modal theories". Springer Science & Business. p.71. {{ISBN|90-277-1125-9}}</ref><ref>Michael Fisher, Dov M. Gabbay, Lluís Vila (2005). "Handbook of temporal reasoning in artificial intelligence". Elsevier. p.119. {{ISBN|0-444-51493-7}}</ref>, தொகுத்தறிமுறை தர்க்கம்<ref>Harold Joseph Berman (1983). "Law and revolution: the formation of the Western legal tradition". Harvard University Press. p.133. {{ISBN|0-674-51776-8}}</ref> போன்ற முறைகளை இவருடைய கோட்பாடு அறிமுகப்படுத்தியது. மேலும், பயனிலையாதல், முக்கூற்று ஏரணம், கருத்து விளக்கம் போன்ற செல்வாக்கு வாய்ந்த சொற்களின் பயன்பாடுகள் அதிகரித்தன. ஐரோப்பாவின் பிந்தைய இடைக்கால காலத்தில், அரிசுடாட்டிலின் கருத்துக்கள் கிறித்துவ நம்பிக்கையுடன் ஒன்றியிருந்தன் என்பதைக் காட்ட முக்கிய முயற்சிகள் மேற்கொள்ளப்பட்டன. உயர் இடைக்காலத்தின்போது ஏரணம் தத்துவஞானிகளின் முக்கிய தத்துவமாக மாறியது, தத்துவார்த்த வாதங்களின் விமர்சன தருக்க பகுப்பாய்வில் ஈடுபட்டு கற்றறியும் முறைகளில் மாறுபாடுகள் பயன்படுத்தப்பட்டன.
 
மேற்குலக மெய்யியல் வரலாற்றில் முற்காலத்தில் [[இலக்கணம்]], ஏரணம், [[உரைதிரம்]] ([[அணியியல்]]) (rhetoic) ஆகிய மூன்றும் முக்கியமானதாகக் கருதப்பெற்றன. [[இந்திய மெய்யியல்]] உலகில் ஏரணம், [[தருக்கம்]], [[நியாயம் (இந்து தத்துவம்)|நியாயம்]] முதலான கருத்தியல் துறைகள் இருந்தன.<ref name="syllogistic">For example, [[Nyaya]] (syllogistic recursion) dates back 1900 years.</ref>
 
அரிசுட்டாட்டில் வளர்த்தெடுத்த [[சில்லாஜிஸ்ட்டிக்]] (syllogistic) அல்லது [[ஏரண முறையீடு]] என்னும் முறை 19 ஆவது நூற்றாண்டின் நடுப்பகுதி வரையிலும் முன்னணியில் இருந்தது. அதன் பின்னர் கணிதத்தின் அடித்தளங்கள் பற்றி கூர்ந்தெண்ணிய போது [[குறியீட்டு ஏரணம்]] அல்லது [[கணித ஏரணம்]] என்னும் துறை தோன்றியது. [[1879]] இல் [[ஃவிரெகெ]] (Frege) ''எழுதிய எழுத்து'' என்று பொருள் படும் ''பெக்ரிஃவ்ஷ்ரிஃவ்ட்'' (Begriffsschrift) என்னும் தலைப்பில் குறியீடுகள் இட்டுத் துல்லியமாய் ஏரணக் கொள்கைகள் பற்றி விளக்கும் நூல் ஒன்றை எழுதி வெளியிட்டார். இதுவே தற்கால ஏரணத்தின் தொடக்கம் எனலாம். இந்நூலை ''குறியீடு மொழியில், எண்கணித முறையை ஒற்றிய, தூய எண்ணங்கள்'' ("a formula language, modelled on that of arithmetic, of pure thought.") என்னும் துணைத்தலைப்புடன் வெளியிட்டார். [[1903]] இல் [[ஆல்ஃவிரட் நார்த் வொய்ட்ஹெட்|ஆல்ஃவிரட் நார்த் வொய்ட்ஃகெட்]] மற்றும் [[பெர்ட்ரண்டு ரசல்]] ஆகிய இருவரும் சேர்ந்து [[பிரின்சிப்பியா மாத்தமாட்டிக்கா]]<ref name="Principia">Alfred North Whitehead and Bertrand Russell, ''Principia Mathematical to *56'', Cambridge University Press, 1967, {{ISBN|0-521-62606-4}}</ref> (கணித கருதுகோள்கள்) என்னும் புகழ்பெற்ற நூலை எழுதி கணிதத்தின் அடித்தள உண்மைகளை குறியீட்டு ஏரண முறைகளின் படி முதற்கோள்கள் (axioms) மற்றும் முடிவுகொள் விதிகளால் அடைய முற்பட்டு பல உண்மைகளை நிறுவினார்கள். 1931 இல் [[கியோடல்]] என்பார் முடிவுடைய எண்ணிக்கையில் முதற்கோள்கள் இருந்தால் குழப்பம் தராத (ஐயத்திற்கு இடம்தரா) உறுதியான முடிவுகளை ஏரண முறைப்படி அடைய இயலாது என்று நிறுவினார். இதன் பயனாய் இவ்வகையான வழிகளில் முடக்கம் ஏற்பட்டுள்ளது.
வரிசை 54:
எந்தவொரு சரியான வாதத்தின் வகையையும் பகுப்பாய்வு செய்து, பிரதிநிதித்துவப்படுத்தும் போது தர்க்கம் பொதுவாக சாதாரணமாக கருதப்படுகிறது. ஒரு வாதத்தின் வடிவம் அதன் உள்ளடக்கம் பொருந்தக்கூடிய வகையில் முறையான இலக்கணத்துடனும், தருக்க மொழியின் குறியீட்டு முறையிலும் வெளிப்படுத்தப்படுகிறது. எளிமையாக, ஆங்கிலேய வாக்கியங்களை தர்க்கத்தின் மொழியில் மொழிபெயர்ப்பது என்பது சாதாரணமானதாகும்.
வாதத்தின் தர்க்கரீதியான படிவத்தை இது காட்டுகிறது. சாதாரண மொழியின் சுட்டிக்காட்டும் வாக்கியங்கள் அவற்றின் பயன்பாட்டினை அனுகூலமற்றவையாக மாற்றுகின்ற வடிவ மற்றும் சிக்கலான பல்வேறு வகைகளைக் காட்டுகின்றன. முதலில், பாலினம், பெயர்திரிபு போன்ற தர்க்கரீதியாக பொருத்தமற்ற இலக்கண அம்சங்களை விலக்கிவிடுதல் அவசியமாகும். இதேபோல வாதத்துடன் பொருத்தமற்ற ஆனால், மற்றும் ஒவ்வொரு, ஏதேனும் போன்ற இணைப்புச் சொற்களையும் விலக்கிவிடுதல் வேண்டும்
 
 
== மேற்கோள்கள் ==
"https://ta.wikipedia.org/wiki/ஏரணம்" இலிருந்து மீள்விக்கப்பட்டது