|
அரிசுட்டாட்டில் வளர்த்தெடுத்த [[சில்லாஜிஸ்ட்டிக்]] (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 இல் [[கியோடல்]] என்பார் முடிவுடைய எண்ணிக்கையில் முதற்கோள்கள் இருந்தால் குழப்பம் தராத (ஐயத்திற்கு இடம்தரா) உறுதியான முடிவுகளை ஏரண முறைப்படி அடைய இயலாது என்று நிறுவினார். இதன் பயனாய் இவ்வகையான வழிகளில் முடக்கம் ஏற்பட்டுள்ளது.
== ஏரண நூல்கள் ==
பிரின்சிப்பியா மாத்தமாட்டிக்கா
== அடிக்குறிப்புகளும் மேற்கோள்களும் ==
{{Reflist|2}}
== உசாத்துணை ==
{{Refbegin}}
* [[Nuel Belnap]], (1977). "A useful four-valued logic". In Dunn & Eppstein, ''Modern uses of multiple-valued logic''. Reidel: Boston.
* [[Józef Maria Bocheński]] (1959). ''A précis of [[mathematical logic]]''. Translated from the French and German editions by Otto Bird. D. Reidel, Dordrecht, South Holland.
* Józef Maria Bocheński, (1970). ''A history of [[formal logic]]''. 2nd Edition. Translated and edited from the German edition by Ivo Thomas. Chelsea Publishing, New York.
* {{cite book | last = Brookshear | first = J. Glenn | year = 1989 | title = Theory of computation: formal languages, automata, and complexity | publisher = Benjamin/Cummings Pub. Co. | location = Redwood City, Calif. | isbn = 0-8053-0143-7}}
* Cohen, R.S, and Wartofsky, M.W. (1974). ''Logical and Epistemological Studies in Contemporary Physics''. Boston Studies in the Philosophy of Science. D. Reidel Publishing Company: Dordrecht, Netherlands. ISBN 90-277-0377-9.
* Finkelstein, D. (1969). "Matter, Space, and Logic". in R.S. Cohen and M.W. Wartofsky (eds. 1974).
* [[Dov Gabbay|Gabbay, D.M.]], and Guenthner, F. (eds., 2001–2005). ''Handbook of Philosophical Logic''. 13 vols., 2nd edition. Kluwer Publishers: Dordrecht.
* [[David Hilbert|Hilbert, D.]], and [[Wilhelm Ackermann|Ackermann, W]], (1928). ''Grundzüge der theoretischen Logik'' (''[[Principles of Mathematical Logic]]''). Springer-Verlag. [http://worldcat.org/oclc/2085765 OCLC 2085765]
* [[Susan Haack]], (1996).'' Deviant Logic, Fuzzy Logic: Beyond the Formalism'', University of Chicago Press.
* [[Wilfred Hodges|Hodges, W.]], (2001). ''Logic. An introduction to Elementary Logic'', Penguin Books.
* Hofweber, T., (2004), [http://plato.stanford.edu/entries/logic-ontology/ Logic and Ontology]. ''[[Stanford Encyclopedia of Philosophy]]''. [[Edward N. Zalta]] (ed.).
* Hughes, R.I.G., (1993, ed.). ''A Philosophical Companion to First-Order Logic''. Hackett Publishing.
* {{cite book | first = Morris | last = Kline | title = Mathematical Thought From Ancient to Modern Times | publisher = Oxford University Press | year = 1972 | isbn = 0-19-506135-7}}
* [[William Kneale (logician)|Kneale, William]], and Kneale, Martha, (1962). ''The Development of Logic''. Oxford University Press, London, UK.
* {{cite web | url = http://www.perseus.tufts.edu/cgi-bin/ptext?doc=Perseus%3Atext%3A1999.04.0057%3Aentry%3D%2363716 | title = Logikos | first1 = Henry George | last1 = Liddell | authorlink1 = Henry Liddell | first2 = Robert | last2 = Scott | authorlink2 = Robert Scott (philologist) | work = [[A Greek-English Lexicon]] | publisher = [[Perseus Project]] | accessdate = 8 May 2009}}
* Mendelson, Elliott, (1964). ''Introduction to Mathematical Logic''. Wadsworth & Brooks/Cole Advanced Books & Software: Monterey, Calif. [http://worldcat.org/oclc/13580200 OCLC 13580200]
* {{cite web | first= Robert | last = Harper | url = http://www.etymonline.com/index.php?term=logic | title = Logic | work = [[Online Etymology Dictionary]] | year = 2001 | accessdate = 8 May 2009}}
* [[Barry Smith (ontologist)|Smith, B.]], (1989). "Logic and the Sachverhalt". ''The Monist'' 72(1):52–69.
* [[Alfred North Whitehead|Whitehead, Alfred North]] and [[Bertrand Russell]], (1910). ''[[Principia Mathematica]]''. Cambridge University Press: Cambridge, England. [http://worldcat.org/oclc/1041146 OCLC 1041146]
{{Refend}}
== மேலும் படிக்க ==
* Samuel D. Guttenplan, Samuel D., Tamny, Martin, "Logic, a Comprehensive Introduction", Basic Books, 1971.
* [[Michael Scriven|Scriven, Michael]], "Reasoning", McGraw-Hill, 1976, ISBN 0-07-055882-5
* [[Susan Haack]]. (1996).'' Deviant Logic, Fuzzy Logic: Beyond the Formalism'', University of Chicago Press.
== இவற்றையும் பார்க்க ==
| 