Ieteicams, 2020

Redaktora Izvēle

TOC

Definīcija Loģika

Kas ir loģika:

Loģika ir sievišķīga lietvārda izcelsme, kura izcelsme ir grieķu valodā logiké, kas saistīta ar logotipiem, iemeslu, vārdu vai runu, kas nozīmē domāšanas zinātni .

Grafiskā nozīmē vārdiskā loģika ir pareizi saistīta ar konkrētu argumentācijas veidu . Piemēram: Tas nekad nedarbosies! Jūsu plānam nav loģikas vispār!

Problēmas vai loģiskās spēles ir aktivitātes, kurās indivīdam ir jāizmanto loģisks pamatojums, lai atrisinātu problēmu.

Aristotelijas loģika

Saskaņā ar Aristoteli, loģikai ir jādomā par domu, kā arī likumiem un noteikumiem, kas to kontrolē, lai šī doma būtu pareiza. Grieķijas filozofam loģikas pamatelementi ir jēdziens, spriedums un pamatojums . Loģikas likumi atbilst sakariem un attiecībām, kas pastāv starp šiem elementiem.

Daži Aristoteles pēcteči bija atbildīgi par viduslaiku loģikas pamatiem, kas ilga līdz trīspadsmitajam gadsimtam. Viduslaiku domātāji, piemēram, Galenus, Porfīrs un Aphrodysia Aleksandrs, klasificēja loģiku kā pareizas vērtēšanas zinātni, kas ļauj iegūt pareizus un oficiāli pamatotus argumentus.

Programmēšanas loģika

Programmēšanas loģika ir valoda, ko izmanto, lai izveidotu datorprogrammu. Programmēšanas loģika ir būtiska, lai izstrādātu programmas un datorsistēmas, jo tā nosaka loģisko saikni šai attīstībai. Šīs attīstības soļi ir pazīstami kā algoritms, kas sastāv no izpildāmās funkcijas loģiskās secības.

Argumentu loģika

Argumentācijas loģika ļauj mums pārbaudīt derīgumu vai apgalvojumu patiesību vai nē. Tas nav izdarīts 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ģika ir vērsta uz to, lai novērtētu priekšlikumu formu, nevis saturu. Syllogisms (sastāv no divām telpām un secinājums) ir argumentācijas loģikas piemērs. Piemēram:

Fubá ir suns.

Visi suņi ir zīdītāji.

Tāpēc Fubá ir zīdītājs.

Matemātiskā loģika

Matemātiskās loģikas (vai formālās loģikas) loģika tiek pētīta atbilstoši tās struktūrai vai formai. Matemātiskā loģika sastāv no deduktīvas paziņojumu sistēmas, kuras mērķis ir izveidot likumu un noteikumu kopumu, lai noteiktu pamatojuma pamatotību. Tādējādi pamatojums tiek uzskatīts par derīgu, ja ir iespējams panākt patiesu secinājumu no patiesām telpām.

Matemātisko loģiku izmanto arī, lai izveidotu derīgu pamatojumu ar citu argumentāciju. Pamatojums var būt deduktīvs (secinājums ir obligāti iegūts no telpu patiesības) un induktīvs (varbūtības).

Formālo loģiku var iedalīt divās grupās: piedāvājuma loģika un predikāta loģika.

Leibnizu daudzi uzskata par prātu, kas uzsāka formālās vai matemātiskās loģikas koncepciju, kas risina matemātikas centrālos jautājumus. Tomēr tikai pēc 1890. gada ar Peano sākās aksiomu konsekvences jautājums. Daži svarīgi formālās loģikas principi ir atrodami Džordža Būla loģikas analīzē (Logic vai Būla algebra autors).

Propozējošā loģika

Piedāvātais loģika ir loģikas joma, kas pārbauda pamatojumu saskaņā ar sakarībām starp teikumiem (priekšlikumiem), minimālajām diskursa vienībām, kas var būt patiesas vai nepatiesas.

Populārākas Kategorijas

Top