Logiikka on naispuolinen substantiivi kreikan termistä logo, liittyy logot, syy, sana tai puhe, mikä tarkoittaa päättelytiede.
Kuvaannollisesti sana logiikka liittyy a: han erityinen perustelutapa, oikein. Esimerkiksi: Tämä ei koskaan toimi! Suunnitelmallasi ei ole logiikkaa!
Sinä ongelmia tai loogisia pelejä ovat toimintoja, joissa henkilön on käytettävä a looginen päättely ongelman ratkaisemiseksi.
Aristotelilainen logiikka
Aristoteleen mukaan logiikan tutkimuksen kohteena on ajattelin, samoin kuin sitä hallitsevat lait ja säännöt, jotta ajatus olisi oikea. Kreikkalaisen filosofin kannalta logiikan osatekijät ovat konsepti, tuomio ja päättely. Logiikan lait vastaavat näiden elementtien välisiä yhteyksiä ja suhteita.
Jotkut Aristoteleen seuraajat olivat vastuussa keskiaikaisen logiikan perusteista, jotka kesti 1300-luvulle saakka. Keskiajan ajattelijat, kuten Galen, Porphyry ja Afrodisialainen Aleksanteri, luokittelivat logiikan oikeuden tuomitsemisen tieteeksi, mikä mahdollistaa oikean ja muodollisesti perustellun päättelyn.
Ohjelmointilogiikka
Ohjelmointilogiikka on tietokoneohjelman luomiseen käytetty kieli. Ohjelmointilogiikka on välttämätöntä tietokoneohjelmien ja -järjestelmien kehittämiseksi, koska se määrittelee kehityksen loogisen ketjun. Tämän kehityksen vaiheet tunnetaan algoritmina, joka koostuu suoritettavan toiminnon loogisista ohjeista.
Argumentointilogiikka
Argumentointilogiikan avulla voidaan tarkistaa pätevyys tai onko lauseke totta vai ei. Sitä ei ole tehty suhteellisilla tai subjektiivisilla käsitteillä. Ne ovat konkreettisia ehdotuksia, joiden pätevyys voidaan tarkistaa. Tällöin logiikan tarkoituksena on arvioida ehdotusten muotoa eikä sisältöä. Syllogismit (koostuvat kahdesta olettamuksesta ja johtopäätöksestä) ovat esimerkkejä argumentointilogiikasta. Esimerkiksi:
Maissijauho on koira.
Kaikki koirat ovat nisäkkäitä.
Siksi maissijauho on nisäkäs.
Matemaattinen logiikka
Matemaattinen logiikka (tai muodollinen logiikka) tutkii logiikkaa sen rakenteen tai muodon mukaan. Matemaattinen logiikka koostuu a deduktiivinen järjestelmä lausunnoista, joiden tarkoituksena on luoda joukko lakeja ja sääntöjä perustelujen pätevyyden määrittämiseksi. Siksi perustelut katsotaan päteviksi, jos todellisista lähtökohdista on mahdollista päästä todelliseen johtopäätökseen.
Matemaattista logiikkaa käytetään myös rakentamaan päteviä päättelyjä muiden päättelyjen kautta. Perustelut voivat olla deduktiivinen (johtopäätös saadaan pakollisesti tilojen totuudesta) ja induktiivinen (todennäköisyys).
Muodollinen logiikka voidaan jakaa kahteen ryhmään: propositio- ja predikaattilogiikka.
Leibniz nähdään monien mielenä, joka aloitti muodollisen logiikan tai matematiikan, joka käsittelee matematiikan ydinkysymyksiä. Kuitenkin vasta vuoden 1890 jälkeen Peanon kanssa alettiin kyseenalaistaa aksioomien johdonmukaisuus. Joitakin tärkeitä muodollisen logiikan periaatteita löytyy George Boolen (Boolen logiikan tai algebran kirjoittaja) The Logematical Analysis of Logic -oppaasta.
ehdotuslogiikka
Lauselogiikka on logiikka-alue, joka tutkii päättelyä lausekkeiden (propositioiden) välisten suhteiden, diskurssin vähimmäisyksiköiden, jotka voivat olla totta tai väärää, välisten suhteiden mukaan.