Formele logika en syn basis wetten

Logika - de wittenskip fan metoaden, wetten en foarmen fan tinken. Formele logika is ûntwikkele troch de âlde Griken, lang foar ús jiertelling. It wie de earste Griken te bouwen in demokratyske mienskip, dêr't besluten en wetten oannaam op in iepenbiere gearkomste. Sy makke in primitive wittenskip fan it útfieren fan kearen besykjen. In favorite tiidferdriuw fan 'e aristokratyske jeugd hie petearen mei de filosofen. Dêrfandinne de universele leafde fan 'e ûntwikkeling fan' e teoretyske wittenskip. Griken krekt hie de lear oer hoe te wêzen wittenskiplike bewizen.

De earste rin fan 'e fûneminten fan' e logika ûntwikkele troch Aristoteles. Tekene hy omtinken oan it feit dat alle arguminten binne basearre op de algemiene wetten, de striid mei dy't liedt ta ferkearde ferzje ta gefolgen konklúzjes. De formele logika fan Aristoteles wie basearre op sokke wetten:

1. As de oardiel is yn 'e befêstigjend, wat te meitsjen fan har de konklúzje kin net negatyf.
2. As ien fan de útspraken negatyf is, en de algemiene konklúzje is altyd negatyf.

Dêrom docht bliken dat formele logika - is de kennis fan de begjinsels en wetten doelmjittich, goede konstruksje fan redenearring oangeande de foarm fan harren konstruksje (manieren om te ferbine yndividuele dielen fan 'e algemiene oerwegings).

Alle ferskynsels en objekten hawwe in relaasje. Links objektyf wêze of subjektive, algemiene of privee, needsaaklik of tafallich. De meast wichtige fan dizze bannen wurde neamd wetten. hja allegearre wjerspegelje deselde werklikheid, dêrom, kin nea tsjinsprekke elkoar. Al de wetten fan minsklik tinken ferbûn mei de wetten fan de natuer.

De wetten fan tinken binne stabyl ynterne ferbining tusken tinzen. As in minske kin net tie syn tinzen, hy woe net komme nei rjochts konklúzje en sil net by steat wêze om dat to bringen oan oaren.

De basis wetten fan formele logika - de wetten fan gearhing, identiteit, útsletten midden en wet fan genôch reden. De ûntwikkeling fan 'e earste trije hearre by Aristoteles en Plato, de lêste - Leibniz. Oertredings fan dy wetten (benammen de earste trije) liedt ta tsjinstridichheden, wat it ûnmooglik om ûnderskied wierheid út leagen. Lêste wet minder regels en mear beheinde brûken.

Non-core wetten fan logika - dat binne de regels fan it betsjinjen fan stellingen en begripen, it heljen wier konklúzje yn in syllogism, tanimmend de kâns Inductive ferstân en konklúzjes traduktivnogo karakter.

De wet fan de gearhing betsjut dat tinken moat net wêze kontroversjele, mar moatte wjerspegelje de kwaliteit fan beskate saken.

Utsletten midden Law prescribes net to siikjen tusken twa tsjinstridige mar wiere útspraak is in tredde, en te werkennen oan de wierheid fan mar ien fan harren. Ien fan de ûnderdielen fan tsjinstellingen - wis wier.

de wet fan 'e identiteit formele logika ynterpreteart as in eask fan precision tinken, bygelyks ûnder elke term jo moatte sekuer ferstean syn definysje en betsjutting. De essinsje fan it begripen en oardielen kinne net fersteure ûnferbidlik oanpast.

rjocht fan foldwaande reden is dat eltse wiere gedachte nedich te rjochtfeardigjen 'e oare syn wiere tinzen, en falske ideeën kinne net rjuchtfeardige wirde. By de ûntwikkeling fan de oardielen moatte reflektearje in kausale relaasje. Allinne yn dit gefal wurde kin bewiisd syn Zuverlässigkeit.

It logysk foarm fan tinken en metoades fan it fêststellen fan de foarmen fan alle tinzen utere troch logyske termen, as ûnder oaren it wurd "en", "of", "as ... dan ..." ûntkenning "is net wier dat" ( "nee") , it wurd "wat", "al" ( "nee"), in bos van "essinsje" (yn de sin fan 'e "is"), ensfh Ynventarisaasje it logysk foarm fan it oardiel kin ôflaat út de betsjutting fan de betingsten fan illogical, dy't opnommen binne yn de mûnlinge útdrukking fan dat oardiel. Mei oare wurden, formele logika drukt de struktuer fan it tinken. De logyske foarm is altyd ynformearjend en sinfol.

Ôfhinklik fan harren foarmen fan tinken binne ferdield yn klassen: de begripen, ferstân en rjucht. Konsept - it idee dat generalizes de objekten op grûn fan harren basis skaaimerken. Oardiel - it idee, einsluten de oanwêzigens (ûntbrekken) fan 'e situaasje. Inference - tocht, as wjerspegeling fan it oernimmen fan kennis, ferwurde yn de oardielen fen oare kennis.