logiikka - tieteen menetelmien, lakien ja muotoja ajattelua.Muodollinen logiikka on kehittänyt antiikin kreikkalaiset kauan ennen aikakautemme.Se oli ensimmäinen kreikkalaiset rakentaa demokraattista yhteiskuntaa, jossa lait ja päätökset kansalliskokouksessa.He ovat luoneet primitiivinen tiede riita.Suosikki harrastus aristokraattinen nuoriso oli keskusteluja filosofeja.Siksi universaali rakkaus kehittämiseen teoreettisen tieteen.Kreikkalaiset vain oli opin miten olla tieteellisiä todisteita.
ensimmäinen kurssi perusasiat logiikan kehittämä Aristoteles.Hän kiinnitti huomiota siihen, että kaikki väitteet perustuvat common law, joiden rikkominen johtaa virheellisiin päätelmiin.Muodollinen logiikka Aristoteleen perustui näihin lakeihin:
- Jos tuomiot ovat myönteisiä, mitä tehdä niistä tekemisestä ei voi olla negatiivinen.
- Jos jokin lausunnoista on kielteinen, ja yleinen johtopäätös on aina negatiivinen.
Vaikuttaa siltä, että muodollinen logiikka - tuntevat periaatteet ja lait tehokkaasti, tulkittava perustelujen osalta muoto niiden rakentaminen (tapoja yhdistää osien yleisten huomioiden).
Kaikki ilmiöt ja esineet on suhde.Linkit voivat olla objektiivinen tai subjektiivinen, jaettu tai oma, välttämätön tai vahingossa.Merkittävin näistä lainoista kutsutaan lakeja.Ne heijastavat samaa todellisuutta, siis voi olla ristiriidassa keskenään.Kaikki lait inhimillisen ajattelun liittyvät luonnonlait.
lait ajatuksen ovat stabiileja sisäinen yhteys ajatuksia.Jos henkilö ei voi sitoa hänen ajatuksensa, hän ei tullut oikeaan päätökseen ja ei voi tuoda sitä muille.
peruslait muodollisen logiikan - lainsäädännön johdonmukaisuuden, identiteetti, syrjäytyneiden keski-ja laki riittävä syy.Kehitys kolmen ensimmäisen kuuluvat Aristoteles ja Platon, viimeinen - Leibniz.Rikkomukset näitä lakeja (erityisesti kolme ensimmäistä) johtaa ristiriitoja, jolloin on mahdotonta erottaa totuuden valheeseen.Viimeisin vähemmän asetuksia ja lakia sovelletaan suppeampi.
jättäminen ydin logiikan lakeja - on säännöt toimintamalleja ja tuomiot, saada todellinen päätökseen syllogism, lisää todennäköisyyttä induktiivinen päättely ja johtopäätökset traduktivnogo luonnetta.
Act johdonmukaisuus tarkoittaa sitä, että ajattelu ei pitäisi olla kiistanalainen, ja niiden on vastattava laatua tiettyjä asioita.
laki syrjäytyneiden keskellä edellyttää ei katso välillä kaksi ristiriitaista mutta totena Kolmas asia, ja tunnustaa totuuden vain yksi niistä.Yksi komponenttien konfliktin - totta.
laki muodollista logiikkaa käsittelee identiteetin vaatimus tarkkuus ajattelu, eli kaikki termi sinun täytyy ymmärtää, sen määritelmä ja merkitys.Ydin käsitteitä ja tuomioita ei voi vääristää mielensä.
laki riittävä syy on se, että mitään todellista ajatus tarpeen perustella todellinen toisten ajatuksiin ja vääriä ideoita ei voida perustella.Kehittämisessä tuomioiden tulisi heijastaa syy-yhteys.Vain tässä tapauksessa voidaan osoittaa luotettavuutta.
looginen muodossa ajattelun ja tapoja määritellä minkäänlaista ajatuksia ilmaistaan looginen ehdot, joihin kuuluu sana "ja", "tai", "jos ... niin ..." kieltäminen "ei ole totta, että"(" ei "), sana" jotkut "," kaikki "(" ei "), joukko" olemus "(tarkoitettu" on "), jne.Tunnista looginen muodossa tuomion voidaan hajamielinen termien ja epälooginen, jotka ovat sanallinen ilmaus tämän tuomion.Toisin sanoen, muodollinen logiikka ilmaisee rakennetta ajatuksen.Looginen muoto on aina informatiivinen ja mielekäs.
riippuen niiden ajattelun muodoista jaetaan luokkiin: käsitteet, perustelut ja tuomion.Käsite - ajatus yleistää esineet perusteella niiden perusominaisuudet.Tuomio - ajatus, väittäen läsnäolo (poissaolo) tilanteesta.Päättely - ajatteli, mikä tiedon hankkimiseen ilmaistun tuomiot muun tietämyksen.
