Mitä on logiikka?

Logiikka on sana, joka määrittelee päättelyä koskevan tieteen. Toinen logiikan käsite on "niiden menetelmien ja periaatteiden tutkimus, joita käytetään oikean päättelyn erottamiseksi väärästä päättelystä". Tämä tiede kattaa erilaisia käsitteitä, kuten argumentoinnin, matematiikan ja tietotekniikan. Katso alta, millä aloilla voimme käyttää logiikkaa.

Logiikka on filosofian osa-alue, joka otetaan johdantona filosofiseen tutkimukseen, koska se liittyy logokseen, järkeen, sanaan, puheeseen ja pohdiskelee jotakin, joka vaatii päättelyä ja argumentointia.

Kreikkalainen filosofi Aristoteles, Platonin oppilas, on erittäin tärkeä henkilö logiikan ymmärtämisessä. Hän tutki aihetta ensimmäisenä ja totesi, että kieli on kaiken keskiössä: kommunikaation, taiteiden, abstraktin ajattelun ja tieteellisen tutkimuksen. Mutta jotta se toimisi, on noudatettava kielellisiä lähtökohtia.

Aristoteles ei pitänyt logiikkaa tieteenä. Lyhyesti sanottuna syllogismi on lauseiden muodostama argumentti. Se on päättelymuoto, jossa käytetään päättelyä johtopäätökseen pääsemiseksi, joten logiikassa on useita ongelmia tai pelejä.

Toinen filosofi, joka teki yhteistyötä päättelytieteen kanssa, oli saksalainen Gottlob Frege 1800-luvulla. Hän varoitti matematiikan tarpeellisuudesta logiikan ymmärtämiseksi paremmin. Konkretisoidakseen tämän lähtökohdan Frege kehitti predikaattilaskennan, menetelmän, jolla tutkittiin kielellisiä lauseita matemaattisen päättelyn avulla.

Katso tästä kaikki merkityksestä Metafysiikka .

Aristoteelinen logiikka

Aristoteelisen logiikan määritelmä on logiikan tutkiminen ajattelun kautta. Tämä johtuu siitä, että kreikkalainen filosofi uskoi, että logiikka on mekanismi, jolla ajatus voidaan validoida. Käsite, arvostelukyky ja päättely ovat logiikan lähtökohtia. Aristoteelisen logiikan ominaispiirteet ovat: instrumentaalinen, formaalinen, propeneuttinen/preliminäärinen, normatiivinen, todistamisoppi ja yleinen/atemaattinen.

Aristoteles korosti myös propositiota logiikan perustana, jossa tuomiot muodostavat ajattelun. Propositiot ovat yhteyksiä, jotka antavat predikaatteja (ominaisuuksia) subjektille, tällaisia propositioita kutsutaan syllogismiksi. Syllogismi on filosofisen ja tieteellisen ajattelun yhdistävä tekijä.

Aristoteleelta peräisin olevat päättelyt, joita kutsutaan kielellisen logiikan perusteiksi, huipentuivat keskiaikaiseen logiikkaan, joka kesti 1200-luvulle asti. Tärkeimpiä keskiaikaisia filosofeja olivat Aleksanteri Afrodisialainen, Porfyrios ja Galenos. Keskiaikaisen logiikan luokitus oli tiede, joka käsitteli tarkkaa arviointia ajatuksen vahvistamiseksi.

Ohjelmoinnin logiikka

Ohjelmointilogiikka koostuu loogisten sekvenssien laatimisesta. Sen perusperiaatteita ovat variantit ja vakiot, nimet, jotka edustavat arvoa ja luopuvat sen toistosta, sekä tietotyypit, jotka on jaettu tyyppeihin 1: teksti, 2: kokonaisluku, 3: reaaliluku ja 4: looginen, katso, miten näiden tietotyyppien kuvaukset ovat:

Tyyppi 1: yhden tai useamman merkin merkkijono, joka on tavallisesti suljetuissa lainausmerkeissä. Myös välilyönnit ovat merkkejä;

Tyyppi 2: negatiiviset ja positiiviset lukuarvot ilman desimaaleja;

Tyyppi 3: negatiiviset ja positiiviset lukuarvot, joissa on desimaaleja;

Tyyppi 4: vaihtoehdot, kuten KYLLÄ, EI, TODELLA ja VÄÄRIN.

Edellä mainittujen käsitteiden avulla kirjoitettuja loogisia sekvenssejä kutsutaan algoritmeiksi, jotka toimivat kuin kakkuresepti. Algoritmit näyttävät tietokoneelle, mitä sen pitäisi tehdä kussakin loogisessa sekvenssissä. Algoritmit kirjoitetaan ohjelmointikielellä, joka voi olla joko korkean tai matalan tason ohjelmointikieli.

Korkean tason ohjelmointikieli on helppo ymmärtää, koska ensin käsky tehdään kaaviossa, jossa on muunnos aiottuun toimintaan, SQL (Specification Design Language) on esimerkki korkean tason kielestä. Toisaalta matalan tason kieli viittaa suoriin käskyihin laitteelle, joita esitetään kirjaimilla ja numeroilla. ASSEMBLY-kieli on esimerkki ASSEMBLY-kielestä.matalan tason kieli.

Katso tästä kaikki noin Rationalismi .

Argumentoinnin logiikka

Argumentaatiologiikka on sitä, miten argumentaatiota käytetään ihmisen vakuuttamiseen. Tässä logiikassa yhdistetään lauseiden tai väitteiden sarjoja, jotta päästään johtopäätökseen. Argumentaatiologiikan peruskäsitteitä ovat: argumentointi, analogiat, johtopäätökset, päättelyt ja johtopäätökset, joissa:

Argumentaatio on joukko premissejä tai hypoteeseja, ja niiden tulosta kutsutaan johtopäätökseksi. Esimerkki: p1: Kaikki goianot laulavat sertanejoa, p2: Kaikki sertanejon laulajat pitävät musiikista ja p3: Kaikki goianot laulavat sertanejoa;

Analogia on vertailu väitteiden välillä, esimerkki: "Valo on päivälle kuin pimeys yölle";

Päättely on johtopäätökseen pääsemistä joukon lähtökohtaisten premissien avulla. On olemassa kahdenlaisia päättelytapoja: deduktio ja induktio. Deduktiossa tieto on premisseissä selkeällä tai ehdotetulla tavalla, esimerkki: Prepositio A: Linnuilla on nokka. Prepositio B: Uusi lintulaji on löydetty. Johtopäätös: Uudella lajilla on nokka. Induktiossa premisseistä välitetään tietoa.Induktiossa johtopäätökseen päästään sopivimman todennäköisyyden avulla. Esimerkki: Jos kaikilla linnuilla on nokka, myös uudella lajilla on oltava nokka.

Logiikan merkitys kuuluu luokkaan Filosofia.

Katso myös:

• Etiikan merkitys
• Epistemologian merkitys
• Epistemologinen merkitys
• Metafysiikan merkitys
• Moraalin merkitys
• Sosiologian merkitys
• Empirismin merkitys
• Empiirisen tiedon merkitys
• Enlightenmentin merkitys
• Rationalismin merkitys