តើតក្កវិជ្ជាជាអ្វី?

តក្កវិជ្ជា គឺជាពាក្យដែលកំណត់វិទ្យាសាស្ត្រនៃហេតុផល។ គោលគំនិតមួយទៀតនៃតក្កវិជ្ជាគឺ "ការសិក្សាអំពីវិធីសាស្រ្ត និងគោលការណ៍ដែលប្រើដើម្បីសម្គាល់ភាពត្រឹមត្រូវពីការវែកញែកមិនត្រឹមត្រូវ" ។ វិទ្យាសាស្ត្រនេះគ្របដណ្ដប់លើគោលគំនិតជាច្រើន ក្នុងចំណោមនោះ អាគុយម៉ង់ គណិតវិទ្យា និងព័ត៌មានវិទ្យា។ សូមពិនិត្យមើលខាងក្រោមថាតើវាលមួយណាដែលយើងអាចប្រើតក្កវិជ្ជា។

ពាក្យតក្កវិជ្ជាមានប្រភពមកពីនិមិត្តសញ្ញាក្រិក ហើយត្រូវបានភ្ជាប់ជាមួយនឹងវិធីជាក់លាក់នៃការវែកញែក។ តក្កវិជ្ជាគឺជាផ្នែកមួយនៃទស្សនវិជ្ជាដែលគេមើលឃើញថាជាការណែនាំសម្រាប់ការសិក្សាទស្សនវិជ្ជា ព្រោះវាទាក់ទងនឹងឡូហ្គោ ហេតុផល ពាក្យសំដី និងការឆ្លុះបញ្ចាំងលើអ្វីមួយដែលទាមទារហេតុផល និងការវែកញែក។

ទស្សនវិទូជនជាតិក្រិច អារីស្តូត ដែលជាសិស្សរបស់ផ្លាតូ គឺជាឥស្សរជនដ៏សំខាន់ក្នុងការយល់ដឹងអំពីតក្កវិជ្ជា។ គាត់គឺជាមនុស្សដំបូងគេដែលសិក្សាមុខវិជ្ជានេះ ដោយកំណត់ថាភាសាគឺជាចំណុចកណ្តាលនៃអ្វីៗទាំងអស់៖ ការទំនាក់ទំនង សិល្បៈ ការគិតអរូបី និងការសិក្សាវិទ្យាសាស្ត្រ។ ប៉ុន្តែដើម្បីឱ្យវាដំណើរការបាន វាចាំបាច់ក្នុងការធ្វើតាមបរិបទភាសា។

បង្ហាញជាវិទ្យាសាស្ត្រ តក្កវិជ្ជាមិនត្រូវបានគេមើលឃើញថាជាបែបនោះដោយអារីស្តូតទេ។ និយាយឱ្យខ្លី សទ្ទានុក្រម គឺជាអំណះអំណាងដែលបង្កើតឡើងដោយសំណើ។ វាគឺជាទម្រង់នៃការវែកញែកដែលប្រើការកាត់ដើម្បីឈានទៅដល់ការសន្និដ្ឋាន ដូច្នេះមានបញ្ហាជាច្រើន ឬល្បែងតក្កវិជ្ជា។

ទស្សនវិទូម្នាក់ទៀតដែលបានសហការជាមួយវិទ្យាសាស្ត្រនៃហេតុផលគឺជនជាតិអាល្លឺម៉ង់ Gottlob Frege នៅសតវត្សទី 19 ។ គាត់បានព្រមានតម្រូវការគណិតវិទ្យាសម្រាប់ការយល់ដឹងកាន់តែច្បាស់អំពីតក្កវិជ្ជា។ ដើម្បីបង្កើតការសន្និដ្ឋាននេះ ហ្វ្រេចបានពន្យល់លម្អិតអំពីការគណនាព្យាករណ៍ ដែលជាវិធីសាស្ត្រដែលបានសិក្សាអំពីសំណើភាសាតាមរយៈការកាត់ផ្នែកគណិតវិទ្យា។

សូមមើលនៅទីនេះ ទាំងអស់អំពីអត្ថន័យនៃ Metaphysics ។

តក្កវិជ្ជាអារីស្តូត

និយមន័យនៃតក្កវិជ្ជារបស់អារីស្តូត គឺជាការសិក្សាអំពីតក្កវិជ្ជាតាមរយៈការគិត។ នេះ​ក៏​ព្រោះ​តែ​ទស្សនវិទូ​ក្រិក​បាន​ជឿ​ថា តក្កវិជ្ជា​ជា​យន្តការ​មួយ​ដើម្បី​ធ្វើ​ឲ្យ​ការ​គិត​មាន​សុពលភាព។ គំនិត ការវិនិច្ឆ័យ និងការវែកញែក គឺជាទីតាំងនៃតក្កវិជ្ជា។ លក្ខណៈនៃតក្កវិជ្ជារបស់អារីស្តូតគឺ៖ ឧបករណ៍, ផ្លូវការ, propeneutic/preliminary, normative, doctrine of proof and general/timeless.

Aristotle ក៏បានចង្អុលបង្ហាញពីសំណើថាជាមូលដ្ឋានគ្រឹះនៃតក្កវិជ្ជា ដែលការវិនិច្ឆ័យបង្កើតជាគំនិត។ សំណើគឺជាការភ្ជាប់គ្នាដែលផ្តល់ការព្យាករណ៍ (គុណភាព) ទៅនឹងប្រធានបទមួយ សំណើបែបនេះត្រូវបានគេហៅថា syllogisms ។ សីលឡូជីសគឺជាការរួបរួមរវាងគំនិតទស្សនវិជ្ជា និងវិទ្យាសាស្ត្រ។

ហេតុផលមកពីអារីស្តូត ហៅថា មូលដ្ឋានគ្រឹះនៃតក្កវិជ្ជាភាសា តក្កវិជ្ជាមជ្ឈិមសម័យ ដែលមានរយៈពេលរហូតដល់សតវត្សទីដប់បី។ ទស្សនវិទូមជ្ឈិមសម័យសំខាន់ៗគឺ Alexander of Aphrodisia, Porphyry និង Galen ។ ការចាត់ថ្នាក់តក្កវិជ្ជាមជ្ឈិមសម័យគឺជាវិទ្យាសាស្ត្រនៃការវិនិច្ឆ័យយ៉ាងត្រឹមត្រូវដើម្បីកំណត់ការគិតត្រឹមត្រូវ។

តក្កវិជ្ជាកម្មវិធី

តក្កវិជ្ជាសរសេរកម្មវិធីរួមមានការពន្យល់លម្អិតនៃលំដាប់ឡូជីខល។ គោលការណ៍ជាមូលដ្ឋានរបស់វាគឺវ៉ារ្យ៉ង់ និងថេរ ឈ្មោះដែលតំណាងឱ្យតម្លៃមួយ និងមិនទាមទារពាក្យដដែលៗ និងប្រភេទទិន្នន័យផងដែរ ដោយបែងចែកជាប្រភេទ 1: អត្ថបទ, ប្រភេទ 2: ចំនួនគត់, ប្រភេទ 3: ពិត និងប្រភេទទី 4: ឡូជីខល សូមពិនិត្យមើលពីរបៀបដែលការពិពណ៌នា នៃប្រភេទទិន្នន័យទាំងនេះ៖

ប្រភេទទី 1៖ ខ្សែអក្សរនៃតួអក្សរមួយ ឬច្រើន ដែលជាធម្មតាត្រូវបានរុំព័ទ្ធក្នុងសញ្ញាសម្រង់ទ្វេ។ ដកឃ្លាក៏ជាតួអក្សរដែរ

ប្រភេទទី 2៖ តម្លៃលេខអវិជ្ជមាន និងវិជ្ជមានដោយគ្មានខ្ទង់ទសភាគ;

ប្រភេទទី 3៖ តម្លៃលេខអវិជ្ជមាន និងវិជ្ជមានជាមួយខ្ទង់ទសភាគ;

ប្រភេទទី 4៖ ជម្មើសជំនួសដូចជា បាទ/ចាស ទេ ពិត និងមិនពិត។

លំដាប់តក្កវិជ្ជាដែលសរសេរជាមួយគោលគំនិតខាងលើត្រូវបានគេហៅថា ក្បួនដោះស្រាយដែលដំណើរការដូចរូបមន្តនំខេក។ ក្បួនដោះស្រាយបង្ហាញកុំព្យូទ័រនូវអ្វីដែលត្រូវធ្វើក្នុងលំដាប់តក្កនីមួយៗ។ ក្បួនដោះស្រាយត្រូវបានសរសេរដោយប្រើភាសាសរសេរកម្មវិធីដែលអាចមានកម្រិតខ្ពស់ ឬទាប។

ភាសាសរសេរកម្មវិធីកម្រិតខ្ពស់គឺងាយស្រួលយល់ ពីព្រោះជាដំបូង ពាក្យបញ្ជាត្រូវបានធ្វើឡើងជាដ្យាក្រាម ជាមួយនឹងការបំប្លែងទៅជាគោលបំណង។ action, SQL (Specification Design Language) គឺជាឧទាហរណ៍នៃភាសាកម្រិតខ្ពស់មួយ។ ភាសាកម្រិតទាបសំដៅលើការណែនាំដោយផ្ទាល់ទៅកាន់ឧបករណ៍ដែលតំណាងដោយអក្សរ និងលេខ។ ភាសា ASSEMBLY គឺជាឧទាហរណ៍នៃភាសាកម្រិតទាប។

សូមមើលនៅទីនេះ ទាំងអស់អំពី ហេតុផលនិយម ។

តក្កវិជ្ជានៃអំណះអំណាង

តក្កវិជ្ជានៃអំណះអំណាងគឺរបៀបប្រើហេតុផលដើម្បីបញ្ចុះបញ្ចូលមនុស្សម្នាក់។ នៅក្នុងតក្កវិជ្ជានេះ លំដាប់នៃសំណើ ឬសេចក្តីថ្លែងការណ៍ត្រូវបានបញ្ចូលគ្នា ដើម្បីឈានដល់ការសន្និដ្ឋានមួយ។ គោលគំនិតជាមូលដ្ឋាននៃតក្កវិជ្ជាអំណះអំណាងគឺ៖ អាគុយម៉ង់ ការប្រៀបធៀប ការសន្និដ្ឋាន ការកាត់ចេញ និងការសន្និដ្ឋាន ដែល៖

អាគុយម៉ង់គឺជាសំណុំនៃបរិវេណ ឬសម្មតិកម្ម ហើយលទ្ធផលរបស់ពួកគេត្រូវបានគេហៅថាការសន្និដ្ឋាន។ ឧទាហរណ៍៖ p1: Goianos ទាំងអស់ច្រៀងចម្រៀងប្រទេស, p2: អ្នកចម្រៀងប្រទេសទាំងអស់ចូលចិត្តតន្ត្រី និង p3: មនុស្សទាំងអស់មកពី Goiás ច្រៀងចំរៀងប្រទេស;

អាណាឡូកគឺជាការប្រៀបធៀបរវាងអាគុយម៉ង់ ឧទាហរណ៍៖ “ពន្លឺគឺសម្រាប់ថ្ងៃ ដូចជាភាពងងឹតសម្រាប់ពេលយប់";

ការសន្និដ្ឋានកំពុងឈានដល់ការសន្និដ្ឋានដោយប្រើសំណុំនៃបរិវេណដំបូង។ ការ​សន្និដ្ឋាន​មាន​ពីរ​ប្រភេទ គឺ​ការ​កាត់​ចេញ និង​ការ​បញ្ចូល។ ក្នុង​ការ​កាត់​យក​ព័ត៌មាន​គឺ​នៅ​ក្នុង​បរិវេណ​ក្នុង​របៀប​ច្បាស់លាស់ ឬ​ដែល​បាន​ស្នើ​ឡើង ឧទាហរណ៍៖ បុព្វបទ A: សត្វ​ស្លាប​មាន​ចំពុះ។ Preposition B: បក្សី​មួយ​ប្រភេទ​ថ្មី​ត្រូវ​បាន​គេ​រក​ឃើញ។ សេចក្តីសន្និដ្ឋាន៖ ប្រភេទថ្មីមានចំពុះ។ នៅក្នុងសេចក្តីផ្តើម បរិវេណបង្ហាញព័ត៌មានគ្រប់គ្រាន់ដើម្បីឈានដល់ការសន្និដ្ឋាន។ នៅក្នុង induction ការសន្និដ្ឋានត្រូវបានទទួលដោយប្រូបាប៊ីលីតេដែលសមស្របបំផុត។ ឧទាហរណ៍៖ ប្រសិនបើសត្វស្លាបទាំងអស់មានចំពុះ នោះប្រភេទសត្វថ្មីក៏ត្រូវតែមានចំពុះដែរ។

អត្ថន័យនៃតក្កវិជ្ជាគឺស្ថិតនៅក្នុងប្រភេទទស្សនវិជ្ជា

សូមមើលផងដែរ៖

• អត្ថន័យនៃសីលធម៍
• អត្ថន័យនៃសុភាសិត
• អត្ថន័យនៃសុភាសិត
• អត្ថន័យនៃ metaphysics
• អត្ថន័យនៃសីល
• អត្ថន័យនៃសង្គមវិទ្យា
• អត្ថន័យនៃអរិយធម៌
• អត្ថន័យនៃចំណេះដឹងជាក់ស្តែង
• អត្ថន័យនៃការត្រាស់ដឹង
• អត្ថន័យនៃការត្រាស់ដឹង