Loģika ir sievišķais lietvārds no grieķu valodas termina logo, kas saistīts ar logotipi, iemesls, vārdu vai runa, kas nozīmē spriešanas zinātne.
Pārnestā nozīmē vārds loģika ir saistīts ar a īpašs pamatojuma veids, pareizi. Piemēram: Tas nekad nedarbosies! Jūsu plānam nav loģikas!
Jūs problēmas vai loģikas spēles ir darbības, kurās indivīdam ir jāizmanto a loģisks pamatojums lai atrisinātu problēmu.
Aristoteliskā loģika
Pēc Aristoteļa domām, loģikas pētījuma objekts ir nodomāju, kā arī likumi un noteikumi, kas to kontrolē, lai šī doma būtu pareiza. Grieķu filozofam loģikas elementi ir koncepcija, spriedumu un pamatojums. Loģikas likumi atbilst saiknēm un attiecībām, kas pastāv starp šiem elementiem.
Daži Aristoteļa pēcteci bija atbildīgi par viduslaiku loģikas pamatiem, kas ilga līdz XIII gadsimtam. Tādi viduslaiku domātāji kā Galēns, Porfīrijs un Afrodizijas Aleksandrs klasificēja loģiku kā zinātni par pareizu tiesāšanu, kas ļauj sasniegt pareizu un formāli pamatotu pamatojumu.
Programmēšanas loģika
Programmēšanas loģika ir valoda, ko izmanto datorprogrammas izveidošanai. Programmēšanas loģika ir būtiska datorprogrammu un sistēmu izstrādei, jo tā nosaka šīs attīstības loģisko ķēdi. Šīs izstrādes darbības ir pazīstamas kā algoritms, kas sastāv no loģiskas izpildāmās funkcijas instrukciju secības.
Argumentācijas loģika
Argumentācijas loģika ļauj pārbaudīt derīgumu vai apgalvojuma patiesumu. Tas nav veidots ar relatīviem vai subjektīviem jēdzieniem. Tie ir taustāmi priekšlikumi, kuru derīgumu var pārbaudīt. Šajā gadījumā loģikas mērķis ir novērtēt priekšlikumu formu, nevis saturu. Silogismi (sastāv no divām telpām un secinājuma) ir argumentācijas loģikas piemērs. Piemēram:
Kukurūzas milti ir suns.
Visi suņi ir zīdītāji.
Tāpēc kukurūzas milti ir zīdītāji.
Matemātiskā loģika
Matemātiskā loģika (vai formālā loģika) pēta loģiku atbilstoši tās struktūrai vai formai. Matemātiskā loģika sastāv no a deduktīvā sistēma paziņojumiem, kuru mērķis ir izveidot likumu un noteikumu grupu, lai noteiktu pamatojumu pamatotību. Tādējādi pamatojums tiek uzskatīts par derīgu, ja no patiesām telpām ir iespējams izdarīt patiesu secinājumu.
Matemātiskā loģika tiek izmantota arī, lai izveidotu derīgu pamatojumu, izmantojot citus pamatojumus. Argumenti var būt deduktīvs (secinājums ir obligāti iegūts no telpu patiesuma) un induktīvs (varbūtība).
Formālo loģiku var iedalīt divās grupās: propozicionālā loģika un predikātu loģika.
Daudzi uzskata Leibnisu kā prātu, kurš uzsāka formālās loģikas vai matemātikas koncepciju, kas pievēršas matemātikas pamatjautājumiem. Tomēr tikai pēc 1890. gada Peano sāka jautāt par aksiomu konsekvenci. Daži svarīgi formālās loģikas principi ir atrodami Džordža Būla (Būles loģikas vai algebras autors) loģikas matemātiskajā analīzē.
priekšlikumu loģika
Propozicionālā loģika ir loģikas joma, kas pārbauda spriešanu atbilstoši sakariem starp locekļiem (propozīcijām), minimālajām diskursa vienībām, kas var būt patiesas vai nepatiesas.