Kas yra logika?

Logika tai žodis, apibrėžiantis mokslą apie samprotavimą. Kita logikos sąvoka - "mokslas apie metodus ir principus, kuriais remiantis galima atskirti teisingą samprotavimą nuo neteisingo". Šis mokslas apima įvairias sąvokas, įskaitant argumentaciją, matematiką ir informatiką. Toliau žiūrėkite, kokiose srityse galime naudoti logiką.

Žodis logika kilęs iš graikų kalbos žodžio logos ir siejamas su tam tikru samprotavimo būdu. Logika yra filosofijos sritis, imama kaip įvadas į filosofijos studijas, nes ji susijusi su logos, protu, žodžiu, kalba ir apmąsto tai, kas reikalauja samprotavimo ir argumentavimo.

Graikų filosofas Aristotelis, Platono mokinys, yra labai svarbi figūra logikos supratimui. Jis pirmasis ėmė tyrinėti šią temą ir nustatė, kad kalba yra visa ko centras: bendravimo, menų, abstraktaus mąstymo ir mokslinių tyrimų. Tačiau, kad ji veiktų, būtina vadovautis lingvistinėmis prielaidomis.

Pristatoma kaip mokslas, tačiau Aristotelis logikos tokia nelaikė. Trumpai tariant, silogizmas yra argumentas, sudarytas iš propozicijų. Tai tokia samprotavimo forma, kai išvadai pasiekti naudojama dedukcija, todėl yra kelios logikos problemos arba žaidimai.

Dar vienas filosofas, bendradarbiavęs su samprotavimo mokslu, buvo vokietis Gotlobas Frėgė (Gottlob Frege) XIX a. Jis perspėjo, kad norint geriau suprasti logiką reikia matematikos. Siekdamas sukonkretinti šią prielaidą, G. Frėgė sukūrė predikatų skaičiuotę - metodą, kuriuo matematinės dedukcijos būdu buvo tiriami kalbiniai teiginiai.

Žr. čia apie prasmę Metafizika .

Aristoteliškoji logika

Aristoteliškosios logikos apibrėžimas - tai logikos mokslas per mąstymą. Taip yra todėl, kad graikų filosofas manė, jog logika yra mąstymo patvirtinimo mechanizmas. Logikos prielaidos yra sąvoka, sprendimas ir samprotavimas. Aristoteliškosios logikos požymiai yra šie: instrumentinė, formalioji, propedeutinė (preliminarioji), normatyvinė, įrodymo doktrina ir bendroji (laikinoji).

Aristotelis taip pat nurodė, kad propozicija yra logikos pagrindas, kur nuosprendžiai formuoja mintį. Propozicijos - tai jungtys, kurios subjektui suteikia predikatus (kokybę), tokios propozicijos vadinamos silogizmu. Silogizmas - tai filosofinės ir mokslinės minties sąjunga.

Iš Aristotelio kilę samprotavimai, vadinami lingvistinės logikos pagrindais, vainikavo viduramžių logiką, kuri tęsėsi iki XIII a. Pagrindiniai viduramžių filosofai buvo Aleksandras Afrodizietis, Porfirijas ir Galenas. Viduramžių logikos klasifikacija buvo mokslas apie tai, kaip tiksliai spręsti, siekiant patvirtinti mintį.

Programavimo logika

Programavimo logiką sudaro loginių sekų sudarymas. Pagrindiniai jos principai yra variantai ir konstantos, vardai, kurie reiškia reikšmę ir leidžia ją pakartoti, taip pat duomenų tipai, skirstomi į 1 tipą: tekstiniai, 2 tipą: sveikieji skaičiai, 3 tipą: realieji ir 4 tipą: loginiai, patikrinkite, kaip aprašomi šie duomenų tipai:

1 tipas: vieno ar daugiau simbolių eilutė, paprastai pateikiama dvigubomis kabutėmis. Tarpai taip pat yra simboliai;

2 tipas: neigiamos ir teigiamos skaitinės vertės be dešimtainiųjų skaitmenų;

3 tipas: neigiamos ir teigiamos skaitinės vertės su dešimtainiais skaičiais;

4 tipas: alternatyvos, pavyzdžiui, YES, NO, TRUE ir FALSE.

Loginės sekos, užrašytos naudojant pirmiau minėtas sąvokas, vadinamos algoritmais, kurie veikia kaip pyrago receptas. Algoritmai parodo kompiuteriui, ką jis turėtų daryti kiekvienoje loginėje sekoje. Algoritmai rašomi naudojant programavimo kalbą, kuri gali būti aukšto arba žemo lygio.

Aukšto lygio programavimo kalbą lengva suprasti, nes pirmiausia komanda pateikiama schemoje, turinčioje konvertavimą į numatytą veiksmą, SQL (specifikacijų projektavimo kalba) yra aukšto lygio kalbos pavyzdys. Žemo lygio kalba - tai tiesioginės instrukcijos įrenginiui, pateikiamos raidėmis ir skaičiais. ASSEMBLY kalba yra pavyzdysžemo lygio kalba.

Žr. čia viskas apie Racionalizmas .

Argumentavimo logika

Argumentavimo logika - tai, kaip pasitelkti samprotavimus siekiant įtikinti žmogų. Šioje logikoje, siekiant padaryti išvadą, derinamos teiginių arba teiginių sekos. Pagrindinės argumentavimo logikos sąvokos yra šios: argumentacija, analogijos, išvados, dedukcijos ir išvados, kur:

Argumentacija - tai prielaidų arba hipotezių rinkinys, o jų rezultatas vadinamas išvada. Pavyzdys: p1: Visi goiano dainininkai dainuoja sertanjo, p2: Visi sertanjo dainininkai mėgsta muziką ir p3: Visi goiano dainininkai dainuoja sertanjo;

Analogija - tai argumentų palyginimas, pvz.: "Šviesa yra diena, kaip tamsa yra naktis";

Išvada - tai išvados darymas naudojant pradinių prielaidų rinkinį. Yra dvi išvadų rūšys: dedukcija ir indukcija. Dedukcijos atveju informacija yra prielaidose, kurios yra aiškios arba siūlomos, pavyzdžiui: Prielaida A: Paukščiai turi snapus. Prielaida B: Atrasta nauja paukščių rūšis. Išvada: Nauja rūšis turi snapus. Indukcijos atveju prielaidos perduoda informacijąTaikant indukciją, išvada daroma remiantis tinkamiausia tikimybe. Pavyzdys: Jei visi paukščiai turi snapus, tai nauja rūšis taip pat turi turėti snapą.

Logikos reikšmė yra filosofijos kategorijoje

Taip pat žr:

• Etikos reikšmė
• Epistemologijos reikšmė
• Epistemologinis reikšmė
• Metafizikos reikšmė
• Moral reikšmė
• Sociologijos reikšmė
• Empirizmo reikšmė
• Empirinių žinių reikšmė
• Apšvietos reikšmė
• Racionalizmo reikšmė