Logiikka

Fr.o.m.

6.8.2025

5 sp

Grundstudier

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ä.

Innehåller

Kontrollera de prestationer som krävs av dig på läroanstaltens webbplats.

Inga aktiva studiemomenter just nu.

Tilläggsuppgifter och anmälan

Pris och anmälningstid: Kontrollera informationen på högskolans webbsida

Gå till högskolans webbplats(Öppnas i en ny flik)

Detaljerad information:

Utbildningsområden

Humaniora

Omfattning

5 sp

Kod

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(Öppnas i en ny flik) (SUOSITUS)

Harjoituksia: https://philpapers.org/rec/RANHMR(Öppnas i en ny flik)

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).

Arrangör

Tammerfors universitet

Tilläggsuppgifter

avoin.tau@tuni.fi

Information och funktioner