తర్కం యొక్క రకాలు ప్రధానంగా మూడు వర్గాలుగా విభజించబడ్డాయి. వాటిలో సిలోజిస్టిక్ లాజిక్, ఫార్మల్ లాజిక్ మరియు మ్యాథమెటికల్ లాజిక్ ఉన్నాయి. తార్కికం కోసం ప్రతి దాని స్వంత ప్రత్యేక ప్రయోజనం ఉంది. తర్కం యొక్క మూడు ప్రధాన రకాలు ఇక్కడ ఉన్నాయి.
సిలోజిస్టిక్ లాజిక్ అనేది భాషను నియంత్రించే సాధారణ నియమాలపై ఆధారపడి ఉంటుంది. ఏదైనా ప్రతిపాదనను నిరూపించడానికి దీనిని ఉపయోగించవచ్చు. మరోవైపు అధికారిక తర్కం అధికారికంగా పేర్కొన్న నియమాలను వర్తిస్తుంది. అధికారిక తర్కంలో, అంతర్ దృష్టిని ఉపయోగించడం లేదు.
సిలాజిస్టిక్ లాజిక్‌లో, దానిని ఉపయోగించేందుకు రెండు ప్రధాన మార్గాలు ఉన్నాయి. అన్ని డేటా మరియు స్టేట్‌మెంట్‌ల కోసం దీన్ని ఒక నియమంగా ఉపయోగించడం ఒక మార్గం. దీనినే సింగిల్ మోడల్ రూల్ అంటారు. ఈ విధంగా, ప్రతి చర్య యొక్క ఫలితం మునుపటి చర్యలపై ఆధారపడి ఉంటుంది. ఉదాహరణకు, ఆలిస్ పాలు కొనాలనుకుంటే, ఆమె ఎప్పుడూ ఒక నిర్దిష్ట సమయంలో ఒక గ్లాసు పాలను కొనుగోలు చేయడానికి ఎంచుకుంటుంది. అయినప్పటికీ, ఆమె సంయోగం వంటి మరింత సంక్లిష్టమైన నియమాన్ని అవలంబిస్తే, ఆమె రెండు సాధ్యమైన దృశ్యాలను పరిగణనలోకి తీసుకుంటుంది: ఒకటి పాలు కొనుగోలు చేసే హక్కును వదులుకుంటుంది మరియు మరొకటి ఆమె సింగిల్ మోడల్ నియమాన్ని ఉల్లంఘించేలా చేస్తుంది.
మరోవైపు, అధికారిక తర్కం కొన్ని సిద్ధాంతాలను మాత్రమే ఉపయోగిస్తుంది. ఖచ్చితమైన నమూనాను అనుసరించే పద్ధతిలో చెల్లుబాటు అయ్యే వాదనలను నిరూపించడానికి ఈ సిద్ధాంతాలు అవసరం. ఈ సిద్ధాంతాలు నిరూపించబడిన తర్వాత, ఆ వాదనకు ముగింపు. ఈ రకమైన తర్కం అత్యంత సహజమైనదని అంటారు. ఫార్మల్ లాజిక్ కూడా సాధారణంగా గణితం మరియు సైన్స్‌లో ఉపయోగించబడుతుంది.
లాజికల్ ఇండక్షన్ అనేది సిలోజిస్టిక్ లాజిక్‌తో సమానంగా ఉండే మరొక రకమైన తర్కం. ఈ రకమైన తర్కంతో, వాస్తవికత యొక్క నిర్మాణంలో నిర్దిష్ట సమాచారాన్ని చేర్చడానికి ఉపయోగించే నియమాల సమితి ఉంది. ఉదాహరణకు, ఈ రకమైన తర్కం వాస్తవాల నుండి సత్యాన్ని తీసివేయడానికి ఉపయోగించబడుతుంది.
మోడస్ ఒపెరాండి, దీనిని సాధారణంగా పిలవబడేది, వాదనాత్మక తార్కికం యొక్క ఒక రూపం. ఈ తర్కం సాధారణంగా వాదన వ్యాసాలు మరియు చట్టపరమైన చర్చలలో ఉపయోగించబడుతుంది. ప్రేక్షకుల ఆసక్తిని రేకెత్తించే ఒక రుజువు ఉంది అనేది ఈ రకమైన వాదన యొక్క ఆవరణ.
ఇది సాధారణంగా వాదనలో ప్రత్యామ్నాయ అభిప్రాయాలను పరిచయం చేయడానికి ఒక మార్గంగా ఉపయోగించబడుతుంది. వాదన యొక్క లోపాలను చూపించడానికి మోడస్ ఒపెరాండిని కూడా ఉపయోగించవచ్చు, కానీ దాని మద్దతులో సాక్ష్యాలను అందించదు. ఇది ప్రధాన అంశాన్ని హైలైట్ చేయడానికి కూడా ఉపయోగించబడుతుంది. ఉదాహరణకు, ఈ రకమైన వాదన విద్య లేకపోవడం వల్ల పేదరికం ఏర్పడిందని వాదించవచ్చు.
ఒక నిర్దిష్ట నమూనాను అనుసరిస్తే తర్కం యొక్క రకాలు చెల్లుబాటు అవుతాయి. ఒక నిర్దిష్ట రకం తర్కం సరైన మార్గాలను ఉపయోగించి నిరూపించగలిగితే అది చెల్లుబాటు అవుతుంది. తర్కం యొక్క రకాలు వాటి తప్పు తర్కం కారణంగా తప్పుగా ఉపయోగించబడతాయి. తర్కం యొక్క చెల్లుబాటు అయ్యే మరియు చెల్లని రకాలు తరచుగా పరస్పరం మార్చుకోబడతాయని మరియు తరచుగా అభిప్రాయాన్ని అందించడానికి వాదనలలో ఉపయోగించబడుతుందని గమనించాలి. చెల్లుబాటు అయ్యే వాదన సాక్ష్యాలను అందించదు; ఇది సాధారణంగా ఒక వాస్తవాన్ని అందిస్తుంది.
తర్కం యొక్క రకాలు వాటి చెల్లుబాటును నిరూపించడం ద్వారా నిరూపించబడతాయి. మరో మాటలో చెప్పాలంటే, అన్ని రకాల వాదనలకు వారి మద్దతులో కొన్ని ప్రత్యేక వాస్తవం లేదా వాదన అవసరం లేదు. కాబట్టి, వాస్తవాలపై ఆధారపడిన వాదన సరైనది.
వాదనలోని లోపాలను చూపించడానికి తర్కం రకాలను ఉపయోగించవచ్చు. వాదన యొక్క బలాన్ని చూపించడానికి కూడా వాటిని ఉపయోగించవచ్చు. అయితే, వాదనకు మద్దతుగా అందించిన వాస్తవాలు ఎల్లప్పుడూ ప్రేక్షకులను ఒప్పించేందుకు ఉపయోగించబడతాయి. పరిణామానికి మద్దతు ఇచ్చే శాస్త్రీయ సాక్ష్యం సరైన వాదనకు ఉదాహరణ.
ఏదైనా ఎలా ఉందో చూపించడానికి లాజిక్ రకాలు ఉపయోగించబడవు. దృక్కోణాన్ని నిరూపించడానికి లేదా తిరస్కరించడానికి దీనిని ఉపయోగించవచ్చు. ఉదాహరణకు, మీరు “గణితం ఒక శాస్త్రమా?” ఈ ప్రశ్నకు సమాధానమివ్వడానికి, మీరు గణితాన్ని సైన్స్ అని చూపించాలి లేదా సైంటిఫిక్ రీజనింగ్‌ని ఉపయోగించాలి. ఉదాహరణకు, సున్నా, ఏమీ, అనంతం మొదలైన అంశాలు లేవని నిరూపించడం ద్వారా గణితశాస్త్రం సైన్స్ కాదని మీరు చూపవచ్చు. భౌతికశాస్త్రం వంటి నిజమైన సైన్స్‌ని ఉపయోగించి మీరు ఈ విషయాన్ని నిరూపించవచ్చు.
వాదన యొక్క ఏ దశలోనైనా తర్కం రకాలు వర్తించవచ్చు. ఇందులో ఆర్గ్యుమెంటేటివ్ రకం అలాగే తగ్గింపు రకాలు ఉంటాయి. ఈ రకాలను వాదన యొక్క ఏ దశలోనైనా ఉపయోగించవచ్చు. అందువల్ల, ఈ రకమైన తర్కం ప్రజలు తెలుసుకోవడం ముఖ్యం. ఈ రకమైన తర్కాన్ని మనం భవిష్యత్ కథనాలలో మరింత లోతుగా అధ్యయనం చేయవచ్చు.