Logiikka

Alkaen

6.8.2025

5 op

Perusopinnot

Opintojaksolla opitaan logiikan peruskäsitteet (esim. pätevä ja epäpätevä päätelmä, looginen johtaminen ja todistuvuus, ristiriitaisuus ja ristiriidattomuus, looginen seuraus ja looginen totuus), klassisen lause- ja predikaattilogiikan symbolit ja kielioppi sekä lauselogiikan luonnollisen päättelyn järjestelmä ja totuustaulukkomenetelmä, sekä tutustutaan predikaattilogiikan semantiikkaan. Erityisesti kiinnitetään huomiota sellaisiin logiikan käsitteisiin, joiden tunteminen on tarpeen kaikkien filosofian opintojen kannalta.

Suositellaan suorittamista luentokurssilla harjoituksineen. Hyväksyttävä suoritus kirjatentillä edellyttää myös yleensä harjoitusten omatoimista tekemistä.

Sisältää

Tarkista sinulta vaadittavat suoritukset oppilaitoksen sivuilta.

Ei aktiivisia toteutuksia tällä hetkellä.

Lisätiedot ja ilmoittautuminen

Hinta ja ilmoittautumisaika: Tarkista tieto korkeakoulun sivuilta

Siirry korkeakoulun sivuille(Avautuu uuteen välilehteen)

Tarkentavat tiedot:

Koulutusalat

Humanistiset alat

Laajuus

5 op

Koodi

FIL.FIA.002

Opintojakson suoritettuaan opiskelija osaa lukea ja kirjoittaa lause- ja predikaattilogiikan kieliä sekä on sisäistänyt logiikan semanttiset peruskäsitteet, erityisesti loogisen totuuden ja loogisen seurauksen käsitteet, niin että hän osaa arvioida, ovatko esitetyt päätelmät päteviä. Hän myös ymmärtää deduktiivisen päättelyn ja todistamisen käsitteet, niin että hän osaa rakentaa yksinkertaisia deduktiivisia päätelmiä lauselogiikan luonnollisen päättelyn järjestelmässä.

Suoritus kirjatentillä – valitse yksi seuraavista:

a. Rantala, Veikko & Virtanen, Ari. 2003. Logiikan peruskurssi (vain verkossa osoitteessa https://philpapers.org/rec/RANLPY-3(Avautuu uuteen välilehteen) (SUOSITUS)

Harjoituksia: https://philpapers.org/rec/RANHMR(Avautuu uuteen välilehteen)

TAI

b. Miettinen, Seppo. 2002. Logiikka – perusteet. Gaudeamus.

TAI

c. Gensler, Harry J. 2010. Introduction to Logic. 2nd ed. Routledge (Part 2: pp. 118–227).

Järjestäjä

Tampereen yliopisto

Yhteystiedot

avoin.tau@tuni.fi