KIRJALLISUUTTA 1. Tieteenfilosofia KIRJALLISUUTTA 3 KIRJALLISUUTTA 2 KIRJALLISUUTTA 4 KIRJALLISUUTTA 5

Samankaltaiset tiedostot
Ilpo Halonen 2005 LISÄÄ KIRJALLISUUTTA. 5. Logiikan rooli argumentaatiossa LISÄÄ KIRJALLISUUTTA LISÄÄ KIRJALLISUUTTA. Mitä logiikka on?

Logiikka ja argumentaatio

Ilpo Halonen Luonnehdintoja logiikasta 11. Poikkeavista logiikoista. Poikkeavista logiikoista 2. Poikkeavista logiikoista 3. Johdatus logiikkaan

Ilpo Halonen Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2

Mahdollisten maailmojen semantiikan synty ja kehitys

FI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan:

LOGIIKKA johdantoa

Pikapaketti logiikkaan

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi


Ilpo Halonen 2005 LISÄÄ KIRJALLISUUTTA. 11. Tieteenfilosofia ja argumentaatio LISÄÄ KIRJALLISUUTTA. Tieteenfilosofia.

ja muutamia muita siihen liittyviä termejä TIETEEN TERMIPANKKI Implikaation määritelmä termipankissa

Tieteenfilosofia 3/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

Mahdollisten maailmojen semantiikan synty ja kehitys

Logiikka 1/5 Sisältö ESITIEDOT:

Tietoteoria. Tiedon käsite ja logiikan perusteita. Monday, January 12, 15

5.1 Semanttisten puiden muodostaminen

1 Logiikkaa. 1.1 Logiikan symbolit

Mahdollisten maailmojen semantiikan synty ja kehitys

KIRJALLISUUTTA 1. Tieteen etiikka KIRJALLISUUTTA 3 KIRJALLISUUTTA 2 KIRJALLISUUTTA 4 KIRJALLISUUTTA 5

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos...

Ratkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan

Tieteenfilosofia 2/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

MS-A0402 Diskreetin matematiikan perusteet

811120P Diskreetit rakenteet

Loogiset konnektiivit

Kieli merkitys ja logiikka

Todistusmenetelmiä Miksi pitää todistaa?

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E.

Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi

Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset

Logiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.

Logiikkaa Matematiikan mestariluokka, kevät 2010 Harjoitus 1a ( )

Talousmatematiikan perusteet ORMS.1030

Mikä on tieteenfilosofinen positioni ja miten se vaikuttaa tutkimukseeni?

Talousmatematiikan perusteet ORMS.1030

Todistamisessa on tärkeää erottaa tapaukset, kun sääntö pätee joillakin tai kun sääntö pätee kaikilla. Esim. On olemassa reaaliluku x, jolle x = 5.

Talousmatematiikan perusteet ORMS.1030

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016

Kant Arvostelmia. Informaatioajan Filosofian kurssin essee. Otto Opiskelija 65041E

Talousmatematiikan perusteet ORMS.1030

Ilpo Halonen Luonnehdintoja logiikasta 12 KIRJALLISUUTTA. Loppukurssin ohjelma. Luonnehdintoja logiikasta 1. Johdatus logiikkaan

Todistusteoriaa. Kun kielen syntaksi on tarkasti määritelty, voidaan myös määritellä täsmällisesti, mitä pätevällä päättelyllä tarkoitetaan.

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B.

FILOSOFIAN KUOHUVAT VUODET KATSAUS 1900-LUVUN ALUN FILOSOFIAAN SIRKKU IKONEN

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 2 (opetusmoniste, lauselogiikka )

Etiikan mahdollisuudesta tieteenä. Henrik Rydenfelt Helsingin yliopisto

Johdatus matematiikkaan

Matematiikan perusteista logiikkaa ja joukko-oppia LaMa 1U syksyllä 2010

Matematiikan olemus Juha Oikkonen

Argumenteista ja niiden arvioinnista TIES542 Ohjelmointikielten periaatteet, kevät 2016

Farmaseuttinen etiikka

Propositioista. Lause ja propositio. Sisältö/merkitys. väite, väittämä arvostelma propositio ajatus. lause merkkijonona

Eettisten teorioiden tasot

Diskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

Tekijä Pitkä Matematiikka 11 ratkaisut luku 1

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Roosa Niemi. Riippuvuuslogiikkaa

Predikaattilogiikkaa

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13

Tieteenfilosofia 4/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

KIRJALLISUUTTA 1 TIETEEN ETIIKKA KIRJALLISUUTTA 3 KIRJALLISUUTTA 2 KIRJALLISUUTTA 4 KIRJALLISUUTTA

Perinnöllinen informaatio ja geneettinen koodi.

Mahdollisten maailmojen semantiikan synty ja kehitys

JOHDATUS TEKOÄLYYN TEEMU ROOS

Filosofian historia: 1900-luku

Johdatus logiikkaan (Fte170)

GÖDELIN LAUSE. kaikkein kaunein tosi ajatus syyskuuta 12

Merkitys, totuus ja kielto

1. Logiikan ja joukko-opin alkeet

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

Yhtälönratkaisusta. Johanna Rämö, Helsingin yliopisto. 22. syyskuuta 2014

Luonnollisen päättelyn luotettavuus

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.

Insinöörimatematiikka A

Ilpo Halonen Aristoteleesta uuteen retoriikkaan LISÄÄ KIRJALLISUUTTA. Retoriikan synty (1/4): LISÄÄ KIRJALLISUUTTA. Retoriikan synty (3/4):

Johdatus matemaattiseen päättelyyn

Joukot. Georg Cantor ( )

Vastaoletuksen muodostaminen

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 12 (opetusmoniste, kappaleet )

Ruma merkitys. Tommi Nieminen. XLII Kielitieteen päivät. Kielitieteen epäilyttävin välttämätön käsite. Itä-Suomen yliopisto ...

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu.

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

T kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut

T Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

1. HYVIN PERUSTELTU 2. TOSI 3. USKOMUS

Tietämisestä ja uskomisesta

Kirkko ja tieteellinen maailmankuva. Arkkipiispa Tapio Luoma

Ratkaisu: (b) A = x 0 (R(x 0 ) x 1 ( Q(x 1 ) (S(x 0, x 1 ) S(x 1, x 1 )))).

Teoreettisen viitekehyksen rakentaminen

4 Matemaattinen induktio

Tieteenfilosofia 1/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

Ratkaisu: Yksi tapa nähdä, että kaavat A (B C) ja (A B) (A C) ovat loogisesti ekvivalentit, on tehdä totuustaulu lauseelle

T Kevät 2009 Logiikka tietotekniikassa: perusteet Laskuharjoitus 2 (lauselogiikka )

Matemaattisten työvälineiden täydentäviä muistiinpanoja

Predikaattilogiikan malli-teoreettinen semantiikka

Transkriptio:

KIRJALLISUUTTA 1 Tieteenfilosofia 4 Logiikka ja argumentaatio 2009 Ilpo Halonen, Materiaalia saa käyttää ainoastaan henkilökohtaisiin opiskelutarkoituksiin! Allwood Jens, Lars-Gunnar Andersson, Östen Dahl 1980, Logiikka ja kieli, Gaudeamus, Helsinki. Engel Pascal 1991, The Norm of Truth. An Introduction to the Philosophy of Logic. 2 KIRJALLISUUTTA 2 Frege Gottlob 1892, " ber Sinn und Bedeutung", (Ilmestynyt suomeksi nimellä "Mielestä ja merkityksestä" teoksessa Raatikainen Panu (toim.) 1997, Ajattelu, kieli, merkitys. Analyyttisen filosofian avainkirjoituksia, Gaudeamus, Helsinki, 41-56. Haack Susan 1988, The Philosophy of Logics. KIRJALLISUUTTA 3 Haack Susan 1996, Deviant Logic. Fuzzy Logic: Beyond the Formalism. Haaparanta Leila 1995, "Modernin logiikan synty", teoksessa Rydman Jan (toim.), Tutkimuksen etulinjassa : Tieteen päivät 1995, 133-145. 3 4 KIRJALLISUUTTA 4 KIRJALLISUUTTA 5 Haaparanta Leila 1998, "Moderni logiikka", teoksessa Korkman Petter & Mikko Yrjönsuuri (toim.), Filosofian historian kehityslinjoja, Gaudeamus, 383-399. Haaparanta, Leila ja Ilkka Niiniluoto, Johdatus tieteelliseen ajatteluun, Helsingin yliopiston filosofian laitoksen julkaisuja n:o 3/1986. Halonen Ilpo 1995, "Poikkeavien logiikkojen historiaa", teoksessa L. Haaparanta, E. Hyvönen, J. Seppänen and J. Silvonen (toim.), Älyn ulottuvuudet ja oppihistoria. Matka logiikan, psykologian ja tekoälyn juurille, Suomen Tekoälyseuran julkaisuja, Symposiosarja no 13, 59-69. Hintikka Jaakko 1982, Kieli ja mieli. Otava, Helsinki. 5 6 1

KIRJALLISUUTTA 6 KIRJALLISUUTTA 7 Hintikka, Jaakko, "Logiikan rooli päättelyssä", teoksessa Hintikka, Jaakko, Filosofian köyhyys ja rikkaus. Nykyfilosofian kartoitusta, Art House, Helsinki, 2001. (Ilmestynyt aikaisemmin suomeksi nimellä "Logiikan rooli argumentaatiossa" teoksessa Leila Haaparanta et al. (toim.), Malli - Metodi - Merkitys, FITTY 49, Tampere 1993. ) Kakkuri-Knuuttila, Marja-Liisa (toim.), Argumentti ja kritiikki. Lukemisen, keskustelun ja vakuuttamisen taidot, Gaudeamus, Helsinki 1998. Kneale William & Kneale Martha 1962, The Development of Logic. Niiniluoto, Ilkka, Johdatus tieteenfilosofiaan. Käsitteen- ja teorianmuodostus, Otava, Helsinki 1980. 7 8 KIRJALLISUUTTA 8 KIRJALLISUUTTA 9 Nyberg Tauno (toim.) 1977, Ajatus ja analyysi. WSOY, Porvoo. Read Stephen 1994, Thinking about Logic. An Introduction to the Philosophy of Logic. Wright G. H. von 1968 (2. p.), Logiikka, filosofia ja kieli, Otava, Helsinki (=LFK). Wright G. H. von 1992a, Minervan pöllö, Otava, Helsinki (=MP). Wright G. H. von 1992b, "Logiikka ja filosofia 1900-luvulla", teoksessa MP, 27-47. Wright G. H. von 1992c, "Analyyttinen filosofia - historiallis-kriittinen tarkastelu", teoksessa MP 48-75. 9 10 Älä fantiseeraa! "Sellaista on, kun käyttää mielikuvitustaan", huomautti komissaari Palmu vielä. "Logiikka ja tosiasiat, poikaseni, mitään muuta ei tarvita. Älä fantiseeraa. Tosiasiat riittävät!" Mika Waltari: Kuka murhasi rouva Skrofin? Esim. Loogisesta pätevyydestä (sitovuudesta) Herra K. on matkalla ritarien ja kelmien saarella. Ritarit puhuvat aina totta, kun taas kelmit valehtelevat aina. Jokainen saarelainen on joko ritari tai kelmi. Ulkonäön perusteella ei voi ratkaista, onko saarelainen ritari vai kelmi. 11 12 2

Loogisesta pätevyydestä 2 a) Herra K. tapaa kaksi saarelaista, A:n ja B:n. A esittelee itsensä ja B:n: "Ainakin toinen meistä on kelmi". Nyt herra K:n (ja myös sinun) tehtävänä on ratkaista, ovatko A ja B ritareita vai kelmejä, vai onko toinen heistä ritari ja toinen kelmi. Loogisesta pätevyydestä 3 b) Herra K. tulee tienristeykseen ja haluaa kysyä lähellä seisovalta saarelaiselta, onko kaupunkiin päästäkseen käännyttävä vasemmalle vai oikealle. Mikä kysymys herra K:n on esitettävä? 13 14 Loogisesta pätevyydestä 4 Ei aivan tarpeeksi kuollut (Raymond Smullyanin kirjasta What Is the Name of this Book? löytyy lisää tehtäviä ritareista ja kelmeistä. Julkaistu suomeksi nimellä Mikä tämän kirjan nimi on?, Terra Cognita 1999.) "Wolfen silmät aukenivat kokonaan. Hän alkoi ärsyyntyä. Lähden siitä oletuksesta, että te joko murhasitte Ann Amoryn tai ette, mikä tuntuu järkeenkäyvältä." Rex Stout: Ei aivan tarpeeksi kuollut 15 16 Mitä logiikka on? Mitä logiikka on? Logiikka (kreik. logos, 'sana', 'järki'): oppi muodollisesti pätevän päättelyn säännöistä. Logiikka on kiinnostunut totuuden säilyttävistä päätelmistä, joissa johtopäätös on oletusten looginen seuraus. Tieteen kannalta tällaisilla ajattelun ja perustelemisen muodoilla on suuri merkitys: jos tutkija lähtee tosista oletuksista, mikään niistä loogisesti seuraava johtopäätös ei voi olla epätosi. 17 18 3

Loogisesti pätevä päätelmä 1. premissi: Esimerkki loogisesti pätevästä päätelmästä: Kaikki linnut osaavat lentää. Tipi on lintu. Siis: Tipi osaa lentää. L = lintujen joukko F = lentotaitoisten yksilöiden joukko t = Tipi (-niminen yksilö) F L 19 20 2. premissi: Yhdessä: F x t L x t L 21 22 Loogisesti pätevä päätelmä 6 Loogisesti pätevä päätelmä 7 Siis jos oletamme premissit tosiksi tulee myös johtopäätös todeksi. Emme pysty piirtämään kuviota, jossa premissit olisivat tosia mutta johtopäätös epätosi. Siis toisin sanoen: kun päätelmä on loogisesti pätevä emme pysty kuvittelemaan tilannetta, jossa premissit olisivat tosia mutta johtopäätös epätosi. Siis (jos olemme rationaalisia) kaikissa niissä mahdollisissa maailmoissa, joissa hyväksymme kaikki pätevän päätelmän premissit, meidän on hyväksyttävä myös johtopäätös. 23 24 4

Loogisesti epäpätevä päätelmä 1 1. premissi: Esimerkki loogisesti epäpätevästä päätelmästä: L Tipi on lintu. x t Tipi osaa lentää. Siis: Kaikki linnut osaavat lentää. L = lintujen joukko F = lentotaitoisten yksilöiden joukko t = Tipi (-niminen yksilö) 25 26 2. premissi: Yhdessä: F L F x t x t 27 28 Loogisesti epäpätevä päätelmä 5 Loogisesti epäpätevä päätelmä 6 Nyt pystymme helposti piirtämään kuvion, jossa premissit ovat tosia ja johtopäätös epätosi. Siis toisin sanoen: kun päätelmä ei ole loogisesti pätevä, pystymme kuvittelemaan päätelmää vastaavan tilanteen, jossa premissit ovat tosia mutta johtopäätös epätosi. Siis voimme kuvitella sellaisia mahdollisia maailmoja (tai olosuhteita), joissa kaikki päätelmän premissit ovat tosia mutta johtopäätös epätosi. 29 30 5

Deduktiivinen ja induktiivinen päättely 1 Deduktiivinen päätelmä (vrt. edellä): Kaikki linnut osaavat lentää. Tipi on lintu. Siis: Tipi osaa lentää. Päätelmä on pätevä: Päättely säilyttää ehdottomasti totuuden; johtopäätös seuraa välttämättä premisseistä. Deduktiivinen ja induktiivinen päättely 2 Induktiivinen päätelmä: Useimmat linnut osaavat lentää. Tipi on lintu. Siis: Tipi osaa lentää. Päättely ei säilytä ehdottomasti totuutta; johtopäätös seuraa premisseistä ainoastaan jollakin todennäköisyydellä. 31 32 Deduktiivinen ja induktiivinen päättely 3 Virhepäätelmä? (Abduktiivinen päätelmä: Kaikki linnut osaavat lentää. Tipi osaa lentää. Siis: Tipi on lintu. Päättely ei säilytä ehdottomasti totuutta; johtopäätös ainoastaan saattaa seurata premisseistä.) Formaalis-looginen virhepäätelmä (johtopäätös ei ole premissien looginen seuraus): Kukaan uskovainen ei ole ateisti. Kalle ei ole ateisti. Siis: Kalle on uskovainen. 33 34 U x k A DEDUKTIIVISESTI PÄTEVÄSSÄ PÄÄTTELYSSÄ KAIKKIEN PREMISSIEN OLLESSA TODET YHDENKIN PREMISSIN OLLESSA EPÄTOSI JOHTO- PÄÄTÖKSEN TOTUUS ON VÄLTTÄ- MÄTÖN ON MAHDOL- LINEN JOHTO- PÄÄTÖK- SEN EPÄ- TOTUUS ON MAH- DOTON ON MAHDOL- LINEN 35 6

Induktiivinen päättely (1/2) Esimerkkejä: induktiivinen yleistys: Kaikki tähän mennessä havaitut korpit ovat olleet mustia. Siis: Kaikki korpit ovat mustia. 5% tutkituista 1000 koululaisesta oli vasenkätisiä. Siis: 5% kaikista koululaisista on vasenkätisiä. 37 Induktiivinen päättely (2/2) tilastollinen syllogismi 90% korvatulehduksista paranee Super- X:llä. Ville sai korvatulehdukseensa Super-X:ää. Siis: Ville paranee. todennäköinen induktio 98% todennäköisyydellä tällä lottorivillä ei voita. Siis: Tällä lottorivillä ei voita. 38 YHTEENVETO Lisää loogista taustaa DEDUK- TIIVINEN PÄÄTTELY INDUK- EI TIIVINEN PÄÄTTELY SÄILYT- TÄÄKÖ TOTUUDEN? KYLLÄ LISÄÄKÖ INFORMAA- TIOTA? EI KYLLÄ 39 Riittävä ja välttämätön ehto: Todessa muotoa "Jos A niin B" olevassa lauseessa A on riittävä ehto B:lle (aina kun A tapahtuu/vallitsee tapahtuu/vallitsee myös B), mutta B on välttämätön ehto A:lle (jos B ei tapahdu/vallitse, niin ei myöskään A tapahdu/vallitse). 40 Loogisesti päteviä päätelmiä: a) Modus ponens - etujäsenen myöntösääntö Jos A niin B A Siis: B b) Modus tollens - takajäsenen kieltosääntö Jos A niin B ei-b Siis: ei-a Virhepäätelmiä (1/2): c) Takajäsenen myöntämisen virhe: Jos A niin B B Siis: A väärin! Esim. Jos ulkona sataa, niin maa kastuu. Maa kastuu. Siis: ulkona sataa. 41 42 7

Virhepäätelmiä (2/2): d) Etujäsenen kieltämisen virhe Jos A niin B ei-a Siis: ei-b väärin! Esim. Jos hän rakastaa sinua, niin hän menee kanssasi naimisiin. Hän ei rakasta sinua. Siis: Hän ei mene kanssasi naimisiin. 43 Logiikan historiaa Länsimaisen logiikan historia voidaan jakaa kolmeen uudistuskauteen, joita erottaa toisistaan suhteellisen tai täydellisen laman ajat: I Antiikki (Traditionaalinen logiikka) luomiskausi 300-200 ekr. II Keskiaika (Skolastinen logiikka) luomiskausi 1200-1300-luku III Nykyaika (Moderni logiikka) luomiskausi 1850 -> 44 Aristoteles (384 322 ekr.) Neljä perustyyppiä: Arvostelmat Perusmuoto: A on B, missä A on subjekti, B on predikaatti ja on on ns. kopula Kvaliteetti: myönteinen/ kielteinen Kvantiteet ti: universaalinen/ partikulaarinen A. E. I. O. Jokainen A on B. Mikään A ei ole B. Jokin A on B. Jokin A ei ole B. (universaalinen ja myönteinen.) (universaalinen ja kielteinen) (partikulaarinen ja myönteinen) (partikulaarinen ja kielteinen.) 45 46 Syllogismit Syllogismit Esim. Kaikki eläimet ovat kuolevaisia. Kaikki ihmiset ovat eläimiä. premissit Siis: Kaikki ihmiset ovat kuolevaisia. johtopäätös Yleisemmin Jokainen M on P. Jokainen S on M. Jokainen S on P. Syllogistiikan esittelyssä Aristoteles otti käyttöön kirjaimet termien paikalle, mikä merkitsi formaalisen logiikan syntyä. 47 48 8

Termit Kuviot P: päätermi esiintyy pääpremississä ja johtopäätöksessä M: välitermi esiintyy premisseissä, ei johtopäätöksessä S: alitermi esiintyy alipremississä ja johtopäätöksessä 1. MP SM SP 2. PM SM SP 3. MP MS SP 4. PM MS SP 49 50 Pätevät syllogismit 1 Pätevät syllogismit 2 Jokainen pääpremissi, alipremissi ja johtopäätös voi olla arvostelmatyyppiä A, E, I tai O. Näin ollen voimme muodostaa 4 4 = 256 syllogismia, joista 24 on päteviä: 1. kuvio: AAA AII EAE EIO AAI EAO BARBARA DARII CELARENT FERIO BARBARI CELARONT 51 52 Pätevät syllogismit 3 Pätevät syllogismit 4 2. kuvio: 3. kuvio: AEE CAMESTRES AAI DARAPTI AOO BAROCO AII DATISI EAE CESARE EAO FELAPTON EIO FESTINO EIO FERISON AEO CAMESTROS IAI DISAMIS EAO CESARO OAO BOCARDO 53 54 9

Pätevät syllogismit 5 Keskiaika 4. kuvio: AAI AEE AEO IAI EIO EAO BAMALIP CALEMES CALEMOP DIMARIS FRERISON FESAPO Skolastinen logiikka alkoi kehittyä 1100 luvulla, saavutti kypsyytensä 1300 1400 luvuilla ja rappeutui nopeasti 1500 1700 luvuilla. Yleispiirteitä: riippuvuus antiikin perinteestä latinalainen kieliasu teologisten ja metafyysisten kiistojen vaikutus 55 56 Keskiaika Keskeisiä nimiä: Pierre Abélard (Petrus Abaelard, 1079 1142) William Shyreswood ( 1249) Petrus Hispanus (n. 1210 1277) Duns Scotus (n. 1266 1308) William Occamilainen (n. 1290 1350) Walter Burley (Burleigh, n. 1275 n. 1345) Jean Buridan (n. 1300 n. 1360) Gottfried Wilhelm Leibniz (1646 1706) Algebran tapaan logiikka voidaan käsittää puhtaasti merkkipelinä harjoitettavissa olevaksi kalkyyliksi. 57 58 Formaali logiikka 1 Formaali logiikka 2 Ilmeisesti Immanuel Kant (1724 1804) käytti ensimmäisenä käsitettä 'formaalinen' Aristoteleen ja skolastikkojen koulukunnan perinteen mukaisesta logiikasta: Puhdas yleinen logiikka on ymmärryksen ja järjen säännöstö, mutta vain suhteessa siihen mikä on formaalista niiden käytössä. Immanuel Kant, Puhtaan järjen kritiikki 1781. "Logiikka tutkii niitä järkemme toimintojen rakenteellisia aspekteja, joita kutsumme argumentiksi, päättelyksi tai todistamiseksi.... Logiikka tutkii käsitteitä, ei siltä kannalta, mikä on niiden ulkoinen suhde maailmaan, vaan niiden sisäisiä johdonmukaisuuden tai sen puuttumisen suhteita." (MP, 30) 59 60 10

Moderni logiikka 1 Moderni logiikka 2 George Boole (1815 1864) - The Laws of Thought (1854) Augustus De Morgan (1806 1871) Gottlob Frege (1848 1925) logisismin teesi: logiikka perustava, matematiikka voidaan johtaa siitä Charles S. Peirce (1839 1914) Begriffsschrift (1879) modernin logiikan tärkein klassikko (?) 61 62 Moderni logiikka 3 Moderni logiikka 4 Bertrand Russell (1872 1970) Principia Mathematica (Russell & Whitehead 1910 1913) Fregen ohjelman toteuttaminen Russellin paradoksi tyyppiteoria "20.vuosisadan leimallisin piirre on nähdäkseni ollut logiikan uusi kukoistus ja se hedelmöittävä rooli, joka sillä on ollut filosofian kaikinpuolisessa kehityksessä.... Vuosisadan lähestyessä loppuaan voimme havaita merkkejä logiikan vaikutuksen heikkenemisestä filosofian kehitykseen." (MP, 27) 63 64 Moderni logiikka 5 Moderni logiikka 6 Logiikan kaksi päätutkimusuraa ovat päättely ja käsiteanalyysi. Nämä liittyivät läheisesti yhteen 1900-luvulla. Mutta: Miksi logiikka elpyi 1800-luvun lopulla 500 vuoden talviunen jälkeen? "... länsimainen tiede oli silloin saavuttanut kypsyyden, joka teki siitä pätevän pohtimaan kriittisellä tavalla omia perusteitaan." (MP, 32) Logiikan elpyminen sai alkunsa matematiikan perusteiden tutkimisesta. Useimmat 1800-luvun suuret loogikot - Boole, de Morgan, Grassman, Schröder, Frege, Peano - olivat matemaatikkoja. Tämä liittyi loogisen ja matemaattisen ajattelun yhtäläisyyteen: muuttuja, identiteetti, vakio 65 66 11

Moderni logiikka 7 Englantilainen matemaatikko George Boole (1815-1864): The Mathematical Analysis of Logic, being an Essay toward a Calculus (1847), pääteos The Laws of Thought (1854): logiikka on ala, jonka piirissä matemaattisella analyysilla on tärkeitä sovelluksia Moderni logiikka 8 Boole: logiikan lait ovat muodoltaan matemaattisia ja että ne yhtä poikkeusta lukuun ottamatta ovat samoja kuin algebran lait. (Poikkeus: x 2 = x.) Mutta: logiikan lait ovat täsmälleen samat kuin lukuja 0 ja 1 koskevat algebran lait. 67 68 Moderni logiikka 9 Moderni logiikka 10 Toinen haara: jenalainen matematiikan professori Gottlob Frege (1848-1925): Begriffsschrift. Eine der Sprache der Aritmetik nachgebildete formalisierte Sprache des reinen Denkens (1879), Die Grundlagen der Aritmetik (1884), Die Grundgesetze der Aritmetik I (1893), II (1903). Pienemmistä kirjoituksista mainittakoon Über Sinn und Bedeutung (1892) "Fregen esikuvallisen selkeätä Grundlagen der Aritmetik -teosta ei pidä jättää lukematta kenenkään. joka on vakavasti kiinnostunut logiikasta ja analyyttisestä filosofiasta." (LFK, 80) 69 70 Moderni logiikka 11 Moderni logiikka 12 Begriffsschrift: monet pitävät vuotta 1879 modernin logiikan varsinaisena syntymähetkenä. Monia loogisia keksintöjä: kvantifikaatioteoria ja siihen sisältynyt kieliopillisen lauseanalyysin korvannut argumentti - funktio -analyysi. 71 vrt. Charles Peirce: Frege ja Peirce molemmat hylkäsivät Boolen ajatuksen, jonka mukaan väitteitä muodostetaan liittämällä subjekti ja predikaatti toisiinsa identiteettisymbolin avulla. vrt. edellä: "Kaikki ihmiset ovat eläimiä", "Ihminen on eläin" nyt: "x on ihminen", "x on eläin", "Jokaiselle yksilölle x pätee, että jos x on ihminen, niin x on myös eläin" 72 12

Moderni logiikka 13 Frege kääntää Boolen näkemyksen: hänelle logiikka on lähtökohta matematiikan kriittiselle tutkimukselle. Boole tutkii logiikkaa matemaattisin keinoin, Frege matematiikkaa (aritmetiikkaa) loogisin keinoin. Bertrand Russell, Principles of Mathematics (1903), Russell & Whitehead, Principia Mathematica (1910, 1912, 1913), Russell, Introduction to Mathematical Philosophy (1919) Moderni logiikka 14 Logisismi, formalismi, intuitionismi - kolme logiikan "sankariajan" (1879-1934) pääkoulukuntaa Frege, Russell: käsitteet ja oliot, itse käsite ja sen ala eli ekstensio 73 74 Moderni logiikka 15 Moderni logiikka 16 David Hilbert (1917): "Kaikki, mikä yleensä voidaan saattaa tieteellisen ajattelun kohteeksi, lankeaa, niin pian kuin se on kypsä teorianmuodostukselle, aksiomaattisen menetelmän piiriin ja siten välillisesti matematiikan piiriin." Hilbertillä aksiomaattisen järjestelmän aate ja kalkyylin aate sulautuvat formalisoidun aksiomaattisen järjestelmän aatteeksi. Sankariaika päättyi 1930-luvulla: Gödelin epätäydellisyysteoreema, Tarskin semanttinen totuusteoria, "hurmoksesta tai lumouksesta herääminen" (MP, 40) Nykyinen formaalinen logiikka - käytetään formaalisia kieliä, kalkyylin periaate: lausekalkyyli, predikaattikalkyyli. 75 76 Moderni logiikka 17 Poikkeavista logiikoista 1 Lausekalkyyli: Atomilauseet p,q,r,s, ; lausekonnektiivit: ~ (negaatio), & (konjunktio), (disjunktio), (implikaatio), (ekvivalenssi); totuustaulukot, totuusfunktionaalisuus Predikaattikalkyyli: Yksilöt (vakiot, variaabelit), ominaisuudet ja relaatiot (predikaatit), kvanttorit, Poikkeavien logiikoiden historiaa Käytän Susan Haackin erottelua, jonka mukaan klassisen logiikan eistandardit "vaihtoehdot" eli ns. ei-klassiset logiikat voidaan jakaa kahteen luokkaan: 77 78 13

Poikkeavista logiikoista 2 1. poikkeaviin logiikkoihin, jotka ovat klassisen logiikan kilpailijoita, ja 2. klassisen logiikan laajennuksiin, joissa logiikan systeemejä kehitetään alueille, jotka ovat klassisen logiikan ulottumattomissa. Poikkeavista logiikoista 3 Mielenkiintoinen yhteensattuma: täsmälleen samoina vuosina 1910-1913 Principia Mathematican kanssa ilmestyi kolme artikkelia, jotka loivat pohjan sellaisille logiikan ajatussuunnille, joissa kritiikin kohteena ovat klassisen logiikan kaikkein keskeisimmät periaatteet: 79 80 Poikkeavista logiikoista 4 Poikkeavista logiikoista 5 Lukasiewicz, J., "On the Principle of Contradiction in Aristotle". Vasilyev, N. A., "Hypothetical (Non- Aristotelian) Logic". sekä "Logic and Metalogic". Klassinen logiikka: 1. tunnustaa vain kaksi totuusarvoa, toden ja epätoden. 2. kaksi peruslakia: P v ~P (kolmannen poissuljetun laki); ~(P & ~P) ((kielletyn) ristiriidan laki) Yksi ristiriitoihin liittyvä piirre on askarruttanut yleisemminkin filosofeja ja loogikoita: "ristiriidasta seuraa mikä tahansa lause"; Duns Scotuksen laki tai periaate; ex falso quodlibet: P & ~P Q tai P & ~P Q tai P, ~P Q 81 82 Poikkeavista logiikoista 6 Em. artikkeleiden johdosta puolalainen Jan Lukasiewicz (1878-1956) ja venäläinen Nikolai Aleksandrovitš Vasilev (1880-1940) nimetään usein moniarvologiikkojen, parakonsistenssilogiikkojen ja joskus jopa intensionaalisten logiikkojen edelläkävijöiksi. Modaalilogiikat / Intensionaaliset logiikat Klassisen logiikan laajennuksia: "Kun tarkastelemme modernin logiikan historiaa 'rationaalisena lumouksesta heräämisenä', on todettava, että toisen maailman-sodan jälkeisen loogisen teorian puitteissa tapahtunut jännittävin kehitys on ollut modaalilogiikan uudelleen syntyminen." (MP, 41) 83 84 14

Modaalilogiikat 2 Uuden alun tuloksena syntyi modaalisuuden yleinen teoria tai saman formaalisen rakenteen omaavien logiikkojen perhe. Perinteisen modaalilogiikan vanhan rungon versot: 1. episteeminen, 2. doksastinen, 3. deonttinen logiikka, 4. preferenssilogiikka, 5. interrogatiivinen eli kysymysten logiikka. Modaalilogiikat 3 Leibnizin periaate: identtisyyksien korvattavuuden periaate on ekstensionaalisuuden tunnusmerkki. Intensionaalinen logiikka kiistää tai rajoittaa periaatteen pätevyyden. Ekstensio/intensio: Ilmaisun referenssi (ekstensio) vs. mieli (intensio). Sukulaisterminologiaa: Ilmaisun Bedeutung (=ekstensio) vs. Sinn (=intensio) (Frege), denotaatio vs. konnotaatio (Mill) 85 86 Modaalilogiikat 4 Modaalilogiikat 5 Ekstensionaalinen/intensionaalinen: Sukulaisterminlogiaa: epäsuora (oblique) (Frege), referentiaalisesti transparentti (=ekstensionaalinen) vs. referentiaalisesti opaakki (=intensionaalinen) (Haack 1988, 246) Frege - 'Aamutähti' - 'Iltatähti' -paradoksi: kahdella nimellä voi olla eri mieli, vaikka niillä olisikin sama viittauksen kohde ('Aamutähti' ja 'Iltatähti' viittaavat samaan olioon, planeetta Venukseen) Modaalilogiikan historiaa: materiaalisen implikaation "paradoksit" (vrt. edellä) C. I. Lewis: tiukka implikaatio (strict implication) Jaakko Hintikka: intentionaalisuus intensionaalisuutena 87 88 Psykologistinen käsitys logiikasta Psykologistinen käsitys logiikasta "Monet [tietokone]ohjelmat on tehty enemmän koneen kuin ihmisen logiikalla." - Helsingin Sanomat 19.9.1997 Sanoja logiikka ja looginen käytetään usein jokapäiväisessä puhekielessä laajemmassa merkityksessä kuin edellä on esitelty ('looginen pätevyys'). Tässä sanojen käytössä ei ole mitään vikaa niin kauan kuin muistetaan tämä ero, ja niin kauan kuin muistetaan, kummassa merkityksessä sanoja kulloinkin käytetään. 89 90 15

G. W. Hegel (1770-1831) Filosofi Hegeliltä on peräisin väite, että yritys kehottaa jotain henkilöä opettelemaan logiikkaa on yhtä hyödytön kuin yritys kehottaa veden varaan joutunutta opettelemaan uimaan. Jos henkilö osaa jo ajatella oikein, niin hän ei enää tarvitse logiikan opetusta. Jos hän ei tätä osaa, niin logiikan opettaminen ei voi häntä auttaa. Psykologismi (1/2) Tämä syytös logiikan opettamisen joutavan-päiväisyydestä edellyttää, että logiikka käsitetään opiksi oikeasta ajattelusta ja että logiikan lait ovat ajatuslakeja. Tällaista käsitystä, jonka mukaan logiikan tutkimuskohde on inhimillinen ajattelu, ihmisten mielessä tosiasiallisesti tapahtuvat ajatusprosessit, kutsutaan usein psykologismiksi. 91 92 Psykologismi (2/2) Psykologismin mukaan logiikasta tulisi psykologian osa - logiikka olisi empiirinen tiede, jonka lakien pätevyys olisi riippuvainen siitä, miten ihmiset sattuvat tosiasiassa ajattelemaan. 93 Antipsykologismi Mutta logiikka nykyään tieteenalana pyrkii olemaan ehdottomasti psykologismin vastainen. Itse asiassa modernin logiikan kehitysvaiheet 1800-luvulla liittyvät kiinteästi psykologismin kritisoimiseen. Keskeisistä 1800-luvulla vaikuttaneista psykologismin kriitikoista mainittakoon Frege ja Husserl. Siis logiikka siinä mielessä kuin me sen ymmärrämme ei ole empiirinen tiede. 94 Normatiivinen tiede (1/2) Normatiivinen tiede (2/2) Logiikka ei ole deskriptiivinen, kuvaileva tiede, jonka lakien pätevyys riippuu satunnaisista tosiasioista. Sen sijaan logiikka on normatiivinen tiede muodollisesti pätevän päättelyn säännöistä - se pyrkii antamaan normit tai kriteerit päättelyn muodolliselle pätevyydelle. Sen sijaan käyttäessämme normaalissa arkikielessä sanoja logiikka ja looginen käytämme niitä tyypillisesti siten, että ne pitävät sisällään psykologistisia ja siis myös empiirisiä piirteitä. Vrt. naisen logiikka, kertomuksen logiikka, islamilainen logiikka, tietokoneen logiikka, unen logiikka. 95 96 16

Vielä esimerkki Liisa ja Matti ovat shakinpelaajia. Siis: Liisa on shakinpelaaja. Kyseessä on selvästikin loogisesti pätevä päätelmä: siinä johtopäätös seuraa loogisesti premissistä. Päättely on totuuden säilyttävää: on mahdotonta, että premissin ollessa tosi johtopäätös olisi epätosi. Mutta katsotaan toista päätelmää: Liisa ja Matti ovat shakinpelaajia. Siis: Liisa on ihminen. Tämä ei ole loogisesti pätevä päätelmä. Kuitenkin arkipuheessa joku voisi todeta, että on loogista päätellä kyseisestä premissistä kyseinen johtopäätös. 97 98 Empiirinen seikka Loogisesti epäpätevä päätelmä Mutta tässä on kyseessä empiirinen seikka, se että meidän reaalimaailmassamme kaikki - tai ainakin lähes kaikki - Liisa-nimiset shakinpelaajat ovat ihmisiä. Mutta mikään logiikan laki ei salli meidän päätellä näin. Tämä johtuu siitä, että premississä ei sanota mitään siitä, onko Liisa ihminen vai ei. Johtopäätöksen informaatiosisältö ylittää premissin informaatiosisällön. Tällainen päättely ei ole ehdottomasti totuuden säilyttävää: voidaanhan ajatella, että premissin ollessa tosi Liisa onkin esimerkiksi tietokone tai simpanssi, jolle on opetettu shakkipelin säännöt. Tällöin johtopäätös on selvästi epätosi. 99 100 Tautologisuus Loogisesti pätevän päättelyn tautologisuudella tarkoitetaankin juuri sitä, että loogisesti pätevässä päätelmässä johtopäätöksen informaatiosisältö ei ylitä premissien informaatiosisältöä. Kaikki se informaatio, mitä johtopäätökseen sisältyy, sisältyy myös jo premisseihin. Moderni logiikka kohtaa Sherlock Holmesin 1 Jaakko Hintikan tiedonhankinnan kyselymalli (interrogatiivimalli): tiedonhankinta voidaan ymmärtää kahdentyyppisten askelten - loogisten päättelyaskelten ja tilanteesta riippuvaisille informaatiolähteille suunnattujen kysymys-vastaus -askelten - vuoropuheluna 101 102 17

Moderni logiikka kohtaa Sherlock Holmesin 2 määrittelevät ja strategiset säännöt: logiikan päättelysäännöt ovat määritteleviä sääntöjä Argumentaatioteoriasta 1 Argumentaatioteoriassa tutkitaan niitä eri tapoja, joilla väitteitä perustellaan ja todisteluketjuja rakennetaan. Argumentaatioteoriassa ollaan kiinnostuneita niistä perustelutyypeistä, joita ihmiset väitteidensä tueksi tai toisten väitteiden kumoamiseksi esittävät. 103 104 Argumentaatioteoriasta 2 Argumentaatioteoriasta 3 Argumentaatioteorian avulla voidaan tutkia esim. väittelyn rakennetta ja eri väittelytilanteita, siis myös tieteellistä keskustelua. Ero logiikkaan: argumenteissa (logiikan ja matematiikan ulkopuolella) aina mukana oletusten (perustelujen) ja johtopäätöksen (väitteen) välissä lausumattomia taustaoletuksia. Esim. "En pese tänään pyykkiä, koska ulkona sataa. Argumentin tilannesidonnaisuus tulkinta, linkitys, argumentaatiovirheet 105 106 Argumentaatioteoriasta 4 Seuraavaksi Argumentti voi olla puutteellinen mm. seuraavista syistä: 1. Perustelut eivät ole riittävän hyväksyttäviä 2. Mitkään hyväksyttävät taustaoletukset eivät tee perusteluista relevantteja väitteen kannalta. 3. Perustelut ja taustaoletukset eivät muodosta riittävän vahvaa linkkiä väitteeseen. 5 Tieteellinen päättely 107 108 18