logiikka

Mikä on logiikka:

Logic on feminiininen substantiivi, joka on peräisin kreikkalaisesta termistä logiké, joka liittyy logoihin, syy, sana tai puhe, mikä tarkoittaa päättelyn tieteen .

Kuviollisessa mielessä sanalogiikka liittyy tiettyyn perusteluun oikein. Esimerkiksi: Tämä ei koskaan toimi! Suunnitelmallasi ei ole mitään logiikkaa!

Ongelmat tai logiikkapelit ovat toimintoja, joissa yksilön on käytettävä loogista päättelyä ongelman ratkaisemiseksi.

Aristotelialainen logiikka

Aristoteleen mukaan logiikalla on tarkoitus tarkastella ajatusta sekä sitä ohjaavia lakeja ja sääntöjä, niin että tämä ajatus on oikea. Kreikan filosofin kannalta logiikan osatekijät ovat käsite, tuomitseminen ja päättely . Logiikan lait vastaavat näiden elementtien välisiä yhteyksiä ja suhteita.

Jotkut Aristoteleen seuraajat olivat vastuussa keskiaikaisen logiikan perustuksista, jotka kestivät kolmentoista vuosisadan. Keskiajan ajattelijat, kuten Galenus, Porfyyri ja Aphrodysian Aleksanteri, luokittelivat logiikan oikein arvioinnin tieteena, mikä mahdollistaa oikean ja muodollisen pätevän päättelyn.

Ohjelmointilogiikka

Ohjelmointilogiikka on tietokoneohjelman luomisen kieli. Ohjelmoinnin logiikka on välttämätöntä ohjelmien ja tietokonejärjestelmien kehittämiseksi, sillä se määrittelee tämän kehityksen loogisen linkin. Tämän kehityksen vaiheet tunnetaan algoritmina, joka koostuu suoritettavan toiminnon loogisesta järjestyksestä.

Argumenttilogiikka

Väitteen logiikka antaa meille mahdollisuuden tarkistaa voimassaolon tai onko lausunto totta vai ei. Sitä ei tehdä suhteellisilla tai subjektiivisilla käsitteillä, vaan ne ovat konkreettisia ehdotuksia, joiden pätevyys voidaan todentaa. Tässä tapauksessa logiikan tavoitteena on arvioida ehdotusten muotoa eikä sisältöä. Syllogismit (jotka koostuvat kahdesta tilasta ja päätelmä) ovat esimerkki argumentoinnin logiikasta. Esimerkiksi:

Fubá on koira.

Kaikki koirat ovat nisäkkäitä.

Siksi Fubá on nisäkäs.

Matemaattinen logiikka

Matemaattinen logiikka (tai muodollinen logiikka) tutkii logiikkaa sen rakenteen tai muodon mukaan. Matemaattinen logiikka koostuu deduktiivisesta lausekkeiden järjestelmästä, jonka tarkoituksena on luoda joukko lakeja ja sääntöjä päättelyn pätevyyden määrittämiseksi. Näin ollen päättelyä pidetään pätevänä, jos on mahdollista saavuttaa todellinen päätelmä todellisista tiloista.

Matemaattista logiikkaa käytetään myös perustelemaan päteviä perusteluja muilla perusteilla. Pohdinta voi olla deduktiivinen (johtopäätös on välttämättä saatu tilojen totuudesta) ja induktiivinen (todennäköisyys).

Muodollinen logiikka voidaan jakaa kahteen ryhmään: ehdotuslogiikka ja predikaattilogiikka.

Monet näkevät Leibnizin mielessä, joka aloitti muodollisen tai matemaattisen logiikan käsitteen, joka käsittelee matematiikan keskeisiä kysymyksiä. Kuitenkin vasta 1890-luvun jälkeen, Peano, alkoi kysymys aksioomien johdonmukaisuudesta. Joitakin tärkeitä muodollisen logiikan periaatteita löytyy George Boolen logiikan matemaattisesta analyysistä (Logic- tai Boolen-algebran kirjoittaja).

Propositiivinen logiikka

Ehdotuslogiikka on logiikka-alue, joka tutkii perusteluja lauseiden (ehdotusten), diskurssin vähimmäisyksiköiden välisten suhteiden mukaan, jotka voivat olla totta tai vääriä.