Formal logika jıl nızamliqlari

I. Kirisiw

II. Tiykarği bolim 

2.1 Abstraktlik oylaw basqıshındaġı dún`yanı sáwlelendiriw ózgeshelikleri 

2.2 Logika duris oylaw formaları hám nizamları haqqındaǵı ilim

2.3 Oylawdıń tiykarġı formaları hám nızamları 

III. Juwmaqlaw

IV. Paydalanilgan ádebiyatlar

Kirisiw

          

         Logika sózi áyyemgi grek tilinen alınıp, «logos» termini «túsinik», «aqıl», «pikirlew» degendi ańlatadı. Házirgi waqıtları bul termin tómendegi tiykarġı mánilerde qollanıladı.

         Birinshiden, bul termin menen ob`ektiv dún`yanıń nárseleri hám qubılıslarınıń ózgeriw, rawajlanıw nızamlıqların belgileydi hám onı ob`ektiv logika dep ataydı. Ekinshiden, logika túsinigin oy-pikirlerdiń baylanısınıń hám rawajlanıwınıń ózgeshe nızamlıqların belgilew ushın qollanadı hám bul nızamlıqlardı ob`ektiv nızamlıqlardı sáwlelendiriwshi sub`ektiv logika dep ataydı. 

         Úshinshiden, «logika» oy-pikirlerdegi baylanıs hám rawajlanıw nızamlıqları haqqındaġı ilim mánisinde qollanıladı hám oylaw haqqındaġı ilimdi ańlatadı. Oylawdı basqa pánlerde (mısalı, psixologiya, joqarı nerv iskerliginiń fiziologiyası hám t.b.) izertleydi. Usıġan baylanıslı oylawda logikanıń izertlew predmeti retinde ne alınıp qaraladı degen soraw payda boladı. Bul sorawġa juwap beriwimiz ushın, birinshi gezekte bizler oylaw járdeminde dún`yanı sáwlelendiriwdiń ózgesheliklerin anıqlawımız kerek. 

Biliw ob`ektiv reallıqtıń adam sanasındaġı sáwleleniwin ańlatadı. Sáwlelendiriw xarakterine baylanıslı biliw processinde bir-biri menen tıġız baylanısqan eki basqıshtı bólip alıp qarawġa boladı: 1) seziwlik biliw; 2) abstraktlik oylaw yamasa logikalıq biliw.