[L01] mitä logiikka on?

joten mikä on logiikka? Lyhyesti sanottuna voisimme määritellä logiikan oikean päättelyn periaatteiden tutkimiseksi. Tämä on karkea määritelmä, koska se, miten logiikka pitäisi määritellä oikein, on itse asiassa varsin kiistanalainen asia. Tätä kiertuetta varten ajattelimme kuitenkin, että olisi hyödyllistä antaa sinulle ainakin karkea käsitys siitä, mitä aihetta opiskelet. Näin me siis yritämme tehdä tällä sivulla.

§1., Logiikka ei ole päättelyn psykologiaa

yksi asia, joka sinun tulisi huomioida tästä määritelmästä, on se, että logiikka koskee oikean päättelyn periaatteita. Päättelyn oikeiden periaatteiden tutkiminen ei ole sama asia kuin päättelyn psykologian tutkiminen. Logiikka on entinen kuri, ja se kertoo meille, miten meidän pitäisi järkeillä, jos haluamme järkeillä oikein. Se, noudattavatko ihmiset todella näitä oikean päättelyn sääntöjä, on empiirinen asia, mikä ei ole logiikan asia.

päättelyn psykologia taas on empiirinen tiede., Se kertoo ihmisten todellisista päättelytavoista, myös heidän virheistään. Päättelyä tutkiva psykologi voisi olla kiinnostunut siitä, miten ihmisten järki vaihtelee iän mukaan. Tällaiset empiiriset tosiasiat eivät kuitenkaan ole loogikon mieleen.

§2. Logiikan periaatteet

joten mitä nämä logiikkaan kuuluvat päättelyn periaatteet ovat? On monia sellaisia periaatteita, mutta tärkein (ei ainoa) asia, joka meidän tutkimuksen logiikka ovat periaatteet, jotka koskevat pätevyyden perustelut – onko tiettyjä johtopäätöksiä seuraa joitakin annettuja oletuksia., Esimerkiksi, harkitse seuraavat kolme väitettä :

Nämä kolme väitettä ovat ilmeisesti hyviä argumentteja siinä mielessä, että niiden johtopäätöksiä seuraa oletuksista. Jos väitteen oletukset pitävät paikkansa, myös argumentin johtopäätöksen on oltava totta. Logician kertovat meille, että he ovat kaikki tapaukset, erityisesti muodossa argumentti tunnetaan nimellä ”modus ponens, lambda” :

Jos P, niin Q. P. Siksi, Q.

keskustelemme validiteetti taas myöhemmin. On syytä huomauttaa, että logiikassa ei ole kyse vain argumenttien pätevyydestä., Logiikka tutkii myös johdonmukaisuutta ja loogisia totuuksia sekä loogisten järjestelmien ominaisuuksia, kuten täydellisyyttä ja eheyttä. Mutta tulemme näkemään, että nämä muut käsitteet liittyvät hyvin paljon myös voimassaolon käsitteeseen.

§3. Aihe puolueettomuus

Modus ponensia voidaan käyttää havainnollistamaan kahta piirrettä logiikan reasoingin säännöistä. Ensimmäinen piirre on itstopic-puolueettomuus. Kuten neljä esimerkkiä osoittavat, modus ponenscan voi käyttää päättelyä erilaisia aiheita. Tämä pitää paikkansa kaikista logiikan järkeilyn periaatteista., Biologian lait saattavat olla trueonly eläviä olentoja, ja talouden lait ovat vain soveltaa kokoelmat aineita, jotka enagage liiketoimia. Mutta logiikan periaatteet ovat yleismaailmallisia periaatteita, jotka ovat yleisempiä biologiaa ja taloustiedettä. Tämä on osittain mitä on hiljaista seuraavat määritelmät logiikka kaksi hyvin kuuluisa logicians :

… nimi tieteenala, joka analysoi merkitystä käsitteet yhteisiä kaikille sciences, ja vahvistetaan yleinen lakeja käsitteitä.,

§4. Välttämättömyys logiikka

toinen piirre periaatteiden logiikkaa onettä ne ovat ei-ehdollinen siinä mielessä, että ne eivät riipu tahansa erityistä vahingossa ominaisuuksia maailman., Fysiikka ja toisarvoiset tieteet tutkivat, millainen maailma todellisuudessa on.Fyysikot saattaa kertoa, että ei signaalia voi matkustaa nopeammin kuin thespeed valoa, mutta jos fysiikan lait ovat olleet erilaisia, thenperhaps tämä ei olisi ollut totta. Samoin biologit pohtivat, miten delfiinit kommunikoivat keskenään,mutta jos evoluution kulku olisi ollut erilainen, delfiinit eivät ehkä olisi joutuneet kärsimään. Empiiristen tieteiden teoriat ovat siis ehdollisia siinä mielessä, että ne olisivat voineet olla toisin., Logiikan periaatteet taas johdetaan pelkällä päättelyllä,eikä niiden validiteetti riipu mistään maailman ehdollisista piirteistä.

esimerkiksi logiikka kertoo, että mikä tahansa lausuma muodosta ”IfP sitten P.” on välttämättä totta. Tämä on toinen periaate, että logician tutkimus. Tämä periaate kertoo meille, että lausunnon, kuten ”jos sataa, niin sataa”, täytyy olla totta. Voimme helposti nähdä, että näin todellakin on, sataako todella vai ei.,Lisäksi, vaikka fysiikan lait tai sääilmiöt olivat muuttaa, tämä lausunto on edelleen totta. Näin sanomme, että tieteelliset totuudet (matematiikka syrjään) ovat ehdollisia, kun taas loogiset totuudet ovat välttämättömiä. Jälleen tämä osoittaa, miten logiikka eroaa empiirisistä tieteistä, kuten fysiikasta, kemiasta tai biologiasta.

§5. Formaali ja epävirallinen logiikka

joskus tehdään ero epävirallisen logiikan ja formaalin logiikan välillä.Termillä ”epävirallinen logiikka” tarkoitetaan usein samaa kuin kritiikillisellä ajattelulla., Joskus sillä viitataan arkielämän yhteydessä tapahtuvaan sovinnaisuuden ja harhaluulojen tutkimiseen. ”Formaali logiikka” koskee lähinnä muodollisia logiikkajärjestelmiä. Nämä ovat erikoisesti rakenteellisia järjestelmiä todisteiden suorittamiseen, joissa päättelyn kielet ja päättelykielet on tarkasti ja tarkasti määritelty. Sententiaalilogiikka (tunnetaan myös nimellä ”Propositiologiikka”) ja Predikaattilogiikka ovat molemmat esimerkkejä formaalisista logiikan järjestelmistä.

formaalin logiikan opiskeluun on monia syitä., Yksi on se, että formallogic auttaa meitä tunnistamaan kuvioita hyviä perusteluja ja malleja badreasoning, jotta tiedämme, mitä seurata ja mitä välttää. Tämä on whystudying perus muodollinen logiikka voi auttaa parantamaan kriittistä ajattelua. Logiikan formaalijärjestelmiä käyttävät myös kielitieteilijät luonnollisten kielten opiskeluun.Tietojenkäsittelytieteilijät käyttävät myös muodollisia logiikkajärjestelmiä tutkiessaan Aritificial Intelligence-tutkimusta. Lopuksi, monet filosofit alsolike käyttää muodollista logiikkaa käsiteltäessä monimutkaisia philosophicalproblems, jotta niiden perustelut selkeämpi ja tarkka.

§6., Lisää lukemia

• merkintöjä logicin Stanford Encyclopedia of Philosophy. Nämä ovat vaikeita kirjoituksia logiikan filosofiasta.