Muodollinen logiikka ja sen peruslait

Logiikka - tieteen menetelmien, lakien ja ajattelun muotoja. Muodollinen logiikka on kehitetty antiikin kreikkalaiset, kauan ennen aikakautemme. Se oli ensimmäinen kreikkalaiset rakentaa demokraattinen yhteiskunta, jossa päätöksiä ja lakeja hyväksyttiin julkisessa kokouksessa. He loivat primitiivinen tiede johtavaa tutkimuksissa. Suosittu urheilulaji aristokraattisen nuorten keskustelleet filosofit. Siksi universaali rakkaus kehitystä teoreettisen tieteen. Kreikkalaiset vain oli opetuksia miten olla tieteellisiä todisteita.

Ensimmäisen kuurin perustusten logiikka kehittämä Aristoteles. Hän kiinnitti huomiota siihen, että kaikki argumentit perustuvat yleisiä lakeja, joiden rikkominen johtaa virheellisiin johtopäätöksiin. Muodollinen logiikka Aristoteleen perustui näitä lakeja:

1. Jos tuomio on myöntävä, mitä tehdä niistä päätellä ei voi olla negatiivinen.
2. Jos jokin lausunnoista on kielteinen, ja yleinen johtopäätös on aina negatiivinen.

Siksi näyttää siltä, että muodollinen logiikka - on tieto periaatteiden ja lakien tehokkaasti tulkittava päättelyn osalta muodon niiden rakentaminen (tapoja yhdistää yksittäisiä osia yleisten huomioiden).

Kaikki ilmiöt ja esineet on suhde. Linkit voivat olla objektiivinen tai subjektiivinen, yleisiä tai yksityisiä, tarpeen tai vahingossa. Merkittävin näistä joukkovelkakirjojen kutsutaan lakeja. ne heijastavat samaa todellisuutta, siis ei koskaan ristiriidassa keskenään. Kaikkien lakien inhimillisen ajattelun liittyvät luonnonlait.

Lait ajatuksen ovat stabiileja sisäinen yhteys ajatuksia. Jos ihminen ei voi sitoa ajatuksiaan, hän ei tullut oikeaan päätökseen ja ei voi tuoda sitä muille.

Peruslakeja muodollisen logiikan - lakien johdonmukaisuus, identiteetti, syrjäytyneiden keski ja laki riittävä syy. Kehittymistä ensimmäisten kolmen kuuluvat Aristoteles ja Platon, viimeinen - Leibniz. Niiden rikkomisesta (erityisesti kolmen ensimmäisen) johtaa ristiriitoja, minkä vuoksi on mahdotonta erottaa totuuden valheesta. Viimeinen laki vähemmän asetukset ja rajoitetumpaa käyttöä.

Ydinliiketoimintaan logiikan lakeja - nämä ovat säännöt liiketoiminnan esityksiä ja käsitteitä, saaminen tosi johtopäätös on syllogism, lisää todennäköisyyttä induktiivinen päättely ja johtopäätökset traduktivnogo luonnetta.

Laki Johdonmukaisuuden tarkoittaa, että ajattelu ei pitäisi olla kiistanalainen, vaan ne edustavat laatua tiettyjä asioita.

Poissuljetun laki määrää pidättymään kahden ristiriitaista mutta totena on kolmas, ja tunnustaa totuuden vain yksi niistä. Yksi komponenteista ristiriitoja - totta.

laki identiteetin muodollista logiikkaa tulkitsee täsmällisyysvaatimuksesta ajattelun eli missään termi sinun täytyy tarkasti ymmärtää sen määritelmää ja merkitystä. Ydin käsitteitä ja tuomioita ei voi vääristää mielensä.

laki riittävä syy on se, että mitään todellista ajatuksen tarpeen perustella muille todellinen ajatuksia ja vääriä ideoita ei voida perustella. Kehittämisessä tuomioiden tulisi heijastaa syysuhteesta. Vain tässä tapauksessa voidaan todistaa sen luotettavuutta.

Looginen muoto ajattelun ja määrittämistavasta muotojen kaikkien ajatukset ilmaisemia looginen ehdot, joihin kuuluu sana "ja", "tai", "jos ... niin ..." kieltäminen "ei ole totta, että" ( "ei") sana "joitakin", "kaikki" ( "ei"), joukko "ydin" (tarkoitettu "on"), jne. Tunnista looginen muoto tuomio voidaan hajamielinen merkityksen ehtojen epälooginen, jotka sisältyvät sanallinen ilmaus tämän tuomion. Toisin sanoen, muodollinen logiikka ilmaisee rakennetta ajatuksen. Looginen muoto on aina informatiivinen ja mielekäs.

Riippuen ajattelun muodoista jaetaan luokkiin: käsitteet, päättelyä ja harkintaa. Käsite - ajatus siitä, että yleistää esineet perusteella niiden perusominaisuudet. Tuomio - ajatus, väittää läsnäolo (poissaolo) tilanteesta. Päättely - ajatteli, mikä tiedonhankintaa ilmaistuna tuomiot muun tietämyksen.