Loģika, loģiķi
Logikē - grieķu val.
Mācība par domāšanas likumiem.
Formālā loģika - mācība par pareizas domāšanas pamatlikumiem un veidiem.
Dialektiskā loģika - mācība par domāšanu, kas spēj izziņā atspoguļot dabas un sabiedrības dialektiku; pētī domāšanu tās attīstībā, formas un satura pretrunās un vienībā. Pazīstami divi dialektiskās loģikas veidi:
- ideālistiskā - Hēgeļa loģika;
- zinātniskā - materiālistiskā.
Matemātiskā loģika - mācība par domāšanas loģiskajām formām, vispārina un stipri paplašina formālās loģikas robežas, lietojot matemātikas metodes. Kā matemātikas disciplīna tā palīdz pētīt matemātikas pamatojuma jautājumus, un tiek lietota automātu, it īpaši skaitļojamo mašīnu, konstruēšanas teorijā.
Vēsture. Čehu filozofa B.Bolcano galvenais loģikas sacerējums "Zinātnes mācība" (1837.g.) ir plašs vēsturiski kritisks tradicionālās loģikas mācību apskats.
Dž.Būls grāmatā "Loģikas matemātiskā analīze" (1847.g.) un turpmākajos darbos izveidoja loģikas algebru, tā nodibinot matemātisko loģiku. Būla algebras teoriju kā simboliskās loģikas matemātisko aparātu XX gs. 30.gados iekļāva vispārējā algebrā (režģu teorijā).
Saites.
Siloģismi.
