Mis on loogika?

Loogika on sõna, mis määratleb teadust loogikast. Teine loogika mõiste on "meetodite ja põhimõtete uurimine, mida kasutatakse õige arutluse eristamiseks valest arutlusest". See teadus hõlmab erinevaid mõisteid, sealhulgas argumentatsiooni, matemaatikat ja arvutiteadust. Vaata allpool, millistes valdkondades me saame loogikat kasutada.

Sõna loogika pärineb kreeka keelest logos ja on seotud konkreetse arutlusviisiga. Loogika on filosoofia valdkond, mida võetakse sissejuhatuseks filosoofiaõppesse, kuna see on seotud logosega, mõistusega, sõnaga, kõnega ja kajastab midagi, mis nõuab arutlemist ja argumenteerimist.

Kreeka filosoof Aristoteles, Platoni õpilane, on loogika mõistmisel väga oluline tegelane. Ta oli esimene, kes uuris seda teemat, määrates, et keel on kõige keskmes: suhtlemise, kunstide, abstraktse mõtlemise ja teadusliku uurimise keskmes. Kuid selleks, et see toimiks, on vaja järgida keelelisi eeldusi.

Aristoteles ei näinud loogikat kui teadust. Lühidalt öeldes on süllogism väidete abil moodustatud argument. See on arutlusviis, mis kasutab järelduse tegemiseks deduktsiooni, seega on loogika erinevad probleemid või mängud.

Teine filosoof, kes tegi koostööd arutlusteadusega, oli 19. sajandil sakslane Gottlob Frege. Ta hoiatas matemaatika vajalikkuse eest loogika paremaks mõistmiseks. Selle eelduse konkretiseerimiseks töötas Frege välja predikaatide kalkuluse, meetodi, mis uuris keelelisi propositsioone matemaatilise deduktsiooni abil.

Vaata siit kõik tähenduse kohta Metafüüsika .

Aristotelese loogika

Aristotelese loogika määratlus on loogika uurimine mõtlemise kaudu. Seda seetõttu, et kreeka filosoof uskus, et loogika on mõtlemise valideerimise mehhanism. Mõiste, otsustus ja arutlus on loogika eeldused. Aristotelese loogika tunnused on: instrumentaalne, formaalne, propeneutiline/eelne, normatiivne, tõendamisõpetus ja üldine/atmosfääriline.

Aristoteles osutas ka propositsioonile kui loogika alusele, kus hinnangud moodustavad mõtte. Propositsioonid on seosed, mis annavad subjektile predikaadid (omadused), selliseid propositsioone nimetatakse süllogismiks. Süllogism on filosoofiliste ja teaduslike mõtete ühendus.

Aristoteleselt pärinevad arutlused, mida nimetatakse keeleloogika alusteks, kulmineerisid keskaegset loogikat, mis kestis kuni 13. sajandini. Peamised keskaegsed filosoofid olid Aleksander Aphrodisiase, Porfüürus ja Galenos. Keskaegse loogika liigitus oli teadus, mis käsitles mõtte täpset hindamist, et kinnitada mõtlemist.

Programmeerimisloogika

Programmeerimisloogika seisneb loogiliste jadade väljatöötamises. Selle põhiprintsiibideks on variandid ja konstandid, nimed, mis esindavad väärtust ja loobuvad selle kordamisest, ning ka andmetüübid, mis jagunevad tüübiks 1: tekst, tüübiks 2: täisarv, tüübiks 3: reaal ja tüübiks 4: loogiline, vaadake, kuidas on nende andmetüüpide kirjeldused:

Tüüp 1: ühest või mitmest tähemärgist koosnev string, mis on tavaliselt piiratud topeltlausega. Ka tühikud on tähemärgid;

Tüüp 2: negatiivsed ja positiivsed arvväärtused ilma kümnendkohtadeta;

Tüüp 3: negatiivsed ja positiivsed arvväärtused koos kümnendkohtadega;

Tüüp 4: alternatiivid, nagu JAH, EI, TÕENE ja VALE.

Eespool nimetatud mõistete abil kirjutatud loogilisi jadasid nimetatakse algoritmiks, mis töötavad nagu kondiitritordi retsept. Algoritmid näitavad arvutile, mida ta peaks igas loogilises jadas tegema. Algoritmid kirjutatakse programmeerimiskeeles, mis võib olla kas kõrgtasemel või madalal tasemel.

Kõrgetasemelist programmeerimiskeelt on lihtne mõista, sest kõigepealt on käsk tehtud skeemil, millel on teisendus kavandatud tegevusele, SQL (Specification Design Language) on näide kõrgtasemelisest keelest. Madalatasemeline keel viitab otsestele käskudele seadmele, mis on esitatud tähtede ja numbritega. ASSEMBLY keel on näidemadala taseme keel.

Vaata siit kõik, mis puudutab Ratsionalism .

Argumentatsiooni loogika

Argumentatsiooniloogika on see, kuidas kasutada argumentatsiooni inimese veenmiseks. Selles loogikas kombineeritakse väidete või väidete jadasid, et jõuda järelduseni. Argumentatsiooniloogika põhimõisted on: argumentatsioon, analoogiad, järeldused, tuletused ja järeldused, kus:

Argumentatsioon on eelduste ehk hüpoteeside kogum ja nende tulemust nimetatakse järelduseks. Näide: p1: Kõik goianod laulavad sertanejo, p2: Kõigile sertanejo lauljatele meeldib muusika ja p3: Kõik goianod laulavad sertanejo;

Analoogia on võrdlus argumentide vahel, näiteks: "Valgus on päevale nagu pimedus on ööle";

Järeldus on järelduseni jõudmine, kasutades lähteprintsiipide kogumit. On kahte liiki järeldusi: deduktsioon ja induktsioon. Deduktsiooni puhul on informatsioon eeldustes selgelt või oletatavalt olemas, näiteks: Eeldus A: Lindudel on nokad. Eeldus B: On avastatud uus linnuliik. Järeldus: Uuel liigil on nokad. Induktsiooni puhul edastavad eeldused informatsiooniInduktsioonis jõutakse järelduseni kõige sobivama tõenäosusega. Näide: Kui kõigil lindudel on nokk, siis peab ka uuel liigil olema nokk.

Loogika tähendus on filosoofia kategoorias

Vt ka:

• Eetika tähendus
• Epistemoloogia tähendus
• Epistemoloogiline tähendus
• Metafüüsika tähendus
• Moraali tähendus
• Sotsioloogia tähendus
• Empiirilisuse tähendus
• Empiiriliste teadmiste tähendus
• Valgustatuse tähendus
• Rationalismi tähendus