FORMAL MANTIQNING PREDMETI VA STRUKTURASI, SHAKLLANILISHI VA QO’LLANILISHI
Keywords:
Formal mantiq, tushuncha, hukm, xulosa, mantiqiy qonunlar, identiklik, zidlik, uchinchi holning istisno qilinishi, yetarli asos, deduksiya, induksiya, analogiya, informatika, huquq, falsafa.Abstract
Maqolada formal mantiqning predmeti, asosiy tushunchalari va qonunlari hamda amaliy qo‘llanilishi yoritilgan. Formal mantiq aniq va izchil fikrlash qoidalarini o‘rganib, huquq, informatika va falsafa kabi sohalarda keng qo‘llaniladi.
Downloads
References
Aristotel. (2000). Organon (Mantiqiy asarlar to‘plami). Toshkent: O‘zbekiston Milliy Ensiklopediyasi.
Forobiy, A.N. (1993). Aql va mantiq haqida risolalar. Toshkent: Fan nashriyoti.
Boole, G. (1854). An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities. London: Walton & Maberly.
Frege, G. (1879). Begriffsschrift: A Formula Language, Modeled upon That of Arithmetic, for Pure Thought. Halle: Louis Nebert.
Leybnits, G.V. (1996). Mantiq va bilim nazariyasi. Toshkent: Fan.
Kleene, S. C. (1952). Introduction to Metamathematics. Amsterdam: North-Holland Publishing.
Popper, K. (1959). The Logic of Scientific Discovery. London: Hutchinson.