Loogika on filosoofia valdkond, mille eesmärk on uurida väidete (väidete) vormilist struktuuri ja nende reegleid. Lühidalt öeldes on loogika mõte õigele mõtlemisele, olles seega õige mõtlemise vahend.
Loogika tuleb kreekakeelsest sõnast logod, mis tähendab põhjust, argumenti või kõnet. Rääkimise ja vaidlemise idee eeldab, et öeldul on kuulaja jaoks tähendus.
See mõte põhineb loogilisel struktuuril, kui midagi "loogikat omab" tähendab, et sellel on mõtet, on see ratsionaalne argument.
Loogika filosoofias
See oli Kreeka filosoof Aristoteles (384 a. C.-322 a. C.) kes lõi loogikauuringu, nimetas ta seda analüütiliseks.
Tema jaoks peaksid kõik teadmised, mis pretendeerivad tõele ja universaalsetele teadmistele, austama mõnda põhimõtet, loogilist põhimõtet.
Loogikat (või analüütikat) hakati mõistma kui õige mõtlemise vahendit ja tõeliste teadmiste aluseks olevate loogiliste elementide määratlemist.
Loogilised põhimõtted
Aristoteles arenes kolm põhiprintsiipi mis juhivad klassikalist loogikat.
1. identiteedi põhimõte
Olend on alati iseendaga identne: THE é THE. Kui asendame THE näiteks Maria jaoks on see: Maria on Maria.
2. Vasturääkivuse põhimõte
On võimatu olla samaaegselt ja mitte olla või on üks üksus ka selle vastand. see on võimatu THE olema THE ja mitte-A, samal ajal. Või järgides eelmist näidet: Maarja jaoks on võimatu olla Maarja ja mitte Maarja.
3. Välja arvatud kolmanda isiku või välistatud kolmanda isiku põhimõte
Lausetes (subjekt ja predikaat) on ainult kaks varianti, kas jaatavad või negatiivsed: THE é x või THE é ei-x. Maria on õpetaja või Maria pole õpetaja. Kolmandat võimalust pole.
Vaadake ka:Aristotelese loogika.
Ettepanek
Argumendis nimetatakse öeldut ja subjekti, verbi ja predikaadi vormi propositsiooniks. Väited on väited, kinnitused või eitused ning nende paikapidavust või väärust analüüsitakse loogiliselt.
Lausete analüüsist saab loogika uurimine õige mõtlemise vahendiks. Õigeks mõtlemiseks on vaja (loogilisi) põhimõtteid, mis tagavad selle kehtivuse ja tõe.
Kõik, mida vaidluses öeldakse, on vaimse protsessi (mõtte) järeldus, mis hindab ja hindab mõningaid võimalikke olemasolevaid suhteid.
Süllogism
Nendest põhimõtetest lähtudes on meil deduktiivne loogiline arutluskäik, st kahest varasemast kindlusest (eeldustest) jõutakse uue järelduseni, millele ruumides otseselt ei viidata. Seda nimetatakse süllogismiks.
Näide:
Iga mees on surelik. (eeldus 1)
Sokrates on mees. (eeldus 2)
Seetõttu on Sokrates surelik. (järeldus)
See on süllogismi põhistruktuur ja loogika alus.
Süllogismi kolme mõistet saab liigitada nende hulga (universaalne, konkreetne või ainsus) ja kvaliteedi (jaatav või negatiivne) järgi
Ettepanekute kvaliteet võib erineda:
- Kinnitused: S on P. Iga inimene on surelik, Maarja on töötaja.
- Negatiivsed: S ei ole P.Sokrates pole egiptlane.
Nende kogus võib erineda ka järgmiselt:
- Universaalid: Iga S on P.kõik mehed on surelikud.
- Privaatne: Osa S on P. Mõni mees on kreeklane.
- Üksikud: See S on P.Sokrates on kreeklane.
See on Aristotelese loogika ja selle tuletuste alus.
Vaadake ka: Mis on süllogism?
Ametlik loogika
Ametlikus loogikas, mida nimetatakse ka sümboolseks loogikaks, taandatakse väited täpselt määratletud mõisteteks. Sel viisil pole öeldu kõige olulisem, vaid selle vorm.
Lausete loogilist vormi töötatakse propositsioonide (sümboolse) esitamise kaudu tähtedega: P, midaja r. Samuti uurib ettepanekute vahelisi seoseid nende loogiliste operaatorite kaudu: sidesõnad, disjunktsioonid ja konditsioneerimine.
propositsiooniloogika
Nii saab ettepanekutega töötada erineval viisil ja olla aluseks avalduse ametlikule kinnitamisele.
Loogilised operaatorid loovad väidete vahelised seosed ja võimaldavad nende struktuuride loogilist aheldamist. Mõned näited:
Eitamine
See on termini või väite vastand, mida tähistab sümbol ~ või ¬ (eitus P on ~ p või ¬ P). Tabelis on p tõene jaoks ~ p vale. (on päikseline = P, pole päikseline = ~ P või ¬ P).
Ühendus
See on liit väidete vahel, sümbol ∧ tähistab sõna "ja" (täna on päikseline ja Ma lähen randa, P ∧ mida). Et sidesõna oleks tõene, peavad mõlemad tõsi olema.
Disjunktsioon
See on väidete lahusus, sümbol v tähistab "või"(Lähen rannale või Püsi kodus, P v mida). Kehtivuseks peab olema vähemalt üks (või teine) peab olema tõene.
Tingimuslik
See on põhjusliku seose või tingimuslikkuse tuvastamine, sümbol ⇒ tähistab "kui... siis ..." (kui sadama, siis Jään koju, P ⇒ mida).
kahest tingimuslikust
See on kahepoolse tingimusliku seose loomine, on kahekordne järeldus, sümbol ⇔ tähistab "kui ja ainult kui,". (Ma lähen klassi ainult siis, kui mul pole puhkust, P ⇔ mida).
Tõetabelile pöördudes on meil:
| P | mida | ~ lk | ~ mida | P ∧ mida | P v mida | P ⇒ mida | P ⇔ mida |
|---|---|---|---|---|---|---|---|
| V | V | F | F | V | V | V | V |
| V | F | F | V | F | V | F | F |
| F | V | V | F | F | V | V | F |
| F | F | V | V | F | F | V | V |
Tähed F ja V saab asendada nulliga ja ühega. Seda vormingut kasutatakse arvutuslikus loogikas laialdaselt (F = 0 ja V = 1).
Vaadake ka: Tõetabel.
Muud tüüpi loogika
On veel mitut tüüpi loogikat. Need tüübid on üldiselt klassikalise formaalse loogika tuletused, esitavad kriitika traditsioonilise mudeli kohta või uue lähenemisviisi probleemide lahendamisele. Mõned näited on:
1. Matemaatiline loogika
Matemaatiline loogika on tuletatud Aristotelese formaalsest loogikast ja areneb selle väidete väärtussuhetest.
19. sajandil olid matemaatikud George Boole (1825–1864) ja Augustus De Morgan (1806–1871) vastutab Aristotelese printsiipide matemaatikaga kohandamise eest, luues uue teadus.
Selles hinnatakse tõe ja vale võimalusi nende loogilise vormi kaudu. Laused muudetakse matemaatilisteks elementideks ja analüüsitakse nende seoste põhjal loogiliste väärtuste vahel.
Vaadake ka: Matemaatiline loogika.
2. Arvutuslik loogika
Arvutuslik loogika on tuletatud matemaatilisest loogikast, kuid ületab seda ja rakendatakse arvutiprogrammeerimisel. Ilma selleta oleks mitu tehnoloogilist arengut, näiteks tehisintellekt, võimatu.
Seda tüüpi loogika analüüsib väärtuste vahelisi seoseid ja teisendab need algoritmideks. Selleks kasutab see ka loogilisi mudeleid, mis murravad Aristotelese algselt välja pakutud mudeliga.
Need algoritmid vastutavad paljude võimaluste eest, alates sõnumite kodeerimisest ja dekodeerimisest kuni selliste ülesanneteni nagu näotuvastus või autonoomsete autode võimalus.
Igatahes läbib kogu suhe arvutitega tänapäeval sellist loogikat. See ühendab traditsioonilise Aristotelese loogika alused nn mitteklassikalise loogika elementidega.
3. Mitteklassikaline loogika
Mitteklassikalise või antiklassika järgi on loogika tunnustatud rea loogilisi protseduure, mis loobuvad ühest või mitmest traditsioonilise (klassikalise) loogika väljatöötatud põhimõttest.
Näiteks hägune loogika (hägune), mida kasutatakse laialdaselt tehisintellekti arendamiseks, ei kasutata välistamise kolmandat põhimõtet. See eeldab reaalset väärtust vahemikus 0 (vale) kuni 1 (tõene).
Mitteklassikalise loogika näited on:
- Loogika hägune;
- Intuitsionistlik loogika;
- Parakonsistentne loogika;
- Modaalne loogika.
Kurioosid
Ammu enne igasugust arvutusloogikat oli loogika kõigi olemasolevate teaduste alus. Mõned toovad selle oma nimel väljendatud mõttekäigu sufiksiga "logy", Kreeka päritolu.
Bioloogia, sotsioloogia ja psühholoogia on mõned näited, mis muudavad nende suhted ELiga logod Kreeka keel, mõistetav loogilise ja süsteemse uuringu ideest.
Taksonoomia, elusolendite (kuningriik, perekond, klass, kord, perekond, perekond ja liigid) klassifitseerimine järgib ka tänapäeval Aristotelese pakutud kategooriatesse liigitamise loogilist mudelit.
Vaadake ka:
- Loogiline arutlus - harjutused
- Filosoofia harjutused
