Logjika formale dhe ligjet e saj themelore

Logic - shkenca e metodave, ligjet dhe format e të menduarit. Logjika Formale është zhvilluar nga grekët e lashtë, shumë kohë para epokës sonë. Ajo ishte e para grekëve për të ndërtuar një shoqëri demokratike, ku vendimet dhe ligjet e miratuara në një takim publik. Ata krijuan një shkencë primitive e kryerjes së gjyqeve. Një lojë e preferuar e të rinjve aristokratike ka pasur diskutime me filozofët. Prandaj dashuria universale e zhvillimin e shkencës teorike. Grekët vetëm kishte mësimet se si të jetë prova shkencore.

Kursi i parë i themelet e logjikës zhvilluara nga Aristoteli. Ai tërhoqi vëmendjen për faktin se të gjitha argumentet janë në bazë të ligjeve të përgjithshme, shkelja e të cilave çon në përfundime të gabuara. Formal Logjika e Aristotelit ishte i bazuar në ligje të tilla:

1. Nëse gjykimi është pozitive, çfarë duhet të bëjë prej tyre përfundimi nuk mund të jetë negative.
2. Nëse një prej deklaratave është negative, dhe konkluzioni i përgjithshëm është gjithmonë negative.

Për këtë arsye duket se logjika formale - është njohja e parimeve dhe ligjeve në mënyrë efektive, ndërtimin e duhur të arsyetimit në lidhje me formën e ndërtimit të tyre (mënyra për të lidhur pjesët individuale të konsideratave të përgjithshme).

Të gjitha fenomenet dhe objekte kanë një marrëdhënie. Lidhjet mund të jenë objektive ose subjektive, të përgjithshme ose private, të nevojshme apo aksidentale. Më i rëndësishëm i këtyre obligacioneve janë quajtur ligje. ata të gjithë të reflektojnë realitetin e njëjtë, pra, nuk mund të kundërshtojnë njëri-tjetrin. Të gjitha ligjet e mendimit të njeriut lidhur me ligjet e natyrës.

Ligjet e mendimit janë lidhje të qëndrueshme të brendshme në mes të mendimeve. Nëse një njeri nuk mund të lidhin mendimet e tij, ai nuk ka ardhur në përfundimin e duhur dhe nuk do të jetë në gjendje të sjellë atë për të tjerët.

Ligjet themelore të logjikës formale - ligjet e konsistencës, identitetit, mesme përjashtuar dhe ligjit të arsye të mjaftueshme. Zhvillimi i tre të parët përkasin Aristotelit dhe Platonit, e fundit - Leibniz. Shkeljet e këtyre ligjeve (sidomos para tre the) të çon në kontradikta, duke e bërë të pamundur për të dalluar të vërtetën nga gënjeshtra. Ligji i fundit më pak rregullore dhe përdorim më të kufizuar.

Ligjet jo-thelbësore të logjikës - këto janë rregullat e propozime operative dhe koncepteve, marrjen konkluzion të vërtetë në një silogjizmit, duke rritur probabilitetin e arsyetimit induktiv dhe konkluzionet traduktivnogo karakter.

Ligji i konsistencës do të thotë se të menduarit nuk duhet të jetë e diskutueshme, por duhet të reflektojnë në cilësinë e gjëra të caktuara.

Ligji mesme përjashtuar parashikon jo për të kërkuar në mes të dy deklaratë kontradiktore, por e vërtetë është një e treta, dhe të njohin të vërtetën e vetëm njërit prej tyre. Një nga komponentët e kontradiktave - sigurisht e vërtetë.

ligji i identitetit logjikës formale interpreton si një kërkesë e të menduarit saktësi, dmth sipas ndonjë afat që ju duhet për të kuptuar saktë përkufizimin e saj dhe kuptimin. Thelbi i koncepteve dhe gjykimeve nuk mund të shtrembërojnë sipas dëshirës.

ligji i arsyes mjaftueshme është se çdo mendim i vërtetë e nevojshme për të justifikuar mendimet e tjetrit vërtetë, dhe idetë e rreme nuk mund të justifikohet. Në zhvillimin e gjykimeve duhet të reflektojë një marrëdhënie shkakësore. Vetëm në këtë rast mund të provohet besueshmërinë e tij.

Forma logjike e mendimit dhe metodat e përcaktimit të formave të gjitha mendimet e shprehura me terma logjike, të cilat përfshijnë fjalën "dhe", "ose", "në qoftë se ..., atëherë ..." mohimi "Nuk është e vërtetë se" ( "jo") , fjala "disa", "të gjithë" ( "jo"), një bandë e "thelbit" (në kuptimin e "është"), etj Identifikimi forma logjike e gjykimit mund të jetë i hutuar nga kuptimi i termave të palogjikshme, të cilat janë të përfshira në shprehje verbale të këtij aktgjykimi. Me fjalë të tjera, logjika formale shpreh strukturën e mendimit. Forma logjike është gjithmonë informative dhe kuptimplotë.

Varësisht nga format e tyre të mendimit janë të ndarë në klasa: konceptet, arsyetimit dhe gjykimit. Concept - ideja që përgjithëson objektet në bazë të karakteristikave të tyre themelore. Gjykimi - ideja, duke pohuar praninë (mungesa) e situatës. Konkluzion - mendoi, duke reflektuar përvetësimin e njohurive, të shprehura në gjykimet e njohuri të tjera.