ಫಾರ್ಮಲ್ ಲಾಜಿಕ್ ಮತ್ತು ಅದರ ಮೂಲಭೂತ ಕಾನೂನುಗಳು

ಲಾಜಿಕ್ - ವಿಧಾನಗಳು, ಕಾನೂನುಗಳು ಮತ್ತು ಚಿಂತನೆಯ ಸ್ವರೂಪಗಳ ವಿಜ್ಞಾನ. ಫಾರ್ಮಲ್ ಲಾಜಿಕ್ ಬಹಳ ಪುರಾತನ ಗ್ರೀಕರು ಅಭಿವೃದ್ಧಿಪಡಿಸಲಾಗಿದೆ ನಮ್ಮ ಕಾಲದ ಮೊದಲು. ಇದು ನಿರ್ಧಾರಗಳು ಮತ್ತು ಕಾನೂನು ಸಾರ್ವಜನಿಕ ಸಭೆಯಲ್ಲಿ ದತ್ತು ಅಲ್ಲಿ ಒಂದು ಪ್ರಜಾಪ್ರಭುತ್ವ ಸಮಾಜದ ನಿರ್ಮಿಸಿದ ಪ್ರಥಮ ಗ್ರೀಕರು ಆಗಿತ್ತು. ಅವರು ನಡೆಸುವುದು ಒಂದು ಹಳೆಯ ವಿಜ್ಞಾನದ ದಾಖಲಿಸಿದವರು ಪ್ರಯೋಗಗಳು. ಶ್ರೀಮಂತ ಯುವ ಒಂದು ಮೆಚ್ಚಿನ ಕಾಲಕ್ಷೇಪ ತತ್ತ್ವಜ್ಞಾನಿಗಳೊಂದಿಗೆ ನಡೆಸಿದೆವು. ಆದ್ದರಿಂದ ಸೈದ್ಧಾಂತಿಕ ವಿಜ್ಞಾನದ ಅಭಿವೃದ್ಧಿಗೆ ಸಾರ್ವತ್ರಿಕ ಪ್ರೀತಿ. ಗ್ರೀಕರು ಕೇವಲ ವೈಜ್ಞಾನಿಕ ಪುರಾವೆಗಳು ಎಂದು ಹೇಗೆ ಬೋಧನೆಗಳು ಹೊಂದಿತ್ತು.

ತರ್ಕದ ಅಡಿಪಾಯ ಅರಿಸ್ಟಾಟಲ್ ಅಭಿವೃದ್ಧಿಪಡಿಸಿದ್ದರು ಮೊದಲ ಕೋರ್ಸ್. ಅವರು ಎಲ್ಲಾ ವಾದಗಳನ್ನು ಸಾಮಾನ್ಯ ಕಾಯಿದೆ ಆಧರಿಸಿವೆ ಇದಕ್ಕೆ ಗಮನ ಸೆಳೆಯಿತು, ಇದು ಉಲ್ಲಂಘನೆ ತಪ್ಪು ತೀರ್ಮಾನಗಳನ್ನು ಕಾರಣವಾಗುತ್ತದೆ. ಔಪಚಾರಿಕ ಅರಿಸ್ಟಾಟಲ್ ತರ್ಕ ಕಾನೂನುಗಳು ಮೇಲೆ ಆಧಾರಿತವಾಗಿತ್ತು:

1. ತೀರ್ಪು ಏನು ಅವರಲ್ಲಿ ಮಾಡಲು, ಸಮರ್ಥನಾ ವೇಳೆ ತೀರ್ಮಾನಕ್ಕೆ ನಕಾರಾತ್ಮಕವಾಗಿರಬಾರದು.
2. ಹೇಳಿಕೆಗಳಲ್ಲಿ ಒಂದನ್ನು ಋಣಾತ್ಮಕ, ಮತ್ತು ಸಾಮಾನ್ಯ ನಿರ್ಧಾರಕ್ಕೆ ಬರಲು ಯಾವಾಗಲೂ ಋಣಾತ್ಮಕ ವೇಳೆ.

ಆದ್ದರಿಂದ ಆ ತರ್ಕವನ್ನು ಕಾಣಿಸಿಕೊಳ್ಳುತ್ತದೆ - ಜ್ಞಾನ ಪರಿಣಾಮಕಾರಿಯಾಗಿ ತತ್ವಗಳು ಮತ್ತು ಕಾನೂನುಗಳನ್ನು, ತಾರ್ಕಿಕ ಸರಿಯಾದ ನಿರ್ಮಾಣ ತಮ್ಮ ನಿರ್ಮಾಣ (ಸಾಮಾನ್ಯ ಪರಿಗಣನೆಗಳು ಪ್ರತ್ಯೇಕ ಭಾಗಗಳು ಸಂಪರ್ಕ ಮಾರ್ಗಗಳನ್ನು) ಆಕಾರವನ್ನು ಸಂಬಂಧಿಸಿದಂತೆ.

ಎಲ್ಲಾ ವಿದ್ಯಮಾನಗಳ ಮತ್ತು ವಸ್ತುಗಳ ಸಂಬಂಧವಿರುವ. ಲಿಂಕ್ಸ್ ಉದ್ದೇಶ ಅಥವಾ ವೈಯಕ್ತಿಕ, ಸಾಮಾನ್ಯ ಅಥವಾ ಖಾಸಗಿ, ಅಗತ್ಯ ಅಥವಾ ಆಕಸ್ಮಿಕ ಇರಬಹುದು. ಈ ಬಂಧಗಳ ಅತ್ಯಂತ ಗಮನಾರ್ಹ ಕಾನೂನುಗಳು ಕರೆಯಲಾಗುತ್ತದೆ. ಅವರು ಎಲ್ಲಾ, ಅದೇ ರಿಯಾಲಿಟಿ ಪ್ರತಿಬಿಂಬಿಸುತ್ತದೆ ಆದ್ದರಿಂದ, ಪರಸ್ಪರ ವಿರೋಧಿಸುತ್ತಾರೆ ಎಂದಿಗೂ. ಎಲ್ಲಾ ಕಾನೂನುಗಳು ನಿಸರ್ಗ ನಿಯಮಗಳು ಸಂಬಂಧಿಸಿದ ಮಾನವ ಚಿಂತನೆಯ.

ಚಿಂತನೆಯ ಕಾನೂನುಗಳು ಆಲೋಚನೆಗಳು ನಡುವೆ ಸ್ಥಿರವಾದ ಆಂತರಿಕ ಸಂಪರ್ಕಗಳಾಗಿವೆ. ಮನುಷ್ಯ ತನ್ನ ಆಲೋಚನೆಗಳು ಟೈ ಸಾಧ್ಯವಿಲ್ಲ, ಅವರು ಬಲ ತೀರ್ಮಾನಕ್ಕೆ ಬರಲಿಲ್ಲ ಮತ್ತು ಇತರರು ತರಲು ಸಾಧ್ಯವಾಗುವುದಿಲ್ಲ.

ಔಪಚಾರಿಕ ತರ್ಕಶಾಸ್ತ್ರದ ಮೂಲಭೂತ ಕಾನೂನುಗಳು - ಸ್ಥಿರತೆ, ಗುರುತು, ಹೊರತುಪಡಿಸಿದ ಮಧ್ಯಮ ಮತ್ತು ನಿಯಮಗಳು ಸಾಕಷ್ಟು ಉದ್ದೇಶದ ಸಾಮಾನ್ಯ ಕಾನೂನು. ಲೇಬಿನಿಜ್ - ಮೊದಲ ಮೂರು ಅಭಿವೃದ್ಧಿ ಅರಿಸ್ಟಾಟಲ್ ಮತ್ತು ಪ್ಲೇಟೋ, ಕಳೆದ ಸೇರಿರುವ. ಈ ಕಾನೂನುಗಳು (ವಿಶೇಷವಾಗಿ ಮೊದಲ ಮೂರು) ಉಲ್ಲಂಘನೆಯನ್ನು ಇದು ಸುಳ್ಳುತನ ಸತ್ಯ ಬೇರ್ಪಡಿಸುವುದು ಸಾಧ್ಯವಿಲ್ಲ ಮಾಡುವ ವಿರೋಧಕ್ಕೆ ಕಾರಣವಾಗುತ್ತದೆ. ಕೊನೆಯ ಕಾನೂನು ಕಡಿಮೆ ನಿಯಮಗಳು ಮತ್ತು ಹೆಚ್ಚು ಸೀಮಿತ ಬಳಕೆ.

ತರ್ಕದ ತಿರುಳಿಲ್ಲದ ಕಾನೂನುಗಳು - ಈ ಅನುಗಮನದ ಆಧಾರವುಳ್ಳ ತಾರ್ಕಿಕ ಕ್ರಿಯೆಯ ಸಂಭವವನ್ನು ಹೆಚ್ಚಿಸುತ್ತದೆ, ಆಪರೇಟಿಂಗ್ ಪ್ರತಿಪಾದನೆಗಳು ಹಾಗೂ ಪರಿಕಲ್ಪನೆಗಳು, ಒಂದು ನಿರುಪಾಧಿಕ ನಿಜವಾದ ತೀರ್ಮಾನಕ್ಕೆ ಪಡೆಯುವ ನಿಯಮಗಳು ಮತ್ತು ತೀರ್ಮಾನಗಳು ಪಾತ್ರ traduktivnogo.

ಸ್ಥಿರತೆ ಕಾನೂನು ಚಿಂತನೆ ವಿವಾದಾತ್ಮಕ ಇರಬೇಕು, ಆದರೆ ಕೆಲವು ವಸ್ತುಗಳ ಗುಣಮಟ್ಟದ ಪ್ರತಿಬಿಂಬಿಸುತ್ತವೆ ಎಂದು ಅರ್ಥ.

ಸೇರಿಸದ ಮಧ್ಯಮ ಲಾ ಅನುಶಾಸನ ಎರಡು ವಿರೋಧಾತ್ಮಕ ಆದರೆ ನಿಜವಾದ ನಡುವಣ ಕೇಳದಿರುವುದು ಒಂದು ಥರ್ಡ್, ಮತ್ತು ಅವುಗಳಲ್ಲಿ ಕೇವಲ ಒಂದು ಸತ್ಯದ ಗುರುತಿಸಲು. ವಿರೋಧಾಭಾಸಗಳ ಘಟಕಗಳನ್ನು ಒಂದು - ಖಂಡಿತವಾಗಿಯೂ ನಿಜ.

ಗುರುತನ್ನು ಔಪಚಾರಿಕ ತರ್ಕಶಾಸ್ತ್ರದ ಕಾನೂನು ನಿಮಗೆ ನಿಖರವಾಗಿ ಅದರ ವ್ಯಾಖ್ಯಾನ ಮತ್ತು ಅರ್ಥವನ್ನು ಅರ್ಥ ಮಾಡಿಕೊಳ್ಳಬೇಕು ಯಾವುದೇ ಪದವನ್ನು ಅಡಿಯಲ್ಲಿ ಅಂದರೆ ನಿಖರ ಚಿಂತನೆ ಅಗತ್ಯವೆಂದು ಪರಿಗಣಿಸಿದ್ದು, ಅರ್ಥೈಸುತ್ತದೆ. ಪರಿಕಲ್ಪನೆಗಳು ಹಾಗೂ ವಿವೇಚನೆಗಳ ಮೂಲಭೂತವಾಗಿ ಇಚ್ಛೆಯಂತೆ ತಿರುಚಿ ಸಾಧ್ಯವಿಲ್ಲ.

ಸಾಕಷ್ಟು ಉದ್ದೇಶದ ಸಾಮಾನ್ಯ ಕಾನೂನು ಅಗತ್ಯ ಯಾವುದೇ ನಿಜವಾದ ಚಿಂತನೆ ಇತರೆ ನಿಜವಾದ ಆಲೋಚನೆಗಳು ಸಮರ್ಥಿಸಿಕೊಳ್ಳಲು, ಮತ್ತು ತಪ್ಪು ಕಲ್ಪನೆಗಳನ್ನು ಸಮರ್ಥಿಸಲಾಗುವುದಿಲ್ಲ ಮಾಡುತ್ತದೆ. ತೀರ್ಪು ಅಭಿವೃದ್ಧಿಯಲ್ಲಿ ಸಂಬಂಧ ಪ್ರತಿಬಿಂಬಿಸಬೇಕು. ಈ ಸಂದರ್ಭದಲ್ಲಿ ತನ್ನ ವಿಶ್ವಾಸಾರ್ಹತೆ ಸಾಬೀತಾಯಿತು ಮಾಡಬಹುದು.

ಚಿಂತನೆಯ ಮತ್ತು ಪದ ಸೇರಿದಂತೆ ತಾರ್ಕಿಕ ನಿಯಮಗಳಿಗೆ ಬಯಕೆ ಆಲೋಚನೆಗಳು ರೂಪಗಳು ನಿರ್ಧರಿಸುವ ವಿಧಾನಗಳನ್ನು ಲಾಜಿಕಲ್ ಫಾರ್ಮ್ "ಮತ್ತು", "ಅಥವಾ", "ಎಂದು ... ನಂತರ ..." ನಿರಾಕರಣೆ "ನಿಜವಲ್ಲ ಎಂದು" ( "ಯಾವುದೇ") , ಪದ "ಕೆಲವು", "ಎಲ್ಲ" ( "ಯಾವುದೇ"), "ಇರುವಿಕೆ" ಒಂದು ಗುಂಪನ್ನು (ಅರ್ಥ ಒಳಗೆ "ಎಂದು"), ಇತ್ಯಾದಿ ತೀರ್ಪಿನ ಲಾಜಿಕಲ್ ಫಾರ್ಮ್ ಈ ತೀರ್ಪಿನ ಮೌಖಿಕ ಅಭಿವ್ಯಕ್ತಿ ಸೇರ್ಪಡಿಸಲಾಗಿದೆ ತರ್ಕಬದ್ಧವಲ್ಲದ ಷರತ್ತುಗಳು ಅರ್ಥವನ್ನು ಚಂಚಲವಾದ ಮಾಡಬಹುದು ಗುರುತಿಸಿ. ಅರ್ಥಾತ್, ತರ್ಕವನ್ನು ಚಿಂತನೆಯ ರಚನೆ ವ್ಯಕ್ತಪಡಿಸುತ್ತಾನೆ. ಲಾಜಿಕಲ್ ಫಾರ್ಮ್ ಯಾವಾಗಲೂ ತಿಳಿವಳಿಕೆ ಮತ್ತು ಅರ್ಥಪೂರ್ಣವಾಗಿದೆ.

ಪರಿಕಲ್ಪನೆಗಳು, ತರ್ಕ ಮತ್ತು ತೀರ್ಪು: ಚಿಂತನೆಯ ಅವರ ಸ್ವರೂಪಗಳು ಅವಲಂಬಿಸಿ ವರ್ಗಗಳಾಗಿ ವಿಂಗಡಿಸಬಹುದು. ಕಾನ್ಸೆಪ್ಟ್ - ತಮ್ಮ ಮೂಲಭೂತ ಗುಣಲಕ್ಷಣಗಳ ಆಧಾರದ ಮೇಲೆ ವಸ್ತುಗಳ ಸಾಮಾನ್ಯೀಕರಿಸುತ್ತದೆ ಕಲ್ಪನೆಯನ್ನು. ಜಡ್ಜ್ಮೆಂಟ್ - ಕಲ್ಪನೆ, ಪರಿಸ್ಥಿತಿ ಉಪಸ್ಥಿತಿಯಲ್ಲಿ (ಅನುಪಸ್ಥಿತಿಯಲ್ಲಿ) ಹರಿಹಾಯ್ದಿದ್ದರು. ಫೆರೆನ್ಸ್ - ಜ್ಞಾನ ಸ್ವಾಧೀನ ಬಿಂಬಿಸುತ್ತದೆ ಭಾವಿಸಲಾಗಿದೆ, ಇತರ ಜ್ಞಾನದ ತೀರ್ಪು ವ್ಯಕ್ತಪಡಿಸಿದ್ದಾರೆ.