ತರ್ಕದ ಪ್ರಕಾರಗಳನ್ನು ಪ್ರಾಥಮಿಕವಾಗಿ ಮೂರು ವರ್ಗಗಳಾಗಿ ವಿಂಗಡಿಸಲಾಗಿದೆ. ಅವು ಸಿಲೋಜಿಸ್ಟಿಕ್ ತರ್ಕ, ಔಪಚಾರಿಕ ತರ್ಕ ಮತ್ತು ಗಣಿತದ ತರ್ಕವನ್ನು ಒಳಗೊಂಡಿವೆ. ಪ್ರತಿಯೊಂದೂ ತಾರ್ಕಿಕತೆಗೆ ತನ್ನದೇ ಆದ ವಿಶೇಷ ಉದ್ದೇಶವನ್ನು ಹೊಂದಿದೆ. ತರ್ಕದ ಮೂರು ಮುಖ್ಯ ವಿಧಗಳು ಇಲ್ಲಿವೆ.
ಸಿಲೋಜಿಸ್ಟಿಕ್ ತರ್ಕವು ಭಾಷೆಯನ್ನು ನಿಯಂತ್ರಿಸುವ ಸಾಮಾನ್ಯ ನಿಯಮಗಳನ್ನು ಆಧರಿಸಿದೆ. ಯಾವುದೇ ಪ್ರತಿಪಾದನೆಯನ್ನು ಸಾಬೀತುಪಡಿಸಲು ಇದನ್ನು ಬಳಸಬಹುದು. ಮತ್ತೊಂದೆಡೆ ಔಪಚಾರಿಕ ತರ್ಕವು ಔಪಚಾರಿಕವಾಗಿ ಹೇಳಲಾದ ನಿಯಮಗಳನ್ನು ಅನ್ವಯಿಸುತ್ತದೆ. ಔಪಚಾರಿಕ ತರ್ಕದಲ್ಲಿ, ಅಂತಃಪ್ರಜ್ಞೆಯ ಬಳಕೆ ಇಲ್ಲ.
ಸಿಲೋಜಿಸ್ಟಿಕ್ ತರ್ಕದಲ್ಲಿ, ಅದನ್ನು ಬಳಸಿಕೊಳ್ಳಲು ಎರಡು ಮುಖ್ಯ ಮಾರ್ಗಗಳಿವೆ. ಎಲ್ಲಾ ಡೇಟಾ ಮತ್ತು ಹೇಳಿಕೆಗಳಿಗೆ ನಿಯಮದಂತೆ ಬಳಸುವುದು ಒಂದು ಮಾರ್ಗವಾಗಿದೆ. ಇದನ್ನು ಏಕ ಮಾದರಿ ನಿಯಮ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಈ ರೀತಿಯಾಗಿ, ಪ್ರತಿ ಕ್ರಿಯೆಯ ಫಲಿತಾಂಶವು ಹಿಂದಿನ ಕ್ರಿಯೆಗಳ ಮೇಲೆ ಅನಿಶ್ಚಿತವಾಗಿರುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ಆಲಿಸ್ ಹಾಲನ್ನು ಖರೀದಿಸಲು ಬಯಸಿದರೆ, ಅವರು ಯಾವಾಗಲೂ ಒಂದು ನಿರ್ದಿಷ್ಟ ಸಮಯದಲ್ಲಿ ಒಂದು ಲೋಟ ಹಾಲನ್ನು ಖರೀದಿಸಲು ಆಯ್ಕೆ ಮಾಡುತ್ತಾರೆ. ಹೇಗಾದರೂ, ಅವಳು ಸಂಯೋಗದಂತಹ ಹೆಚ್ಚು ಸಂಕೀರ್ಣವಾದ ನಿಯಮವನ್ನು ಅಳವಡಿಸಿಕೊಂಡರೆ, ಅವಳು ಎರಡು ಸಂಭವನೀಯ ಸನ್ನಿವೇಶಗಳನ್ನು ಪರಿಗಣಿಸುತ್ತಾಳೆ: ಒಂದು ಹಾಲನ್ನು ಖರೀದಿಸುವ ಹಕ್ಕನ್ನು ಬಿಟ್ಟುಬಿಡುತ್ತದೆ ಮತ್ತು ಇನ್ನೊಂದು ಏಕೈಕ ಮಾದರಿ ನಿಯಮವನ್ನು ಉಲ್ಲಂಘಿಸುತ್ತದೆ.
ಮತ್ತೊಂದೆಡೆ, ಔಪಚಾರಿಕ ತರ್ಕವು ಕೆಲವು ಮೂಲತತ್ವಗಳನ್ನು ಮಾತ್ರ ಬಳಸುತ್ತದೆ. ಕಟ್ಟುನಿಟ್ಟಾದ ಮಾದರಿಯನ್ನು ಅನುಸರಿಸುವ ರೀತಿಯಲ್ಲಿ ಮಾನ್ಯ ವಾದಗಳನ್ನು ಸಾಬೀತುಪಡಿಸಲು ಈ ಮೂಲತತ್ವಗಳು ಅವಶ್ಯಕ. ಈ ಮೂಲತತ್ವಗಳು ಸಾಬೀತಾದ ನಂತರ, ಅದು ವಾದದ ಅಂತ್ಯವಾಗಿದೆ. ಈ ರೀತಿಯ ತರ್ಕವು ಹೆಚ್ಚು ಅರ್ಥಗರ್ಭಿತವಾಗಿದೆ ಎಂದು ತಿಳಿದುಬಂದಿದೆ. ಔಪಚಾರಿಕ ತರ್ಕವನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಗಣಿತ ಮತ್ತು ವಿಜ್ಞಾನದಲ್ಲಿ ಬಳಸಲಾಗುತ್ತದೆ.
ಲಾಜಿಕಲ್ ಇಂಡಕ್ಷನ್ ಎನ್ನುವುದು ಸಿಲೋಜಿಸ್ಟಿಕ್ ತರ್ಕಕ್ಕೆ ಹೋಲುವ ಮತ್ತೊಂದು ರೀತಿಯ ತರ್ಕವಾಗಿದೆ. ಈ ರೀತಿಯ ತರ್ಕದೊಂದಿಗೆ, ವಾಸ್ತವದ ರಚನೆಯಲ್ಲಿ ಕೆಲವು ಮಾಹಿತಿಯನ್ನು ಸೇರಿಸಲು ಬಳಸಬಹುದಾದ ನಿಯಮಗಳ ಒಂದು ಸೆಟ್ ಇದೆ. ಉದಾಹರಣೆಗೆ, ಈ ರೀತಿಯ ತರ್ಕವನ್ನು ಸತ್ಯಗಳಿಂದ ಸತ್ಯವನ್ನು ನಿರ್ಣಯಿಸಲು ಬಳಸಲಾಗುತ್ತದೆ.
ಮೋಡಸ್ ಒಪೆರಾಂಡಿ, ಇದನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಕರೆಯಲಾಗುತ್ತದೆ, ಇದು ವಾದಾತ್ಮಕ ತಾರ್ಕಿಕತೆಯ ಒಂದು ರೂಪವಾಗಿದೆ. ಈ ತರ್ಕವನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ವಾದಾತ್ಮಕ ಪ್ರಬಂಧಗಳು ಮತ್ತು ಕಾನೂನು ಚರ್ಚೆಗಳಲ್ಲಿ ಬಳಸಲಾಗುತ್ತದೆ. ಈ ರೀತಿಯ ವಾದದ ಪ್ರಮೇಯವೆಂದರೆ ಪ್ರೇಕ್ಷಕರ ಆಸಕ್ತಿಯನ್ನು ಕೆರಳಿಸುವ ಪುರಾವೆ ಇದೆ.
ವಾದದಲ್ಲಿ ಪರ್ಯಾಯ ದೃಷ್ಟಿಕೋನಗಳನ್ನು ಪರಿಚಯಿಸುವ ಮಾರ್ಗವಾಗಿ ಇದನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಬಳಸಲಾಗುತ್ತದೆ. ವಾದದ ನ್ಯೂನತೆಗಳನ್ನು ತೋರಿಸಲು ಮೋಡಸ್ ಆಪರೇಂಡಿಯನ್ನು ಸಹ ಬಳಸಬಹುದು, ಆದರೆ ಅದರ ಬೆಂಬಲದಲ್ಲಿ ಪುರಾವೆಗಳನ್ನು ಒದಗಿಸುವುದಿಲ್ಲ. ಮುಖ್ಯ ಅಂಶವನ್ನು ಹೈಲೈಟ್ ಮಾಡಲು ಸಹ ಇದನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ಈ ರೀತಿಯ ವಾದವು ಶಿಕ್ಷಣದ ಕೊರತೆಯಿಂದ ಬಡತನ ಉಂಟಾಗುತ್ತದೆ ಎಂದು ವಾದಿಸಬಹುದು.
ಒಂದು ನಿರ್ದಿಷ್ಟ ಮಾದರಿಯನ್ನು ಅನುಸರಿಸಿದರೆ ತರ್ಕದ ಪ್ರಕಾರಗಳು ಮಾನ್ಯವಾಗಿರುತ್ತವೆ. ಒಂದು ನಿರ್ದಿಷ್ಟ ರೀತಿಯ ತರ್ಕವು ಸರಿಯಾದ ವಿಧಾನಗಳ ಬಳಕೆಯಿಂದ ಸಾಬೀತುಪಡಿಸಬಹುದಾದರೆ ಅದು ಮಾನ್ಯವಾಗಿರುತ್ತದೆ. ತರ್ಕದ ಪ್ರಕಾರಗಳನ್ನು ಅವುಗಳ ದೋಷಪೂರಿತ ತರ್ಕದಿಂದಾಗಿ ಭ್ರಮೆಗಳಾಗಿ ಬಳಸಲಾಗುತ್ತದೆ. ಮಾನ್ಯವಾದ ಮತ್ತು ಅಮಾನ್ಯವಾದ ತರ್ಕಗಳನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಪರಸ್ಪರ ಬದಲಿಯಾಗಿ ಬಳಸಲಾಗುತ್ತದೆ ಮತ್ತು ಆಗಾಗ್ಗೆ ಅವುಗಳನ್ನು ಅಭಿಪ್ರಾಯವನ್ನು ಪ್ರಸ್ತುತಪಡಿಸಲು ವಾದಗಳಲ್ಲಿ ಬಳಸಲಾಗುತ್ತದೆ ಎಂದು ಗಮನಿಸಬೇಕು. ಮಾನ್ಯವಾದ ವಾದವು ಪುರಾವೆಗಳನ್ನು ಒದಗಿಸುವುದಿಲ್ಲ; ಇದು ಸಾಮಾನ್ಯವಾಗಿ ಸತ್ಯವನ್ನು ಪ್ರಸ್ತುತಪಡಿಸುತ್ತದೆ.
ತರ್ಕದ ಪ್ರಕಾರಗಳನ್ನು ಅವುಗಳ ಸಿಂಧುತ್ವವನ್ನು ಸಾಬೀತುಪಡಿಸುವ ಮೂಲಕ ಸಾಬೀತುಪಡಿಸಬಹುದು. ಬೇರೆ ರೀತಿಯಲ್ಲಿ ಹೇಳುವುದಾದರೆ, ಎಲ್ಲಾ ರೀತಿಯ ವಾದಗಳಿಗೆ ತಮ್ಮ ಬೆಂಬಲದಲ್ಲಿ ಕೆಲವು ವಿಶೇಷ ಸತ್ಯ ಅಥವಾ ವಾದದ ಅಸ್ತಿತ್ವದ ಅಗತ್ಯವಿರುವುದಿಲ್ಲ. ಹೀಗಾಗಿ, ಮಾನ್ಯವಾದ ವಾದವು ಸತ್ಯಗಳನ್ನು ಆಧರಿಸಿದೆ.
ವಾದದಲ್ಲಿ ದೋಷಗಳನ್ನು ತೋರಿಸಲು ತರ್ಕದ ಪ್ರಕಾರಗಳನ್ನು ಬಳಸಬಹುದು. ವಾದದ ಬಲವನ್ನು ತೋರಿಸಲು ಸಹ ಅವುಗಳನ್ನು ಬಳಸಬಹುದು. ಆದಾಗ್ಯೂ, ವಾದವನ್ನು ಬೆಂಬಲಿಸುವ ಸಂಗತಿಗಳನ್ನು ಯಾವಾಗಲೂ ಪ್ರೇಕ್ಷಕರಿಗೆ ಮನವರಿಕೆ ಮಾಡಲು ಬಳಸಲಾಗುತ್ತದೆ. ವಿಕಸನವನ್ನು ಬೆಂಬಲಿಸುವ ವೈಜ್ಞಾನಿಕ ಪುರಾವೆಗಳು ಮಾನ್ಯವಾದ ವಾದದ ಉದಾಹರಣೆಯಾಗಿದೆ.
ಏನಾದರೂ ಅಸ್ತಿತ್ವದಲ್ಲಿದೆ ಎಂಬುದನ್ನು ತೋರಿಸಲು ತರ್ಕದ ಪ್ರಕಾರಗಳನ್ನು ಬಳಸಲಾಗುವುದಿಲ್ಲ. ದೃಷ್ಟಿಕೋನವನ್ನು ಸಾಬೀತುಪಡಿಸಲು ಅಥವಾ ನಿರಾಕರಿಸಲು ಇದನ್ನು ಬಳಸಬಹುದು. ಉದಾಹರಣೆಗೆ, ನೀವು “ಗಣಿತವು ವಿಜ್ಞಾನವೇ?” ಎಂದು ಕೇಳಬಹುದು. ಈ ಪ್ರಶ್ನೆಗೆ ಉತ್ತರಿಸಲು, ನೀವು ಗಣಿತವನ್ನು ವಿಜ್ಞಾನ ಎಂದು ತೋರಿಸಬೇಕು ಅಥವಾ ವೈಜ್ಞಾನಿಕ ತಾರ್ಕಿಕತೆಯನ್ನು ಬಳಸಬೇಕು. ಉದಾಹರಣೆಗೆ, ಶೂನ್ಯ, ಏನೂ, ಅನಂತ ಮುಂತಾದ ವಿಷಯಗಳಿಲ್ಲ ಎಂದು ಸಾಬೀತುಪಡಿಸುವ ಮೂಲಕ ಗಣಿತವು ವಿಜ್ಞಾನವಲ್ಲ ಎಂದು ನೀವು ತೋರಿಸಬಹುದು. ಭೌತಶಾಸ್ತ್ರದಂತಹ ನೈಜ ವಿಜ್ಞಾನವನ್ನು ಬಳಸಿಕೊಂಡು ನೀವು ಈ ಅಂಶವನ್ನು ಸಾಬೀತುಪಡಿಸಬಹುದು.
ವಾದದ ಯಾವುದೇ ಹಂತದಲ್ಲಿ ತರ್ಕದ ಪ್ರಕಾರಗಳನ್ನು ಅನ್ವಯಿಸಬಹುದು. ಇದು ವಾದದ ಪ್ರಕಾರ ಮತ್ತು ಅನುಮಾನಾತ್ಮಕ ಪ್ರಕಾರಗಳನ್ನು ಒಳಗೊಂಡಿದೆ. ಈ ಪ್ರಕಾರಗಳನ್ನು ವಾದದ ಯಾವುದೇ ಹಂತದಲ್ಲಿ ಬಳಸಬಹುದು. ಹೀಗಾಗಿ, ಈ ರೀತಿಯ ತರ್ಕವು ಜನರಿಗೆ ತಿಳಿದಿರುವುದು ಮುಖ್ಯವಾಗಿದೆ. ಮುಂದಿನ ಲೇಖನಗಳಲ್ಲಿ ನಾವು ಈ ರೀತಿಯ ತರ್ಕವನ್ನು ಹೆಚ್ಚು ಆಳವಾಗಿ ಅಧ್ಯಯನ ಮಾಡಬಹುದು.